[論文レビュー] An Estimate of the Gap of the First Two Eigenvalues in the Schrödinger Operator

Shing‐Tung Yau|ArXiv.org|Feb 13, 2009

Spectral Theory in Mathematical Physics参考文献 1被引用数 6

ひとこと要約

本稿は、凸領域上でのシュレーディンガー作用素 $-\Delta + V$ のスペクトルギャップ $\lambda_2 - \lambda_1$ に対して、ポテンシャル $V$ のヘッセ行列が正の定数以上に下から有界であるという条件下で次元に依存しない下界を確立する。固有関数の比 $u_2/u_1$ を分析し、曲率とベクトル場の制約を適用することで、ギャップ推定値を領域の直径とヘッセ行列の下界にのみ依存させる。これは、$-\log u_1$ のヘッセ行列制御を用いて非凸ポテンシャルへ拡張された結果であり、$V$ が強く凸である場合に次元に依存しない普遍的な下界が得られることが主な貢献である。

ABSTRACT

We give a lower estimate of the gap of the first two eigenvalues of the Schrodinger operator in the case when the potential is strongly convex. In particular, if the Hessian of the potential is bounded from below by a positive constant, the gap has a lower bound independent of the dimension. We also estimate the gap when the potential is not necessarily convex.

研究の動機と目的

• 先行研究を超えるシュレーディンガー作用素 $-\Delta + V$ のスペクトルギャップ $\lambda_2 - \lambda_1$ の下界推定値の改善を図ること。
• ポテンシャル $V$ が強く凸、すなわち $\operatorname{Hess}(V) \geq c > 0$ である場合に、ギャップ推定値を領域の次元に依存しない形で確立すること。
• 第1固有関数 $u_1$ の対数のヘッセ行列 $-\log u_1$ のヘッセ行列を制御することにより、非凸ポテンシャルに対してもギャップ推定値を拡張すること。
• 固有関数の比 $u_2/u_1$ とノイマン境界条件を含む幾何学的・解析的技術を用いて、$\lambda_2 - \lambda_1$ の普遍的な下界を導出すること。

提案手法

• 第1固有関数 $u_1 > 0$ と第2固有関数 $u_2$ の比 $u = u_2 / u_1$ を定義し、固有値問題をノイマン境界条件を満たす2階偏微分方程式に変換する。
• $\varphi_1 = -\log u_1$ とおくと、恒等式 $\Delta u = -(\lambda_2 - \lambda_1)u + 2\nabla\varphi_1 \cdot \nabla u$ を用いて、$u$ のラプラシアンをスペクトルギャップと $\varphi_1$ の勾配で表現する。
• リャプノフ型関数 $F = |\nabla u|^2 + \alpha u^2$ を導入し、そのラプラシアンを解析することで、スペクトルギャップを含む微分不等式を導出する。
• 非負のリッチ曲率、凸境界、および $W_{i,i} \geq \sqrt{c/2}$ の仮定を適用し、$\Delta F - 2W \cdot \nabla F$ の下界を制御する。
• $F$ に対して最大原理を適用し、$\lambda_2 - \lambda_1$ が $c$、$\mathrm{diam}(\Omega)$、パラメータ $\beta$ に依存する閾値を超えない限り矛盾が生じることを示す。
• 非凸ポテンシャルの場合、$\varphi_1 = -\log u_1$ を $\varphi_{1,ii} \geq -a$ で制御し、対数的バリア関数を用いて $|\nabla u|/(c - u)$ を評価することで、$a$ と $\mathrm{diam}(\Omega)$ に依存するギャップ推定値を得る。

実験結果

リサーチクエスチョン

• RQ1 ポテンシャルが強く凸である場合、シュレーディンガー作用素のスペクトルギャップ $\lambda_2 - \lambda_1$ は次元に依存しない定数で下から抑えられるか。
• RQ2 ポテンシャルが必ずしも凸でない場合、$-\log u_1$ のヘッセ行列がスペクトルギャップの下界にどのように影響を与えるか。
• RQ3 スペクトルギャップに普遍的な下界を保証するための、領域とポテンシャルの最適な幾何学的・解析的条件は何か。
• RQ4 $\varphi_1 = -\log u_1$ の曲率を制御することで、ギャップ推定値を凸ポテンシャルを超えて拡張できるか。

主な発見

• ヘッセ行列 $\operatorname{Hess}(V) \geq c > 0$ を満たすとき、$\lambda_2 - \lambda_1 \geq \frac{\theta^2(\beta)}{\mathrm{diam}(\Omega)^2} + \beta\sqrt{c}$ が任意の $0 < \beta < \sqrt{2}$ に対して成り立ち、ここで $\theta(\beta) = \sin^{-1}\left(\frac{1}{\sqrt{1 + \frac{\beta}{\sqrt{2} - \beta}}}\right)$ である。
• 強い凸性の下で、$\lambda_2 - \lambda_1$ の下界は領域の次元に依存せず、従来の推定値よりも顕著な改善がなされた。
• 一般の滑らかなポテンシャルに対して、$-\log u_1$ のヘッセ行列が $-a$ 以上に下から有界であるならば、$\lambda_2 - \lambda_1 \geq 2\mathrm{diam}(\Omega)^{-2}\exp(-a\mathrm{diam}(\Omega)^2)$ が成り立つ。
• この手法は、$u = u_2/u_1$ を用いた $F = |\nabla u|^2 + \alpha u^2$ に最大原理を適用することで、曲率とベクトル場の項を含む下界に到達する。
• $\operatorname{Hess}(-\log u_1) \geq -a$ を満たす任意の有限直径の凸領域 $\Omega$ に対して、$\lambda_2 - \lambda_1 \geq 2\mathrm{diam}(\Omega)^{-2}\exp(-a\mathrm{diam}(\Omega)^2)$ が成り立つ。
• 解析により、基底状態 $u_1 = \exp(-\varphi_1)$ は $\sqrt{(V - \lambda_1)_+}$ の積分に比例して速く減衰することはできず、$\varphi_1$ の成長が制御されていることが示された。