[論文レビュー] Existence of a ground state and blow-up problem for a nonlinear Schrodinger equation with critical growth

Takafumi Akahori, Slim Ibrahim+2 more|arXiv (Cornell University)|Dec 5, 2011

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

ひとこと要約

本稿は、次元 $ d \geq 4 $ における臨界成長を有する非線形シュレーディンガー方程式に対して、スケーリング不変性に関連する制約の下で汎関数を最小化する変分的アプローチを用いて、基底状態解の存在を確立する。さらに、特定のエネルギー準臨界領域に属する初期データから出発する解が有限時間 blow-up を示すことを証明し、基底状態の小さな摂動下での不安定性を確認する。

ABSTRACT

In this paper we show the existence of ground-state solutions for the energy-critical NLS perturbed with subcritical terms when the space dimension $d\geq4$. However in dimension three, we show that when the perturbation is small enough, then such solution does not exist. For the evolution equation, we show the existence of finite time blow up of solutions with radially symmetric data with energy below the one of the ground state.

研究の動機と目的

• 臨界非線形性と引力的準臨界摂動を有する非線形シュレーディンガー方程式に対する基底状態解の存在を確立すること。
• 特定のエネルギー準臨界領域に属する初期データから出発する解の blow-up 動態を分析すること。
• 変分的特徴付けと blow-up 基準を用いて、基底状態解の不安定性を証明すること。
• 特に $ d \geq 4 $ と $ d = 3 $ の間に差を示す次元依存の基底状態存在閾値を明確化すること。
• 重み付き関数型を用いて質量集中を制御し、有限時間 blow-up を導出するためのバーリア型恒等式を構築すること。

提案手法

• 汎関数 $ \mathcal{S}_{\omega}(u) $ を制約 $ \mathcal{K}(u) = 0 $ の下で最小化する変分問題を定式化する。ここで $ \mathcal{K}(u) $ は $ L^2 $ スケーリングに関する $ \mathcal{S}_{\omega} $ の導関数に対応する。
• 正値性および対称化に関して安定であるため、解析を簡略化するための補助的変分問題 $ \widetilde{m}_{\omega} $ を導入する。これは $ \mathcal{K}(u) \leq 0 $ を満たす関数における $ \mathcal{I}_{\omega}(u) $ の下界として定義される。
• 次元 $ d \geq 4 $ における存在証明は、ブレジスとニレングェルクのアプローチを特徴的なエネルギー汎関数と制約構造に適合させた、洗練された濃縮・コンパクトネスの議論に依拠する。
• 重み付きカットオフ関数 $ W_R $ を用いることで、一般化されたバーリア恒等式が導出され、大球外部における $ L^2 $-質量の制御が可能になる。
• 初期データが集合 $ A_{\omega,-} $ に属する場合、解がすべての時間にわたって存在しえないことを示すことにより、blow-up 基準が確立される。これは、全体存在仮定の下で矛盾を引き起こす。
• バーリア恒等式と減衰推定を用いた背理法により、解の重み付き $ L^2 $-ノルムが負になることが示され、これは不可能である。

実験結果

リサーチクエスチョン

• RQ1 臨界および準臨界非線形性を有する非線形シュレーディンガー方程式に対して、基底状態解が存在する条件は何か？
• RQ2 空間次元 $ d $ が基底状態の存在に果たす役割は何か。特に $ d = 3 $ と $ d \geq 4 $ の場合の違いは？
• RQ3 変分的特徴付けと blow-up 分析を用いて、基底状態の不安定性を厳密に確立できるか？
• RQ4 エネルギーとスケーリング制約 $ \mathcal{K}(u) = 0 $ は、定常波解の存在と安定性にどのように影響を与えるか？
• RQ5 集合 $ A_{\omega,-} $ に属する初期データから出発する解に対して、有限時間 blow-up を証明できるか？ここで $ A_{\omega,-} $ は $ \mathcal{S}_{\omega}(u) < m_{\omega} $ および $ \mathcal{K}(u) < 0 $ を満たす。

主な発見

• $ d \geq 4 $ の場合、$ m_{\omega} $ を定義する変分問題は最小化子を有し、これは楕円型方程式 (1.4) の基底状態解に対応する。
• $ d = 3 $ の場合、準臨界結合係数 $ \mu $ が十分に小さいと、$ m_{\omega} $ の最小化子は存在せず、したがって基底状態解は存在しない。
• 集合 $ A_{\omega,-} $ は、$ \mathcal{S}_{\omega}(u) < m_{\omega} $ および $ \mathcal{K}(u) < 0 $ によって定義され、NLS 方程式のフローに関して不変である。
• $ A_{\omega,-} $ に属する初期データから出発する解は、一般化されたバーリア恒等式と負の重み付き $ L^2 $-ノルムを用いた背理法により、有限時間 blow-up を示す。
• blow-up 時間は有限である。なぜなら、バーリア恒等式によりある時刻 $ t $ において重み付き $ L^2 $-ノルムが負になるが、これは不可能であるため、$ I_{\max} $ は有界でなければならない。
• 証明は、カットオフ関数 $ W_R $ の構築と、$ \|\nabla \psi_0\|_{L^\infty} $、$ \|\psi_0\|_{L^2} $、および $ R $ を用いた推定を用いて、バーリア量を制御し、矛盾を導出する。