[論文レビュー] The fundamental gap for a one-dimensional Schrödinger operator with Robin boundary conditions

Ben Andrews, Julie Clutterbuck+1 more|arXiv (Cornell University)|Feb 17, 2020

Spectral Theory in Mathematical Physics参考文献 14被引用数 4

ひとこと要約

本稿では、1次元シュレーディンガー作用素に対してロビンまたはノイマン境界条件が課された場合、凸または対称的単井型条件のもとで、第一固有値と第二固有値の差である基本ギャップが、ポテンシャルが定数であるときに最小化されることを確立している。著者らはこの結果をp-ラプラシアン作用素へと拡張し、固有関数の対数凹性に依存しない洗練されたラヴィーン法を用いることで、その依存を回避した。

ABSTRACT

For Schrödinger operators on an interval with either convex or symmetric single-well potentials, and Robin or Neumann boundary conditions, the gap between the two lowest eigenvalues is minimised when the potential is constant. We also have results for the $p$-Laplacian.

研究の動機と目的

• 1次元シュレーディンガー作用素に対してロビンまたはノイマン境界条件が課された場合の基本ギャップの最小化子を特定すること。
• 従来、ディリクレ条件においては確立されていた基本ギャップに関する既知の結果を、ロビンおよびノイマン設定へと拡張すること。
• 第一固有関数の対数凹性に依存しない、基本ギャップに対する鋭い下界を確立すること。これはロビン問題では成立しない。
• 線形でないp-ラプラシアン作用素（1 < p < ∞）への結果の一般化。
• 線形ポテンシャルがギャップを最小化しないことの確認。これは、与えられた条件下で唯一、定数ポテンシャルがギャップを最小化することを示している。

提案手法

• ラヴィーン法を1次元での基本ギャップに適応し、固有関数の対数凹性に関する仮定を避けるように、ロビンおよびノイマン境界条件に適用する。
• 線形および非線形（p-ラプラシアン）固有値問題の両方に対して、レイノルズ商による変分的特徴付けを用いる。
• 区間(−1,1)を(0,2a^{1/3})に写像するスケーリング変換を適用し、a → ∞における漸近的挙動を分析する。
• アイルリー関数の漸近的解析を用いて、大きなaにおける固有値展開を導出し、ギャップが無限大に近づくことを示す。
• ロビン条件のもとでの固有関数に対する微分的恒等式を導出し、線形ポテンシャルに対するギャップの第一変動を分析する。
• 符号解析および固有関数の差に関する積分推定を用いて、非ゼロの線形ポテンシャルがギャップを最小化すると仮定した場合の矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 1次元シュレーディンガー作用素に対してロビンまたはノイマン境界条件が課された場合、ポテンシャルが定数であるときに基本ギャップが最小化されるか？
• RQ2 第一固有関数の対数凹性に依存しない、基本ギャップに対する鋭い下界を確立できるか？
• RQ3 ロビン境界条件のもとで線形ポテンシャルに対して基本ギャップはどのように振る舞うか？
• RQ4 ロビン条件のもとでp-ラプラシアン作用素に対する基本ギャップはどのように振る舞うか？
• RQ5 ロビン／ノイマン条件下で、凸または対称的単井型ポテンシャルのクラスにおいて、定数ポテンシャルが基本ギャップの唯一の最小化子か？

主な発見

• ロビンまたはノイマン境界条件が課されたシュレーディンガー作用素の基本ギャップは、凸または対称的単井型ポテンシャルのクラスにおいて、ポテンシャルが定数であるときに最小化される。
• 線形ポテンシャルV(x) = axに対して、ギャップΓ(ax)はa → ∞のとき無限大に近づき、ギャップの最小値はa = 0、すなわち定数ポテンシャルでのみ達成される。
• 線形ポテンシャルに対するギャップの第一変動がゼロとなるのは∫x(u₁² − u₀²)dx = 0のときであり、これはα ≥ −1/2のロビン条件のもとで矛盾を引き起こす。
• 大きなaにおける固有値の漸近的展開はλᵢᵃ ∼ a²/³μᵢ − a + O(a²/³)であり、基本ギャップΓ₂(ax) ∼ a²/³(μ₂ − μ₁) → ∞（a → ∞）であることが示される。
• 固有関数の対数凹性に依存しない手法を回避するために、積分的恒等式と符号解析を用いることで、ロビン問題では成立しない対数凹性に依存しない手法が成功裏に適用された。
• p-ラプラシアンの場合にも同様に、同じポテンシャルクラスにおいて、定数ポテンシャルが基本ギャップを最小化することが成り立つ。