[論文レビュー] Topological method for symmetric periodic orbits for maps with a reversing symmetry

Daniel Wilczak, Piotr Zgliczyński|ArXiv.org|Jan 14, 2004

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

ひとこと要約

本稿では、被覆関係を用いた位相的技法を提示し、反転対称性を有する4次元可逆写像において、無限個の対称的周期的軌道の存在を厳密に証明する。区間演算を用いたコンピュータ支援証明と不安定・安定多様体の追跡を通じて、位相的横断性条件を確立し、任意の高周期の対称的周期的点の存在を保証する。

ABSTRACT

We present a topological method of obtaining the existence of infinite number of symmetric periodic orbits for systems with reversing symmetry. The method is based on covering relations. We apply the method to a four-dimensional reversible map.

研究の動機と目的

• 可逆力学系における無限個の対称的周期的軌道の存在を証明するための位相的技法の開発。
• 高周期の軌道を検出するために高次の写像反復を必要とする従来の手法の計算限界を克服すること。
• 区間演算に基づく厳密な数値技法を用いて、有限計算で横断性および被覆関係を検証すること。
• 特に4次元写像において、対称的周期的軌道が検出が困難である高次元可逆系に適用可能な枠組みを確立すること。

提案手法

• h-集合（不安定・安定方向を指定した座標系を有する立方体）を用いて水平・垂直ディスクを定義する。
• 被覆関係 $ N \stackrel{P}{\Longrightarrow} M $ を位相的に定義し、写像 $ P $ による1つのh-集合の像が、非自明に別のh-集合を横断することを保証する。
• チェーン $ N_0 \stackrel{P}{\Longrightarrow} N_1 \cdots \stackrel{P}{\Longrightarrow} N_k = M $ を用いて、初期のh-集合から最終のh-集合へ位相的横断性を伝播させる。
• 区間演算を用いて写像およびその微分の包含を計算することで、不安定多様体と固定点集合 $ \mathrm{Fix}(S) $ の横断性を検証する。
• 写像の像が不安定座標系では単位球の外側に、安定座標系では内側に留まることを保証するためのホモトピー論的議論に依拠する。
• 区間演算に基づくアルゴリズムを実装し、境界および壁条件をチェックすることで、ホモトピーが臨界集合 $ M_c^+ $ を避けることを保証し、被覆関係の妥当性を検証する。

実験結果

リサーチクエスチョン

• RQ1 区間演算を用いたコンピュータ支援証明を用いた位相的技法は、可逆写像における無限個の対称的周期的軌道の存在を確立できるか？
• RQ2 被覆関係をどのように用いて複数反復にわたる位相的横断性を伝播させ、高周期の対称的軌道を検出できるか？
• RQ3 非線形性および可逆性の存在下で、横断性条件の厳密な検証を保証する数値検証技法は何か？
• RQ4 計算複雑性のため従来の反復ベース手法が失敗する4次元可逆写像に、この手法を適用できるか？
• RQ5 固定点集合 $ \mathrm{Fix}(S) $ は、対称的周期的軌道の形成において果たす役割は何か？また、被覆チェーンを介してどのように位相的に結びつけることができるか？

主な発見

• 本手法は、有限回の計算で4次元可逆写像に対して無限個の対称的周期的軌道の存在を正当に証明した。
• 任意の長さの被覆関係チェーンに依拠することで、任意の高周期の対称的周期的点の存在が保証された。
• アルゴリズム1および2における区間演算の使用により、不安定・安定多様体の横断性条件の厳密な検証が保証された。
• 補題11および補題13の数値的検証には約 2.2 × 10⁸ 個のボックスが使用され、2.4 GHzプロセッサ上で約36分の計算時間が要された。
• 本手法は、反復的固定点探索を被覆関係による位相的伝播に置き換えることで、デヴァニの横断性に基づくアプローチを一般化した。
• 本枠組みは、1つの不安定方向および1つの安定方向を有する系に強く適応可能であり、ミンチョンソン系、制限3体問題、ハネン＝ハイレス系への既存の応用例でその有効性が示された。