[論文レビュー] Arnold diffusion for cusp-generic nearly integrable convex systems on ${\mathbb A}^3$

Jean-Pierre Marco|arXiv (Cornell University)|Feb 7, 2016

Mathematical Dynamics and Fractals参考文献 2被引用数 5

ひとこと要約

本稿は、3次元作用量空間 $\mathbb{A}^3$ 上のくびれ一般のほぼ可積分な凸ハミルトニアン系において、アーノルド拡散軌道の存在を確立する。正則性の高い $C^\kappa$ の摂動（$\kappa$ が十分大きい）に対して、一般に開かつ稠密な集合において、エネルギー面 $h^{-1}(\mathbf{e})$ 内の任意の開集合を接続できる軌道が存在することを、通常双曲的不変多様体とシンプレクティック保存の幾何的アプローチにより証明する。これにより、この設定におけるアーノルド拡散予想の重要な側面が裏付けられる。

ABSTRACT

We prove the existence of "Arnold diffusion orbits" in cusp-generic nearly integrable a priori stable systems on ${\mathbb A}^3$. The result relies on the cusp-generic existence of chains in nearly integrable a priori stable systems, proved in a previous paper, together with the existence of diffusion orbits along such chains. The latter result was obtained in collaboration with M. Gidea.

研究の動機と目的

• $C^\kappa$ ほぼ可積分ハミルトニアン系 $H(\theta,r) = h(r) + f(\theta,r)$ において、$\mathbb{A}^3$ 上でアーノルド拡散軌道の存在を確立すること。
• エネルギー面 $h^{-1}(\mathbf{e})$ 内の任意の開集合を接続できる軌道が存在することを示すことにより、アーノルド拡散予想の重要なケースを解決すること（$\mathbf{e} > \min h$）。
• 解析的または $C^\infty$ の設定を超えて、$\kappa \geq \kappa_0$ が十分大きい $C^\kappa$ システムへとアーノルド拡散の幾何的枠組みを拡張すること。
• 適切な閾値関数 $\boldsymbol{\varepsilon}_0$ で定義される位相において、一般で開かつ稠密な摂動集合に対して、このような拡散軌道が存在することを示すこと。

提案手法

• $h$ が厳密に凸かつ上昇する性質を持つ $C^\kappa$ ほぼ可積分ハミルトニアン $H(\theta,r) = h(r) + f(\theta,r)$ の枠組みを用いる。
• Banach空間 $C^\kappa_b(\mathbb{A}^3)$ 内の一般化された開球 $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ を定義するための閾値関数 $\boldsymbol{\varepsilon}_0: \mathcal{S}^\kappa \to \mathbb{R}^+$ を採用する。
• 小さな摂動下で不変多様体とその安定・不安定分岐を構成するために、シンプレクティック通常双曲的保存定理を適用する。
• 摂動系における遷移鎖と通常双曲的不変円筒の存在を保証するため、[Mar] および [GM] の結果に依拠する。
• 支配性および正則性条件を用いて、不変多様体とその分岐の $C^p$ 光滑性を保証する。
• シンプレクティックな直線化微分同相写像を用い、通常双曲的多様体の近傍で力学を標準形に還元し、開集合間を横断する軌道の追跡を可能にする。

実験結果

リサーチクエスチョン

• RQ1 一般の小さな摂動に対して、$C^\kappa$ ほぼ可積分凸系が $\mathbb{A}^3$ 上でアーノルド拡散を示すか。
• RQ2 エネルギー面 $h^{-1}(\mathbf{e})$ 内の任意の開集合を訪問できる軌道が構成可能か（$\mathbf{e} > \min h$）。
• RQ3 $\kappa$ が十分大きく有限である $C^\kappa$ の設定において、拡散軌道が存在する一般で開かつ稠密な摂動集合が存在するか。
• RQ4 解析的でない、または $C^\infty$ の正則性が欠如する状況においても、シンプレクティック構造と通常双曲的保存を用いて拡散を証明できるか。
• RQ5 $C^\kappa$ 位相における、このような拡散軌道を許容する摂動の集合の位相的サイズはいかなるものか。

主な発見

• 任意の $C^\kappa$ で厳密に凸かつ上昇する $h$ および $\mathbf{e} > \min h$ に対して、下半連続な閾値関数 $\boldsymbol{\varepsilon}_0$ が存在し、$\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ は $C^\kappa_b(\mathbb{A}^3)$ 内で開かつ稠密である。
• $\mathscr{B}^\kappa(\boldsymbol{\varepsilon}_0)$ の開稠密部分集合に属する $f$ に対して、摂動系 $H = h + f$ は、$h^{-1}(\mathbf{e})$ と交わる有限個の開集合 $O_i$ を含む ${\mathbb{T}}^3 \times O_i$ をすべて交差する軌道を有する。
• このような摂動 $f$ の集合はバーレーのカテゴリーの意味で一般である。つまり、残渣的集合において小さな $C^\kappa$ 摂動に対して拡散軌道が存在する。
• シンプレクティック通常双曲的保存を用いて拡散軌道の存在が確立され、指数的吸引・反発性を有する $C^1$ 不変多様体の存在が保証される。
• 不変多様体 $W^\pm(\mathrm{Ann}(\mathscr{V}))$ は特徴的葉に沿った $C^0$ 分岐を有し、$C^p$ 正則性のもとでは分岐は $C^{p-1}$ である。
• シンプレクティックな直線化微分同相写像 $\Psi$ が存在し、$\Psi$ は通常双曲的多様体とその安定・不安定多様体を $\mathbb{A}^\ell \times \mathbb{R}^2$ 内の標準的モデルへ写像し、シンプレクティック構造を保存する。