[論文レビュー] Normal form approach to global well-posedness of the quadratic derivative nonlinear Schrödinger equation on the circle

Jaywan Chung, Zihua Guo+2 more|Edinburgh Research Explorer|Sep 27, 2015

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

ひとこと要約

本稿は、平均値がゼロで小さい初期データのもとで、トーラス上における2次導関数非線形シュレーディンガー方程式（dNLS）の、Fourier-Lebesgue空間 $\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ における無条件のグローバル適切性を確立する。無限次元の正規形還元とCole-Hopf変換を組み合わせることで、正則性の保存を証明し、無限個の保存量を構成する一方で、非小規模な平均値がゼロでないデータに対して有限時間 blowup 解を構成することで、小規模性の必要性を示している。

ABSTRACT

We consider the quadratic derivative nonlinear Schrödinger equation (dNLS) on the circle. In particular, we develop an infinite iteration scheme of normal form reductions for dNLS. By combining this normal form procedure with the Cole-Hopf transformation, we prove unconditional global well-posedness in $L^2(\mathbb{T})$, and more generally in certain Fourier-Lebesgue spaces $\mathcal{F} L^{s, p}(\mathbb{T})$, under the mean-zero and smallness assumptions. As a byproduct, we construct an infinite sequence of quantities that are invariant under the dynamics. We also show the necessity of the smallness assumption by explicitly constructing a finite time blowup solution with non-small mean-zero initial data.

研究の動機と目的

• トーラス $\mathbb{T}$ 上における2次導関数非線形シュレーディンガー方程式（dNLS）の、低正則性のFourier-Lebesgue空間におけるグローバル適切性の確立。
• Sobolev空間における適切でない性質を克服するため、無限反復の正規形還元スキームの開発。
• 小規模性および平均値がゼロの条件下で、$\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ における無条件の一意性および正則性の保存の証明。
• dNLSの力学的変化に対して不変である無限個の保存量の構成。
• 非小規模な平均値がゼロでない初期データを用いた有限時間 blowup 解の構成により、小規模性仮定の必要性を示す。

提案手法

• dNLS方程式における非共鳴的2次相互作用を繰り返し除去する無限次元正規形還元手順の開発。
• Cole-Hopf変換を適用し、正規形解析に適したより取り扱いやすい形にdNLSを変換。
• 周波数空間における正規形方程式を用いて、反復非線形相互作用の系列展開として解の表現を得る。
• 分布空間における収束議論および周波数相互作用におけるヤングの不等式を用いて、すべての形式的計算を正当化。
• 正規形方程式における正則性の保存を活用し、$\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ における局所解をグローバル解に拡張。
• ゲージ変換されたループ $W(t,x)$ を設計することで、有限時間 blowup 解を構成し、$t=\pi/2$ で原点に達することで逆ゲージ変換が特異化することを示す。

実験結果

リサーチクエスチョン

• RQ1 Sobolev空間における適切でない性質があるにもかかわらず、低正則性のFourier-Lebesgue空間において、円周上での2次導関数NLSのグローバル適切性は確立可能か？
• RQ2 平均値がゼロの初期データに対する小規模性仮定は、グローバル存在のための必要条件か、それとも大規模データへの適切性の拡張は可能か？
• RQ3 標準的保存則を持たないdNLSに対して、無限個の保存量を構成可能か？
• RQ4 正規形還元手順とCole-Hopf変換がどのように作用し、グローバル制御をもたらすか？
• RQ5 小規模性が爆発を防ぐ正確なメカニズムは何か、そしてそれが定量的に示唆可能か？

主な発見

• 小規模性および平均値がゼロの条件下で、$s > \frac{1}{2} - \frac{1}{p}, p > 2$ または $s \geq 0, p = 2$ の範囲で、$\mathcal{F}L^{s,p}_{0}(\mathbb{T})$ におけるグローバル適切性が確立された。
• 構成された解に対して、$C(\mathbb{R}; \mathcal{F}L^{s,p}_{0}(\mathbb{T}))$ において無条件の一意性が成立する。
• $\{\mathcal{Q}_k(t)\}_{k \in \mathbb{Z}_0}$ という無限個の保存量が構成され、dNLSの力学的変化に対して不変である。
• 小規模性仮定が鋭いことが示された：非小規模な平均値がゼロでない初期データを用いた有限時間 blowup 解が明示的に構成された。
• 爆発は $t = \pi/2$ で発生し、この時点で解の $L^1$-ノルムが発散し、すべての $\mathcal{F}L^{s,p}_{0}$-ノルムも $t \to \pi/2^-$ に伴い発散する。
• 正規形還元スキームは、分布空間における収束および周波数相互作用におけるヤングの不等式を用いて、厳密に正当化された。