[論文レビュー] Fixed points in non-invariant plane continua

Alexander Blokh, Lex Oversteegen|arXiv (Cornell University)|May 8, 2008

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

ひとこと要約

本稿では、区間における中間値の定理に類似した境界条件を導入することで、非不変な平面コンパクト集合上の連続写像に対して不動点定理を確立する。特に正に向き付けられた写像や正則写像の下で、集合が不変でない場合でも、コンパクト集合内に不動点が存在することを示し、古典的な結果を複素力学系およびジュリア集合へと拡張する。

ABSTRACT

If $f:[a,b] o \mathbb{R}$, with $a<b></b>

研究の動機と目的

• 区間における古典的不動点定理を、複素平面上の非不変コンパクト集合へと拡張すること。
• 不変な状況から一般化された条件下で、非不変コンパクト集合上の連続写像が不動点を保証する条件を確立すること。
• これらの結果を正則写像、特に多項式に適用し、ジュリア集合における不動点および周期的挙動を分析すること。
• 特定の力学的条件下で、ジュリア集合内のインプレッションの退化を証明すること。
• 位相的および力学的制約の下で、コンパクト集合が単一の不動点でなければならない条件を同定すること。

提案手法

• 回転数を用いて次数と向きを定義することで、向きを保つホメオモルフィズムの一般化として「正に向き付けられた写像」を導入する。
• 境界条件を $ f(X) \setminus X $ の振る舞いおよびその出口コンパクト集合 $ E_i $ との交差を通じて定義し、境界の位相的かき混ぜられ具合を保証する。
• 位相的ハル $ T(K) $ と $ f(X) \setminus X $ の成分を用いて、不動点の存在を満たす補助的集合 $ Z_i $ を構成する。
• 定理 3.19 を適用し、$ f(X) \cap X \neq \emptyset $ かつ写像が境界を制御的にかき混ぜる場合、$ X $ 内に不動点が存在することを保証する。
• [FMOT07] の次数と回転数に関する結果を活用し、不動点における回転および排斥的挙動を分析する。
• 不動点におけるインデックス $ \mathrm{Ind}(g,p) = +1 $ を用いて位相的排斥的挙動を確認し、インプレッションの退化を証明する応用に用いる。

実験結果

リサーチクエスチョン

• RQ1 非不変な位相的条件下で、平面コンパクト集合上の連続写像が不動点を持つのはどのような場合か？
• RQ2 境界の振る舞いに関する制約を用いて、古典的区間不動点定理を非不変コンパクト集合へ一般化できるか？
• RQ3 多項式のジュリア集合内のコンパクト集合が単一の不動点であるための力学的条件は何か？
• RQ4 固定外部レイヤーのインプレッションがいつ退化するのか、そしてそれは不動点における回転の不在とどのように関係するか？
• RQ5 出口コンパクト集合に対する写像の振るまいに関する境界条件が、非不変コンパクト集合内での不動点の存在をどのように示唆するか？

主な発見

• 定理 3.19 は、写像 $ f $ がコンパクト集合 $ X $ の境界を特定の方法でかき混ぜており、かつ $ f(X) \cap X \neq \emptyset $ である場合、$ X $ 内に不動点が存在することを確立する。これは $ X $ が不変でない場合でも成り立つ。
• 正則写像（例：多項式）では、定理 3.19 の条件が満たされるため、パズルピeces やジュリア集合の部分集合を含む特定のコンパクト集合内に不動点が存在することが示される。
• 系 4.2 は、非退化なコンパクト集合 $ X $ に非排斥的または非放物型不動点がなく、不変な放物型領域が存在しない場合、$ X $ は単一の不動点でなければならないことを示している。
• 系 4.3 は、任意の非退化な不変コンパクト集合 $ X \subset J $ または一般のパズルピeces は、非排斥的／放物型不動点、不変な放物型領域、またはその上に固定でないレイヤーが到達する不動点を含む必要があると述べている。
• 系 4.4 は、固定外部レイヤーのインプレッション $ \mathrm{Imp}(\alpha) $ にのみ排斥的または放物型周期点が存在し、不動点で回転が発生しない場合、$ \mathrm{Imp}(\alpha) $ は退化している（すなわち、一点である）ことを証明している。
• 本稿は、正則写像において、$ X $ 内の不動点における回転の不在に加え、固定レイヤーの挙動が、$ X $ が一点であることを強制することを確認しており、インプレッションの退化に関する基準を提供している。