[論文レビュー] Rigorous numerical studies of the dynamics of polynomial skew products of C^2

Suzanne Lynch Hruska|arXiv (Cornell University)|Feb 2, 2005

Mathematical Dynamics and Fractals参考文献 15被引用数 4

ひとこと要約

この論文は、ℂ²における多項式スケュー積の力学的挙動を分析するためのきめ細やかなコンピュータアルゴリズムを、Hypatiaソフトウェアに実装した。主な目的は、鎖的再帰集合のモデル構築とAxiom A性質の検証である。区間演算と擬似軌道解析、および写像の拡張性の検証を組み合わせることで、Jonsson や Heinemann が示した既知の例を含む、特定のスケュー積写像に対して Axiom A を証明した。

ABSTRACT

For the class of polynomial skew products of C^2, we describe a rigorous computer algorithm which, for a given map F, will (1) build a model of the dynamics of F on its chain recurrent set, and (2) attempt to determine whether F is Axiom A. Further, we discuss how we used our implementation of this algorithm to establish Axiom A for several explicit cases.

研究の動機と目的

• ℂ²における多項式スケュー積の力学的挙動を解析するきめ細やかな計算フレームワークの構築。
• 区間演算と擬似軌道を用いて、鎖的再帰集合およびその力学的挙動のモデル化。
• アルゴリズムによる検証を通じて、Axiom A性質（非定常集合における双曲性および周期点の稠密性）の検証。
• 1次元複素力学における既存の手法を、より高次元のスケュー積設定に拡張すること。
• 多くのスケュー積がAxiom Aであるという予想を、計算的証拠によって支持すること。

提案手法

• 浮動小数点計算における誤差を厳密に制御するため、方向付き丸めを用いた区間演算を用いる。
• 擬似軌道の計算と区間拡張による再帰性の検証を通じて、鎖的再帰集合 𝒷 の近傍 𝒷 を構築する。
• 区間ベースの像の包摂を用いて、鎖的再帰集合上の力学的挙動をモデル化する有限グラフ Γ を構築する。
• 鎖的再帰集合上で一様に拡張するかどうかを検証するための数値的手法を適用し、写像が要因 L > 1 で拡張するような計量の存在を探索する。
• Hypatiaソフトウェアにアルゴリズムを実装し、1次元写像や多項式微分同相写像に関する先行研究の技術を統合する。
• ℂ² ≅ ℝ⁴ におけるベクトル値関数に対して成分ごとの区間演算を用い、ボックスの前向き像を包含保証付きで計算する。

実験結果

リサーチクエスチョン

• RQ1 きめ細やかなコンピュータ手法を用いて、ℂ²における多項式スケュー積のAxiom Aを検証できるか？
• RQ2 特定のクラスの多項式スケュー積に対して、鎖的再帰集合の構造はどのようなものか？
• RQ3 区間演算と擬似軌道解析は、高次元複素力学における双曲性の証明にどの程度有効に使えるか？
• RQ4 Axiom A である新しいスケュー積のクラスは存在するか？ そして、それらは計算的に検証可能か？
• RQ5 どのようにすれば、保証された数値的厳密性をもってスケュー積の力学的挙動をモデル化・解析できるか？

主な発見

• 著者らは、Hypatiaソフトウェアを用いて、Jonsson や Heinemann が示した例を含む、いくつかの明示的な多項式スケュー積に対して Axiom A を正当に証明した。
• アルゴリズムは、鎖的再帰集合上の力学的挙動をモデル化する有限グラフを構築し、きめ細やかな位相的表現を提供した。
• 方向付き丸めを用いた区間演算により、すべての数値計算が誤差を含まずに保証され、動的性質のきめ細やかな検証が可能になった。
• 鎖的再帰集合上で一様拡張性が検証され、写像が要因 L > 1 で拡張するような計量の存在が同定された。
• 鎖的再帰集合は鎖的再帰的成分に分解され、各成分における力学的挙動は擬似軌道を用いてモデル化された。
• 実装により、Axiom A がスケュー積に対して計算的に検証可能であることが示され、多くの同様の写像がAxiom Aであるという予想を支持する証拠が得られた。