[論文レビュー] Remarks on iterated cubic maps

John Milnor|ArXiv.org|May 12, 1990

Mathematical Dynamics and Fractals参考文献 30被引用数 124

ひとこと要約

本稿は、実数直線および複素数直線上の反復立方写像の力学的挙動を調査し、パラメータ空間の構造と、位相的同型類による実立方多項式の分類に焦点を当てる。不変量 A = a² および B = b² を用いたモジュライ空間を導入し、実写像は B ≠ 0 のとき sign(σ) = sign(B) で、B = 0 のとき σ = ±1 で分類され、これは半平面の直和に相当する。主たる貢献は、実立方写像を4つの力学的クラス ℛ₀ から ℛ₃ に分類することであり、ℛ₃ の写像はカントール集合型のジュリア集合と最大の位相的エントロピー log(3) を示す。

ABSTRACT

This note will discuss the dynamics of iterated cubic maps from the real or complex line to itself, and will describe the geography of the parameter space for such maps. It is a rough survey with few precise statements or proofs, and depends strongly on work by Douady, Hubbard, Branner and Rees.

研究の動機と目的

• アフィン同型による立方多項式写像のパラメータ空間のグローバル構造を理解すること。
• 実立方写像を、その実数のフィラードジュリア集合の位相的性質および臨界軌道の挙動に基づいて力学的クラスに分類すること。
• 特に B = 0 の場合に、三階微分の符号（σ）が実ケースにおいて不変量として果たす役割を明確にすること。
• （A,B）-パラメータ平面における双曲的成分および境界構造の幾何的性質を記述すること。
• 実力学、複素力学、および立方写像のハバードツリーの構造との関連を確立すること。

提案手法

• 任意の立方多項式を、臨界点が ±a に位置する正規形 f(z) = z³ - 3a²z + b にアフィン同型で簡約する。
• 複素立方写像の同型類を分類するため、モジュライ空間座標 A = a² および B = b² を定義する。
• B = 0 の場合に実アフィン同型類を区別するため、実不変量 σ = sign(g′′′) を導入する。
• 写像 f の最小不変区間 I 上でのグラフの連結成分の数に基づき、実立方写像を ℛ₀ から ℛ₃ に分類する。
• 臨界点の反復および偏微分を用いた脱出時間の推定を含む、複素力学の技法を適用する。
• 数値アルゴリズムを用いてパラメータ平面の像を計算し、周期性検出および微分の爆発を用いて双曲的成分および境界を同定する。

実験結果

リサーチクエスチョン

• RQ1 複素立方写像のモジュライ空間はどのようにパラメータ化され、不変量 A と B はそれぞれ何を表すか？
• RQ2 B = 0 の場合に追加の実同型不変量として現れるものは何か？ そしてそれは実立方写像の分類にどのように影響するか？
• RQ3 力学的クラス ℛ₀ から ℛ₃ は、不変区間 I 上での f のグラフの成分数とどのように対応するか？
• RQ4 特にジュリア集合および位相的エントロピーの観点から、クラス ℛ₃ に属する写像の力学的性質は何か？
• RQ5 （A,B）-平面上の双曲的成分の境界は、周期軌道構造および臨界軌道の挙動の変化をどのように反映するか？

主な発見

• 複素立方写像のモジュライ空間は A = a² および B = b² でパラメータ化され、写像が同型であるための必要十分条件は (A,B) の一致である。
• 実立方写像において、B = 0 の場合に不変量 σ = sign(g′′′) が、同じ複素同型類であっても2つの実アフィン同型類を区別する。
• クラス ℛ₃（d = 3）に属する写像は、すべての臨界軌道が無限大へ脱出するが、その実数のフィラードジュリア集合 Kℝ は測度ゼロのカントール集合である。
• f|Kℝ は3文字の片側シフトと位相的同型であり、最大の位相的エントロピー log(3) を持つ。
• ℛ₃ に属する写像では、複素ジュリア集合が実数のカントール集合 Kℝ と一致し、すべての複素周期点が実数であり、Kℝ に属する。
• （A,B）-平面上の双曲的成分の境界は、A や B に関する反復の偏微分が大きいこと、または抛物型点付近での周期軌道への収束が遅いことによって検出される。