[論文レビュー] On the long time behavior for solutions of semi-linear harmonic oscillator with small Cauchy data on R^d.

Benoît Grébert, Rafik Imekraz+1 more|arXiv (Cornell University)|Aug 6, 2008

Advanced Mathematical Physics Problems被引用数 1

ひとこと要約

本稿は、R^d 上の小規模な初期データをもつ半線形調和振動子の長時間的ダイナミクスを研究する。Birkhoff 正規形技法と、Hermite スカラー倍数 M に関する非共鳴条件を用いて、d=1 および d≥2 に対して解の可積分性と有界性を証明し、小規模な初期値に対してほぼ全域的解の存在を導く。

ABSTRACT

We consider the semi-linear harmonic oscillator $$i\psi_t=(-\Delta +x^{2} +M)\psi +\partial_2 g(\psi,\bar \psi), \quad x\in \R^d, t\in \R$$ where $M$ is a Hermite multiplier and $g$ a smooth function globally of order at least three. We prove that such a Hamiltonian equation admits, in a neighborhood of the origin, a Birkhoff normal form at any order and that, under generic conditions on $M$ related to the non resonance of the linear part, this normal form is integrable when $d=1$ and gives rise to simple dynamics (in particular bounded) when $d\geq 2$. As a consequence we prove the almost global existence for solutions of the above equation with small Cauchy data.

研究の動機と目的

• R^d 上の小規模な初期データをもつ半線形調和振動子方程式の長時間的挙動を理解すること。
• 原点付近で、系が任意の次数の Birkhoff 正規形をもつかどうかを調査すること。
• Hermite スカラー倍数 M に対して、正規形が可積分または有界ダイナミクスをもたらす条件を特定すること。
• M に対して一般的な非共鳴仮定をおくことで、解のほぼ全域的存在を確立すること。
• d=1 の結果を高次元 d≥2 に拡張し、特に正規形におけるダイナミクスの構造に注目すること。

提案手法

• 半線形調和振動子方程式に関連するハミルトニアン系に Birkhoff 正規形理論を適用する。
• 調和振動子ハミルトニアン $-\Delta + x^2 + M$ を含む線形部の構造を用いる。ここで M は Hermite スカラー倍数である。
• ハミルトニアン展開における任意の有限次の非共鳴項を除去するための摂動的技法を用いる。
• 線形作用素の固有値に関する非共鳴条件を分析し、正規形の収束性および可積分性を保証する。
• g が滑らかで、かつ少なくとも3次以上のグローバルな次数をもつことを利用して、高次非線形項を制御する。
• 次元依存の構造を活用する：d=1 の場合、正規形は可積分である。d≥2 の場合、非線形性の構造と線形部のスペクトル性質により、単純で有界なダイナミクスが得られる。

実験結果

リサーチクエスチョン

• RQ1 半線形調和振動子方程式は、原点近傍で任意の次数の Birkhoff 正規形をもつか？
• RQ2 Hermite スカラー倍数 M に対して、どのような条件下で Birkhoff 正規形が可積分になるか？
• RQ3 次元 d は正規形におけるダイナミクスにどのように影響するか—特に、d≥2 の場合に有界解が得られるか？
• RQ4 正規形の可積分性または有界性は、解の長時間存在の証明に利用できるか？
• RQ5 線形スペクトルにおける非共鳴条件が、正規形の妥当性およびそのダイナミカルな帰結を保証するために果たす正確な役割は何か？

主な発見

• 半線形調和振動子方程式は、原点近辺で任意の次数の Birkhoff 正規形をもつ。
• d=1 の場合、M に対して一般的な非共鳴条件が成り立つ限り、正規形は可積分であり、これは正則で予測可能なダイナミクスを意味する。
• d≥2 の場合、非線形性の構造と線形部のスペクトル性質のおかげで、正規形は単純で有界なダイナミクスをもたらす。
• すべての次数で正規形が存在することは、小規模な初期値をもつ解のほぼ全域的存在の証明を可能にする。
• 非線形項 g が滑らかで、かつ少なくとも3次以上のグローバルな次数をもつという仮定のもとで、この結果は成り立つ。
• 主要なダイナミカルな性質—有界性と可積分性—は、線形作用素 $-\Delta + x^2 + M$ の固有値の非共鳴性に依存する。