[論文レビュー] Necessary conditions and sufficient conditions for global existence in the nonlinear Schrödinger equation

Pascal Bégout|arXiv (Cornell University)|Jul 9, 2012

Advanced Mathematical Physics Problems参考文献 20被引用数 22

ひとこと要約

本稿は、非線形項の非線形性が超臨界的（$\alpha > 4/N$）で、吸引的（$\lambda > 0$）な非線形シュレーディンガー方程式に対して、解のグローバル存在の明示的必要十分条件を確立する。二つの閾値関数 $\gamma_*$ と $r_*$（ただし $\gamma_* < r_*$）を導入し、$\|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$ ならば解がグローバルに有界であることを証明。一方、$\|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$ ならば解は有限時刻で爆発する。これは臨界的場合 $\alpha = 4/N$ におけるワインスタインの鋭い条件を回復する。結果として、既知の爆発基準を改善し、小データ領域を超えてグローバル存在基準を拡張する。

ABSTRACT

In this paper, we consider the nonlinear Schrödinger equation with the super critical power of nonlinearity in the attractive case. We give a sufficient condition and a necessary condition to obtain global or blowing up solutions. These conditions coincide in the critical case, thereby extending the results of Weinstein. Furthermore, we improve a blow-up condition.

研究の動機と目的

• 臨界的状況 $\alpha = 4/N$ におけるワインスタインの鋭いグローバル存在条件を、以前は小データグローバル存在しか知られていなかった超臨界的領域 $\alpha > 4/N$ に拡張すること。
• 解のグローバル存在または有限時刻爆発を保証する $L^2$ および $H^1$ ノルムに基づく明示的かつ計算可能な条件を導出すること。
• エネルギーが非正（特にゼロエネルギーの場合）であっても、任意の非自明な解が有限時刻で爆発することを示し、既存の爆発基準を改善すること。
• 超臨界非線形性のもとでも、グローバル解をもたらす初期データの集合が $H^1$ において有界でないことを示すこと。

提案手法

• 最良定数 $C_*$ を用いたガリardo-Nirenberg型不等式を用いた変分的アプローチにより、グローバル存在の十分条件を導出する。
• ガリardo-Nirenberg不等式の最良定数および関連する楕円型方程式の基底状態解から導かれる二つの閾値関数 $\gamma_*$ と $r_*$ を導入する。
• 質量とエネルギーの保存則を用いて、$\|\nabla u(t)\|_{L^2}$ を含む関数不等式により解の $H^1$ ノルムを評価する。
• スケーリングの考察と射影作用素 $\mathcal{P}$ を用いた初期データ族 $\varphi_{a,b}$ の構成により、$b > r_*(a)$ の場合に爆発を示す。
• 関数 $f(x) = a - x + b x^p$ の正定性に基づく背理法を用い、$\|\nabla u(t)\|_{L^2}$ が有界のまま保たれることを示し、$T^* = \infty$ を得る。
• 楕円型方程式 $-\Delta R + \omega R = \lambda |R|^\alpha R$ の基底状態解 $R$ の存在および性質に依存し、爆発を示す初期データを構成する。

実験結果

リサーチクエスチョン

• RQ1 超臨界的非線形シュレーディンガー方程式（$\alpha > 4/N$）に対して、臨界的状況（$\alpha = 4/N$）におけるワインスタインの結果に類似した鋭いグローバル存在条件を確立できるか？
• RQ2 初期データ $\varphi$ について、$\|\varphi\|_{L^2}$ と $\|\nabla\varphi\|_{L^2}$ の観点から、グローバル存在または有限時刻爆発を保証する明示的かつ計算可能な条件は何か？
• RQ3 エネルギーが非正（特にゼロエネルギーの場合）であっても、エネルギーに基づく爆発基準が超臨界的状況に拡張可能か？
• RQ4 初期データ空間（$H^1 \cap L^2(|x|^2 dx)$）の幾何構造は、超臨界的領域における解のグローバル挙動にどのように影響を与えるか？

主な発見

• 解は $\|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})$ ならば、$\gamma_*$ がガリardo-Nirenberg不等式の最良定数により明示的に定義されるため、時間的にグローバルに有界である。
• 解は $\|\nabla\varphi\|_{L^2} > r_*(\|\varphi\|_{L^2})$ ならば、$r_*$ も同様に明示的に定義されるため、$t>0$ および $t<0$ の両方で有限時刻に爆発する。
• 集合 $\mathcal{A} = \{\varphi \in H^1(\mathbb{R}^N) \mid \|\varphi\|_{L^2} \leq \gamma_*(\|\nabla\varphi\|_{L^2})\}$ は $H^1$ において有界でないため、大規模な初期データに対してもグローバル解が存在することを示す。
• 爆発条件が改善されている：非自明な解がエネルギー $E(\varphi) \leq 0$ を満たす限り、超臨界的仮定のもとで、$E(\varphi) = 0$ の場合であっても有限時刻に爆発する。
• 結果として、$\alpha \searrow 4/N$ の極限において、ワインスタインの臨界的状況での鋭い条件が回復され、$\gamma_*$ と $r_*$ が同じ閾値に収束することが示される。
• 任意の $(a,b) \in (0,\infty)\times(0,\infty)$ に対して $a > \rho_*(b)$ を満たす場合、$\|\varphi_{a,b}\|_{L^2} = a$、$\|\nabla\varphi_{a,b}\|_{L^2} = b$ を満たす初期データ $\varphi_{a,b}$ が存在し、その解は有限時刻に爆発する。