[论文解读] 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) 中的每一点要么位于某条射线上，要么是至少一条射线的终点。
• 朱利亚集 J(f) 是动态射线及其对应终点的并集，形成类似于‘发丝’在临界点处分裂的结构。
• f 在 J(f) 上的拓扑动力学由一个从康托框模型出发的连续、满射映射所建模，保持射线与端点结构。
• 该结果适用于一大类函数：有限阶类B函数的有限复合，具有有限个逃逸临界值，且在 J(f) 上临界性有界。
• 分离条件 |w − z| ≥ ϵ max{|z|, |w|} 对任意不同的 w, z ∈ P(f) 确保奇点轨道不聚集，从而支持拓扑模型的构造。
• 由于强后临界分离性，f 在 I(f) 上任意点的原像个数由最大局部度与临界点数决定的常数有界。