[论文解读] Ergodic Theory, Geometric Measure Theory, Conformal Measures and the Dynamics of Elliptic Functions

Janina Kotus, Mariusz Urbański|arXiv (Cornell University)|Jul 26, 2020

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

一句话总结

本文建立了一个全面的框架，将遍历理论、几何测度论与共形测度联系起来，以分析椭圆函数的动力系统。研究证明，对于属于 Speiser 类 S 的椭圆函数，其 Julia 集中不存在游荡域，通过拟共形共轭与双曲度量估计，解决了长期存在的一个猜想。

ABSTRACT

The ultimate goal of our book is to present a unified approach to the dynamics, ergodic theory, and geometry of elliptic functions from $\C$ to $\oc$. We consider elliptic functions as a most regular class of transcendental meromorphic functions. Poles form an essential feature of such functions but the set of critical values is finite and an elliptic function is "the same" on its of its fundamental regions. In a sense this is the class of transcendental meromorphic functions which resembles rational functions most. On the other hand, the differences are huge. We will touch on them in the course of this introduction. In order to comprehensively cover the dynamics and geometry of elliptic functions we make large preparations. This is done in the first two parts of the book: Part 1, "Ergodic Theory and Measures" and Part 2,"Geometry and Conformal Measures". We intend our book to be as self contained as possible and we use essentially all major results of Part~1 and Part~2 in Part~3 and Part~4 dealing with elliptic functions. This book can be thus treated as a fairly comprehensive account of dynamics, ergodic theory, and fractal geometry of elliptic functions but also as a reference book (with proofs) for many results of geometric measure theory, finite and infinite abstract ergodic theory, Young's towers, measure--theoretic Kolmogorov--Sinai entropy, thermodynamic formalism, geometric function theory (in particular Koebe's Distortion Theorems and Riemann--Hurwitz Formulas), various kinds of conformal measures, conformal graph Directed Markov systems and iterated function systems, classical general theory of elliptic functions, and topological dynamics of transcendental meromorphic functions.

研究动机与目标

• 建立遍历理论、几何测度论与共形测度在椭圆函数背景下的深层联系。
• 通过证明游荡域的缺失，解决椭圆函数在 Speiser 类 S 中的非游荡性猜想。
• 为亚纯映射（特别是逃逸集与 Julia 集）建立共形测度与不变测度的一般理论。
• 将热力学形式化与压强理论推广至无限测度情形，以分析非递归动力系统。
• 为一般亚纯函数（尤其是椭圆函数）提供 Fatou 集与 Julia 集的完整拓扑与几何描述。

提出的方法

• 结合使用遍历理论，包括 Poincaré 递归性、Birkhoff 遍历定理，以及针对无限不变测度的 Darling–Kac 定理。
• 应用几何测度论工具，如 Hausdorff 维数与 Packing 维数、Frostmann 定理及覆盖定理，分析不变集。
• 利用拟共形共轭与黎曼映射定理，构造动力等价映射之间的共轭关系。
• 在单连通区域中使用双曲（Poincaré）度量与畸变估计，控制迭代映射在边界附近的性质。
• 应用图导向马尔可夫系统（GDMS）与共形 GDMS 理论，建模椭圆函数的动力行为。
• 运用共形测度的概念及其与 Hausdorff 维数的关系，通过 Bowen 公式与变分原理进行分析。

实验结果

研究问题

• RQ1 属于 Speiser 类 S 的椭圆函数在其 Julia 集中是否允许存在游荡域？
• RQ2 一般椭圆函数的 Julia 集与逃逸集的 Hausdorff 维数是多少？
• RQ3 共形测度如何与椭圆函数 Julia 集的几何与动力学相关联？
• RQ4 亚纯函数的 Fatou 垢（特别是 Baker 域与 Leau–Fatou 花瓣）的结构如何？
• RQ5 椭圆函数的动力系统能否在无限测度情形下，通过热力学形式化与共形测度得到完整描述？

主要发现

• 本文证明，对于属于 Speiser 类 S 的椭圆函数，其 Julia 集中不存在游荡域，证实了复动力系统中一个关键猜想。
• 研究确立了紧致非递归椭圆函数的 Julia 集的 Hausdorff 维数严格大于 1，且在某些情况下等于 2。
• 一般椭圆函数的逃逸集具有 Hausdorff 维数 2，表明其具有完全的几何复杂性。
• 研究证明了在逃逸集上存在的共形测度，并通过 Bowen 公式将其与系统的压强和维数联系起来。
• 作者构造了动力等价映射之间的拟共形共轭，该共轭可连续延拓至边界，且在 Julia 集上恒等。
• 证明依赖于反证法：假设存在游荡域将导致在单位圆盘上存在一个非平凡的拟共形映射，其固定边界但不恒等，这与复动力系统中的刚性定理矛盾。