[論文レビュー] A Critical Centre-Stable Manifold for the Cubic Focusing Schroedinger Equation in Three Dimensions

Marius Beceanu|ArXiv.org|Feb 10, 2009

Advanced Mathematical Physics Problems参考文献 46被引用数 9

ひとこと要約

本稿は、3次元の立方体収束シュレーディンガー方程式における $\text{H}^{1/2}$ における codimension-one、実解析的中心安定多様体 $\mathcal{M}$ の存在を確立する。変調法と新規のストリコフ型推移不等式を用いて、$\mathcal{M}$ 上の解が移動するソリトンと散乱する拡산項に分解されることを証明し、漸近的安定性と大域的存在性を示す。

ABSTRACT

Consider the H^{1/2}-critical Schroedinger equation with a cubic nonlinearity in R^3, i \partial_t ψ+ Δψ+ |ψ|^2 ψ= 0. It admits an eight-dimensional manifold of periodic solutions called solitons e^{i(Γ+ vx - t|v|^2 + α^2 t)} ϕ(x-2tv-D, α), where ϕ(x, α) is a positive ground state solution of the semilinear elliptic equation -Δϕ+ α^2ϕ= ϕ^3. We prove that in the neighborhood of the soliton manifold there exists a H^{1/2} real analytic manifold N of asymptotically stable solutions of the Schroedinger equation, meaning they are the sum of a moving soliton and a dispersive term. Furthermore, a solution starting on N remains on N for all positive time and for some finite negative time and N can be identified as the centre-stable manifold for this equation. The proof is based on the method of modulation, introduced by Soffer and Weinstein and adapted by Schlag to the L^2-supercritical case. Novel elements include a different linearization and new Strichartz-type estimates for the linear Schroedinger equation. The main result depends on a spectral assumption concerning the absence of embedded eigenvalues. We also establish several new estimates for solutions of the time-dependent and time-independent linear Schroedinger equation, which hold under sharper or more general conditions than previously known. Several of these estimates are based on a new approach that makes use of Wiener's Theorem in the context of function spaces.

研究の動機と目的

• 3次元の $\text{H}^{1/2}$-臨界な収束立方体シュレーディンガー方程式に対する中心安定多様体の存在を確立すること。
• ソリトン多様体付近の解の漸近的安定性を証明し、それらが移動するソリトンと拡散項に分解されることを示すこと。
• 多様体 $\mathcal{M}$ がすべての正の時間および有限の負の時間におけるハミルトニアンフローに関して不変であることを示すこと。
• 拡散項が自由シュレーディンガー方程式の解と同様に散乱することを示し、長時間の挙動が正則であることを示すこと。
• 初期データに関して解と多様体の実解析的依存性を確立し、力学的構造の理解を深めること。

提案手法

• ソリトン付近の力学を制御するため、Soffer と Weinstein が開発し、Schlag が拡張した変調法を適用する。
• 中心方向と安定方向を分離するために、ソリトン多様体のまわりでの非線形シュレーディンガー方程式の線形化を導入する。
• 従来の結果よりも弱いか、より一般的な条件下で、線形シュレーディンガー方程式に対する新しいストリコフ型推移不等式を導出する。
• 特にリゾルベントおよび時間発展作用素の主要な線形推移不等式を得るために、関数空間におけるウィーナーの定理を用いる。
• 適切な関数空間における不動点定理を用いて、中心安定多様体上での解の存在性と安定性を証明する。
• スペクトル仮定に依存する：線形化ハミルトニアンの連続スペクトル内に埋め込まれた固有値がないこと。

実験結果

リサーチクエスチョン

• RQ1 3次元の $\text{H}^{1/2}$-臨界な収束立方体シュレーディンガー方程式に対して、$\text{H}^{1/2}$ に中心安定多様体が存在するか？
• RQ2 この多様体上での解は、移動するソリトンと散乱する拡散項に分解可能か？
• RQ3 多様体はすべての正の時間およびある有限の負の時間におけるハミルトニアンフローに関して不変か？
• RQ4 多様体および解の流れの正則性と解析的性質は何か？
• RQ5 線形推移不等式とスペクトル仮定は、非線形安定性解析にどのように影響するか？

主な発見

• ソリトン多様体の近傍に、codimension-one で実解析的な中心安定多様体 $\mathcal{M}$ が存在し、$\mathcal{M}$ に属する任意の初期データは大域的解を生成する。
• 多様体 $\mathcal{M}$ 上の解は、漸近的に移動するソリトン $w_{\mathcal{M}}(t)$ と拡散項 $r$ に分解され、$\|\dot{\pi}\|_{L^1_t \cap L^\infty_t} \leq C\alpha(0)\|r(0)\|_{\dot{H}^{1/2}}$ を満たす。
• 拡散項は $\|r\|_{L^\infty_t \dot{H}^{1/2}_x \cap L^2_t \dot{W}^{1/2,6}_x} \leq C\|r(0)\|_{\dot{H}^{1/2}_x}$ を満たし、臨界ノルムにおける制御を保証する。
• 拡散項 $r$ は散乱する：$r_0 \in \dot{H}^{1/2}$ が存在し、$t \to \infty$ のとき $r(t) = e^{it\Delta}r_0 + o_{\dot{H}^{1/2}}(1)$ となる。
• 多様体 $\mathcal{M}$ はすべての $t > 0$ およびある $t < 0$ に対してハミルトニアンフローに関して不変であり、中心安定多様体の性質を裏付ける。
• 主な非線形結果は、スペクトル仮定に依存する：線形化ハミルトニアンの連続スペクトル内に埋め込まれた固有値がないこと。