[論文レビュー] Asymptotic series for the splitting of separatrices near a Hamiltonian bifurcation

Vassili Gelfreich, Niklas Brännström|ArXiv.org|Jun 14, 2008

Quantum chaos and dynamical systems参考文献 20被引用数 6

ひとこと要約

本稿は、ハミルトニアンのサドル・センター分岐に近い一般の解析的面積保存写像族における、指数的になすびれの分裂の漸近的公式について、きめ細やかな証明を提供する。小パラメータ $δ = \varepsilon^{1/4}$ における正規形理論、複素数マッチング、および漸近展開の組み合わせを用いて、ホモクライン不変量の完全な漸近展開が得られ、分離子の横断的交差が確認され、パラメータに依存しない問題から得られるストークス定数の存在が確立される。

ABSTRACT

This is a proof of an asymptotic formula which describes exponentially small splitting of separatrices in a generic analytic family of area-preserving maps near a Hamiltonian saddle-centre bifurcation. As a particular case and in combination with an earlier work on a Stokes constant for the Hénon map (Gelfreich, Sauzin (2001)), it implies exponentially small transversality of separatrices in the area-preserving Hénon family when the multiplicator of the fixed point is close to one.

研究の動機と目的

• ハミルトニアンのサドル・センター分岐に近い一般の解析的面積保存写像族における、分離子の分裂の完全な漸近展開を確立すること。
• 指数的になすびれの現象がシステム構造に敏感であるのを解消し、パラメータに依存しない問題から得られるストークス定数を含む普遍的な公式を導出すること。
• 形式的補間および複素数マッチング技術を用いて、非可積分的で一般の族へのラズーティン法の適用範囲を拡張すること。
• すべての十分に小さい $\varepsilon > 0$ に対して、分離子が横断的に分裂することを証明し、このような系における現象の一般性を確認すること。

提案手法

• 著者たちは、分岐点付近での極限流れへの写像のスケーリングを標準的に行い、ハミルトニアン正規形の適用を可能にする。
• 小パラメータ $δ = \varepsilon^{1/4}$ における形式的べき級数を用いて、極限流れの形式的分離子を構成し、特異点付近で再展開して複素動的を捉える。
• 安定分離子と不安定分離子との間の複素数マッチング手順を適用し、複素平面への解析接続を用いて指数的になすびれの効果を捉える。
• 流れボックス構成を用いて分離子をパラメトリズ化し、グローヴァル型の推定により誤差項を制御する。
• 局所的な分離子の近似をフローに沿って伝播させるための拡張補題を用い、$δ$ に依存しない領域において一様な誤差境界を保証する。
• ホモクライン不変量の漸近展開を用いて分裂関数を分析し、別個のパラメータに依存しない問題から得られるストークス定数を含む公式が得られる。

実験結果

リサーチクエスチョン

• RQ1 一般の解析的面積保存写像族において、ハミルトニアン分岐に近い指数的になすびれの分裂の漸近的公式を、どのようにきめ細やかに導出できるか？
• RQ2 ストークス定数は、分裂の漸近展開において果たす役割は何か？ そして、元々のパラメータに依存しない力学とどのように関係しているか？
• RQ3 メルニコフ法は、非可積分系における指数的になすびれの分裂を捉えるために、どの程度一般化可能か？
• RQ4 正規形理論を用いて構成された形式的分離子は、写像の真の分離子をどの程度近似できるか？ また、拡張された領域における誤差境界は何か？
• RQ5 一般の族において、すべての十分に小さい $\varepsilon > 0$ に対して分離子の横断的性が証明可能か？ そして分裂の大きさを決定するのは何か？

主な発見

• 本稿では、$δ = \varepsilon^{1/4}$ におけるべき級数としての分離子の分裂の完全な漸近展開が確立され、その係数は普遍的なストークス定数によって決定される。
• すべての十分に小さい $\varepsilon > 0$ に対して、分裂が指数的に小さくかつ横断的であることが示され、面積保存ヘノン写像族における一般の横断的性が確認される。
• ストークス定数はパラメータに依存しない問題から生じ、正確に同定され、ラズーティンの枠組みと整合的である。
• 極限流れの形式的分離子は、$δ$ に依存しない複素領域 $Τ_0$ にまで拡張され、真の写像の分離子の近似において一様に $O(\delta^n)$ の誤差を有する。
• この方法により、分裂関数が漸近展開を有し、その主要項が $C \cdot \varepsilon^{1/4} \exp(-K / \varepsilon^{1/4})$ の形をしていることが証明され、$C$ はストークス定数である。
• この結果により、指数的になすびれの分裂が可積分性の副産物ではなく、解析的系における非退化ハミルトニアン分岐の一般的特徴であることが確認される。