[論文レビュー] Nondegeneracy of ground states and multiple semiclassical solutions of the Hartree equation for general dimensions

Guoyuan Chen|arXiv (Cornell University)|Oct 18, 2016

Advanced Mathematical Physics Problems参考文献 51被引用数 4

ひとこと要約

本稿では、次元 n=3,4,5 におけるハートリー方程式の基底状態の非退化性を確立し、これを用いてリャプノフ＝シュミット還元を用いて複数の半古典的解を構成する。主な貢献は、外部ポテンシャル V(x) の臨界多様体 M の近傍に集中する少なくとも l(M) 個の半古典的解の存在を示したことである。ここで l(M) は M のカップ長である。

ABSTRACT

We study nondegeneracy of ground states of the Hartree equation $$ -Δu+u=(I_{2}\ast u^2)u\quad\mbox{ in }\mathbb R^n $$ where $n=3,4,5$ and $I_2$ is the Newton potential. As an application of the nondegeneracy result, we use a Lyapunov-Schmidt reduction argument to construct multiple semiclassical solutions to the following Hartree equation with an external potential $$-\varepsilon^2Δu+u+V(x)u=\varepsilon^{-2}(I_{2}\ast u^2)u\quad \mbox{ in }\mathbb R^n.$$

研究の動機と目的

• n=3,4,5 におけるハートリー方程式の R^n における一意な正の径数的基底状態 U の非退化性を確立すること。
• U のまわりの線形化作用素 L への非退化性結果を拡張し、その核が空間的平行移動の張る空間にちょうど一致することを示すこと。
• 非退化性を用いて、外部ポテンシャル V(x) を持つハートリー方程式に対する複数の半古典的解を構成すること。
• リャプノフ＝シュミット還元を用いて、V の臨界多様体 M の近傍に集中する少なくとも l(M) 個の半古典的解の存在を証明すること。
• ε→0 の極限における解の漸近的挙動を分析し、V の臨界点に集中することを示すこと。

提案手法

• 線形化作用素 L の核を解析することで、基底状態 U の非退化性を証明し、それが偏導関数 ∂xiU の張る空間に一致することを示す。
• 球面調和関数展開を用いて、ハートリー方程式における非局所項 (I2∗u²)u を分解し、線形化作用素のスペクトル解析を可能にする。
• ポテンシャル V の臨界点の近傍で、無限次元問題を有限次元問題に還元するリャプノフ＝シュミット還元法を適用する。
• 還元された汎関数 Φε(ξ/ε) を構成し、その臨界点が摂動されたハートリー方程式の解に対応することを示す。
• 外部ポテンシャル V の臨界多様体 M のカップ長 l(M) を用いて、半古典的解の個数に対する下界を提供する。
• リャプノフ＝シュミット分解における剰余項 w(ε,ξ) に対して一様推定を確立し、ε→0 のとき ∥w∥=O(ε²) となることを示す。

実験結果

リサーチクエスチョン

• RQ1 ハートリー方程式の基底状態解 U は、n=3,4,5 の R^n において非退化的か？
• RQ2 U の非退化性は、ポテンシャル V(x) を持つハートリー方程式に対して複数の半古典的解を構成するために利用可能か？
• RQ3 外部ポテンシャル V(x) の臨界点の周囲に、半古典的極限において何個の半古典的解が存在するか？
• RQ4 ε→0 のとき、これらの解の漸近的挙動はいかなるものか？
• RQ5 臨界多様体 M の存在下で、半古典的解の個数を決定する位相的不変量は何か？

主な発見

• R^n (n=3,4,5) におけるハートリー方程式の基底状態 U は非退化的であり、ker L = span{∂x₁U, ..., ∂xnU} が成り立つ。
• 非退化的臨界多様体 M を持つ任意の外部ポテンシャル V(x) に対して、十分に小さい ε>0 に対して少なくとも l(M) 個の半古典的解が存在する。
• 各解 uε,ξk は ε→0 のとき M の点の周囲に集中し、uε,ξk(x/ε) ≃ zξk((x−ξk)/ε) と近似できる。
• 半古典的解の個数は、V の臨界多様体 M のカップ長 l(M) によって下界で抑えられる。
• リャプノフ＝シュミット分解における剰余項 w(ε,ξ) は ∥w∥=O(ε²) を満たし、一様な制御が保証される。
• 還元された汎関数 Φε(ξ/ε) は、ε→0 のとき、M の δ-近傍上で C¹ 収束し、h(ξ)=C₁(1+V(ξ))³⁻ⁿ/² に収束する。