[論文レビュー] A lecture on the classical KAM theorem

Jürgen Pöschel|arXiv (Cornell University)|Aug 16, 2009

Quantum chaos and dynamical systems参考文献 19被引用数 148

ひとこと要約

本稿は、ほぼ可積分ハミルトニアン系における準周期的運動の保存に焦点を当て、古典的KAM定理について包括的な講義を提供する。微小な摂動に対して不変トーラスが生存する条件を、ディオファントス的周波数条件とナッシュ＝モーザー反復法を用いて小分母を制御することで確立し、微小な摂動に対して正の測度を有する準周期的解の集合が生存することを証明する。

ABSTRACT

The purpose of this lecture is to describe the KAM theorem in its most basic form and to give a complete and detailed proof. This proof essentially follows the traditional lines laid out by the inventors of this theory, and the emphasis is more on the underlying ideas than on the sharpness of the arguments.

研究の動機と目的

• 動的システムおよび数理物理分野の研究者を対象に、古典的KAM定理の自己完結的で教育的な解説を提供すること。
• 微小な摂動下でも不変トーラスが生存することを保証する周波数のディオファントス的条件の役割を明確にすること。
• KAM文脈における小分母問題を克服するための主要な道具としてのナッシュ＝モーザー反復スキームを提示すること。
• 摂動の強さとディオファントス指数を用いて、準周期的解が生存するパrameter集合のサイズに関する定量的推定を導出すること。
• KAM結果の測度論的基礎を確立し、位相空間において生存するトーラスの集合が正の測度を有することを示すこと。

提案手法

• \varepsilon が小さいとして、$ H(p,q) = h(p) + \varepsilon f_*(p,q,\varepsilon) $ の形にほぼ可積分ハミルトニアンを形式化し、$ D \times \mathbb{T}^n $ 上の流れを解析する。
• 小分母を制御するため、すべての非ゼロ $ k \in \mathbb{Z}^n $ に対して $ |\langle k, \omega \rangle| \geq \alpha / |k|^\tau $ を満たすディオファントス的条件 $ \tau > n-1 $ を導入する。
• 重み付きソボレフノルムを用いて、ナッシュ＝モーザー枠組みにおける逆関数定理を適用し、$ [u] = 0 $ を満たす同調方程式 $ \partial_\omega u = v $ を解く。
• 各段階で摂動 $ P $ を小さくするため、シンプレクティック変換 $ \Phi $ の逐次的KAMステップを構成する。
• 正則性の損失を制御し収束を保証するため、重み付きノルム $ \| \cdot \|_{r,s,h} $ と $ r, \sigma, \eta, h $ を用いたスケーリングスキームを用いる。
• 収束を保証するための主要な推定式 $ \| P_+ \|_{\eta r, s-5\sigma, h/4} \lessdot \epsilon^2 / (\alpha r \sigma^\nu) + \text{誤差項} $（ここで $ \nu = \tau + 1 $）を確立する。

実験結果

リサーチクエスチョン

• RQ1 可積分ハミルトニアン系に対する微小な $ C^\infty $ 摂動下で、周波数ベクトル $ \omega $ にどのような条件下で不変トーラスが生存するか？
• RQ2 非解析的または非擬解析的非線形性を伴う状況下で、KAM反復における小分母問題をどのように克服できるか？
• RQ3 摂動後に準周期的運動を示す初期条件の集合の測度的サイズはいかほどか？
• RQ4 摂動の大きさ $ \varepsilon $ とディオファントス指数 $ \tau $、ディオファントス定数 $ \alpha $ の関係は、収束のためにどのように関係するか？
• RQ5 KAM反復における正則性の損失の定量的制御はどのように行われるか？重み付きノルムとスケーリングによりどのように管理されるか？

主な発見

• \tau > n-1 のとき、ディオファントス的周波数の集合 $ \Delta_\alpha^\tau $ は正の測度を有し、これにより正の測度を有する初期条件が準周期的運動を示すことが保証される。
• \epsilon \ll \alpha^2 のとき、KAM反復は収束し、摂動がディオファントス定数 $ \alpha $ よりも十分に小さいことが保証される。
• \omega \in \Omega で \omega \in \Delta_\alpha^\tau を満たす周波数の集合の測度は $ m(\Omega \setminus \Omega_\alpha) = O(\alpha) $ を満たし、\alpha \to 0 のとき、生存するトーラスの集合はフル測度を占める。
• N ステップ後の最終摂動 $ P_+ $ は、$ \| P_+ \|_{\eta r, s-5\sigma, h/4} \lessdot \epsilon^2 / (\alpha r \sigma^\nu) + \eta^2 \epsilon + K^n e^{-K\sigma} \epsilon $（$ \nu = \tau + 1 $）を満たし、収束が保証される。
• 変換 $ \Phi $ は $ \| \Phi - \mathrm{id} \| \lessdot \epsilon / (\alpha r \sigma^\nu) $ を満たし、座標変換の変化が小さく、正則性が保たれることを示す。
• 周波数シフト $ v(\omega) $ は $ \| v \| \lessdot \epsilon / r $ を満たし、新しい周波数 $ \omega_+ = \omega + v(\omega) $ はディオファントス的クラスに留まり、定数が改善されている。