論文の技術的サマリー：分数対数ラプラシアンの固有値和の上下界

論文タイトル: On the lower bound and upper bound of the Sum of Eigenvalues of the Fractional-Logarithmic Laplacian
著者: Hichem Hajaiej (カリフォルニア州立大学ロサンゼルス校)

1. 問題設定と背景

本論文は、有界領域 $\Omega \subset \mathbb{R}^n$ における分数対数ラプラシアン（Fractional-Logarithmic Laplacian） $( -\Delta )^{s+\ln}$ のディリクレ固有値 $\lambda_j^{s+\ln}(\Omega)$ の和に関する上下界の評価を目的としています。

• 演算子の定義: 分数対数ラプラシアンのフーリエ記号（シンボル）は $|\xi|^{2s} \ln |\xi|^2$ で定義されます。これは、分数ラプラシアン $( -\Delta )^s$（シンボル $|\xi|^{2s}$）と対数ラプラシアン $( -\Delta )^{\ln}$（シンボル $2\ln|\xi|$）の中間的な性質を持ち、分数ラプラシアンの次数パラメータに関する微分として導出される演算子です。
• 既知の知見:
  • 古典的ラプラシアンや分数ラプラシアンでは、固有値の和はウィール（Weyl）の法則に従い、$k^{1+2s/n}$ のオーダーで増加します。
  • 対数ラプラシアンでは、対数的な成長 $k \ln k$ が支配的です。
  • 直近の研究 [4] において、分数対数ラプラシアンの $k$ 番目の固有値の漸近挙動は $\lambda_k \sim C k^{2s/n} \ln k$ であることが示されました。
• 本研究の動機: 固有値そのものの漸近挙動は知られていますが、その和 $\sum_{j=1}^k \lambda_j$ に対する厳密な上下界（特に、Berezin-Li-Yau 型の下界と Kröger 型の上界）が確立されていませんでした。また、この演算子のシンボル $|\xi|^{2s} \ln |\xi|^2$ は、低周波数領域において単調増加ではないという特徴があり、これが解析上の主要な課題となっています。

2. 手法とアプローチ

本研究は、スペクトル理論における古典的な手法を非局所演算子に拡張・適応させるアプローチを採用しています。

2.1 下界の評価（Berezin-Li-Yau 法の拡張）

• フーリエ変換と関数 $f(\xi)$ の構成: 固有関数 $\phi_j$ のフーリエ変換の絶対値の二乗和 $f(\xi) = \sum_{j=1}^k |\hat{\phi}_j(\xi)|^2$ を定義します。
• 不等式の導出: Bessel の不等式を用いて $f(\xi)$ の上限を評価し、固有値の和を $M_2 = \int |\xi|^{2s} \ln |\xi|^2 f(\xi) d\xi$ として表現します。
• 最適化問題: 関数 $f$ が満たす制約（$0 \le f \le M_1$, $\int f = k$）の下で、積分 $M_2$ の最小値を求めます。
  • 技術的課題: シンボル $|\xi|^{2s} \ln |\xi|^2$ は原点近傍で負の値を取り、単調ではありません。
  • 解決策: 低周波数部分と高周波数部分を分離し、Karamata の緩慢変動関数（slowly varying functions）の理論や、特定の半径 $R$ における積分の最適化を行うことで、主要項を制御します。特に、$k$ が十分大きい場合の漸近的な挙動を抽出します。

2.2 上界の評価（Kröger 法の拡張）

• カットオフ平面波の構成: 境界層 $\Omega_\sigma = \{x \in \Omega : \text{dist}(x, \partial\Omega) < \sigma\}$ において滑らかに変化するカットオフ関数 $w_\sigma$ を用いて、平面波 $v_\sigma(z, x) = w_\sigma(x) e^{-ix\cdot z}$ を構成します。
• Rayleigh-Ritz 原理の適用: 最初の $k$ 個の固有関数に直交する部分空間への射影を考慮し、$k+1$ 番目の固有値の上限を評価します。
• 非局所項の評価:
  • 主要項（シンボルに直接対応する部分）は、積分領域 $B_r$ 内での計算により評価されます。
  • 誤差項の制御: カットオフ関数による境界効果（余剰項 $\Psi_{s,\ln}$）が、適切なパラメータ選択（$r$ と $\sigma$ の関係）により、主要項よりも高次で小さくなることを示します。
  • 境界の幾何学的性質（境界層の体積が距離に比例して減少する仮定）が、誤差項の評価に不可欠です。

3. 主要な結果

3.1 下界定理（Theorem 2.5）

任意の整数 $k \ge 1$ に対して、以下の下界が成立します。
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge \frac{2}{n+2s}(2\pi)^{2s}(\omega_n|\Omega|)^{-2s/n} k^{1+2s/n} \left( \ln \frac{(2\pi)^n k}{\omega_n|\Omega|} - \frac{n}{n+2s} \right)$$
特に、$k \to \infty$ のとき、主要項は以下の通りです。
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \ge C_{n,s,\Omega} \, k^{1+2s/n} \ln k + O(k^{1+2s/n})$$
ここで、$C_{n,s,\Omega}$ は領域の体積と次元、$s$ に依存する定数です。この結果は、ウィール型の漸近挙動 $k^{1+2s/n} \ln k$ と整合しており、係数も期待される値と一致します。

3.2 上界定理（Theorem 3.2）

領域 $\Omega$ が適切な境界層評価を満たす場合、十分大きな $k$ に対して以下の上界が成立します。
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \le \frac{2}{n+2s}(2\pi)^{2s}(\omega_n|\Omega|)^{-2s/n} k^{1+2s/n} \ln k + C k^{1+2s/n}$$
これもまた、同じ主要項 $k^{1+2s/n} \ln k$ を持ち、誤差項は $O(k^{1+2s/n})$ となります。

3.3 結論としての漸近挙動

上下界の一致により、分数対数ラプラシアンの固有値和の漸近挙動が厳密に決定されました。
$$\sum_{j=1}^k \lambda_j^{s+\ln}(\Omega) \sim \frac{2}{n+2s}(2\pi)^{2s}(\omega_n|\Omega|)^{-2s/n} k^{1+2s/n} \ln k \quad (k \to \infty)$$
この結果は、分数ラプラシアンと対数ラプラシアンのスペクトル構造が「乗法的」に結合していることを示唆しています（分数部分の $k^{1+2s/n}$ と対数部分の $\ln k$ の積）。

4. 意義と貢献

1. 非単調シンボルへの対応: 低周波数で非単調となるシンボル $|\xi|^{2s} \ln |\xi|^2$ を扱うための新しい技術的枠組みを提供しました。これは、従来の単調性を仮定した手法では扱えなかった問題に対する重要な進展です。
2. スペクトル理論の一般化: 古典的ラプラシアン、分数ラプラシアン、対数ラプラシアンに対する Berezin-Li-Yau 型および Kröger 型の不等式を、これら 3 つの演算子を統一的に含む「分数対数ラプラシアン」に対して拡張しました。
3. 物理・数学的洞察: 固有値の成長率が、分数ラプラシアンのべき乗則と対数ラプラシアンの対数補正の積として現れるという「乗法的構造」を、和のレベルで厳密に証明しました。これは、演算子の次数パラメータに関する微分がスペクトルに与える影響を明確に示すものです。
4. 将来の研究への道筋: 本論文で確立された上下界は、この演算子に関連する熱核展開、固有値の分布、および非線形問題の解の存在性など、さらなる研究の基礎となります。

総じて、本論文は非局所演算子のスペクトル理論において、新しいクラスの演算子に対する精密な固有値評価を達成した重要な成果です。