[論文レビュー] Quintic NLS in the exterior of a strictly convex obstacle

Rowan Killip, Monica Vişan+1 more|arXiv (Cornell University)|Aug 24, 2012

Advanced Mathematical Physics Problems参考文献 53被引用数 17

ひとこと要約

本稿は、3次元の滑らかでコンpakな、厳密に凸な障害物の外部領域において、ディリクレ境界条件を満たす五次非線形シュレーディンガー方程式のグローバルな適切性と散乱を確立する。濃縮・コンパクトネスのアプローチを用いて、モラウェッツと局所滑らかさの推移を用いて、最小エネルギー爆発解が存在しないことを示し、すべての有限エネルギー初期データがグローバルで散乱する解を生成することを証明する。

ABSTRACT

We consider the defocusing energy-critical nonlinear Schrödinger equation in the exterior of a smooth compact strictly convex obstacle in three dimensions. For the initial-value problem with Dirichlet boundary condition we prove global well-posedness and scattering for all initial data in the energy space.

研究の動機と目的

• エネルギー臨界的な五次非線形シュレーディンガー方程式の外部領域におけるグローバル存在と散乱を確立すること。
• 古典的ソボレフ埋め込みが成立しない、厳密に凸な障害物を有する外部領域の設定に、濃縮・コンパクトネス法を拡張すること。
• 最小エネルギー非散乱解が存在しないことを証明し、有限時間での爆発または非散乱挙動の可能性を排除すること。
• 任意の解の軌道がエネルギー空間内で前コンパクトのままであることを示すこと。これはコンパクトネスの議論にとって不可欠である。
• すべての時間にわたって、コンパクト空間領域における$L^6$ノルムに一様な下界を確立すること。これは、時間経過にわたる空間的質量集中の持続を示している。

提案手法

• 滑らかでコンパクトな厳密に凸な障害物の外部に適応された濃縮・コンパクトネス法を用い、自己随伴作用素としてディリクレラプラシアン$-\Delta_\Omega$を用いる。
• 有界エネルギー列の漸近的挙動を分析するために、線形プロファイル分解と非線形プロファイル分解を用いる。
• 外部領域におけるストリカルツ推移と局所滑らかさの性質を用い、リトルウッド＝パイルの理論とミヒリンのマルチプライヤ定理を$(-\Delta_\Omega)^{s/2}$に適用する。
• 摂動の制御と正則性の保存を保証するために、安定性理論（定理2.9）を適用する。
• 最小エネルギー爆発解の存在を排除するために、外部領域におけるモラウェッツ型不等式を導出し、$|u|^6/|x|$の空間的減衰を制御する。
• コンパクト集合における一様な空間的集中（$L^6$ノルムの下界による）とモラウェッツ推移を組み合わせ、大きな時間区間において矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 エネルギー臨界的なNLSの外部領域における濃縮・コンパクトネス法を、厳密に凸な障害物を有する設定に拡張することは可能か？
• RQ2 滑らかでコンパクトな厳密に凸な障害物の外部領域におけるすべての有限エネルギー初期データは、グローバル解を生成し、それが散乱するか？
• RQ3 非散乱で有限時間に爆発する最小エネルギー解が存在するか？
• RQ4 すべての時間にわたって、解の$L^6$ノルムに一様な下界を確立することは可能か？
• RQ5 非自明な幾何構造を有する外部領域において、モラウェッツ推移と局所滑らかさ推移はどのように振る舞うか？

主な発見

• $\mathbb{R}^3$における滑らかでコンパクトな、厳密に凸な障害物の外部領域において、ディリクレ境界条件を満たす五次非線形シュレーディンガー方程式は、エネルギー空間$\dot{H}^1_D(\Omega)$に属するすべての初期データに対してグローバルに適切である。
• 方程式のすべてのグローバル解は、時間の両方向において散乱する。これは、$t \to \pm\infty$において自由解と漸近的に一致することを意味する。
• 解はグローバル時空間推移$\iint_{\mathbb{R}\times\Omega} |u(t,x)|^{10} \,dx\,dt \lesssim C(E(u))$を満たし、非線形成長を制御する。
• 最小エネルギー非散乱解は存在しない。エネルギー臨界値$E_c$を持つ任意の解は、散乱するか、恒等的にゼロである。
• 潜在的な最小エネルギー爆発解は、すべての$t \in \mathbb{R}$に対して$\int_{\Omega \cap \{|x| \leq R\}} |u(t,x)|^6 \,dx \gtrsim 1$という一様な下界を満たす。これは、空間的集中が時間経過にわたって持続することを示している。
• 空間的集中とモラウェッツ推移（$R|I|^{1/2}$に比例して減衰）との矛盾により、このような最小エネルギー解の存在は排除され、散乱の証明が完成する。