[論文レビュー] Scattering for the focusing energy-subcritical NLS

Daoyuan Fang, Jian Xie+1 more|arXiv (Cornell University)|Jan 16, 2011

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

ひとこと要約

本稿は、すべての次元 $ N \geq 1 $ において、初期データがスケール不変ポテンシャル井戸 $ \mathcal{K} $ 内にある場合に、収束型エネルギー準臨界非線形シュレーディンガー方程式のグローバル $ H^1 $ 解について散乱を確立する。Duyckaerts, Holmer, Roudenko が開発した濃縮・コンパクトネスのアプローチを応用することで、著者らは、このようなすべての解が両時間方向に散乱することを証明し、3次元立方体の場合に既に得られていた結果を、一般のべき乗非線形性を持つエネルギー準臨界領域へと拡張する。

ABSTRACT

For the 3D focusing cubic nonlinear Schrodinger equation, Scattering of $H^1$ solutions inside the (scale invariant) potential well was established by Holmer and Roudenko~\cite{HR2} (radial case) and Duyckaerts, Holmer and Roudenko~\cite{DHR} (general case). In this paper, we extend this result to arbitrary space dimensions and focusing, mass-supercritical and energy-subcritical power nonlinearities, by adapting the method of~\cite{DHR}.

研究の動機と目的

• HolmerとRoudenko、およびDuyckaertsらによって確立された3次元収束型立方体NLSの散乱結果を、任意の空間次元 $ N \geq 1 $ へ拡張すること。
• 3次元立方体の場合の散乱結果を、$ N \geq 3 $ に対して $ \frac{4}{N} < \alpha < \frac{4}{N-2} $ を満たす一般のエネルギー準臨界非線形性へと全範囲に拡張すること。
• 初期データがスケール不変ポテンシャル井戸 $ \mathcal{K} $ 内にあるすべての $ H^1 $ 解が、$ t \to \pm\infty $ でグローバルに定義され、散乱することを証明すること。
• NLSフロー下でのポテンシャル井戸 $ \mathcal{K} $ の最適性と不変性を確立し、この集合に属するすべての初期データに対してグローバル存在と散乱を保証すること。

提案手法

• Duyckaerts, Holmer, Roudenko (2012) が用いた濃縮・コンパクトネス法を、一般のエネルギー準臨界NLS設定へと適応する。
• 滑らかな切り捨て関数 $ \chi_R(|x|) $ を用いた局所化されたバージョンのバーリング恒等式を採用し、解の空間的局在化を制御し、$ Z_R(t) = \int \chi_R(|x|) |u(t,x)|^2 dx $ の二階微分の推定を行う。
• ポテンシャル井戸 $ \mathcal{K} $ 内のエネルギーと質量の制約を用いて、バーリング恒等式における正の項に一様な下界を得る。これにより、十分大きな $ R $ に対して $ Z_R''(t) \geq \eta E(\varphi) > 0 $ が得られる。
• Gronwall型不等式（補題8.1）を適用して $ \|\varphi\|_{L^\gamma} $ の成長を制御し、$ Z_R(t) $ の二階微分の無限大への線形的成長から矛盾を導く。
• NLSフロー下での $ \mathcal{K} $ の不変性と、質量制約下でエネルギーを最小化する基底状態 $ Q $ の存在に依存する。
• 方程式のスケーリング不変性を用いて、ポテンシャル井戸 $ \mathcal{K} $ の構造を決定する臨界指数 $ \sigma = \frac{4 - (N-2)\alpha}{N\alpha - 4} $ を定義する。

実験結果

リサーチクエスチョン

• RQ1 初期データがポテンシャル井戸 $ \mathcal{K} $ 内にあるすべての $ H^1 $ 解が、$ t \to \infty $ で散乱するか？
• RQ2 3次元立方体NLSの散乱結果を、任意の次元 $ N \geq 1 $ および一般のエネルギー準臨界非線形性へ一般化できるか？
• RQ3 基底状態 $ Q $ を用いたエネルギーと質量の制約によって定義されるポテンシャル井戸 $ \mathcal{K} $ は、NLSフロー下で不変であり、グローバル存在と散乱を保証するのに十分か？
• RQ4 局所化された切り捨て関数を用いたバーリング型恒等式は、$ \mathcal{K} $ 内の解の散乱を証明するために果たす役割は何か？
• RQ5 補題8.1におけるGronwall型不等式は、証明における矛盾の導出にどのように寄与するか？

主な発見

• 初期データが $ \mathcal{K} $ 内にあるすべての $ H^1 $ 解は、$ t \to \infty $ でグローバルに定義され、散乱する。すなわち、$ \|u(t) - e^{it\Delta}u^+\|_{H^1} \to 0 $ となる $ u^+ \in H^1(\mathbb{R}^N) $ が存在する。
• この結果は、すべての次元 $ N \geq 1 $ および $ \frac{4}{N} < \alpha < \frac{4}{N-2} $ を満たす非線形性（$ N = 1,2 $ の場合は $ \alpha < \infty $）に対して成り立つ。
• ポテンシャル井戸 $ \mathcal{K} $ はNLSフロー下で不変であり、$ \mathcal{K} $ に属する解は $ H^1 $ で有界であり、バーリング恒等式における正の部分に一様な下界が存在する。
• 局所化された $ L^2 $-ノルム $ Z_R(t) $ の二階微分が時間に対して線形に成長することを示し、一方で一階微分が一様に有界であることから、成長推定に反する矛盾を導く。
• 証明は、正で径数的に減少する一意な基底状態 $ Q $ が存在することに依存しており、これは $ -\Delta Q + Q = |Q|^\alpha Q $ を満たし、質量制約下でエネルギーを最小化する。
• この方法により、散乱条件が鋭いことが確認される：初期データが $ \mathcal{K} $-ノルムの閾値をわずかに超えると、有限時間で爆発が発生する。