[論文レビュー] Stable manifolds for all monic supercritical NLS in one dimension

Joachim Krieger, Wilhelm Schlag|ArXiv.org|Jan 9, 2005

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

ひとこと要約

本稿は、$\sigma > 2$ である1次元単項の超臨界非線形シュレーディンガー方程式（NLS）に対して、余次元5の安定多様体の存在を確立する。$H^1$ 内の特定の部分多様体に属する初期データは、全域的で漸近的に安定な解に至り、散乱する。この構成は、定常波の周りでの線形化と、リーマン射影を用いた不安定モードの分離に依存し、最終的にこの多様体上での解が小さな放射を伴う移動ソリトンに収束することを証明する。$L^2$-散乱および空間的・時間的多項式減衰を示す。

ABSTRACT

We show that all supercritical monic focusing NLS in one space dimension exhibit asymptotic stability of perturbed standing waves provided the perturbations are chosen on a small hypersuface in a suitable space.

研究の動機と目的

• 1次元単項超臨界NLS方程式（$\sigma > 2$）に対して、一般の摂動のもとで軌道不安定であることが知られている場合の安定多様体の存在を確立すること。
• 定常波の近くで解の全域的解と漸近的安定性を保証する、初期データの余次元5部分空間 $S \subset \Sigma$ を特定すること。
• この多様体上での解が、時間とともに安定化するパラメータを伴う移動ソリトンに収束することを証明し、残差項が $H^1$ および点ごとの意味で減衰することを示すこと。
• 超臨界非線形性にもかかわらず、残差項が $t \to \infty$ のとき $L^2$ で散乱することを示すこと。
• ガリレオ変換およびスケーリング対称性を用いて、安定多様体の余次元を1にまで低減し、最小の安定多様体を得ること。

提案手法

• 小規模な摂動の力学を記述する演算子 $H(\alpha)$ を得るために、定常波 $\psi = e^{it\alpha^2}\varphi(\cdot, \alpha)$ の周りでNLS方程式を線形化する。
• $H(\alpha)$ のスペクトルを解析する。これは、$(-\infty, -\alpha^2] \cup [\alpha^2, \infty)$ に連続スペクトルを持ち、$\{0, \pm i\gamma(\alpha)\}$ に離散固有値を持つ。ここで $\gamma(\alpha) > 0$ である。
• 不安定モード $\{0, i\gamma(\alpha_0)\}$ に射影するリーマン射影 $P^+_{\text{u}}(\alpha_0)$ を用い、$\begin{pmatrix} R_0 \\ \overline{R_0} \end{pmatrix}$ にこの射影を適用した核として、部分空間 $S \subset \Sigma$ を定義する。
• リプシッツ連続なパラメータ化 $\Phi: B \cap S \to \Sigma$ を構成し、$\|\Phi(R_0)\|_{\Sigma} \lesssim \|R_0\|_{\Sigma}^2$ を満たすことで、安定多様体が $S$ 上の局所的グラフとして表現されることを保証する。
• ガリレオ変換およびスケーリング変換を適用して、安定多様体の余次元を5から1に低減し、余次元1の最小超曲面 $N$ を得る。
• 連続性およびリゾルベント推定を用いて、固有関数およびリーマン射影が $\alpha$ に関して連続に変化することを示し、構成の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 一般の摂動のもとで軌道不安定であるにもかかわらず、1次元超臨界NLSに対して安定多様体を構成可能か？
• RQ2 $H^1$-基底空間 $\Sigma$ 内での安定多様体の正確な余次元は何か？ また、線形化演算子の不安定モードとどのように関係しているか？
• RQ3 方程式が超臨界的であり、通常は爆発を示すにもかかわらず、安定多様体上での解が散乱および減衰を示すか？
• RQ4 ガリレオブーストおよびスケーリングなどの対称性を用いて、安定多様体の余次元を1にまで低減可能か？
• RQ5 特に、固有値 $\pm i\gamma(\alpha)$ および重複度4のゼロ固有値を有する線形化演算子 $H(\alpha)$ のスペクトル特性が、安定多様体の構造にどのように影響を与えるか？

主な発見

• $\sigma > 2$ および $\alpha_0 > 0$ に対して、任意の $\alpha_0$ に対して、$H^1$ 内の余次元5部分空間 $S \subset \Sigma$ が存在し、$S$ に属する初期データは、全域的 $H^1$ 解を生成し、移動ソリトンに近接を保つ。
• 安定多様体上での解は、すべての $t > 0$ に対して、$\|R(t)\|_{H^1} \lesssim \delta$、$\|R(t)\|_{\infty} \lesssim \delta \langle t \rangle^{-1/2}$、および $\|\langle x - y(t) \rangle^{-1/2 - \varepsilon} R(t)\|_{\infty} \lesssim \delta \langle t \rangle^{-1 - \varepsilon}$ を満たす。ここで $\varepsilon > 0$ である。
• 残差 $R(t)$ は $L^2$ で散乱する：$t \to \infty$ のとき、$R(t) = e^{it\partial_x^2} f_0 + o_{L^2}(1)$ を満たす $f_0 \in L^2$ が存在する。
• ソリトン成分のパラメータ $\pi(t) = (\gamma(t), v(t), D(t), \alpha(t))$ は、$\sup_t |\pi(t) - \pi(\infty)| \lesssim \delta^2$ を満たす終端ベクトルに収束する。
• ガリレオ変換およびスケーリング対称性を適用することで、安定多様体は余次元1の超曲面 $N \subset \Sigma$ に低減可能であり、全域的解の存在と散乱が保たれる。
• 不安定モードへのリーマン射影 $P^+_{\text{u}}(\alpha_0)$ は $\alpha_0$ に関して連続であり、固有関数 $f^\pm(\alpha)$ も $\alpha$ に関して連続に変化するため、スペクトル構造の安定性が保証される。