[论文解读] A Straightening Theorem for non-Autonomous Iteration

Mark Comerford|arXiv (Cornell University)|Jun 22, 2011

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

一句话总结

该论文通过引入多项式类似映射序列并证明其与有界多项式序列的混合等价性，将经典的Douady-Hubbard直化定理推广至非自治多项式迭代。利用带标记区域的Carathéodory拓扑及双曲度量下的畸变估计，作者建立了保持拟共形膨胀界不变的直化定理，表明在度与系数一致有界的条件下，非自治系统可于特定拓扑与解析约束下共轭于多项式序列。

ABSTRACT

The classical straightening theorem as proved by Douady and Hubbard shows that a polynomial-like sequence is hybrid equivalent to a polynomial. We generalize this result to non-autonomous iteration where one considers composition sequences arising from a varying sequence of functions. In order to do this, new techniques are required to control the distortion and quasiconformal dilatation of the hybrid equivalence. In particular, the Caratheodory topology for pointed domains allows us to specify the appropriate bounds on the sequence of sets on which the polynomial-like mapping sequence is defined and give us good estimates on the degree of distortion and quasiconformality.

研究动机与目标

• 将经典多项式类似映射的直化定理推广至映射序列可变的非自治迭代。
• 解决在映射变化的非自治系统中控制拟共形膨胀与畸变的挑战。
• 在度与系数一致有界的条件下，建立多项式类似映射序列与有界多项式序列之间的混合等价性。
• 利用带标记区域的Carathéodory拓扑构建拓扑框架，以确保极限下区域的稳定性与收敛性。

提出的方法

• 引入多项式类似映射序列的概念，作为经典多项式类似映射在非自治迭代中的推广。
• 利用带标记区域的Carathéodory拓扑控制收敛性，并在极限中保持连通性与共形结构。
• 应用双曲度量畸变估计，特别是引理2.1，以控制p-重映射下双曲圆盘的收缩。
• 定义具有统一有界性的多项式序列，其度数（≤d）、首项系数模长（≥1/K且<K）及低次项系数（≤M）均受统一约束。
• 通过保持动力学性质的拟共形映射构造混合等价性，利用序列有界性控制畸变。
• 利用Hausdorff拓扑中的收敛定理及双曲动力系统结果，证明在一致极限下迭代Julia集的收敛性。

实验结果

研究问题

• RQ1 经典多项式类似映射的直化定理能否推广至映射可变的非自治迭代？
• RQ2 何种拓扑与解析条件可确保非自治多项式类似映射序列与多项式序列混合等价？
• RQ3 如何在映射可变的非自治系统中控制拟共形膨胀与畸变？
• RQ4 在Hausdorff拓扑下迭代Julia集的收敛是否意味着在混合等价下具有动力等价性？
• RQ5 是否存在Julia集不连通的非自治序列，其不与任何具有不连通Julia集的常数多项式共轭？

主要发现

• 具有度数统一有界于d且系数模长统一有界的多项式有界序列（|a_{d_m,m}| ≥ 1/K, |a_{k,m}| ≤ M）存在仅依赖于d、K、M的明确定义的逃逸半径R。
• 迭代Fatou集与Julia集在复合映射Q_{m,n}下完全不变，且填充Julia集K_m是无穷远点吸引域A_{∞,m}的补集。
• 在序列一致双曲的条件下，有界序列的迭代Julia集J_m在Hausdorff拓扑下收敛于极限序列的Julia集。
• 存在一个有界二次多项式序列，其所有临界点均逃逸且Julia集完全不连通，但其不与任何具有不连通Julia集的常数二次多项式混合等价。
• 此类情况下混合等价性失效的原因在于双等度连续性的破坏：在非自治系统中相距∼2^{-j}的点，在任一候选共轭映射下被映射为至少δ距离的点，当j→∞时此情况不可能成立。
• 采用带标记区域的Carathéodory拓扑可确保极限下区域保持连通性与共形结构，从而在直化过程中实现对拟共形膨胀的控制。