[論文レビュー] Spectral properties of Schr\\"odinger operators on compact manifolds: rigidity, flows, interpolation and spectral estimates

Jean Dolbeault, Maria J. Esteban+2 more|arXiv (Cornell University)|Jan 1, 2013

Advanced Mathematical Modeling in Engineering参考文献 8被引用数 14

ひとこと要約

本稿では、非線形楕円型方程式の剛性結果と補間不等式を用いて、境界のないコンパクトなリーマン多様体上におけるシュレーディンガー作用素の最適なスペクトル推定を確立する。$-\Delta_g - V$ の最小固有値に対する鋭い境界を $V$ の $L^p$-ノルムに関して導出し、その境界が最適であり、潜在的ノルムが大きくなるにつれてユークリッド空間の場合と漸近的に一致することを示す。

ABSTRACT

This note is devoted to optimal spectral estimates for Schrödinger operators on compact connected Riemannian manifolds without boundary. These estimates are based on the use of appropriate interpolation inequalities and on some recent rigidity results for nonlinear elliptic equations on those manifolds.

研究の動機と目的

• 境界のないコンパクトなリーマン多様体上におけるシュレーディンガー作用素の鋭く最適なスペクトル推定を導出すること。
• 剛性および補間技術を用いて、球面上の既知の結果を一般のコンパクト多様体へ拡張すること。
• 潜在的ノルムが無限大に近づく際の固有値推定の漸近的挙動を特定すること。
• 特に定数潜在的関数の場合に最適定数が達成される条件を同定すること。
• 補間不等式を通じて、負の潜在的関数および正の潜在的関数の両方のスペクトル推定を統一すること。

提案手法

• コンパクト多様体上における非線形楕円型方程式の解に関する剛性結果を証明するために非線形フローを用いる。
• 剛性結果から導かれる $A$--$B$ 型補間不等式を適用し、勾配の $L^2$-ノルムと関数の $L^q$-ノルムを含む。
• スペクトル関数 $\alpha(\mu)$ の逆関数をとることで、潜在的関数 $V$ の $L^p$-ノルムと $-\Delta_g - V$ の第一固有値の下界との関係を確立する。
• スケーリングの考察と集中・コンパクトネスの技法を用いて、$\mu \to \infty$ のときの $\alpha(\mu)$ の鋭い漸近的挙動を導出する。
• ホルダーの不等式を用いて、$-\Delta_g - V$ のレイリー商と補間不等式を関連付け、スペクトル推定を可能にする。
• 変分法を用いて極値関数の存在を証明し、境界の最適性を検証する。

実験結果

リサーチクエスチョン

• RQ1 境界のないコンパクトなリーマン多様体上におけるシュレーディンガー作用素 $-\Delta_g - V$ の最適スペクトル推定は何か、ただし $V$ は非負であるものとする。
• RQ2 $\|V\|_{L^p}$ が大きくなるにつれて、第一固有値 $\lambda_1(-\Delta_g - V)$ はどのように振る舞うか。
• RQ3 スペクトル推定における最適定数が定数潜在的関数によって達成される条件は何か。
• RQ4 $\mu = \|V\|_{L^p} \to \infty$ のとき、スペクトル境界 $\alpha(\mu)$ の正確な漸近的挙動は何か。
• RQ5 多様体上における非線形楕円型方程式の剛性結果は、どのように鋭い補間およびスペクトル不等式を導くか。

主な発見

• スペクトル推定 $|\lambda_1(-\Delta_g - V)| \leq \alpha(\|V\|_{L^p})$ は最適である：任意の $\mu > 0$ に対して、等号が成立する非負な $V$ が存在する。
• $\mu < \frac{\kappa \Lambda_*}{q-2}$ のとき、境界は $\alpha(\mu) = \mu / \kappa$ であり、等号は定数潜在的関数によって達成される。
• $\mu \to \infty$ のとき、漸近的挙動は $\alpha(\mu)^{p - d/2} = \mathrm{L}_{p - d/2, d}^1 \, \mu^p \, (1 + o(1))$ であり、$\mathrm{L}_{\gamma,d}^1 = (\mathsf{K}_{q,d})^{-(\gamma + d/2)}$ である。
• 定数 $\mathsf{K}_{q,d}$ は $\mathbb{R}^d$ 上の対応する不等式における最適定数であり、テスト関数の集中のおかげで漸近的挙動は鋭い。
• 正の潜在的関数 $W$ に対して、$-\Delta_g + W$ の第一固有値は $\lambda_1(-\Delta_g + W) \geq \nu(\beta)$ を満たし、$\beta = \left(\int W^{-p} \, dv_g\right)^{1/p}$ であり、$\beta \to \infty$ のとき $\nu(\beta)^{-(p + d/2)} \sim \mathrm{L}_{-(p + d/2), d}^1 \, \beta^{-p}$ である。
• 剛性結果により、$\lambda < \Lambda_*$ のとき、方程式 $-\Delta_g v + \frac{\lambda}{q-2}(v - v^{q-1}) = 0$ の唯一の正の解は $v \equiv 1$ であることが保証され、これが推定の鋭さの根拠となる。