[论文解读] Poincare Series and instability of exponential maps

Peter Makienko, Guillermo Sienra|ArXiv.org|Jun 8, 2005

Mathematical Dynamics and Fractals参考文献 9被引用 3

一句话总结

本文建立了在何种条件下，指数映射族 $ f_\lambda(z) = \exp(\lambda z) $ 的指数映射是不稳定的，通过将 Poincaré 级数的收敛性与 Julia 集上不存在不变 Beltrami 微分联系起来。证明了若奇点值 0 是可求和的，且后奇异集满足拓扑条件（例如紧致或零测度），则该映射是不稳定的，这意味着 Julia 集上不存在不变线场，从而支持 Fatou 猜想。

ABSTRACT

We relate the properties of the postsingular set for the exponential family to the questions of stability. We calculate the action of the Ruelle operator for the exponential family. We prove that if the asymptotic value is a summable point and its orbit satisfies certain topological conditions, the map is unstable hence there are no Beltrami differentials in the Julia set. Also we show that if the postsingular set is a compact set, then the singular value is summable.

研究动机与目标

• 通过 Poincaré 级数与后奇异集结构，研究指数映射 $ f_\lambda(z) = \exp(\lambda z) $ 的稳定性。
• 确定 Julia 集上不存在不变 Beltrami 微分时，何时意味着结构不稳定性。
• 建立充分条件——基于后奇异集的可求和性与拓扑性质——使得映射是不稳定的。
• 将有理函数与具有代数奇点的超越函数的结果，推广至具有单个渐近奇点的指数族。

提出的方法

• 定义 Poincaré 级数 $ P_\lambda = 1 + \frac{1}{\lambda} \sum_{i=2}^{\infty} \frac{1}{(f_\lambda^{i-2})'(1)} $，并分析其收敛行为。
• 使用 Ruelle 算子分析指数族的动力学，并将其与稳定性联系起来。
• 引入‘可求和点’ $ a $ 的概念，其中 $ \sum \frac{1}{(f_\lambda^i)'(a)} $ 绝对收敛。
• 应用复分析技术，涉及对偶亚纯函数 $ \psi $ 与 $ \varphi $，研究不变 Beltrami 微分的存在性。
• 应用文献 [8] 中的命题 4，证明在某些拓扑条件下（例如零勒贝格测度、有界分支），在后奇异集上有极点的某些亚纯函数不恒为零。
• 通过莫比乌斯变换构造共轭论证，将无界后奇异集化为有界情形，同时保持对偶函数的非零性质。

实验结果

研究问题

• RQ1 后奇异集在何种条件下，使得指数映射 $ f_\lambda $ 具有结构不稳定性？
• RQ2 Poincaré 级数的收敛性与 Julia 集上不存在不变 Beltrami 微分之间有何关系？
• RQ3 当奇点值可求和时，后奇异集的何种拓扑或测度性质可导致不稳定性？
• RQ4 当后奇异集为紧致或零勒贝格测度时，是否能保证 Julia 集上不存在不变线场？

主要发现

• 若奇点值 0 是可求和的，且后奇异集 $ X_\lambda $ 的勒贝格测度为零，则 $ f_\lambda $ 是不稳定的，且在 $ J(f_\lambda) $ 上不存在不变 Beltrami 微分。
• 若 $ X_\lambda $ 是紧致的，则奇点值 0 是可求和的，从而建立了拓扑有限性与可求和性之间的直接联系。
• 当 $ (f_\lambda^{n_i})'(1) \to \infty $ 且 $ \sup |S_{n_i}| > 0 $ 时，有 $ F(f_\lambda) = \emptyset $，且 $ f_\lambda $ 是不稳定的。
• 当 $ (f_\lambda^{n_i})'(1) \asymp c \neq 0 $ 且 $ \sup |S_{n_i}| = \infty $ 时，$ f_\lambda $ 是不稳定的。
• 若 $ \lim_{n\to\infty} |(f_\lambda^n)'(1)| = 0 $ 且比值 $ \left| \frac{(f_\lambda^{n+1})'(1)}{(f_\lambda^n)'(1)} \right| $ 有界，则 $ F(f_\lambda) \neq \emptyset $，表明可能存在稳定性。
• 不存在任何指数映射使得 $ \lim_{n\to\infty} |(f_\lambda^n)'(1)| = C > 0 $，从而排除了一种特定的稳定行为。