[論文レビュー] Almost sure scattering for the energy-critical NLS with radial data below $H^1(\mathbb{R}^4)$

Rowan Killip, Jason Murphy+1 more|arXiv (Cornell University)|Jul 27, 2017

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

ひとこと要約

本稿は、4次元におけるエネルギー臨界非線形シュレーディンガー方程式（NLS）に対して、$H^s(\mathbb{R}^4)$ 上のランダム化径対称初期データを用いた場合、$\frac{5}{6} < s < 1$ の範囲で、概収束の意味での全空間的全域存在および散乱を確立する。径対称 $H^s$ 初期データにガウス型ランダマイゼーションを適用し、エネルギー臨界 NLS の安定性理論を活用することで、ほとんどすべてのランダム化初期条件が一意な全空間的解を生成し、$t \to \pm\infty$ のとき $H^1$ で散乱することを証明する。これは、決定論的解の存在が失敗する超臨界的領域を解決するものである。

ABSTRACT

We prove almost sure global existence and scattering for the energy-critical nonlinear Schrödinger equation with randomized spherically symmetric initial data in $H^s(\mathbb{R}^4)$ with $\frac56

研究の動機と目的

• エネルギー臨界非線形シュレーディンガー方程式（NLS）の4次元において、$H^1$ 正則性閾値未満の初期データに対して、概収束の意味での全空間的適切性および散乱を確立すること。
• 正則性 $s < 1$ の $H^s$ 初期データでは、初期データから解への写像が原点で不連続となるため、決定論的適切性の失敗を扱うこと。
• ランダマイゼーションの枠組みをエネルギー臨界シュレーディンガー方程式へ拡張し、最近のエネルギー臨界波動方程式に関する結果を模倣すること。
• $H^s(\mathbb{R}^4)$ 上のランダム化径対称初期データで $\frac{5}{6} < s < 1$ の場合、全空間的解が概収束するが、事前境界に依存しないこと。

提案手法

• 周波数局在化をフーリエ空間におけるユニット分割を用いて行うガウス型ランダマイゼーションにより、径対称 $H^s(\mathbb{R}^4)$ 初期データをランダマイズする。
• 解を $u = e^{it\Delta}f^\omega + v$ と分解し、$v$ の非線形項が $v$ と線形フローに依存する摂動方程式に問題を還元する。
• エネルギー臨界 NLS の安定性理論を適用し、低正則性に対処するため、$\langle x \rangle^{-\alpha}$ のような重みを含む重み付きストリコフツおよび時空推移を用いて摂動項を制御する。
• 時間区間を分割し、線形フロー $F^\omega$ が $X(\mathbb{R})$ ノルムで小さいことを利用して、摂動 $v$ の最大寿命期間における一様エネルギー境界を確立する。
• 小さなパrameterとヤングの不等式に基づく連続性の議論により、誤差項を吸収し、エネルギーの爆発を防ぐ。
• 時間反転対称性と質量およびエネルギーの有界性を活用し、$v$ に対して $H^1$ で全空間的全域存在および散乱を証明する。これにより、$u$に対しても同様の結論が得られる。

実験結果

リサーチクエスチョン

• RQ1 初期データが $H^1$ 閾値未満にある場合、4次元エネルギー臨界 NLS に対して、概収束の意味での全空間的全域存在および散乱を確立できるか？
• RQ2 正則性 $\frac{5}{6} < s < 1$ の $H^s(\mathbb{R}^4)$ 初期データに対して、ガウス型ランダマイゼーションを施すことで、決定論的非適切性にもかかわらず、ほぼ確実に適切性および散乱が回復するか？
• RQ3 エネルギー臨界 NLS の安定性理論は、ランダム化初期データから生じる摂動方程式に効果的に適用可能か？
• RQ4 ランダム化初期データのほぼすべての実現に対して、解の散乱性が $H^1$ で保持されるか？
• RQ5 摂動 $v$ に対する事前境界に依存しない、条件なしの証明が可能か？

主な発見

• 任意の径対称 $f \in H^s(\mathbb{R}^4)$ で $\frac{5}{6} < s < 1$ を満たすものに対して、ランダム化初期データ $f^\omega$ は、エネルギー臨界 NLS に対して、$C_t H^1_x(\mathbb{R} \times \mathbb{R}^4)$ 内に唯一の全空間的解 $u$ を概収束で生成する。
• 解 $u$ は $t \to \pm\infty$ のとき $H^1(\mathbb{R}^4)$ で散乱する。つまり、$\|u(t) - e^{it\Delta}u_\pm\|_{H^1} \to 0$ を満たす唯一の $u_\pm \in H^1(\mathbb{R}^4)$ が存在する。
• ランダマイゼーションにより、線形フロー $F^\omega = e^{it\Delta}f^\omega$ がほとんど確実に $X(\mathbb{R}) \cap L_t^\infty L_x^4\left(\mathbb{R} \times \mathbb{R}^4\right)$ に属することを保証し、安定性理論の適用が可能になる。
• 時間分割による議論と、各部分区間 $I_j$ における $\|F^\omega\|_{X(I_j)}$ の小さな性質を用いて、摂動 $v$ の一様エネルギー境界を確立し、全空間的全域存在を保証する。
• 証明は条件なしである。$v$ に対する事前制御を仮定せず、エネルギーおよび質量の境界から直接、全空間的全域存在および散乱が導かれる。これは、以前の条件付き結果とは対照的である。
• 本結果により、エネルギー臨界シュレーディンガー方程式におけるランダムデータ法が4次元に拡張され、最近のエネルギー臨界波動方程式に関する進展と並行する。