[论文解读] Julia and John revisited

N Mihalache|Mar 27, 2008

Mathematical Dynamics and Fractals参考文献 10被引用 6

一句话总结

本文将经典 Carleson-Jones-Yoccoz 定理从多项式动力系统中的约翰域推广到有理映射，证明了半双曲有理映射的所有 Fatou 域均为约翰域——尽管逆命题不成立。此外，通过引入一种新的压缩条件（SumShrink），本文建立了广泛类别的非一致双曲有理映射的 Julia 集的局部连通性。

ABSTRACT

We show that Fatou components of a semi-hyperbolic rational map are John domains and that the converse does not hold. This generalizes a famous result of Carleson, Jones and Yoccoz. We show that a connected Julia set is locally connected for a large class of non-uniformly hyperbolic rational maps. This class is more general than semi-hyperbolicity and includes Collet-Eckmann and Topological Collet-Eckmann maps and maps verifying a summability condition (as considered by Graczyk and Smirnov).

研究动机与目标

• 将 Carleson-Jones-Yoccoz 定理从多项式推广至有理映射，证明半双曲性蕴含所有 Fatou 域的约翰正则性。
• 证明逆命题——约翰正则性蕴含半双曲性——在有理映射情形不成立。
• 为一大类非一致双曲有理映射（包括 Collet-Eckmann、拓扑 Collet-Eckmann 及满足可 summability 条件的映射）建立 Julia 集的局部连通性。
• 引入并分析“可 summability 的分量压缩”（Summable Shrinking of Components, SumShrink）条件，作为非一致双曲性的统一框架。
• 证明满足 SumShrink 条件的有理映射，若其 Julia 集连通，则其局部连通，从而将已知结果从半双曲情形推广。

提出的方法

• 将半双曲有理映射定义为：无抛物周期轨道，且所有临界点在 Julia 集中均非递归（即不在其 ω-极限集中）。
• 利用拟双曲度量刻画约翰域，借助约翰正则性与拟双曲测地线控制之间的等价性。
• 引入 SumShrink 条件：存在 r > 0 及可 summability 序列 (ωₙ)，使得 fⁿ 的 r-球的原像直径有界于 ωₙ。
• 证明 SumShrink 蕴含无抛物周期轨道、Cremer 点及旋转域，从而确保 Julia 集为整个黎曼球面或具有良好的拓扑结构。
• 应用拟双曲度量与路径长度估计以控制畸变，并证明 Julia 集中任意小连通集可被小连通集连接，从而推出局部连通性。
• 利用半双曲映射满足 ExpShrink（指数压缩）条件，而 ExpShrink 蕴含 SumShrink，从而推导出连通 Fatou 域具有更强的约翰正则性（统一 ε-约翰）特性。

实验结果

研究问题

• RQ1 在一般有理映射中，Fatou 域的约翰正则性与半双曲性之间的等价性是否如多项式情形一样成立？
• RQ2 能否在半双曲类之外，为有理映射建立 Julia 集的局部连通性？
• RQ3 SumShrink 条件在确保 Julia 集的几何与拓扑正则性方面起什么作用？
• RQ4 拟双曲度量如何帮助刻画多连通 Fatou 域中的约翰域？
• RQ5 如 Graczyk-Smirnov 所示的 summability 条件在多大程度上蕴含 Julia 集的拓扑正则性？

主要发现

• 半双曲有理映射的所有 Fatou 域均为约翰域，推广了多项式情形的结果。
• 逆命题不成立：存在具有约翰 Fatou 域但非半双曲的有理映射。
• 对于满足 SumShrink 条件的有理映射，若 Julia 集连通，则其局部连通。
• SumShrink 条件蕴含无抛物周期轨道、Cremer 点及旋转域，从而确保 Julia 集的拓扑简洁性。
• 半双曲有理映射满足 ExpShrink 条件，而 ExpShrink 蕴含 SumShrink，因此其连通 Julia 集是局部连通的。
• 证明利用了拟双曲几何与路径长度估计以控制畸变，并证明 Julia 集中任意小连通集可被小连通集连接，从而确立了局部连通性。