[論文レビュー] KAM for the nonlinear beam equation 1: small-amplitude solutions

Håkan Eliasson, Benoît Grébert+1 more|arXiv (Cornell University)|Dec 8, 2014

Quantum chaos and dynamical systems参考文献 14被引用数 8

ひとこと要約

本稿は、d次元トーラス上での非線形ビーム方程式の小振幅解に対して、KAM（コルモゴロフ＝アルノルド＝モーザー）定理を確立し、質量パrameter m が一般の場合、線形化系の有限次元不変トーラスの多くが非線形摂動のもとでも存続することを示している。d ≥ 2 の場合、これらのトーラスの一部は線形不安定であり、原点付近に局所的不安定性を引き起こし、多次元ハミルトニアンPDEにおけるカオス的挙動と整合的である。

ABSTRACT

In this paper we prove a KAM result for the non linear beam equation on the d-dimensional torus $$u_{tt}+Δ^2 u+m u + g(x,u)=0\ ,\quad t\in { \mathbb{R}} , \; x\in {\mathbb T}^d, \qquad \qquad (*) $$ where $g(x,u)=4u^3+ O(u^4)$. Namely, we show that, for generic $m$, most of the small amplitude invariant finite dimensional tori of the linear equation $(*)_{g=0}$, written as the system $$ u_t=-v,\quad v_t=Δ^2 u+mu, $$, persist as invariant tori of the nonlinear equation $(*)$, re-written similarly. If $d\ge2$, then not all the persisted tori are linearly stable, and we construct explicit examples of partially hyperbolic invariant tori. The unstable invariant tori, situated in the vicinity of the origin, create around them some local instabilities, in agreement with the popular belief in nonlinear physics that small-amplitude solutions of space-multidimensonal hamiltonian PDEs behave in a chaotic way. The proof uses an abstract KAM theorem from another our publication.

研究の動機と目的

• 多次元ハミルトニアンPDEの小振幅解に対するKAM理論的枠組みを構築すること。特に非線形ビーム方程式に焦点を当てる。
• 線形ビーム方程式からの不変有限次元トーラスが非線形摂動のもとでも存続することを確立すること。
• 特に高次元空間（d ≥ 2）における、存続するトーラスの線形安定性を分析すること。
• 原点付近に存在する不安定なトーラスが局所的不安定性を引き起こす可能性があることを示し、物理的期待と整合すること。
• 抽象的KAM理論を立方非線形性を有する非線形ビーム方程式の文脈に拡張すること。

提案手法

• d次元トーラス上のフーリエモードを用いて、ビーム方程式を作用角変数におけるハミルトニアン系に再定式化する。
• 先行研究（参考文献[15]）における抽象的KAM定理を、ビーム方程式のハミルトニアン形式に適用する。
• 非可積分項を除去するための正準形手続きを採用し、小分母推定および非共鳴条件に依存する。
• 四次分散関係 λ_s = √(|s|⁴ + m) に起因する小分母を制御するため、許容可能で強く許容可能な周波数集合を用いる。
• スケーリングと変数変換を施して系を対角化し、特異なパrameter値を除去する。
• 格子点が球面上に分布する事象の数え上げなどの確率的および幾何的議論を用いて、許容可能集合および非退化条件の典型性を証明する。

実験結果

リサーチクエスチョン

• RQ1 線形ビーム方程式の小振幅不変トーラスは、非線形摂動のもとでも不変トーラスとして存続するか？
• RQ2 質量パrameter m がどの値をとるとき、存続するトーラスは線形安定性を保つのか？
• RQ3 d ≥ 2 の場合、存続するトーラスの線形安定性の性質は何か？
• RQ4 原点付近に存在する不安定なトーラスが、ダイナミクスにおける局所的不安定性を引き起こす可能性はあるか？
• RQ5 抽象的KAM理論は、立方非線形性を有する非線形ビーム方程式にどのように適合可能か？

主な発見

• 一般の m ∈ [1,2] に対して、線形ビーム方程式の多くは、非線形方程式においても不変トーラスとして存続する。
• d ≥ 2 かつ |𝒜| ≥ 2 の場合、存続するトーラスの一部は線形不安定であり、部分的双曲的構造を形成する。
• 原点付近に存在する不安定なトーラスは、多次元ハミルトニアンPDEにおけるカオス的ダイナミクスの期待と整合する局所的不安定性を生成する。
• 証明は、先行出版のKAM定理に依拠しており、非退化条件は格子点分布に関する確率的推定によって検証される。
• 非退化パrameter m の集合は全測度を占め、典型的な周波数集合 𝒜 に対して、存続性が成立する。
• 本手法は、類似の非線形性を有するクライン＝ゴルドン方程式にも適用可能であり、他のハミルトニアンPDEへの広範な適用可能性を示唆する。