[論文レビュー] Scattering for H^1/2 bounded solutions to the cubic, defocusing NLS in 3 dimensions

Carlos E. Kenig, Frank Merle|ArXiv.org|Dec 11, 2007

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

ひとこと要約

本稿は、初期データが臨界な同次ソボレフ空間 $\dot{H}^{1/2}$ に属し、解が最大寿命期にわたりそのノルムで有界である場合に、3次元非焦点的立方非線形シュレーディンガー方程式（NLS）の散乱を確立する。濃縮・コンパクトネス・剛性のアプローチを用いて、このような有界性が、回転対称性を仮定しないでも大域的存続および散乱を意味することを証明する。

ABSTRACT

We show that if a solution of the defocusing cubic NLS in 3d remains bounded in the homogeneous Sobolev norm of order 1/2 in its maximal interval of existence, then the interval is infinite and the solution scatters. No radial assumption is made.

研究の動機と目的

• 解が最大寿命期にわたり臨界的な $\dot{H}^{1/2}$ ノルムで有界である場合に、3次元非焦点的立方NLSの解について大域的存続および散乱を確立すること。
• $\dot{H}^{1/2}$-臨界NLS方程式の散乱結果において、回転対称性の仮定を排除すること。
• $\dot{H}^{1/2}$ に属する初期データのうち、寿命にわたり $\dot{H}^{1/2}$-ノルムが有界である集合が、$\dot{H}^{1/2}$ で開であることの証明。
• $\dot{H}^{1/2}$-初期データについて、有限時間での爆発が $\dot{H}^{1/2}$-ノルムの無限大への発散によって正確に特徴づけられること。

提案手法

• 散乱問題を、最小爆発解の存在を排除することに還元するために、濃縮・コンパクトネス・剛性法を適用する。
• 方程式の $\dot{H}^{1/2}$-臨界スケーリング不変性を用いて、濃縮・コンパクトネスを介して臨界的要素を定義する。
• 最小爆発解の仮定の下で、リン＝ストロースのモラウェーツ型推定から矛盾を導くことで、剛性定理を確立する。
• 非線形項を $\dot{H}^{1/2}$-ノルムで制御するために、ストリコフツ推定および微分の分数階乗ルールを用いる。
• 重み付き $L^4$-型ノルムおよびモラウェーツ推定を用いて、時空上での $|u|^4/|x|$ の積分に対する上界を導出する。
• モラウェーツ積分の下界と上界を組み合わせることで、解が $\dot{H}^{1/2}$ で有界のまま散乱に失敗する場合に矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 $\dot{H}^{1/2}$ における最大寿命期にわたり有界性が、3次元非焦点的立方NLSの解について大域的存続および散乱を意味するか。
• RQ2 $\dot{H}^{1/2}$-初期データに対して、回転対称性を仮定しないでも散乱結果を確立できるか。
• RQ3 寿命にわたり $\dot{H}^{1/2}$-ノルムが有界である $\dot{H}^{1/2}$ 初期データの集合が、$\dot{H}^{1/2}$ で開かか。
• RQ4 $\dot{H}^{1/2}$-初期データについて、有限時間での爆発の正確な特徴づけは、ノルムの発散によってなされるか。

主な発見

• $\sup_{t \in [0,T_+)} \|u(t)\|_{\dot{H}^{1/2}} < \infty$ ならば、$T_+ = \infty$ であり、解は $\dot{H}^{1/2}$ で無限遠において散乱する。
• $\dot{H}^{1/2}$ に属する初期データ $u_0$ のうち、$\sup_t \|u(t)\|_{\dot{H}^{1/2}} < \infty$ であるような集合は、$\dot{H}^{1/2}$ で開である。
• $T_+(u_0) < \infty$ ならば、$\sup_{t \in [0,T_+)} \|u(t)\|_{\dot{H}^{1/2}} = \infty$ であるため、爆発はまさに $\dot{H}^{1/2}$-ノルムの発散によって発生する。
• リン＝ストロースのモラウェーツ型恒等式により、$B(A)$ に属する解について、一様な上界 $\int_0^{T_+} \int \frac{|u|^4}{|x|} dx dt \leq 2C_0 A^2$ が得られる。
• 最小爆発解の仮定の下で、モラウェーツ積分が無限大でなければならないことを示し、これにより上界と矛盾が生じる。
• 解の $S(I)$-ノルムは、$\dot{H}^{1/2}$-有界性 $A$ に依存する関数 $g(A)$ によって一様に有界であるため、解の挙動に対する強い制御が得られる。