[論文レビュー] Well-posedness for a higher order nonlinear Schrodinger equation in Sobolev spaces of negative indices

Xavier Carvajal|ArXiv.org|Jul 31, 2003

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

ひとこと要約

本稿は、Sobolev空間 $ H^s(\mathbb{R}) $ において $ s > -1/4 $ の負の正則性に対して、三次分散および二次非線形性を有する高階非線形シュレーディンガー方程式の局所的well-posednessを確立する。Bourgain空間ノルムと負の正則性における鋭い三重積分推定を用いて、解の存在、一意性、連続的依存性を証明し、既知のwell-posednessの閾値を0未満にまで下方に押し下げ、先行するill-posedness結果で特定されたギャップを埋めることに成功した。

ABSTRACT

We prove that, the initial value problem associated to u_{t} + i\alphau_{xx} + βu_{xxx} + iγ|u|^{2}u = 0, x,t \in R, is locally well-posed in Sobolev spaces H^{s} for s>-1/4.

研究の動機と目的

• 三次分散および二次非線形性を有する高階非線形シュレーディンガー方程式の、負の正則性のSobolev空間における局所的well-posednessを確立すること。
• 既知の $ s \leq -1/4 $ におけるill-posedness結果と、負の正則性における鋭いwell-posedness閾値との間のギャップを埋めること。
• $ s > -1/4 $ に対して成り立つ、Bourgain空間における鋭い三重積分推定を証明すること。この推定は収縮法の根幹を成す。
• 三次分散を有する方程式に対して、非線形分散方程式のwell-posedness理論を負の正則性インデックスにまで拡張すること。

提案手法

• 解析は、周波数および時間における重み付き $ L^2 $ ノルムで定義されるBourgain空間 $ X^{s,b} $ において行われる。ノルムは $ \|u\|_{X^{s,b}} = \| \langle \xi \rangle^s \langle \tau - \phi(\xi) \rangle^b \hat{u} \|_{L^2_{\xi,\tau}} $ で与えられ、ここで $ \phi(\xi) = \alpha \xi^2 + \beta \xi^3 $ である。
• 非線形項の積分形式における制御のための鍵となる三重積分推定 $ \| uv\overline{w} \|_{X^{s,b-1}} \leq C \|u\|_{X^{s,b}} \|v\|_{X^{s,b}} \|w\|_{X^{s,b}} $ が $ -1/4 < s \leq 0 $ および $ 7/12 < b < 11/12 $ に対して証明された。
• 三重積分推定の証明は、周波数局在化、二重分解、および共振関数の点ごとの評価に依拠し、$ \xi $, $ \xi_1 $, $ \xi_2 $ 変数における補間および重み付き $ L^2 $ 評価を用いる。
• 時間局在化係数 $ \psi_T(t) $ を用いて、Bourgain空間 $ X^{s,b} $ の閉球上で収縮写像原理を適用し、方程式の積分形を解く。
• well-posedness結果は、$ X^{s,b} $ における固定点議論により確立され、非線形項 $ F(u) = i\gamma |u|^2 u $ は三重積分推定と $ T $ の小ささを用いて評価される。
• $ s \leq -1/4 $ におけるill-posedness結果が基準として用いられ、$ s < -1/4 $ における三重積分推定の失敗は、測度 $ \sim N^{-1/2} $ の集合における周波数局在化議論により証明された。

実験結果

リサーチクエスチョン

• RQ1 三次分散および二次非線形性を有する高階非線形シュレーディンガー方程式の初期値問題は、負の正則性のSobolev空間でwell-posedであると言えるか？
• RQ2 この方程式の $ H^s(\mathbb{R}) $ における局所的well-posednessの鋭い正則性閾値 $ s $ は何か？
• RQ3 三重積分推定 $ \| uv\overline{w} \|_{X^{s,b-1}} \leq C \|u\|_{X^{s,b}} \|v\|_{X^{s,b}} \|w\|_{X^{s,b}} $ は $ s > -1/4 $ に対して成り立つのか？また、その鋭さは何か？
• RQ4 $ s < -1/4 $ における三重積分推定の失敗は、その空間における方程式のill-posednessを裏付けるか？

主な発見

• 方程式 $ \partial_t u + i\alpha \partial_x^2 u + \beta \partial_x^3 u + i\gamma |u|^2 u = 0 $ の初期値問題は、すべての $ s > -1/4 $ に対して $ H^s(\mathbb{R}) $ で局所的にwell-posedである。
• 三重積分推定 $ \| uv\overline{w} \|_{X^{s,b-1}} \leq C \|u\|_{X^{s,b}} \|v\|_{X^{s,b}} \|w\|_{X^{s,b}} $ は $ -1/4 < s \leq 0 $ および $ 7/12 < b < 11/12 $ に対して成り立ち、$ s < -1/4 $ では失敗するという点で鋭い。
• 閾値 $ s = -1/4 $ は鋭い：$ s \leq -1/4 $ では $ H^s $ でill-posedであることが定理1で示されており、本研究では $ s > -1/4 $ でのwell-posednessの証明によりギャップを埋めた。
• この結果は、方程式が $ L^2 $-ノルムを保存することと $ H^0 = L^2 $ であることから、$ L^2 $ における解のグローバル存在を示唆する。
• $ 7/12 $ は、$ b $ が $ 1/4 $ に近い場合に最良の値であることが、三重積分推定のパrameter範囲における鋭さによって示された。
• Bourgain空間と三重積分推定に依拠する証明技法は、このクラスの高階非線形シュレーディンガー方程式（二次非線形性を有する）に対して、正則性閾値 $ s > -1/4 $ が最適であることを確認した。