Eigenvalue asymptotics and uniform eigenfunction bounds for the fractional Laplacian in the interval

技術要約：区間における分数型ラプラシアンの固有値漸近挙動および固有関数の一様有界性

問題設定
本論文は、零外部条件を伴う有界区間 $I = (-1, 1)$ に制限された分数型ラプラス演算子 $A = (-\Delta)^{\alpha/2}$ のスペクトル解析を扱う。この演算子は、以下の特異積分によって定義される：
$$Af(x) = c_\alpha \text{ p.v.} \int_{\mathbb{R}} \frac{f(x) - f(y)}{|x-y|^{1+\alpha}} dy, \quad c_\alpha = \frac{\Gamma(1+\alpha)\sin(\pi\alpha/2)}{\pi}.$$
本研究は、主に以下の2つの目的を掲げている：

1. 固有値漸近挙動： $n \to \infty$ における固有値 $\lambda_n(\alpha)$ の精密な3項漸近展開を導出し、既存の2項推定を改善するとともに、剰余項の次数に関する数値的な予想を裏付ける。
2. 固有関数の一様有界性： 正規化された固有関数 $\phi_n$ の $L^\infty$ ノルムが、固有値指数 $n$ および分数次 $\alpha \in (0, 2)$ の両方に対して一様に有界であることを確立する。これは、$\alpha$ が小さいときの固有関数の振る舞いに関する Kwaśnicki の予想を解決するものである。

手法
証明は、一般化された半直線上の固有関数を結合（グルーイング）し、その結果生じる残留誤差を分析することによる、正確な準モード（quasimodes、近似固有関数）の構成に基づいている。

• 準モードの構成： 著者らは、半直線の一般化固有関数 $F_\alpha$（$(0, \infty)$ 上で定義）を、カットオフ関数 $q(x)$ および $q(-x)$ を用いて両側から組み合わせることで、準モード $\tilde{\phi}_n$ を構築する。

  • $1 \le \alpha < 2$ の範囲では、標準的な準モード $\tilde{\phi}_n$ が十分である。残留項 $z_n = (A_I - \mu_n^\alpha)\tilde{\phi}_n$ は、半直線上の固有関数のテイル項のテイラー展開を用いて高次まで展開される。
  • $0 < \alpha < 1$ の範囲では、標準的な構成では誤差が望ましい第3項と同じ次数になってしまう。これを克服するため、著者らは修正項 $G_\alpha$ からカットオフを除去した精緻な準モード $w_n$ を導入し、区間 $(0, L)$（ここで $L = 2\mu_n$）における正確な二次形式の恒等式を利用することを可能にする。

• 漸近解析：

  • 固有値は、レイリー商 $E_{\alpha, I}[\tilde{\phi}_n] / \|\tilde{\phi}_n\|^2_{L^2}$ を用いて近似される。
  • 剰余項は、内積 $\langle z_n, \tilde{\phi}_n \rangle$ を評価することによって決定される。これには、$G_\alpha(t)$ の $t \to \infty$ における詳細な漸近展開およびそのモーメントの評価が必要となる。
  • 特に、$0 < \alpha < 1$、$\alpha = 1$、および $1 < \alpha < 2$ における $G_\alpha$ の異なる挙動、特に $\alpha = 1$ での対数項の出現と、その他の場合における異なる冪乗則による減衰に細心の注意が払われる。

• 一様有界性：

  • $\alpha$ がゼロから離れている場合、熱半群の推定と準モードへの近接性から有界性が従う。
  • $\alpha$ が小さい場合、著者らは $\|z_n\|_{L^2} = o(\alpha/n)$ であることを証明する。これにより、準モードから真の固有関数への原始関数に関する評価の転送が可能になる。
  • 截断された二次形式の議論が用いられる。$(\phi_n - \Lambda)$ の正部分および負部分に対して固有値方程式をテストし、截断されたカーネル $k_\delta$ の特定の構造を利用することで、$\|\phi_n\|_{L^\infty}$ が特定の定数を超えた場合に矛盾が生じることを導き出し、一様有界性を証明する。

主な貢献と結果

1. 3項固有値漸近挙動 (定理 1)
本論文は、$n \to \infty$ における $\lambda_n(\alpha)$ の以下の3項漸近公式を確立する。ここで $\mu_n = \frac{n\pi}{2} - \frac{(2-\alpha)\pi}{8}$ である：
$$\lambda_n(\alpha) = \mu_n^\alpha + (-1)^n \kappa_\alpha \mu_n^{-2} + R_n(\alpha).$$
剰余項 $R_n(\alpha)$ は、以下の3つの異なる領域を示す：

• ケース $0 < \alpha < 1$:
  $$R_n(\alpha) = \left( A_\alpha + (-1)^n B_\alpha \right) \mu_n^{-2-\alpha} + o_\alpha(\mu_n^{-2-\alpha}).$$
  ここで、$A_\alpha$ および $B_\alpha$ はガンマ関数と三角関数を含む明示的な定数である。これは、$O(n^{-2-\alpha})$ の剰余項に関する数値的予測を裏付けるものである。
• ケース $\alpha = 1$:
  $$R_n(1) = (-1)^{n+1} \frac{1}{2\pi^2} \mu_n^{-3} \log \mu_n + O(\mu_n^{-3}).$$
  これは、半ラプラシアンに特有の対数補正項を特定している。
• ケース $1 < \alpha < 2$:
  $$R_n(\alpha) = (-1)^n \eta_\alpha \mu_n^{-3} + o_\alpha(\mu_n^{-3}).$$
  これは、数値的に予測されていた $O(n^{-3})$ の剰余項を確認するものである。

2. 固有関数の一様有界性 (定理 2)
本論文は、すべての $n \ge 1$ および $0 < \alpha < 2$ に対して、絶対定数 $C < \infty$ が存在することを証明する：
$$\|\phi_n\|_{L^\infty(I)} \le C.$$
この結果は、$\alpha \ge 1/2$ で観察される一様有界性が、全範囲 $0 < \alpha < 2$ にわたって拡張されるという予想を解決するものである。証明は定量的な評価を提供しており、 $C = \exp(100)$ と取ることが可能であると述べている。

意義
本論文は、有界領域における分数型ラプラシアンのスペクトル特性の理解を大きく進展させると主張している：

• Kulczycki–Kwaśnicki–Małecki–Stós および Kwaśnicki によって確立された2項漸近公式に対し、厳密な第3項を提供することで、それらを改善している。
• $O(n^{-2})$（または $O(n^{-2-\alpha})$）の挙動、特に正確な剰余項の次数に関する数値シミュレーションを検証している。
• 固有関数の $L^\infty$ 有界性が、全範囲の分数次において成り立つという未解決問題を解決しており、この性質は境界付近における分数型偏微分方程式の解の正則性と振る舞いを理解する上で極めて重要である。

著者は、これらの結果は1次元の区間に特化したものであるものの、より精密な個々の固有値漸近挙動や鋭い大域的 $L^\infty$ 推定が未解決問題として残されている高次元領域への将来的な調査への基礎を提供するものであると述べている。