[論文レビュー] Dynamics for the energy critical nonlinear Schrödinger equation in high dimensions

Dong Li, Xiaoyi Zhang|ArXiv.org|Feb 4, 2009

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

ひとこと要約

本稿は、エネルギー臨界非線形シュレーディンガー方程式のしきい値エネルギー解の分類を、$d \geq 6$ のすべての次元にまで拡張する。高次元における非リプシッツ非線形性を克服するため、基底状態 $W$ の減衰性質を活用する。主な結果は、完全な動的分類である：エネルギー $E(W)$ で勾配ノルムが厳密にしきい値未満である解は、対称性を除いて $W^\pm$ に一致し、ソリトンの進化または爆発挙動に対応する。

ABSTRACT

In \cite{duck-merle}, T. Duyckaerts and F. Merle studied the variational structure near the ground state solution $W$ of the energy critical NLS and classified the solutions with the threshold energy $E(W)$ in dimensions $d=3,4,5$ under the radial assumption. In this paper, we extend the results to all dimensions $d\ge 6$. The main issue in high dimensions is the non-Lipschitz continuity of the nonlinearity which we get around by making full use of the decay property of $W$.

研究の動機と目的

• エネルギー臨界非線形シュレーディンガー方程式のしきい値エネルギー解の動的分類を、$d=3,4,5$ の次元からすべての $d \geq 6$ にまで拡張すること。
• 非線形性 $|u|^{\frac{4}{d-2}}u$ が $\dot{S}^1$ 空間でリプシッツ連続でないために、高次元で標準的手法が破綻する問題を解消すること。
• エネルギー $E(W)$ で $\|\nabla u_0\|_{L^2} < \|\nabla W\|_{L^2}$ を満たす解の完全な特徴付けを確立し、それらが対称性を除いて $W^\pm$ に一致することを示すこと。
• このような解が前方時間で散乱または爆発するかを証明し、$W^\pm$ 解によって支配される正確な漸近的プロファイルを特定すること。

提案手法

• 解を基底状態 $W$ のまわりの摂動として扱うため、アンザッツ $u = W^a + h$ を用いて問題を変換し、一パラメータ族 $W^a$ の解の周りの摂動方程式に帰着する。
• 重み付きストリコルツ空間における固定点定理を用いて摂動方程式を解く。$W$ の急激な減衰性質を活用し、小領域における非線形項を制御する。
• より低い正則性を許容する特異なストリコルツ推移を用いて、非リプシッツ性に対処し、正則性の損失を避けるために減衰性に注目する。
• ダゥハメルの公式と時間区間 $[t,\infty)$ におけるストリコルツ推移を用いて、摂動 $h$ に対する指数的減衰推移を確立する。
• 任意の解 $h$ が任意の指数的減衰より速く減衰するならば、恒等的に $h \equiv 0$ であることを証明し、$u = W^a$ が得られ、したがってダイナミクスが分類されることを示す。
• 基底状態 $W$ の変分的特徴付けを用いて、$E(u_0) = E(W)$ かつ $\|\nabla u_0\|_{L^2} = \|\nabla W\|_{L^2}$ を満たす解が、対称性を除いて $W$ に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 エネルギー $E(W)$ を丁度もつエネルギー臨界 NLS の解の完全な動的挙動は、次元 $d \geq 6$ においてどのように特徴づけられるか？
• RQ2 高次元における $\dot{S}^1$ 空間で非リプシッツ性を示す非線形性を克服するには、どのようにすればよいか？
• RQ3 低次元で既に分類済みの $W^\pm$ 解は、すべての $d \geq 6$ にまで拡張可能か？
• RQ4 爆発または散乱する解の正確な漸近的プロファイルは、どのように特定されるか？
• RQ5 エネルギー $E(u_0) = E(W)$ かつ $\|\nabla u_0\|_{L^2} < \|\nabla W\|_{L^2}$ を満たす解の中で、唯一の解は対称性を除いて $W^\pm$ 家族であるか？

主な発見

• エネルギー $E(W)$ で $\|\nabla u_0\|_{L^2} < \|\nabla W\|_{L^2}$ を満たす解は、すべて時間に全域的に定義され、対称性を除いて $W^+$ または $W^-$ に一致する。
• $W^\pm$ 解は、勾配ノルムにおける指数的減衰または増大性質によって特徴づけられる：ある $\gamma > 0$ に対して $\|u(t) - W^\pm\|_{\dot{H}^1} \lesssim e^{-\gamma t}$ が成り立つ。
• $u = W^a$ で $a \neq 0$ の場合、$\|W^a(t + T_a) - W \mp e^{-e_0 t}\mathcal{Y}_+\|_{H^{m,m}} \lesssim e^{-\frac{3}{2}e_0 t}$ を満たし、正確な漸近的挙動が示される。
• 摂動方程式の解 $h$ が任意の指数的減衰より速く減衰するならば、恒等的に $h \equiv 0$ であることが示され、$u = W^a$ が得られる。
• エネルギー $E(u_0) = E(W)$ かつ $\|\nabla u_0\|_{L^2} = \|\nabla W\|_{L^2}$ を満たす解は、対称性を除いて $W$ に一致する。これは変分的しきい値の確認である。