[論文レビュー] A strong form of Arnold diffusion for two and a half degrees of freedom

V. A. Kaloshin, Ke Zhang|arXiv (Cornell University)|Dec 5, 2012

Mathematical Dynamics and Fractals被引用数 11

ひとこと要約

本稿は、2.5自由度のハミルトニアン系において、3次元の通常双曲的不変多様体のネットワークを通じて位相空間に密度のある軌道を構成することにより、強いアーノルド拡散の存在を確立する。幾何学的手法（ねじれた通常双曲的シリンダーと接触する通常双曲的シリンダー）と、弱KAM理論に裏打ちされたマーラー型の変分的アプローチを組み合わせることで、厳密に凸な $H_0$ を持つ可積分系に対する一般的な時間周期的摂動において、$ ho$-稠密な軌道の存在を証明し、ハミルトニアン力学における長年の予想を解決する。

ABSTRACT

In the present paper we prove a strong form of Arnold diffusion. Let $\mathbb{T}^2$ be the two torus and $B^2$ be the unit ball around the origin in $\mathbb{R}^2$. Fix $ρ>0$. Our main result says that for a "generic" time-periodic perturbation of an integrable system of two degrees of freedom \[ H_0(p)+εH_1(θ,p,t),\quad \ θ\in \mathbb{T}^2,\ p\in B^2,\ t\in \mathbb{T}, \] with a strictly convex $H_0$, there exists a $ρ$-dense orbit $(θ_ε,p_ε,t)(t)$ in $\mathbb{T}^2 imes B^2 imes \mathbb{T}$, namely, a $ρ$-neighborhood of the orbit contains $\mathbb{T}^2 imes B^2 imes \mathbb{T}$. Our proof is a combination of geometric and variational methods. The fundamental elements of the construction are usage of crumpled normally hyperbolic invariant cylinders from \cite{BKZ}, flower and simple normally hyperbolic invariant manifolds from as well as their kissing property at a strong double resonance. This allows us to build a "connected" net of $3$-dimensional normally hyperbolic invariant manifolds. To construct diffusing orbits along this net we employ a version of Mather variational method \cite{Ma2} proposed by Bernard in \cite{Be}. This version is equipped with weak KAM theory \cite{Fa}.

研究の動機と目的

• 2.5自由度のほぼ可積分系がアーノルド拡散を示すかどうかという、ハミルトニアン力学における根本的な問いを解消すること。
• 厳密に凸な $H_0$ を持つ可積分系に対する一般的な時間周期的摂動について、位相空間 $× B^2 × ℔$ における $ ho$-稠密な軌道を構成すること。
• 保存トーラスによって拡散が禁じられる古典的KAM理論とは異なり、ほぼ可積分系における不安定性メカニズムの理解を拡張すること。
• 特に、通常双曲的不変シリンダーとマーラーの変分的アプローチを弱KAM枠組みに統合し、拡散を実現すること。

提案手法

• 単一および二重共鳴近傍における正規形理論を用いたねじれた単純な通常双曲的不変シリンダーの構成。
• 強い二重共鳴における「接触性質（kissing property）」を活用し、異なる通常双曲的不変多様体を連結ネットワークに接続すること。
• ベーリエのバージョンに適合されたマーラー変分法を弱KAM理論と組み合わせ、ネットワークに沿った拡散軌道を構成すること。
• 二重共鳴近傍でスケーリングと座標変換を適用し、系をゆっくり動く力学系に還元することで、アブリ・マザー集合と障壁関数の解析を可能にすること。
• ペイエルズ障壁関数と静的クラスを用いて、コhomology類間の「強制関係」と「強制同値性」を定義・解析すること。
• ほぼ可積分系における粘性解の半可微分性とリプシッツ推定を活用し、変分的構成の正則性と安定性を保証すること。

実験結果

リサーチクエスチョン

• RQ1 厳密に凸な $H_0$ を持つ2自由度の可積分系に対する一般的な時間周期的摂動は、位相空間で $ ho$-稠密な軌道をもつのか？
• RQ2 幾何学的および変分的手法を用いて、位相空間の全近傍に稠密な軌道を持つ「強い形」のアーノルド拡散を確立できるか？
• RQ3 強い二重共鳴を越えて、接触メカニズムを介して通常双曲的不変シリンダーを接続し、拡散ネットワークを形成できるか？
• RQ4 弱KAM理論とマーラーの変分的枠組みは、強い二重共鳴を持つ系において、拡散軌道を構成するためにどの程度適応可能か？
• RQ5 コhomology類と強制同値性は、拡散過程における異なる共鳴構造間の遷移をどのように可能にするか？

主な発見

• 本稿は、厳密に凸な $H_0$ を持つ可積分系に対する一般的な時間周期的摂動について、$× B^2 × ℔$ における $ ho$-稠密な軌道の存在を確立する。
• この構成は、強い二重共鳴におけるねじれたおよび接触するシリンダーからなる3次元通常双曲的不変多様体のネットワークに依存する。
• 著者らは、ペイエルズ障壁と静的クラスによって定義される強制関係が、異なるコhomology類間の接続軌道の存在を許容することを証明する。
• 弱KAM理論とマーラーの枠組みに基づく変分法により、位相空間を完全に traverse する拡散軌道の存在が保証される。
• コhomology空間に、分岐型構造が存在し、制御された共鳴相互作用を通じて単純および非単純なホモロジー類の間の遷移が可能になる。
• 証明は一般的摂動に対して頑健であり、トーラス上の力学系の一般的性質（高エネルギーにおける一意な双曲的最小化子など）に依存する。