[論文レビュー] Splitting hairs with transcendental entire functions

Leticia Pardo‐Simón|arXiv (Cornell University)|May 9, 2019

Mathematical Dynamics and Fractals被引用数 1

ひとこと要約

この論文は、有限型の超越的整関数で、有界な臨界性と有限個の飛翔臨界値をもち、分離条件を満たすクラス B の関数に対して、すべての動的線がジュリア集合に到達すること、およびジュリア集合が動的線とその到達点からなることを確立する。主な貢献は、有界な後期的集合から一般化された、未有界な後期的集合を持つ場合のジュリア集合上での力学の位相的モデルの構築である。

ABSTRACT

In recent years, there has been significant progress in the understanding of the dynamics of transcendental entire functions with bounded postsingular set. In particular, for certain classes of such functions, a complete description of their topological dynamics in terms of a simpler model has been given inspired by methods from polynomial dynamics. In this paper, and for the first time, we give analogous results in cases when the postsingular set is unbounded. More specifically, we show that if $f$ is of finite order, has bounded criticality on its Julia set $J(f)$, and its singular set consists of finitely many critical values that escape to infinity and satisfy a certain separation condition, then $J(f)$ is a collection of dynamic rays or hairs, that split at critical points, together with their corresponding landing points. In fact, our result holds for a much larger class of functions with bounded singular set. Moreover, this result is a consequence of a significantly more general one: we provide a topological model for the action of $f$ on its Julia set.

研究の動機と目的

• 後期的集合が有界でない場合の動的線および位相的モデルの理論を、後期的集合が有界の場合から拡張すること。
• 飛翔する特異軌道をもつ有限型の超越的整関数のジュリア集合の構造を特徴づけること。
• 後期的集合が未有界であっても、動的線が到達する条件を確立すること。
• このような関数のジュリア集合上での作用の位相的モデルを構築すること。

提案手法

• クラインフェルシュの写像と動的線の枠組みを採用し、飛翔集合における線の尾部と最大の単射曲線を定義する。
• 後期的集合に対する分離条件を導入する：異なる w, z ∈ P(f) に対して |w − z| ≥ ϵ max{|z|, |w|} が成り立ち、無限遠点からの一様な分離を保証する。
• カントール・バレル型のジュリア集合をもつ、互いに分離型のモデル関数 g を用いた、同相的類似の構成により、g から f への力学の持ち上げを行う。
• g のジュリア集合から f のジュリア集合への連続的かつ全射的な写像 ϕ を構成し、線構造と到達性を保存する。
• 逐次コンパクト化と連続性の議論を用いて、f の力学における各標準的線が線とその到達点からなることを証明する。
• 強い後期的分離性と有界な臨界性を活用し、前像における有限重複度を保証し、線の分岐を制御する。

実験結果

リサーチクエスチョン

• RQ1 後期的集合が未有界である超越的整関数の動的線が、どのような条件下で到達するか？
• RQ2 後期的集合が未有界である場合、ジュリア集合上での力学の位相的モデルを構築できるか？
• RQ3 飛翔する臨界値の存在が、ジュリア集合の構造と線の力学にどのような影響を与えるか？
• RQ4 後期的集合に対する分離条件が、到達性を保証するために果たす役割は何か？
• RQ5 有界な後期的集合の結果が、未有界な場合にどの程度まで拡張可能か？

主な発見

• f のすべての動的線はジュリア集合に到達し、J(f) の任意の点は、ある線上に属するか、少なくとも1本の線の到達点である。
• ジュリア集合 J(f) は、動的線とそれに対応する到達点の和集合であり、臨界点で分岐する「髪」に類似した構造を形成する。
• f がジュリア集合上で示す位相的力学は、連続的かつ全射的な写像によってカントール・バレル型のモデルから得られ、線構造と端点構造を保存する。
• この結果は広範な関数のクラスに適用可能である：有限個の飛翔臨界値と J(f) 上での有界な臨界性をもつ、有限型クラス B 関数の有限合成。
• 異なる w, z ∈ P(f) に対して |w − z| ≥ ϵ max{|z|, |w|} が成り立つ分離条件により、特異軌道が集約せず、位相的モデルの構築が可能になる。
• 強い後期的分離性により、任意の点の f による前像の数は、最大局所次数と臨界点の数に依存する定数で有界である。