[論文レビュー] Non-existence of solutions for the periodic cubic NLS below $L^2$

Zihua Guo, Tadahiro Oh|arXiv (Cornell University)|Oct 21, 2015

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

ひとこと要約

この論文は、$ H^s(\mathbb{T}) $ における負のソボレフ空間 $ s \in (-1/8, 0) $ で、初期データが $ H^s \setminus L^2 $ に属する場合でも、周期的三次非線形シュレーディンガー方程式（NLS）の分布的解が存在しないことを証明する。証明は、短時間フーリエ制限ノルム法を用いた再正規化（ウィック順序）NLSに対する事前評価に依拠し、ゲージ変換による高速振動によって矛盾を引き起こし、自然な収束仮定の下でこのような弱解が存在できないことを示す。

ABSTRACT

We prove non-existence of solutions for the cubic nonlinear Schrödinger equation (NLS) on the circle if initial data belong to $H^s(\mathbb{T}) \setminus L^2(\mathbb{T})$ for some $s \in (-\frac18, 0)$. The proof is based on establishing an a priori bound on solutions to a renormalized cubic NLS in negative Sobolev spaces via the short time Fourier restriction norm method.

研究の動機と目的

• 周期的三次NLSの負のソボレフ空間における弱解の非存在を確立すること。
• 標準的な適切性が成立しない $ s \in (-1/8, 0) $ における $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ での三次NLSの不適切性を扱うこと。
• 自然な近似条件の下で弱解を排除することで、従来の結果よりも強い形の不適切性を提供すること。
• 振動的ゲージ変換による背理法を用いて、$ s < 0 $ においても $ H^s $ での解写像が弱い意味で連続でないことを示すこと。

提案手法

• 短時間フーリエ制限ノルム法を用いて、負のソボレフ空間における再正規化（ウィック順序）三次NLSの解に対する事前評価を確立すること。
• 解列に高速振動を導入するため、ゲージ変換 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $ を適用すること。
• 滑らかな解 $ u_n \to u $ が $ C([-T,T]; H^s) $ で収束することを仮定し、振動積分におけるリーマン＝リーマンの補題を用いて矛盾を導出すること。
• 一様なバインディングと周波数截断推定を用いて、変換列 $ \{v_n\} $ が $ C([-T,T]; H^s) $ で前コンパクトであることを証明すること。
• 急速な振動により $ v_n \to 0 $ が $ \mathcal{D}' $ で成り立つことと、部分列が $ v \in C([-T,T]; H^s) $ に収束することを併用し、$ v \equiv 0 $ を強制すること。
• $ u_0 = v(0) = 0 $ から矛盾を導出し、$ u_0 \in H^s \setminus L^2 $ であるという仮定に反することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 周期的三次NLSが $ H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ において $ s \in (-1/8, 0) $ のとき、弱解が存在可能か？
• RQ2 $ s < 0 $ において、三次NLSの解写像が弱い意味でも $ H^s $ で連続であるか？
• RQ3 自然な近似条件の下で、負のソボレフ空間における事前評価が弱解の存在を排除できるか？
• RQ4 ゲージ変換による高速振動は、$ L^2 $ 未満での不適切性を露呈するために果たす役割は何か？
• RQ5 解写像が連続でないという失敗は、指定された負のソボレフ空間における任意の弱解の非存在にまで拡張されるか？

主な発見

• 初期データ $ u_0 \in H^s(\mathbb{T}) \setminus L^2(\mathbb{T}) $ で $ s \in (-1/8, 0) $ である場合、与えられた収束条件の下で、三次NLS（1.1）の分布的解 $ u \in C([-T,T]; H^s(\mathbb{T})) $ は存在しない。
• 解写像 $ u_0 \mapsto u $ は $ s < 0 $ においても、弱い意味でも $ H^s $ で連続でない。これは、このような解が存在しないことによる。
• $ F^{s,\alpha}(T) $ 空間における再正規化（ウィック順序）NLSに対する事前評価は、解の均一な制御を保証し、矛盾の議論を可能にする。
• ゲージ変換 $ v_n(t) = e^{-2it \fint |u_{0,n}|^2 dx} u_n(t) $ は高速振動を導入し、$ v_n \to 0 $ を $ \mathcal{D}' $ で強制するが、これは非ゼロの極限の存在と矛盾する。
• $ u_n \to u $ が $ C([-T,T]; H^s) $ で成り立ち、$ u_n $ が滑らかであるという仮定から、部分列 $ v_{n_k} \to v $ が $ C([-T,T]; H^s) $ で成り立つが、$ v \equiv 0 $ である。これは $ u_0 = 0 $ を意味し、矛盾を引き起こす。
• この結果は、滑らかな解による近似でさえも弱解を排除するという、従来の結果よりも強い形の不適切性を確立する。