[論文レビュー] Existence of global solutions to the derivative NLS equation with the inverse scattering transform method

Dmitry E. Pelinovsky, Yusuke Shimabukuro|arXiv (Cornell University)|Feb 5, 2016

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

ひとこと要約

本稿は、$H^2(\mathbb{R}) \cap H^{1,1}('\mathbb{R})$ において、小規模なノルム仮定を必要とせずに、微分非線形シュレーディンガー（DNLS）方程式のグローバル解の存在を確立する。固有値や共鳴がない逆散乱変換を用いて、初期データに関してリプシッツ連続である一意でグローバルに定義された解を構成し、$L^2$-ノルムの閾値が最適であるかどうかという長年の疑問を解決した。

ABSTRACT

We address existence of global solutions to the derivative nonlinear Schrödinger (DNLS) equation without the small-norm assumption. By using the inverse scattering transform method without eigenvalues and resonances, we construct a unique global solution in $H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ which is also Lipschitz continuous with respect to the initial data. Compared to the existing literature on the spectral problem for the DNLS equation, the corresponding Riemann--Hilbert problem is defined in the complex plane with the jump on the real line.

研究の動機と目的

• 従来の結果を制限していた小規模なノルム仮定なしに、微分 NLS 方程式の解のグローバル存在を確立すること。
• グローバル存在における $L^2$-ノルム閾値 $\sqrt{2\pi}$ が最適であるかどうかという未解決の問題に取り組むこと。
• 固有値や共鳴が存在しない状況において、DNLS 方程式への逆散乱変換法を拡張し、散乱データの時間発展が安定することを保証すること。
• 初期データに関して、$H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ における解写像のリプシッツ連続性を証明すること。
• 初期 $L^2$-ノルムが $\sqrt{2\pi}$ を超えても、解がグローバルに存在し得ることを示し、以前の閾値に関する仮定に反することを明らかにすること。

提案手法

• Jost 関数と散乱係数を用いて、複素平面におけるスペクトルデータを定義する DNLS 方程式への直接散乱変換を適用し、実軸上にジャンプを持つ。
• 実軸上にジャンプ行列を持つリーマン＝ヒルベルト問題を定式化し、問題を単純化し特異点を除去するための2つの変換を導入する。
• 逆散乱変換により、時間発展した散乱データ $r_{\pm}(t;z) = r_{\pm}(0;z)e^{i4z^2t}$ からポテンシャル $u(t,x)$ を再構成し、時間発展が $H^1(\mathbb{R}) \cap L^{2,1}(\mathbb{R})$ に留まることを保証する。
• リーマン＝ヒルベルト問題の解に対する推定式を導出し、$u(t,\cdot)$ の $H^2 \cap H^{1,1}$ ノルムが時間に関して多項式的成長であることを示す。
• 解写像がリプシッツ連続であることを示すために、$u(t,\cdot)$ の $H^2 \cap H^{1,1}$ ノルムを定数 $C(T)\|u_0\|_{H^2 \cap H^{1,1}}$ で抑え、$C(T)$ が $T$ に関して多項式的成長であることを示す。
• 背理法を用いる：解が有限時間で爆発すると仮定すると、ノルムの多項式的境界が破られることになるため、グローバル存在が証明される。

実験結果

リサーチクエスチョン

• RQ1 DNLS 方程式の解のグローバル存在における $L^2$-ノルム閾値 $\sqrt{2\pi}$ は最適であるか、それより大きな範囲でも解がグローバルに存在できるか？
• RQ2 固有値や共鳴が存在しない状況で、DNLS 方程式への逆散乱変換を適用し、グローバル存在を保証できるか？
• RQ3 小規模なノルム仮定なしに、DNLS 方程式の解写像が $H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ でリプシッツ連続のままであるか？
• RQ4 時間発展が $r_{\pm}(t;z) = r_{\pm}(0;z)e^{i4z^2t}$ で与えられるスペクトルデータを用いて、$H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ でグローバル解を構成できるか？
• RQ5 解の $H^2 \cap H^{1,1}$ ノルムの時間的成長様式は何か？また、すべての $T > 0$ に対して一様に有界にできるか？

主な発見

• すべての初期データ $u_0 \in H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ に対して、$H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ において DNLS 方程式のグローバル解が存在し、小規模なノルム仮定は不要である。
• 解写像 $u_0 \mapsto u(t,\cdot)$ は $H^2(\mathbb{R}) \cap H^{1,1}(\mathbb{R})$ でリプシッツ連続であり、$\|u(t,\cdot)\|_{H^2 \cap H^{1,1}} \leq C(T)\|u_0\|_{H^2 \cap H^{1,1}}$ が成り立ち、$C(T)$ は $T$ に関して多項式的成長である。
• 散乱データの時間発展は明示的に $r_{\pm}(t;z) = r_{\pm}(0;z)e^{i4z^2t}$ で与えられ、すべての $t \geq 0$ でデータの正則性が $H^1(\mathbb{R}) \cap L^{2,1}(\mathbb{R})$ の範囲で保たれる。
• 固有値や共鳴が存在しないことで、特異点なしに逆散乱変換が適用可能となり、グローバル解の構成が可能になる。
• $H^2 \cap H^{1,1}$ ノルムはすべての $t \in [0,T]$ で有界であり、$C(T)$ がすべての $T > 0$ で有限であるため、解は有限時間に爆発しない。
• この結果は、$\|u_0\|_{L^2} > \sqrt{2\pi}$ である解がグローバルに存在可能であることを示し、閾値 $\sqrt{2\pi}$ がグローバル存在にとって最適ではないことを示している。