[論文レビュー] Orbital stability of Gausson solutions to logarithmic Schrödinger equations

Alex Javier Hernandez Ardila|Jul 6, 2016

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

ひとこと要約

本稿は、任意の次元 $N \geq 1$ において、非径対称な摂動のもとで、対数的シュレーディンガー方程式のガウッソン解の軌道的安定性について、きめ細やかな証明を提供する。重み付きオーリッチ＝ソボレフ空間 $W(\mathbb{R}^N)$ における変分的アプローチを用いて、エネルギー汎関数をネハリ制約の下で最小化することで、ガウッソン型解 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ が軌道的安定であることが確立される。これは、カゼナーヴとリオンズによってのみ発表され、証明なしに提示された長年の文献的ギャップを解消するものである。

ABSTRACT

In this paper we present a proof of the orbital stability of ground state for logarithmic Schrödinger equation in any dimension and under nonradial perturbations.

研究の動機と目的

• すべての $N \geq 1$ に対して、対数的シュレーディンガー方程式のガウッソン解の軌道的安定性を厳密に確立すること。
• 従来、径対称性に制限された安定性しか示されていなかった非径対称安定性という未解決問題を解消すること。
• カゼナーヴとリオンズによって発表されたが導出を伴わない軌道的安定性結果の完全かつ詳細な証明を提供すること。
• ガウッソン解が空間 $W(\mathbb{R}^N)$ 内で、制約付きエネルギー汎関数の最小化子として特徴づけられることを示すこと。

提案手法

• エネルギー汎関数 $E(u)$ を定式化し、$C^1$ 級の滑らかさを保証するため、$W(\mathbb{R}^N) = H^1(\mathbb{R}^N) \cap \{u : |u|^2 \log|u|^2 \in L^1\}$ という空間を定義する。
• 制約付き最小化問題 $d(\omega) = \inf \{ S_\omega(u) : u \in W(\mathbb{R}^N) \setminus \{0\}, \, I\_\omega(u) = 0 \}$ を定義する。ここで $S_\omega$ はエネルギー、$I_\omega$ はネハリ汎関数である。
• 集中・コンパクトネスの技法とプロファイル分解を用いて、最小化列 $\{v_n\}$ を解析し、平行移動および位相シフトの意味でガウッソン型解に収束することを示す。
• 再スケーリング列 $f_n = \rho_n v_n$ を構成し、$\rho_n = \exp(I_\omega(v_n)/(2\|v_n\|^2_{L^2}))$ とすることで、$I_\omega(f_n) = 0$ かつ $\|v_n - f_n\|_{W(\mathbb{R}^N)} \to 0$ となるようにする。
• ブレジス＝リーブの補題とオーリッチ空間の性質を用いて、$A(|u|)$ および $F(|u|) = |u|^2 \log|u|^2$ の $L^1$ 収束を制御する。
• ガウッソン解の一意性および非退化性を用いて、任意の最小化列が、位相シフトおよび平行移動を施した $\phi_\omega$ のバージョンに収束することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 すべての $N \geq 1$ に対して、非径対称な摂動のもとで、ガウッソン解 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ は $W(\mathbb{R}^N)$ 内で軌道的安定か？
• RQ2 径対称関数に制限せず、空間 $W(\mathbb{R}^N)$ 全体においてガウッソン解の軌道的安定性を厳密に証明できるか？
• RQ3 ガウッソン解は、ネハリ制約 $I_\omega(u) = 0$ の下でエネルギー汎関数の最小化子としてどのように特徴づけられるか？
• RQ4 オーリッチ空間 $W(\mathbb{R}^N)$ の構造は、対数的シュレーディンガー方程式の適切な定義および安定性解析をどのように可能にするか？

主な発見

• ガウッソン解 $\phi_\omega(x) = e^{(\omega+N)/2} e^{-|x|^2/2}$ は、$\mathbb{R}^N$ 内で、方程式 $-\Delta\varphi + \omega\varphi - \varphi \log|\varphi|^2 = 0$ の唯一の正の $C^2$ 解である。
• エネルギー汎関数 $E(u)$ は空間 $W(\mathbb{R}^N)$ 上で適切に定義され、$C^1$ 級の滑らかさを有する。これにより、変分的アプローチの有効性が保証される。
• ガウッソン型解 $\phi_\omega$ は、制約 $I_\omega(u) = 0$ の下でエネルギー汎関数 $S_\omega(u)$ の最小化子であり、この最小化は位相および平行移動の意味で一意にその解を特徴づける。
• 任意の最小化列 $\{v_n\}$ は、部分列および平行移動・位相シフトの意味で、$\varphi = e^{i\theta_0} \phi_\omega(\cdot - y_0)$ に $W(\mathbb{R}^N)$ 内で収束する。
• プロファイル分解と収束性の性質を用いた背理法により、すべての $N \geq 1$ に対して、$e^{i\omega t}\phi_\omega(x)$ の $W(\mathbb{R}^N)$ 内での軌道的安定性が確立される。