[論文レビュー] Cutting surfaces and applications to periodic points and chaotic-like dynamics

Marina Pireddu, Fabio Zanolin|ArXiv.org|Apr 18, 2007

Mathematical Dynamics and Fractals参考文献 29被引用数 11

ひとこと要約

本稿は、長方形に同相な集合上の連続写像における不動点および周期的軌道の検出のための位相的枠組みを導入し、力学系におけるカオス的ダイナミクスの結果を拡張する。ネストされた領域を横切るパスの条件を検証することにより、各部分領域に少なくとも1つの不動点が存在することを証明し、微分可能性や双曲的性の仮定なしに、2記号の記号的ダイナミクスを伴う位相的サッカー（horseshoe）ダイナミクスの存在を確立する。

ABSTRACT

In this paper we propose an elementary topological approach which unifies and extends various different results concerning fixed points and periodic points for maps defined on sets homeomorphic to rectangles embedded in euclidean spaces. We also investigate the associated discrete semidynamical systems in view of detecting the presence of chaotic-like dynamics.

研究の動機と目的

• 長方形に同相な集合上の写像における不動点および周期的軌道に関する結果を統一的かつ拡張的に、位相的アプローチを用いて提示すること。
• 滑らかさや双曲的性の仮定なしに、カオス的ダイナミクス（特に位相的サッカー）を検出すること。
• ネストされた領域におけるパス交差条件を通じて、不動点および周期的軌道の存在を保証する枠組みを提供すること。
• 離散力学系の文脈において、Poincaré–MirandaおよびLeray–Schauderの定理の既存結果を統合・拡張すること。
• ODEモデルにおける複雑なダイナミクスを、基本的な位相的議論を通じて計算的にアクセス可能な方法で検証すること。

提案手法

• 境界を左/右端および側面に分解することで、方向付きN次元長方形を定義する。
• 長方形の両端と交差するコンpakで連結な部分集合として「カット面」の概念を導入する。
• 写像のパスがターゲット領域を横切ることを保証するためのストレッチ条件 $\psi: \widetilde{\mathcal{A}} \underset{\,h}{\twoheadrightarrow} \widetilde{\mathcal{B}}$ を用いる。
• 定理5.1を適用し、ネストされた集合におけるパス交差の検証により、$\mathcal{D} \cap \mathcal{E}_i$ における不動点の存在を保証する。
• 定理5.3を用いて、全単射写像 $g$ を通じて2記号のベルヌーイシフトへの準同型写像を確立する。
• ネストされた包含関係により条件を検証する：$\widetilde{\mathcal{E}_i} \subseteq_h \widetilde{\mathcal{B}}$、$\widetilde{\mathcal{E}_i} \subseteq_v \widetilde{\mathcal{A}}$、および $({\mathcal{D}},\psi): \widetilde{\mathcal{A}} \underset{\,h}{\twoheadrightarrow} \widetilde{\mathcal{B}}$。

実験結果

リサーチクエスチョン

• RQ1 双曲的性や滑らかさの仮定なしに、長方形領域上の連続写像において不動点を保証できるか？
• RQ2 どのような位相的条件下で、写像が2記号の記号的ダイナミクスを介してカオス的ダイナミクスを誘発するか？
• RQ3 ネストされた領域を横切るパス交差行動をどのように形式化すれば、周期的軌道およびカオス的集合を検出できるか？
• RQ4 幾何的位相的枠組みを通じて、Poincaré–MirandaおよびLeray–Schauderの定理を統合・拡張できるか？
• RQ5 準同型写像における周期的シーケンスの逆像が周期的点を含むための条件は何か？

主な発見

• 2つの互いに交わらないコンパクト集合 $\mathcal{E}_0$ および $\mathcal{E}_1$ の各々に、少なくとも1つの不動点が存在する。これらはネストされた領域構造における $\mathcal{D}$ と $\mathcal{E}_i$ の交わりである。
• 写像 $\psi$ は、連続な全単射 $g$ を通じて2方向のベルヌーイシフトへの準同型写像を介して、$\mathcal{A}$ でカオス的ダイナミクス（2記号）を誘発する。
• 不動点の存在は、$\psi$ がホメオモールフィズムであるか $\psi(\mathcal{A}) = \mathcal{B}$ であるかを仮定せず、位相的パス交差条件のみで証明される。
• 本手法は、ユークリッド空間内の立方体に同相な集合に適用可能であり、境界や交差集合に正則性の仮定を必要としない。
• 本枠組みは、既存の位相的サッカーに関する結果を一般化し、ODEモデルにおける周期的点およびカオスの検出のための構成的手段を提供する。
• ドメインおよび写像の摂動に対してもロバストであることが示されており、滑らかでない、または不規則な境界を持つ設定にも適用可能である。