[論文レビュー] An analytic KAM-Theorem

Joachim Albrecht|arXiv (Cornell University)|May 2, 2007

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

ひとこと要約

本稿では、KAM理論の微分的側面に特化した新しい解析的KAM定理を提示する。この定理は、ディオファントス的周波数条件の下でハミルトニアン系における準周期的解の存在を確立する。線形化方程式を繰り返し解き、解析関数およびシンプレクティック変換に関する推定を用いて収束を示すことにより、小さな解析的摂動下でも不変トーラスの保存が保証される。

ABSTRACT

We prove an analytic KAM-Theorem, which is used in [1], where the differential part of KAM-theory is discussed. Related theorems on analytic KAM-theory exist in the literature (e. g., among many others, [7], [8], [13]). The aim of the theorem presented here is to provide exactly the estimates needed in [1].

研究の動機と目的

• 文献[1]で用いられるKAM理論の微分的定式化に特化した、精確な解析的KAM定理の確立を目的とする。
• 解析的ハミルトニアン系の文脈において、反復的KAMプロセスの収束に関する鋭い推定を提供することを目的とする。
• 可積分系の小さな解析的摂動下でも、準周期的解の保存を保証することを目的とする。
• 解析的ベクトル場によって生成されるシンプレクティック変換が、時間経過とともに系の構造を保存することを目的とする。
• KAM反復が収束するための、定性的な領域のサイズおよび摂動のサイズに関する定量的境界を導出することを目的とする。

提案手法

• ハミルトニアンを正規形 $ N = a + \langle \omega, y \rangle + \frac{1}{2}\langle y Q(x), y \rangle $ と剰余項 $ R $ の和として定式化し、$ R $ が解析的かつ小さいことを仮定する。
• 小分母を制御するため、周波数ベクトル $ \omega \in \Omega(\gamma, \tau) $ にディオファントス的条件を課す。
• 複素領域 $ \mathcal{D}(r,s) $ における解析関数の推定を用いて、ホモロジー方程式の線形化された方程式を解く。
• 時間に依存するハミルトニアンの流れによって生成される反復スキームを適用し、ベクトル場 $ F $ が $ y $ に関してアフィン線形であることを仮定する。
• 流れの推定、特に導関数 $ Z_\zeta $ の境界を用いて、変換列の収束を証明する。
• 得られた写像がシンプレクティックであり、角度変数 $ x $ における解析性および周期性を保存することを確立する。

実験結果

リサーチクエスチョン

• RQ1 可積分ハミルトニアン系の小さな解析的摂動下で、準周期的解がどのような条件下で保存されるか。
• RQ2 KAM反復スキームの収束を保証するための、領域のサイズおよび摂動のサイズに関する鋭い推定をどのように導出できるか。
• RQ3 解析的設定下で小分母問題を回避するための周波数ベクトル $ \omega $ に必要な十分条件は何か。
• RQ4 反復的プロセスによって生成されるシンプレクティック変換が、解析性および周期性を保証するにはどのようにすればよいか。
• RQ5 KAM反復が解析的カテゴリーで収束することを保証するための、ベクトル場 $ F $ に必要な定量的境界は何か。

主な発見

• 周波数ベクトル $ \omega $ が $ |\langle \omega, k \rangle| \geq \gamma / |k|^\tau $ を満たすディオファントス的条件を満たす限り、KAM反復プロセスは収束する。ただし $ \tau > n-1 $ である。
• 得られた変換は、元の領域 $ \mathcal{D}(\varrho, \sigma) $ を $ \mathcal{D}(\varrho - 2\delta, \sigma/2) $ に写像し、$ t < \sigma\delta / (2K) $ の範囲で収束が保証される。
• ベクトル場 $ F $ の流れによって生成される写像がシンプレクティック変換であることが証明され、系の正準構造が保存される。
• 写像 $ Z(t, \cdot) - \text{id} $ が $ \mathcal{P}_{2n}(\varrho - 2\delta, \sigma/2) $ に属することを示し、$ x $ における解析性および周期性が保証される。
• 導関数 $ |Z_\zeta(t, \zeta)| $ の推定は、$ \frac{2nK}{\delta\sigma} \exp\left(\frac{2nK}{\delta\sigma} t\right) $ で抑えられ、変換の成長が制御される。
• ベクトル場 $ F $ が $ y $ に関してアフィン線形である場合、最終的な変換が単純な正準変換であることが保証され、ハミルトニアンの構造が保存される。