[論文レビュー] Supercritical Nonlinear Schrödinger Equations II: Almost Global Existence

W. M. Wang|arXiv (Cornell University)|Jul 1, 2010

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

ひとこと要約

本稿は、スペクトルギャップ推定と開写像定理を用いて、有限回反復されたニュートンスキームにより準周期的近似解を構築することによって、$d$-トーラス上での超臨界非線形シュレーディンガー方程式に対してほとんど全域的解存在を確立する。一般の初期データ（大きさ1、小刻みな$δ$）に対して、任意の$A>1$について、時間$|t| \leq \delta^{-A}$の範囲で解が存在し、解析的ノルムにおいて一様な境界が保証される。これは、超臨界領域における事前全局的解存在の欠如を解消する。

ABSTRACT

We prove almost global existence for supercritical nonlinear Schrödinger equations on the $d$-torus ($d$ arbitrary) on the good geometry selected in part I. This is seen as the Cauchy consequence of I, since the known invariant measure of smooth solutions are supported on KAM tori. In the high frequency limit, these quantitative solutions could also be relevant to Cauchy problems for compressible Euler equations.

研究の動機と目的

• 超臨界非線形シュレーディンガー方程式（NLS）の$τ^d$上での事前全局的解存在の欠如に対処すること。標準的保存則が全局的解を保証しない領域を想定する。
• 局所的well-posednessが全域的へ拡張できない超臨界領域（$p \geq 1$, $d \geq 3$）において、小初期データ解のほとんど全域的解存在を確立すること。
• NLS方程式を$ω^r$誤差まで満たす近似準周期的解の構築。線形化により長時間存在を可能にする。
• このような解に至る初期データの集合が正の測度を持つことを証明し、$δ \to 0$のとき測度が1に近づくことから、結果の一般性を保証すること。

提案手法

• 初期データ$u_0 = u_1 + u_2$に対して、有限回反復されたニュートンスキームを適用し、$ω^r$誤差まで満たす近似準周期的解$v$を構築。このとき、基本周波数は$\mathcal{O}(|\log \delta|)$個を含む。
• 周波数ベクトルの非退化性と共振の幾何的構造に依拠し、開集合$\mathcal{A} \subset (0,1]^b$内でフーリエ振幅$\{\hat{u}_1\}$を除去することで、スペクトルギャップを確保する。
• 開写像定理を適用し、固定初期近似から、$\|\tilde{u}_2\| = \mathcal{O}(\delta)$を満たす初期データ$\tilde{u}_0 = u_1 + \tilde{u}_2$の近傍への構成を拡張し、安定性を保証する。
• 近似解$v$の周りでNLS方程式を線形化し、解析的ノルムにおいて、時間$\delta^{-r/3}$まで有界な線形化されたフローが成り立つことを証明。$\|S(t)\| \leq 1 + |t|$を満たす。
• ダハムエルの公式を用いて、残差$w = u - v$の推定を行う。$|t| < \delta^{-r/10}$の範囲で$\|w(t)\| = \mathcal{O}(\delta^{r/2})$が成り立ち、これは全解のグローバル制御を意味する。
• 残差$w = \delta^{r'} w'$とスケーリングし、線形化されたフローにおける$L^2$型推定を用いることで、解ノルムと存在時間の定量的境界を確立する。

実験結果

リサーチクエスチョン

• RQ1 保存則が全局的解を保証しない状況下で、$τ^d$上での超臨界NLSに対して、ほとんど全域的解存在を確立できるか？
• RQ2 周波数支持と振幅のどの条件下で、局所的解存在時間より長い時間にわたって非線形力学を制御できる近似準周期的解を構築できるか？
• RQ3 開写像定理を用いて、特定の初期データからの解存在性を、解析的位相における初期データの開集合全体に拡張できるか？
• RQ4 解の持続時間は小さなパrameter $δ$ に対してどのように依存するか？また、任意の$A>1$に対して$δ^{-A}$の意味で、それを任意に長くできるか？
• RQ5 近似解の周りの線形化されたフローは、$δ^{-A}$までの時間にわたり一様に制御可能か？これにより、構成の安定性が保証されるか？

主な発見

• 任意の$A > 1$に対して、$\delta_0 > 0$が存在し、すべての$\delta \in (-\delta_0, \delta_0)$に対して、NLSの初期値問題は、$|t| \leq \delta^{-A}$の範囲で一意な解$u(t)$を持つ。初期データ$u_0 = u_1 + u_2$が$\|u_2\| = \mathcal{O}(\delta)$および$\{\hat{u}_1\} \in \mathcal{A}$（正の測度の開集合）を満たす限り、成り立つ。
• $\delta \to 0$のとき、初期周波数振幅の集合$\mathcal{A}$の測度は1に近づく。これは、大きさ1のほとんどすべての一般初期データが長時間解を持つことを示唆する。
• 時間区間$|t| \leq \delta^{-A}$において、解は解析的ノルムで$\|u(t)\| \leq \|u_0\| + \mathcal{O}(\delta)$を満たす。これは、解の大きさが一様に制御されることを保証する。
• 近似解$v$の周りの線形化されたフロー$S(t)$は、$|t| < \delta^{-r/3}$の範囲で$\|S(t)\| \leq 1 + |t|$を満たす。これは、ダハムエル展開における残差項の制御に不可欠である。
• 残差$w = u - v$は、$|t| < \delta^{-r/10}$の範囲で$\|w(t)\| = \mathcal{O}(\delta^{r/2})$を満たす。これは、解が長時間にわたり近似準周期的解に近いまま保たれることを保証する。
• 半古典的対応では、$\delta = 1$の場合、解は$|t| \leq K^{-A}$の範囲で存在し、$K \to \infty$のとき、$\|u(t)\| \leq \|u_0\| + \mathcal{O}(1/K^2)$を満たす。また、許容される振幅集合$\mathcal{A}$の測度は$K \to \infty$のとき1に近づく。