[論文レビュー] KAM Theorem for Gevrey Hamiltonians

Georgi Popov|ArXiv.org|May 19, 2003

Quantum chaos and dynamical systems参考文献 7被引用数 5

ひとこと要約

本稿は、Gevrey滑らかさを満たすハミルトニアンに対してKAM定理を確立し、ディオファントス・カンター集合 Ωκ に含まれる周波数を持つGevrey微分可能族の不変トーラスの存在を証明する。非退化でGevrey可積分なハミルトニアンの摂動は、これらのトーラスの近傍でシンプレクティックなGevrey正規形を許容し、位相空間および周波数パラメータにおいて正則性を保ったまま準周期運動の有効的安定性を保証する。

ABSTRACT

We consider Gevrey perturbations $H$ of a completely integrable Gevrey Hamiltonian $H_0$. Given a Cantor set $Ω_κ$ defined by a Diophantine condition, we find a family of KAM invariant tori of $H$ with frequencies $ω\in Ω_κ$ which is Gevrey smooth in a Whitney sense. Moreover, we obtain a symplectic Gevrey normal form of the Hamiltonian in a neighborhood of the union $Λ$ of the invariant tori. This leads to effective stability of the quasiperiodic motion near $Λ$.

研究の動機と目的

• Kolmogorov-Arnold-Moser (KAM) 定理をGevrey滑らかさを満たすハミルトニアンの設定へ拡張すること。
• ディオファントス・カンター集合 Ωκ に周波数を含む不変トーラス族の存在を確立すること。
• 不変トーラスおよびそのパrametrization が、位相空間変数および周波数変数の両方においてGevrey滑らかであることを証明すること。
• 不変トーラスの合併集合の近傍におけるハミルトニアンのシンプレクティックGevrey正規形を導出すること。
• 正則性の制御を通じて、不変トーラスの周囲での準周期運動の有効的安定性を保証すること。

提案手法

• 正則性の記述に、角度変数および作用変数における導関数の正則性を記述するための非等方的Gevreyクラス Gρ₁,ρ₂L₁,L₂ を用いる。
• Gevrey正則性に適応されたNash-Moser型反復スキームを用い、多変数合成のFaa di Bruno型公式に基づく推移的推定を行う。
• 導関数の成長を制御するために、Cauchy推定および主要級技術を用いる。
• 重要なステップとして、関数合成のGevreyノルムの推定を行い、多項係数の境界および階乗の減衰を用いる。
• 周波数 ω ∈ Ωκ におけるWhitney型の滑らかさを導入し、正則性指数 ρ′ = ρ(τ + 1) + 1 を得る。
• 生成関数法を用いてシンプレクティック正規形を構成し、正確なシンプレクティック性および変換後の座標におけるGevrey正則性を保証する。

実験結果

リサーチクエスチョン

• RQ1 KAM定理は、位相空間および周波数パrameterの両方における正則性を保ったまま、Gevrey滑らかさを満たすハミルトニアンへ拡張可能か？
• RQ2 ハミルトニアンがGevrey滑らかであるとき、不変トーラスおよびそのパrametrization の最適なGevrey正則性クラスは何か？
• RQ3 周波数におけるディオファントス条件が、KAMトーラス族のGevrey正則性にどのように影響するか？
• RQ4 不変トーラスの合併集合の近傍で、Gevrey正則性を保ったままシンプレクティック正規形を構成可能か？
• RQ5 正則性は摂動の大きさおよびディオファントス指数 τ に対してどのように定量的に依存するか？

主な発見

• 任意の ω ∈ Ωκ に対して、不変トーラス Λω は、ハミルトニアン H と同じGevreyクラスに属するGevrey滑らかな埋め込みラグランジュ部分多様体である。
• パrametrization 写像 Φ = (U, V) は、(θ, ω) に関してGevrey滑らかで、正則性指数 ρ′ = ρ(τ + 1) + 1 を持ち、θ および ω に関して一様に成り立つ。
• Φ の導関数に関する推定式は、|∂αθ∂βω(U - θ)| + κ⁻¹|∂αθ∂βω(V - ∇g⁰(ω))| ≤ A C₁^|α| (C₂κ⁻¹)^|β| α!^ρ β!^ρ(τ+1)+1 L₁^N/2 √ε_H で与えられる。
• シンプレクティック正規形は、定数が L₁, κ, およびディオファントス指数 τ に依存する非等方的Gevreyクラス Gρ,ρ′ における生成関数を用いて達成される。
• 摂動の大きさは ε_H = κ⁻²‖H - H⁰‖_{L₁,L₂} ≤ ε L₁^{-N} で制御され、ε > 0 は κ, L₁, L₂ に依存しない。
• この結果は、正則性とシンプレクティック構造の制御のおかげで、不変トーラスの合併集合の周囲における準周期運動の有効的安定性を示唆する。