[论文解读] Asymptotically Affine and Asymptotically Conformal Circle Endomorphisms

Frederick P. Gardiner, Yunping Jiang|arXiv (Cornell University)|May 7, 2008

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

一句话总结

本文证明了任意度数 $ m > 1 $ 的一致渐近仿射（UAA）圆自同态均存在一个一致渐近共形（UAC）扩张，定义在单位圆的邻域内。通过使用Beurling-Ahlfors扩张与拟对称畸变估计，作者构造了一个拟共形扩张，其伸缩常数在迭代下一致收敛于1，从而证明在Teichmüller度量下，UAC系统构成一个完备度量空间。

ABSTRACT

We show that every uniformly asymptotically affine circle endomorphism has a uniformly asymptotically conformal extension.

研究动机与目标

• 建立任意度数 $ m > 1 $ 的一致渐近仿射（UAA）圆自同态存在一致渐近共形（UAC）扩张的证明。
• 证明在Teichmüller度量下，UAC圆自同态空间是完备的，从而将已知的UAA系统完备性结果加以推广。
• 证明Beurling-Ahlfors扩张在逆映射迭代下保持渐近共形性质，确保伸缩常数一致收敛于1。
• 提供一种将圆上UAA动力系统构造性地提升为单位圆穿孔邻域内UAC动力系统的方法。

提出的方法

• 将UAA圆自同态 $ f $ 提升为 $ \mathbb{R} $ 上的度数$ m $ 覆叠映射 $ F $，并归一化为 $ F(0) = 0 $ 且 $ F(x+1) = F(x)+m $。
• 利用定理3构造一个 $ \mathbb{R} $ 上的拟对称同胚 $ H $，使得 $ H \circ P \circ H^{-1} = F $，其中 $ P(x) = mx $。
• 对 $ H $ 应用Beurling-Ahlfors扩张，得到上半平面与下半平面的拟共形扩张 $ \tilde{H} $，保持对称性与周期性。
• 定义扩张映射 $ \tilde{F} = \tilde{H} \circ M \circ \tilde{H}^{-1} $，其中 $ M $ 是线性映射 $ z \mapsto mz $，确保 $ \tilde{F} $ 与平移 $ T(z) = z+1 $ 交换。
• 利用斜拟对称畸变估计与趋于零的函数 $ \epsilon(y) $ 控制Beltrami系数 $ \mu_{\tilde{F}^{-n}} $，确保 $ |\mu_{\tilde{F}^{-n}}(z)| \leq \epsilon(y) $ 与 $ n $ 无关。
• 利用Beurling-Ahlfors扩张的仿射自然性与 $ \tilde{H} $ 的周期性，确保 $ \tilde{F} $ 在黎曼曲面 $ \mathbb{C} \setminus \{0\} $ 上诱导出一个良定义的UAC映射 $ \tilde{f} $。

实验结果

研究问题

• RQ1 每个一致渐近仿射圆自同态是否都能在单位圆邻域内扩张为一致渐近共形映射？
• RQ2 Beurling-Ahlfors扩张在逆映射迭代下是否保持渐近共形性质？
• RQ3 在Teichmüller度量下，一致渐近共形圆自同态空间是否完备？
• RQ4 拟对称畸变的何种条件可确保扩张映射中伸缩常数一致收敛于1？

主要发现

• 每个度数 $ m > 1 $ 的一致渐近仿射（UAA）圆自同态均存在一个定义在单位圆穿孔邻域内的统一渐近共形（UAC）扩张。
• 该UAC扩张通过拟对称共轭映射 $ H $ 的Beurling-Ahlfors扩张构造，确保扩张映射 $ \tilde{F} $ 满足 $ \tilde{F} \circ T = T^m \circ \tilde{F} $。
• 映射 $ \tilde{F}^{-n} $ 的Beltrami系数满足 $ |\mu_{\tilde{F}^{-n}}(z)| \leq \epsilon(y) $，其中 $ \epsilon(y) $ 为与 $ n $ 无关的趋于零的函数，表明其具有渐近共形性。
• 所构造的UAC系统 $ \tilde{f} $ 在单位圆上限制为原始的UAA映射 $ f $，从而建立了动力系统的提升关系。
• 在Teichmüller度量下，UAC圆自同态空间是完备的，这是由于UAA Teichmüller空间的完备性与UAC扩张的存在性共同导致的结论。
• 证明依赖于对斜拟对称畸变函数 $ \rho_H(x,y,k) $ 的控制及其在迭代下的收敛性，从而导出迭代逆映射伸缩常数的统一有界性。