[论文解读] Examples of Feigenbaum Julia sets with small Hausdorff dimension

Artur Avila, Mikhail Lyubich|ArXiv.org|Jul 5, 2004

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

一句话总结

该论文构造了具有实参数 $c_p \to -2$ 的无限可重正则二次多项式 $F_c: z \mapsto z^2 + c$ 的例子，其若尔当集的豪斯多夫维数可任意接近 1。通过引入一种新颖的‘递归二次估计’来控制重正则化映射的庞加莱级数，作者证明了相关重正则化不动点的临界指数 $\delta_{\mathrm{cr}}$ 趋近于 1，从而表明若尔当集的维数趋近于 1。

ABSTRACT

We give examples of infinitely renormalizable quadratic polynomials $F_c: z\maps to z^2+c$ with stationary combinatorics whose Julia sets have Hausdorff dimension arbitrar y close to 1. The combinatorics of the renormalization involved is close to the Chebyshev one . The argument is based upon a new tool, a ``Recursive Quadratic Estimate'' for the Poincaré series of an infinitely re normalizable map.

研究动机与目标

• 解决关于费根鲍姆若尔当集的豪斯多夫维数是否严格小于 2 的开放问题。
• 证明此类若尔当集的豪斯多夫维数可任意接近 1，从而挑战其维数恒为 2 的猜想。
• 建立一种新的分析工具——‘递归二次估计’，用于控制无限可重正则映射的临界指数。
• 证明这些映射的若尔当集具有零面积，从而确认其尽管维数较小，仍具有纯分形结构。

提出的方法

• 为无限可重正则映射的庞加莱级数引入一种‘递归二次估计’，从而精确控制临界指数 $\delta_{\mathrm{cr}}$。
• 将该估计应用于具有接近切比雪夫映射组合结构的 $p$ 阶重正则化不动点，证明当 $p \to \infty$ 时 $\delta_{\mathrm{cr}}(f_p) \to 1$。
• 利用在零测度条件下豪斯多夫维数与临界指数的等价关系 $\operatorname{HD}(J(F_c)) = \delta_{\mathrm{cr}}(J(F_c))$，将临界指数与豪斯多夫维数联系起来。
• 运用拟共形共轭与混合等价性，将二次类映射的动力学与二次多项式联系起来。
• 应用勒贝格密度点定理与畸变估计，通过庞加莱级数的界和覆盖论证，证明若尔当集具有零面积。
• 在迭代重正则化层次上建立庞加莱级数的归纳界，利用费根鲍姆映射的自相似结构。

实验结果

研究问题

• RQ1 费根鲍姆若尔当集的豪斯多夫维数是否可能严格小于 2？
• RQ2 费根鲍姆若尔当集的豪斯多夫维数是否可能任意接近 1？
• RQ3 对于具有切比雪夫型组合结构的重正则化不动点，临界指数 $\delta_{\mathrm{cr}}$ 的行为如何？
• RQ4 这些若尔当集是否具有零面积，以及如何通过分析估计来证明这一点？
• RQ5 能否通过庞加莱级数的新递归估计，为重正则化若尔当集的维数提供更紧的界？

主要发现

• 存在一列实参数 $c_p \to -2$，使得当 $p \to \infty$ 时，若尔当集 $J(F_{c_p})$ 的豪斯多夫维数趋近于 1。
• 具有切比雪夫型组合结构的 $p$ 周期重正则化不动点的临界指数 $\delta_{\mathrm{cr}}(f_p)$ 满足当 $p \to \infty$ 时 $\delta_{\mathrm{cr}}(f_p) \to 1$。
• 对于充分大的 $p$，重正则化不动点 $f_p$ 的若尔当集具有零面积，从而确认其为纯分形结构。
• 递归二次估计为控制庞加莱级数乃至无限可重正则动力系统中临界指数提供了一种强大而新颖的工具。
• 利用 $\sup \Xi_2(V' \leftarrow U\setminus V' \to A') < 1/100$ 及类似估计，控制了庞加莱级数在重正则化层次上的增长。
• 零面积的证明依赖于反证法与勒贝格密度定理，表明若集合具有正测度，则庞加莱级数将增长过快，从而违反递归界。