[論文レビュー] Normal form theory for the NLS equation

Benoît Grébert, Thomas Kappeler+1 more|ArXiv.org|Jul 22, 2009

Nonlinear Waves and Solitons参考文献 24被引用数 10

ひとこと要約

本稿では、Zakharov-Shabat作用素のスペクトル理論と反復積分方程式を用いて、非線形シュレーディンガー（NLS）方程式の正準形理論を構築する。基本解に対するノイマン型級数の収束を確立し、スペクトルパラメータおよびポテンシャルに対する解析的依存性を証明し、無限次元位相空間におけるNLSのKAM型解析に不可欠な一様バウンドを導出する。

ABSTRACT

We consider the nonlinear Schrodinger equation with a cubic nonlinearity on the circle, which is known to represent an integrable Hamiltonian system. We construct a global coordinate systems, which puts this Hamiltonian into standard normal form, so that it depends only on the actions of the system.

研究の動機と目的

• 無限次元ハミルトニアン系の文脈において、NLS方程式の厳密な正準形還元を確立すること。
• 周期的L²ポテンシャルを有するZakharov-Shabat作用素のスペクトル的性質を分析すること。
• 関連線形化系の基本解に対する収束するべき乗級数展開を導出すること。
• 解がスペクトルパラメータおよびポテンシャルに対して解析的であることを証明し、KAM理論への応用を可能にすること。
• 長時間ダイナミクスおよび安定性解析に不可欠な、基本解に対する一様バウンドを提供すること。

提案手法

• 作用素 $ L = \mathrm{i} R D + \Phi $ のZakharov-Shabat作用素表現を用いる。ここで $ R = \mathrm{diag}(1,-1) $, $ D = \partial_t $, $ \Phi $ は複素ポテンシャルである。
• 変数定数の変化を適用し、基本解 $ M(t,\lambda,\varphi) $ の積分方程式を導出し、$ \Phi $ のべき級数へのノイマン級数展開に至る。
• 時間区間 $ 0 \leq t_1 \leq \cdots \leq t_{n+1} = t $ における順序付き積分 $ M_n(t) $ を構成し、$ E_\lambda $ および $ \tilde{\Phi} = \mathrm{i} R \Phi $ を含む行列カーネルを用いる。
• 作用素ノルム推定と指数的バウンドを用いて、$ [0,\infty) \times \mathbb{C} \times L^2_c $ の有界集合上で級数の一様収束を証明する。
• 複素解析および積分推定を用いて、解が $ \lambda \in \mathbb{C} $ および $ \varphi \in L^2_c $ に対して解析的であることを確立する。
• 補間補題およびヒルベルト変換バウンドを適用し、スペクトルデータを制御し、スペクトル級数の収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 Zakharov-Shabat作用素の基本解は、ポテンシャルにおける収束するべき乗級数としてどのように表現できるか？
• RQ2 スペクトルパラメータおよびポテンシャルに対する解析的および安定性を保証する、基本解に対する一様バウンドは何か？
• RQ3 ノイマン級数の構造（奇数/偶数成分が対角/反対角）は、NLS方程式のシンプレクティックおよびスペクトル的性質をどのように反映するか？
• RQ4 スペクトル補間およびヒルベルト変換推定は、解の長時間的挙動を制御するために果たす役割は何か？
• RQ5 L²正則ポテンシャルのバナッハ空間設定において、解の収束性および解析性を確立できるか？

主な発見

• 基本解 $ M(t,\lambda,\varphi) $ のノイマン級数は、$ [0,\infty) \times \mathbb{C} \times L^2_c $ の有界集合上で一様収束し、$ \|M(t,\lambda,\varphi)\| \leq \exp\big( |\mathfrak{I}\lambda| t + \|\varphi\|_{[0,t]} \sqrt{t} \big) $ を満たす。
• 解 $ M $ は $ \lambda \in \mathbb{C} $ および $ \varphi \in L^2_c $ に対して解析的であり、初期値問題 $ L(\varphi)M = \lambda M $, $ M(0) = \mathrm{Id} $ を満たす。
• 級数展開により $ M_n $ は $ \Phi $ に対して $ n $ 次同次であり、$ M_{2n} $ は対角行列、$ M_{2n-1} $ は反対角行列となる。
• $ \ell^2_c $ 上のヒルベルト変換はノルム $ \leq \pi $ で有界であり、フーリエ乗数表現およびプランシュレルの定理を用いて確立される。
• 補間補題が証明される：$ \phi $ が整関数で、$ \sup_{|\lambda|=n\pi+\pi/2} |\phi(\lambda)/\sin\lambda| \to 0 $ ならば、$ \sigma_n = n\pi + \ell^2(n) $ に対して $ \phi(z) = \sum_n \phi(\sigma_n) \prod_{m \neq n} \frac{\sigma_m - z}{\sigma_m - \sigma_n} $ が成り立つ。
• スペクトル射影 $ \Pi_m $ は $ \Pi_m f = \frac{1}{\pi} \int_{G_m} \frac{f(\lambda)}{w_m(\lambda)} \, d\lambda $ を満たす。ここで $ G_m $ は $ \sigma_m $ を囲む contour であり、$ w_m $ は関連するロンスキアンである。