[論文レビュー] Global well-posedness and polynomial bounds for the defocusing $L^{2}$-critical nonlinear Schrödinger equation in $\R$

Daniela De Silva, Nataša Pavlović+2 more|arXiv (Cornell University)|Feb 23, 2007

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

ひとこと要約

本稿は、$H^s(\mathbb{R})$ における1次元非線形シュレーディンガー方程式の $L^2$-臨界な焦点外方の問題について、すべての $s > \frac{1}{3}$ に対して大域的適切性を確立する。これは以前の閾値 $s > \frac{4}{9}$ よりも向上したものである。証明は $I$-法と、滑らか化された解 $Iu$ に対する新規な相互作用モラウェーツ推定を組み合わせ、解の $H^s$ ノルムに対する時間に多項式的な境界を得ている。

ABSTRACT

We prove global well-posedness for low regularity data for the one dimensional quintic defocusing nonlinear Schrödinger equation. Precisely we show that a unique and global solution exists for initial data in the Sobolev space $H^{s}(\mathbb R)$ for any $s>{1/3}$. This improves the result in \cite{tz}, where global well-posedness was established for any $s>{4/9}$. We use the $I$-method to take advantage of the conservation laws of the equation. The new ingredient in our proof is an interaction Morawetz estimate for the smoothed out solution $Iu$. As a byproduct of our proof we also obtain that the $H^{s}$ norm of the solution obeys polynomial-in-time bounds.

研究の動機と目的

• エネルギー空間 $H^1$ よりも低い $H^s(\mathbb{R})$ において、$L^2$-臨界な焦点外方非線形シュレーディンガー方程式の大域的適切性を確立すること。
• 既知の正則性閾値を $s > \frac{4}{9}$ から $s > \frac{1}{3}$ まで向上させること。
• 解の $H^s$ ノルムに対する時間に多項式的な境界を導出し、長時間にわたる制御を保証すること。
• 低正則性領域における解の成長を制御するために、$I$-滑らか化解 $Iu$ に対する新しい相互作用モラウェーツ型推定を構築・適用すること。

提案手法

• $I$-法を用いて、$s < 1$ の場合にほぼ保存される修正エネルギー関数 $E(Iu)$ を構成し、標準的なエネルギー $E(u)$ の代わりに用いる。
• 滑らか化解 $Iu$ に対して、新しい相互作用モラウェーツ推定を導出し、時空間における $L^6$ ノルムの成長を制御する。
• 周波数局所化されたスケーリング論法を用い、$Iu^\lambda$ の $H^1$ ノルムを正規化するためのスケーリングされた解 $u^\lambda$ を導入する。
• $Iu^\lambda$ の $L^6$ ノルムが閾値を超えると仮定し、時間区間を分割して各区間で $L^6$ ノルムが一様に有界であるようにする。
• $E(Iu^\lambda)$ のほぼ保存性とモラウェーツ推定を組み合わせ、誤差項を制御し、$Iu^\lambda$ の $L^8$ ノルムに対する事前制御を得る。
• $L^2$ と $L^8$ ノルムの補間により、仮定された大きな $L^6$ ノルムに矛盾が生じ、解の大域的存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 エネルギー空間 $H^1$ よりも低い $H^s(\mathbb{R})$ において、$s > \frac{1}{3}$ のとき、$L^2$-臨界な焦点外方 NLS の大域的適切性は確立可能か？
• RQ2 $L^2$-臨界設定において、大域的解の存在と多項式的成長境界のための鋭い正則性閾値は何か？
• RQ3 低正則性解を制御するために、$I$-滑らか化解 $Iu$ に対する新しい相互作用モラウェーツ推定を構築可能か？
• RQ4 $I$-法と時空推定の相互作用から、$H^s$ ノルムに対する時間に多項式的な境界がどのように導かれるか？

主な発見

• 初期データが $H^s(\mathbb{R})$ に属するすべての $s > \frac{1}{3}$ に対して、$\mathbb{R}$ 上の焦点外方 $L^2$-臨界 NLS に対して大域的適切性が確立された。
• 解の $H^s$ ノルムは多項式的時間境界 $\sup_{t \in [0,T]} \|u(t)\|_{H^s} \leq C(1+T)^{\frac{s(1-s)}{2(3s-1)}}$ を満たす。ここで $C$ は $s$ と $\|u_0\|_{L^2}$ のみに依存する。
• 本証明は、$I$-滑らか化解 $Iu$ に対する新規な相互作用モラウェーツ推定を導入し、$H^1$ よりも低い領域での解の制御に不可欠である。
• 本結果は、[21] で確立された以前の閾値 $s > \frac{4}{9}$ を改善し、正則性領域における大きな空白を埋めた。
• 本手法はスケーリング論法と、時間分解および $L^2$、$L^8$、$L^6$ ノルム間の補間に基づく背理法に依存する。
• 解析により、標準的保存則が成り立たない場合でも、$I$-法と新しいモラウェーツ推定の組み合わせが、大域的制御をもたらすことが確認された。