[論文レビュー] Global well-posedness of the one-dimensional cubic nonlinear Schrödinger equation in almost critical spaces

Tadahiro Oh, Yuzhao Wang|arXiv (Cornell University)|Jun 22, 2018

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

ひとこと要約

本稿では、1次元立方非線形シュレーディンガー方程式（NLS）のほぼ臨界空間における大域的適切性を、新しい関数空間 $\text{M}H^{\theta,p}$ を導入することによって確立する。この空間は、$\theta < -\frac{1}{2}$ のとき、$\mathbb{R}$ 上のモジュレーション空間 $M^{2,p}(\mathbb{R})$ と $\mathbb{T}$ 上のフーリエ＝レーベグ空間 $\mathcal{F}L^p(\mathbb{T})$ を統合する。ギャリレオ変換とスケーリング対称性を活用し、キリップ＝ヴィシャン＝チャンの保存量を適応させることで、すべての $p < \infty$ に対して $M^{2,p}(\mathbb{R})$ および $\mathcal{F}L^p\mathbb{(T)}$ における初期データに対して大域的解の存在と一意性を証明し、$L^2$-基準の臨界閾値を超えて適切性を拡張する。

ABSTRACT

In this paper, we first introduce a new function space $MH^{θ, p}$ whose norm is given by the $\ell^p$-sum of modulated $H^θ$-norms of a given function. In particular, when $θ&lt; -\frac 12$, we show that the space $MH^{θ, p}$ agrees with the modulation space $M^{2, p}(\mathbb R)$ on the real line and the Fourier-Lebesgue space $\mathcal F L^{p}(\mathbb T)$ on the circle. We use this equivalence of the norms and the Galilean symmetry to adapt the conserved quantities constructed by Killip-Vişan-Zhang to the modulation space setting. By applying the scaling symmetry, we then prove global well-posedness of the one-dimensional cubic nonlinear Schrödinger equation (NLS) in almost critical spaces. More precisely, we show that the cubic NLS on $\mathbb R$ is globally well-posed in $M^{2, p}(\mathbb R)$ for any $p &lt; \infty$, while the renormalized cubic NLS on $\mathbb T$ is globally well-posed in $\mathcal FL^p(\mathbb T)$ for any $p &lt; \infty$. In Appendix, we also establish analogous global-in-time bounds for the modified KdV equation (mKdV) in the modulation spaces on the real line and in the Fourier-Lebesgue spaces on the circle. An additional key ingredient of the proof in this case is a Galilean transform which converts the mKdV to the mKdV-NLS equation.

研究の動機と目的

• 1次元立方非線形シュレーディンガー方程式（NLS）の大域的適切性を、$L^2$-基準の正則性を超えて拡張すること。
• モジュレーション空間 $\mathbb{R}$ 上とフーリエ＝レーベグ空間 $\mathbb{T}$ 上を統合する新しい関数空間 $\text{M}H^{\theta,p}$ を導入・分析すること。
• ギャリレオ変換を用いてキリップ＝ヴィシャン＝チャンの保存量をモジュレーション空間およびフーリエ＝レーベグ空間枠組みに適応すること。
• スケーリングおよび対称性構造を活用し、$L^2$ より低い正則性を持つ空間においても、NLS の時間大域的制御を確立すること。
• ギャリレオ変換を用いてmKdV方程式をNLS方程式に関連づけ、類似の結果をmKdV方程式に拡張すること。

提案手法

• 周波数アニュラス上でのモジュレートされた $H^\theta$-ノルムの $\ell^p$-和として定義される関数空間 $\text{M}H^{\theta,p}$ を導入する。
• $\theta < -\frac{1}{2}$ のとき、$\mathbb{R}$ 上で $\text{M}H^{\theta,p}$ と $M^{2,p}(\mathbb{R})$、$\mathbb{T}$ 上で $\text{M}H^{\theta,p}$ と $\mathcal{F}L^p(\mathbb{T})$ のノルム同値性を証明する。
• ギャリレオ対称性を用いて、$L^2$-基準枠組みからの保存量を新しい関数空間設定に移行する。
• スケーリング対称性を応用し、時間にわたるモジュレート周波数成分の $\ell^p$-ノルムの増大を制御する問題に帰着させる。
• ヤングの不等式およびホルダーの不等式を用いて、モジュレートエネルギーの $\ell^p$-ノルムを推定し、時間に一様な有界性を保証する。
• ギャリレオ型変換を用いてmKdV方程式をmKdV-NLS系に変換し、類似の時間大域的境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 1次元立方NLSは、$L^2$ より低い正則性を持つ空間においても大域的適切性を示せるか？
• RQ2 モジュレーション空間 $\mathbb{R}$ 上とフーリエ＝レーベグ空間 $\mathbb{T}$ 上を統合する関数空間フレームワークは存在するか？
• RQ3 $L^2$-臨界理論からの保存量は、対称性構造を用いてほぼ臨界空間に適応可能か？
• RQ4 ギャリレオ対称性は、$L^2$-閾値を超えて大域的制御を拡張するために果たす役割は何か？
• RQ5 類似の時間大域的境界は、モジュレーション空間およびフーリエ＝レーベグ空間においてmKdV方程式に対しても得られるか？

主な発見

• $\theta < -\frac{1}{2}$ のとき、$\text{M}H^{\theta,p}$ は $\mathbb{R}$ 上で $M^{2,p}(\mathbb{R})$ と同値であり、$\mathbb{T}$ 上で $\mathcal{F}L^p(\mathbb{T})$ と同値であることが示され、統合的枠組みが得られる。
• すべての $p < \infty$ に対して、$\mathbb{R}$ 上の立方NLSが $M^{2,p}(\mathbb{R})$ で大域的適切であることが確立され、$L^2$-臨界閾値を超えて拡張される。
• $\mathbb{T}$ 上の正規化された立方NLSは、すべての $p < \infty$ に対して $\mathcal{F}L^p(\mathbb{T})$ で大域的適切であることが示され、$L^2(\mathbb{T})$ より低い空間における不適切性の問題が解決される。
• mKdV方程式に対し、ギャリレオ変換を用いてmKdV-NLS系に変換することで、$\mathbb{R}$ 上のモジュレーション空間および $\mathbb{T}$ 上のフーリエ＝レーベグ空間においても時間大域的境界が確立される。
• 証明は、ヤングの不等式およびホルダーの不等式を用いて、モジュレートエネルギー成分の $\ell^p$-ノルムを制御することに依存し、時間に一様な境界が得られる。
• $M^{2,p}_s$-枠組みにおいて正則性 $s < 1 - \frac{1}{p}$ が成立し、$p$ が大きいとき負の正則性を持つ空間でも適切性が示される。