[論文レビュー] Nonlinear fractional Schrödinger equations in one dimension

Alexandru D. Ionescu, Fabio Pusateri|arXiv (Cornell University)|Sep 22, 2012

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

ひとこと要約

本稿では、1次元非線形分数階シュレーディンガー方程式（立方非線形性、分数階ラプラシアンの次数は1/2）に対して、小さな滑らかで局所化された解の全域的解の存在と修正散乱を確立する。著者らは、長距離非線形効果に起因する臨界的対数補正が散乱プロファイルに現れることを特定し、標準的な線形散乱が失敗することを示し、一様なバインディングと漸近的収束を達成するための非線形位相補正が必要であることを証明する。

ABSTRACT

We consider the question of global existence of small, smooth, and localized solutions of a certain fractional semilinear cubic NLS in one dimension, $$i\partial_t u - Λu = c_0{|u|}^2 u + c_1 u^3 + c_2 u \bar{u}^2 + c_3 \bar{u}^3, \qquad Λ= Λ(\partial_x) = {|\partial_x|}^(1/2)$$, where $c_0\in\mathbb{R}$ and $c_1,c_2,c_3\in\mathbb{C}$. This model is motivated by the two-dimensional water waves equations, which have a somewhat similar structure in the Eulerian formulation, in the case of irrotational flows. We show that one cannot expect linear scattering, even in this simplified model. More precisely, we identify a suitable nonlinear logarithmic correction, and prove global existence and modified scattering of solutions.

研究の動機と目的

• 1次元分数階非線形シュレーディンガー方程式に、|\partial_x|^{1/2} の分散項を伴う小さな滑らかで局所化された解の全域的解の存在を確立すること。
• 解の長時間的挙動を分析し、線形散乱が成立するか、それとも長距離非線形効果に起因して修正散乱プロファイルが必要となるかを特定すること。
• 長時間ダイナミクスにおける持続的非線形効果を捉えるために、漸近的プロファイルに必要な正しい非線形対数補正の形を同定すること。
• 無限時間にわたる解およびその重み付きノルムの均一なバインディングを確立することにより、安定性と正則性を保証すること。
• 対数補正が存在しない場合、全域的解ではなくほぼ全域的解（時間スケール ~ e^{c/\varepsilon_0}）しか得られず、その理由を特定すること。

提案手法

• 線形進化を除去するために、f(t) := e^{it\Lambda}u(t) の変換を用いることで、f(t) の重み付きソボレフ空間およびフーリエ制限ノルムにおける振る舞いを解析する問題に還元する。
• 立方非線形項（特に |u|^2u, u^3, u\bar{u}^2, \bar{u}^3）を処理するため、正準形変換を適用し、共鳴相互作用を除去する。
• 周波数スケール間の相互作用を制御するため、二重周波数分解とベクトル場法を用い、特に低周波数領域での制御を重視する。
• 非線形相互作用から生じる振動積分を推定するために、静的位相型の議論を用い、位相関数 \Phi^{\iota_1,\iota_2,\iota_3} の構造を活用する。
• 非線形効果の主要項を吸収できるように、時間依存の補正項 H(\xi,t) を位相に導入し、f(t) のフーリエ変換に対する一様 L^\infty バインディングを導出可能にする。
• 誤差項の大きさを制御するために、部分積分とフーリエ乗数の L^1 評価を用い、特に高周波数および低周波数領域で有効な制御を実現する。

実験結果

リサーチクエスチョン

• RQ1 1次元分数階NLSに |\partial_x|^{1/2} 分散項を伴う小さな滑らかで局所化された解が、時間全域にわたり存在するか？
• RQ2 解は線形散乱を示すか、それとも長距離非線形効果に起因して修正散乱プロファイルが必要となるか？
• RQ3 解の漸近的挙動を記述するために必要な正確な非線形補正の形は何か？
• RQ4 無限時間にわたる解およびその重み付きノルムの均一バインディングは確立可能か？
• RQ5 存在の鋭い時間スケールは何か？また、対数補正が欠落すると、なぜ解はほぼ全域的解に制限されるのか？

主な発見

• 重み付きソボレフ空間における小さな初期データ（\varepsilon_0 < \bar{\varepsilon}）に対して、解の全域的解の存在が証明された。ここで \bar{\varepsilon} は固定された p_0 \in (0,1/1000] のみに依存する。
• 解は一様減衰バインディングを満たす：(1+t)^{-p_0}\|f(t)\|_{H^{N_0}} \lesssim \varepsilon_0, (1+t)^{-p_0}\|x \cdot \partial f(t)\|_{L^2} \lesssim \varepsilon_0, および \|(1+|\xi|)^{10}\widehat{f}(\xi,t)\|_{L^\infty_\xi} \lesssim \varepsilon_0 がすべての t \in [0,\infty) に対して成立する。
• 修正散乱が確立された：解は対数位相補正を伴う非線形プロファイルに収束する。具体的には、\left\| \exp\left(i\frac{2c_0}{\pi}\int_0^t |\xi|^{3/2} |\widehat{f}(s,\xi)|^2 \frac{ds}{s+1}\right)(1+|\xi|)^{10}\widehat{f}(\xi,t) - w_\infty(\xi) \right\|_{L^\infty_\xi} \lesssim \varepsilon_0 が成立する。
• 対数補正は本質的である：補正がなければ、全域的解ではなく、ほぼ全域的解（T \approx e^{c/\varepsilon_0}）しか得られず、これは2次元水波問題における結果と整合的である。
• 証明は、精密な周波数局在化解析と時間依存位相補正 H(\xi,t) に依存しており、静的位相および部分積分を用いて非線形相互作用を制御可能にする。
• この手法は、非線形性の長距離性を適切に扱うことができ、標準的散乱が、時間にわたる非可積分な非線形相互作用のため失敗する分数階NLSにおいて有効である。