[論文レビュー] Well-posedness and scattering for NLS on $\R^d imes \T $ in the energy space

Nikolay Tzvetkov, Nicola Visciglia|arXiv (Cornell University)|Sep 13, 2014

Advanced Mathematical Physics Problems参考文献 11被引用数 6

ひとこと要約

本稿では、エネルギー下位臨界な非線形シュレーディンガー方程式が、エネルギー空間 $H^1$ において、積空間 $\mathbb{R}^d \times \mathbb{T}$ 上で局所的・大域的適切性を確立し、大規模データの散乱を示している。$x$-方向における $H^{1/2-}$ Strichartz 評価と $y$-方向（トーラス）における $H^{1/2+}$ 正則性を組み合わせることで、局所解の存在と一意性を証明し、エネルギー保存則を用いて大域的解に拡張している。主な貢献は、$4/d < \alpha < 4/(d-1)$ の範囲で $H^1$-散乱の証明であり、これは空間時間の高精度な推定と相互作用 Morawetz 型不等式を用いて達成されており、古典的結果を部分的周期的設定に拡張している。

ABSTRACT

We study the Cauchy problem and the large data $H^1$ scattering for energy subcritical NLS posed on $\R^d imes \T$

研究の動機と目的

• すべての $d \geq 1$ に対して、$\mathbb{R}^d \times \mathbb{T}$ 上のエネルギー下位臨界な非線形シュレーディンガー方程式が $H^1$ 空間で局所的・大域的適切性を示すこと。
• $4/d < \alpha < 4/(d-1)$ の非線形性範囲における大規模データ $H^1$-散乱の証明。これは、古典的結果を部分的周期的設定に拡張することを目的としている。
• $\mathbb{R}^d$ 上での $H^{1/2-}$ Strichartz 評価と $\mathbb{T}$ 上での $H^{1/2+}$ コントロールを組み合わせることで、解理論における完全な $H^1$-正則性を達成する、新しい分析的枠組みの構築。
• 部分的周期的設定においてポテンシャルエネルギーが時間とともに減少することの証明。これは散乱のための重要な要素である。

提案手法

• シュレーディンガー伝搬子 $e^{it\Delta_x}$ に対する非同次 Strichartz 評価を用いて、$\mathbb{R}^d$ 上の $x$-方向における正則性を $H^{1/2-}$ 水準で制御する。
• $\mathbb{T}$ 上の $y$-方向における $H^{1/2+}$-正則性フレームワークを適用し、$(d+1)$ 次元全空間における $H^1$-下位臨界非線形性を達成する。
• 部分的周期的設定に適応された相互作用 Morawetz 評価を用いて、空間時間ノルムを制御し、ポテンシャルエネルギーの減少を証明する。
• $L^q_t L^r_x H^{1/2+}_y \cap C_t(H^1_{x,y})$ 空間における固定点法を用いて、局所的解の存在と一意性を確立する。
• エネルギー保存則と近似法を用いた不変一意性の証明を $C_t(H^1_{x,y})$ 内で行う。
• 双対性と空間時間 $L^l_t L^p_x L^2_y$ 評価を用いて、Duhamel 公式における積分剰余の消失を確認し、散乱条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー下位臨界な非線形シュレーディンガー方程式が、$\mathbb{R}^d \times \mathbb{T}$ 上ですべての $d \geq 1$ および $0 < \alpha < 4/(d-1)$ に対して $H^1$ で大域的適切性を示せるか？
• RQ2 非線形性の $y$-方向に完全な分散がないにもかかわらず、$4/d < \alpha < 4/(d-1)$ の範囲で $\mathbb{R}^d \times \mathbb{T}$ 上の NLS に対して $H^1$-散乱が成立するか？
• RQ3 相互作用 Morawetz 評価を部分的周期的設定に適応可能か？ これは空間時間ノルムの制御とポテンシャルエネルギーの減少の証明に不可欠である。
• RQ4 非線形項の $\mathbb{R}^d$ 上での $H^{1/2-}$ 分析と $\mathbb{T}$ 上での $H^{1/2+}$ コントロールを組み合わせることで、解の $H^1$-正則性を達成できるか？

主な発見

• すべての $d \geq 1$ および $0 < \alpha < 4/(d-1)$ に対して、$\mathbb{R}^d \times \mathbb{T}$ 上の NLS の初期値問題は $H^1_{x,y}$ で局所的適切性を示す。解は初期データの $H^1$-ノルムにのみ依存する時間区間で存在する。
• エネルギー保存則により、非焦点型の場合および近似により正当化された場合に、すべての初期データ $H^1_{x,y}$ に対して時間大域的解が存在することが保証される。
• $4/d < \alpha < 4/(d-1)$ の範囲では、$t \to \pm\infty$ のとき解は $H^1_{x,y}$ で散乱する。つまり、$f_\pm \in H^1_{x,y}$ が存在して、$\|u(t) - e^{-it\Delta_{x,y}}f_\pm\|_{H^1_{x,y}} \to 0$ が成り立つ。
• 空間時間推定 $\|u\|_{L^{q_\theta}_t L^{r_\theta}_x H^{1/2+\delta}_y} < \infty$ が、ある $\delta > 0$ に対して成り立つ。これは散乱の証明に不可欠である。
• ポテンシャルエネルギーは時間とともに減少する。これは、積空間に適応された高精度な相互作用 Morawetz 評価により示され、散乱の証明に不可欠である。
• 空間時間ノルム $\|u\|_{L^l_t L^p_x L^2_y} + \|\nabla_x u\|_{L^l_t L^p_x L^2_y} + \|\partial_y u\|_{L^l_t L^p_x L^2_y} < \infty$ が一様に有界である。これにより、双対性を用いて散乱条件の証明が可能になる。