[論文レビュー] Sharp bilinear estimates and well-posedness for the 1-D Schrödinger-Debye system

Adán J. Corcho, Carlos Matheus|ArXiv.org|Dec 28, 2006

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

ひとこと要約

本稿では、系を分解しないで結合した形で扱う新しい手法を導入することで、低正則性のソボレフ空間における1次元シュレーディンガー＝デュボワ系の局所的・大域的適切性を確立した。この手法は、結合項 $uv$ および $|u|^2$ の鋭い2次形式の評価に依存している。主な結果は、連続的状況における $H^s \times H^s$ での大域的適切性で、$-3/14 < s < 0$ の範囲で、$I$-法と精錬された2次形式の評価を用いて達成された。

ABSTRACT

We establish local and global well-posedness for the initial value problem associated to the one-dimensional Schrodinger-Debye (SD) system for data in the Sobolev spaces with low regularity. To obtain local results we prove two new sharp bilinear estimates for the coupling terms of this system in the continuous and periodic cases. Concerning global results, in the continuous case, the system is shown to be globally well-posed in $H^s imes H^s, -3/14&lt; s&lt; 0$. For initial data in Sobolev spaces with high regularity ($H^s imes H^s, s&gt;5/2$), Bidégaray \cite{Bidegaray} proved that there are one-parameter families of solutions of the SD system converging to certain solutions of the cubic \emph{nonlinear Schrodinger equation} (NLS). Our results bellow $L^2 imes L^2$ say that the SD system is not a good approach of the cubic NLS in Sobolev spaces with low regularity, since the cubic NLS is known to be ill-posed below $L^2$. The proof of our global result uses the extbf{I}-method introduced by Colliander, Keel, Staffilani, Takaoka and Tao.

研究の動機と目的

• 低正則性ソボレフ空間における初期データを用いた1次元シュレーディンガー＝デュボワ系の局所的・大域的適切性を確立すること。特に $L^2 \times L^2$ 未満の領域を対象とする。
• 従来のアプローチ（分解と3次形式の評価に依存）の限界を克服し、負のソボレフ指数では失敗する問題を解決すること。
• 系を結合的（coupled）に扱う新しい手法を開発し、問題を結合項 $uv$ および $|u|^2$ の鋭い2次形式の評価に還元すること。
• 連続的状況における $H^s \times H^s$ での大域的適切性を、$-3/14 < s < 0$ の範囲で証明すること。これは $L^2 \times L^2$ の閾値を超える拡張である。

提案手法

• シュレーディンガー＝デュボワ系を解析中に分解せず、結合的（coupled）に扱う新しい手法を導入し、3次形式の評価の必要を回避する。
• 連続的（$\mathbb{R}$）および周期的（$\mathbb{T}$）設定の両方で、結合項 $uv$ および $|u|^2$ の2つの新しい鋭い2次形式の評価を、$X^{s,b}$-型空間を用いて証明する。
• $I$-法を用いて、時間にわたる修正エネルギー $E(Iu)$ の成長を制御することで、局所解を大域解に拡張する。
• $I$-作用素を用いて低周波成分を正則化し、$\|Iu\|_{X^{0,b}} \lesssim N^{-s}\|u\|_{X^{s,b}}$ を介して負の $s$ における $H^s$ ノルムを制御する。
• 時間区間を小さなステップ $\delta \sim N^{4s/3-}$ に分割し、時間反復の議論を構築する。これにより、累積誤差が有界に保たれる。
• 熱核 $e^{-(t-t')/\sigma}$ を含む積分評価を用いて、時間にわたる $L^2_x$-ノルムの制御を行う。$\|v(t)\|_{L^2_x} \lesssim \max\{\|v_0\|_{L^2}, C\|u_0\|_{L^2}^2\}$ を示し、爆発を防ぐ。

実験結果

リサーチクエスチョン

• RQ1 $L^2 \times L^2$ 未満の負の正則性を持つソボレフ空間において、シュレーディンガー＝デュボワ系は大域的適切性を示せるか？
• RQ2 $I$-法は、低正則性データを有する1次元シュレーディンガー＝デュボワ系の局所解を大域解に拡張するのに有効か？
• RQ3 連続的および周期的設定の両方で、結合項 $uv$ および $|u|^2$ の鋭い2次形式の評価を確立でき、3次形式の評価に代えることができるか？
• RQ4 系の結合的定式化により、立方非線形シュレーディンガー方程式が $L^2 \times L^2$ 閾値未満で不適切であることが知られている領域においても、適切性の結果を得られるか？
• RQ5 連続的状況における1次元シュレーディンガー＝デュボワ系の大域的適切性の最良正則性閾値は何か？

主な発見

• 連続的状況（$M = \mathbb{R}$）において、$H^s \times H^s$ での大域的適切性が $-3/14 < s < 0$ の範囲で確立された。これは $L^2 \times L^2$ の閾値を超える拡張である。
• 証明は $I$-法と結合項 $uv$ および $|u|^2$ の鋭い2次形式の評価に依存しており、これらが大域的制御に十分であることが示された。
• 局所解の時間ステップは $\delta \sim N^{4s/3-}$ であり、$T/\delta$ ステップにわたる反復により、$s > -3/14$ のとき大域解が得られる。最適化は $\ell \to 1/4-$ をとることで達成された。
• $L^2_x$-ノルム $\|v(t)\|_{L^2_x}$ は時間にわたって一様に有界であり、$\|v(t)\|_{L^2_x} \lesssim \max\{\|v_0\|_{L^2}, C\|u_0\|_{L^2}^2\}$ が成り立つ。これにより爆発が防がれ、大域的適切性の主張が裏付けられた。
• 著者らは、従来の研究におけるギャップを是正し、$L^2 \times L^2$ での大域的適切性が質量保存の結果ではなく、明示的な $v$ のノルムの積分評価による制御が必要であることを示した。
• 本稿では、立方非線形シュレーディンガー方程式が $L^2$ 未満で不適切であるのに対し、シュレーディンガー＝デュボワ系は $H^{-3/14} \times H^{-3/14}$ まで適切であるため、$L^2$ 未満のソボレフ空間では立方非線形シュレーディンガー方程式の良い近似とはならないと結論づけた。