[論文レビュー] KAM for the non-linear Beam equation 2: A normal form theorem

L. H. Eliasson, Benoît Grébert+1 more|arXiv (Cornell University)|Feb 8, 2015

Quantum chaos and dynamical systems参考文献 10被引用数 6

ひとこと要約

本稿は、正則化非線形項を伴う多次元空間におけるハミルトニアンPDEに適した抽象的KAM定理を確立し、微小摂動下で非線形ビーム方程式に対する時間準周期的解の構成を可能にする。主な貢献は、収束する反復的手順により非共鳴項を除去するノーマルフォーム還元であり、典型的な周波数に対してゼロのリャプノフ指数を有する不変トーラスの存在を証明することにある。

ABSTRACT

We prove an abstract KAM theorem adapted to space-multidimensional hamiltonian PDEs with regularizing nonlinearities. It applies in particular to the singular perturbation problem studied in the first part of this work.

研究の動機と目的

• 空間多次元における正則化非線形項を伴うハミルトニアンPDEに適用可能な抽象的KAM定理の開発を目的とする。
• 非線形ビーム方程式に生じる特異摂動問題に対処するため、ノーマルフォーム還元を構築することを目的とする。
• ビーム方程式において、典型的な周波数に対して時間準周期的解がゼロのリャプノフ指数を有することを証明することを目的とする。
• 小分母と非共鳴周波数条件を伴う無限次元系へのKAM理論の拡張を目的とする。

提案手法

• ブロック対角構造とスペクトル漸近挙動を有する無限次元位相空間におけるハミルトニアンのためのノーマルフォーム定理を定式化する。
• ハミルトニアン展開における係数の成長を制御するため、重み付き列空間上の行列代数を導入する。
• ホモロジー方程式を用いて非共鳴項を反復的に除去し、小分母を避けるためにパラメータに依存する周波数ベクトルを用いる。
• 有限から無限への帰納的スキームを用い、パラメータの適切な選択によりKAM反復の収束を保証する。
• 横断性と測度推定を用いて、許容可能な周波数の集合がパラメータ空間で全測度を有することを示す。
• 抽象定理を非線形ビーム方程式に適用し、畳み込み型ポテンシャルまたは準周期的外力を持つ場合に、定数係数への還元を実現する。

実験結果

リサーチクエスチョン

• RQ1 正則化非線形項を伴う多次元空間におけるハミルトニアンPDEに対して、KAM型ノーマルフォーム定理を確立できるか？
• RQ2 非共鳴周波数を伴う無限次元ハミルトニアン系の文脈で、小分母をどのように制御できるか？
• RQ3 非線形ビーム方程式が時間準周期的解（ゼロのリャプノフ指数を有する）を有するための条件は何か？
• RQ4 そのような解の線形化された方程式は定数係数に還元可能か？
• RQ5 KAM結果が成り立つ周波数の集合の測度的サイズはどの程度か？

主な発見

• 抽象的KAM定理により、パラメータ空間における典型的な周波数集合に対して不変トーラスの存在が保証され、パラメータ領域で全測度を有する。
• 畳み込み型ポテンシャルまたは準周期的外力を持つ非線形ビーム方程式に対して、定理はεのオーダーの時間準周期的解を導く。
• これらの解の周りの線形化方程式は定数係数に還元可能であり、すべてのリャプノフ指数がゼロであることを示唆する。
• 小分母とパラメータに依存する推定の精密な制御により、KAM反復の収束が保証される。
• 滑らかさ項(−Δ)−αにおける任意のα > 0に対して結果が成り立ち、適切な条件下ではα = 0に対しても有効である。
• 横断性条件により、悪条件の周波数集合の測度が小さくなることが保証され、KAMスキームにおける測度論的議論が可能になる。