[論文レビュー] Sharp well-posedness for the cubic NLS and mKdV in $H^s(\mathbb R)$

Benjamin Harrop‐Griffiths, Rowan Killip+1 more|arXiv (Cornell University)|Mar 10, 2020

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

ひとこと要約

この論文は、$H^s(\mathbb{R})$ においてすべての $s > -\frac{1}{2}$ に対して、立方非線形シュレーディンガー方程式（NLS）および修正コルトウェーグ＝ド・ブリューズ方程式（mKdV）の鋭い大域的適切性を確立する。低正則性における一様連続性の失敗を克服するため、新しい一価族の強力な微視的保存則を導入し、局所的滑らかさ効果と軌道のタイトネスを活用している。結果は鋭く、$s = -\frac{1}{2}$ でノルムのインフレーションが発生するため、これが最適であることが示されている。

ABSTRACT

We prove that the cubic nonlinear Schrödinger equation (both focusing and defocusing) is globally well-posed in $H^s(\mathbb R)$ for any regularity $s>-\frac12$. Well-posedness has long been known for $s\geq 0$, see [55], but not previously for any $s<0$. The scaling-critical value $s=-\frac12$ is necessarily excluded here, since instantaneous norm inflation is known to occur [11, 40, 48]. We also prove (in a parallel fashion) well-posedness of the real- and complex-valued modified Korteweg-de Vries equations in $H^s(\mathbb R)$ for any $s>-\frac12$. The best regularity achieved previously was $s\geq \frac14$; see [15, 24, 33, 39]. To overcome the failure of uniform continuity of the data-to-solution map, we employ the method of commuting flows introduced in [37]. In stark contrast with our arguments in [37], an essential ingredient in this paper is the demonstration of a local smoothing effect for both equations. Despite the non-perturbative nature of the well-posedness, the gain of derivatives matches that of the underlying linear equation. To compensate for the local nature of the smoothing estimates, we also demonstrate tightness of orbits. The proofs of both local smoothing and tightness rely on our discovery of a new one-parameter family of coercive microscopic conservation laws that remain meaningful at this low regularity.

研究の動機と目的

• 正則性 $s > -\frac{1}{2}$ における立方 NLS および mKdV 方程式の $H^s(\mathbb{R})$ における大域的適切性を確立すること。これは $s < 0$ の場合に以前は未知であった。
• 低正則性における初期値から解への写像の非一様連続性という課題を、共通する流れと微視的保存則に基づく新しい手法によって解決すること。
• 非摂動的問題であるにもかかわらず、線形の場合の微分の増加と一致する、両方の方程式における局所的滑らかさ効果の存在を証明すること。
• 一様連続性が成り立たない状況下でも、長時間にわたる解の制御を可能にするために、$H^s(\mathbb{R})$ における軌道のタイトネスを示すこと。
• 閾値 $s = -\frac{1}{2}$ が鋭いことを示し、この正則性でノルムのインフレーションが発生することを確認することで、結果の最適性を裏付けること。

提案手法

• 低正則性領域における一様連続性の失敗を回避するために、[37] で初めて導入された共通する流れの方法を用いる。
• 正則性 $s > -\frac{1}{2}$ においても意味を持つ、新しい一価族の強力な微視的保存則を導入し、低正則性ダイナミクスの制御を可能にする。
• NLS および mKdV 両方のための局所的滑らかさ効果を証明し、線形方程式における微分の増加と一致する。非摂動的非線形性を扱う上で、これが不可欠である。
• 低正則性設定下で近似解の収束を保証し、無限遠への逸脱を防ぐために、$H^s(\mathbb{R})$ における軌道のタイトネスを確立する。
• スケーリングの議論と、スケーリングされたソリトンから構築された近似解を用いて、$s = -\frac{1}{2}$ でノルムのインフレーションを示し、結果の鋭さを証明する。
• 大規模な距離で分離された複数のソリトンを用いた和の装置を適用し、$\sigma < -\frac{1}{2}$ の $H^\sigma(\mathbb{R})$ におけるノルム成長を増幅させ、臨界正則性未満での不適切性を確認する。

実験結果

リサーチクエスチョン

• RQ1 立方 NLS は、$s > -\frac{1}{2}$ において $H^s(\mathbb{R})$ で大域的適切か？特に $s < 0$ の場合も含めて。
• RQ2 初期値から解への写像が一様連続でない場合に、共通する流れの方法を適応して適切性を証明できるか？
• RQ3 低正則性における立方 NLS および mKdV に局所的滑らかさ効果が存在するか？また、それらは線形方程式の微分の増加と一致するか？
• RQ4 一様連続性が成り立たない状況下でも、$H^s(\mathbb{R})$ における軌道のタイトネスは $s > -\frac{1}{2}$ で確立可能か？これにより長時間の振る舞いを制御できるか？
• RQ5 $s = -\frac{1}{2}$ が適切性の鋭い閾値か？この正則性でノルムのインフレーションが発生するか？

主な発見

• 立方 NLS は、すべての $s > -\frac{1}{2}$ において $H^s(\mathbb{R})$ で大域的適切であり、$s < 0$ の場合に以前は到達不可能であった領域にまで適切性が拡張された。
• mKdV 方程式（実数および複素数の両方の変種）は、すべての $s > -\frac{1}{2}$ において $H^s(\mathbb{R})$ で大域的適切であり、以前の最良の正則性閾値 $s \geq \frac{1}{4}$ よりも向上した。
• 正則性 $s > -\frac{1}{2}$ においても意味を持つ、新しい強力な微視的保存則の族が発見され、低正則性におけるダイナミクスの制御に不可欠である。
• NLS および mKdV 両方のための局所的滑らかさ効果が証明され、非摂動的非線形性であるにもかかわらず、線形方程式における微分の増加と一致する。
• $H^s(\mathbb{R})$ における軌道のタイトネスが確立され、差分流れの収束を可能にし、解の写像の連続性と大域的存在を保証する。
• 閾値 $s = -\frac{1}{2}$ は鋭い：すべての $\sigma \leq -\frac{1}{2}$ において $H^\sigma(\mathbb{R})$ でノルムのインフレーションが発生し、適切性がこの正則性で失敗することを確認した。