[论文解读] Geometric Thermodynamical Formalism and Real Analyticity for Meromorphic Functions of Finite Order

Volker Mayer, Mariusz Urbański|ArXiv.org|Jun 13, 2006

Mathematical Dynamics and Fractals参考文献 18被引用 7

一句话总结

本文通过引入一种针对导数增长进行调控的黎曼度量，为有限阶的双曲亚纯函数建立了几何热力学形式化体系，从而实现了共形测度与吉布斯测度的构造。关键结果表明，径向朱利亚集的豪斯多夫维数作为参数的函数是实解析的，将热力学形式化从周期系统推广至非周期的超越函数（如指数函数、椭圆函数及余弦根函数）。

ABSTRACT

Working with well chosen Riemannian metrics and employing Nevanlinna's theory, we make the thermodynamical formalism work for a wide class of hyperbolic meromorphic functions of finite order (including in particular exponential family, elliptic functions, cosine, tangent and the cosine--root family and also compositions of these functions with arbitrary polynomials). In particular, the existence of conformal (Gibbs) measures is established and then the existence of probability invariant measures equivalent to conformal measures is proven. As a geometric consequence of the developed thermodynamic formalism, a version of Bowen's formula expressing the Hausdorff dimension of the radial Julia set as the zero of the pressure function and, moreover, the real analyticity of this dimension, is proved.

研究动机与目标

• 将热力学形式化扩展至非周期的、有限阶的双曲亚纯函数。
• 克服先前方法对周期性或商空间约化所依赖的局限性。
• 通过几何度量方法，在复平面上直接构造共形测度与吉布斯态。
• 证明径向朱利亚集的豪斯多夫维数关于参数的实解析性。
• 在统一的形式化体系下，统一处理指数函数、椭圆函数及余弦根族等多样化的超越函数。

提出的方法

• 引入一种针对函数导数增长量身定制的黎曼共形度量 $ d\tau = (1 + |z|^{\alpha_2})^{-1} |dz| $。
• 利用内万林纳理论控制与势函数 $ -t \log |f'(z)|_\sigma $ 相关的庞特里亚金-弗罗贝尼乌斯-罗伊尔算子 $ \mathcal{L}_t $。
• 定义导数 $ |f'(z)|_\sigma = |f'(z)| \cdot \frac{\gamma \circ f(z)}{\gamma(z)} $，其中 $ \gamma(z) = (1 + |z|^{\alpha_2})^{-1} $，以确保动力系统的良好定义。
• 证明 $ \lambda |f'|_\sigma^t $-共形测度 $ m_t $ 及其关联的吉布斯态 $ \mu_t $ 的存在性与唯一性，二者均支撑于径向朱利亚集上。
• 建立 Radon-Nikodym 导数 $ \psi = d\mu_t / dm_t $ 在 $ J(f) $ 上的连续性与有界性。
• 在解析族中应用紧致性与一致性论证，推导出参数变化下维数的实解析性。

实验结果

研究问题

• RQ1 热力学形式化能否在不依赖商空间约化的情况下，被推广至非周期的、双曲的、有限阶的亚纯函数？
• RQ2 在超越函数族中，径向朱利亚集的豪斯多夫维数是否关于参数解析变化？
• RQ3 能否构造一种几何黎曼度量，使得庞特里亚金-弗罗贝尼乌斯算子表现良好且压强函数有定义？
• RQ4 对于此类函数，共形测度与吉布斯测度是否唯一存在且支撑于径向朱利亚集上？
• RQ5 对导数增长的何种条件可确保压强函数及其关联测度的收敛性与正则性？

主要发现

• 对每个 $ t > \rho / \alpha $，拓扑压强 $ \text{P}(t) $ 存在且与 $ w \in J(f) $ 无关，确保了压强函数的良好定义。
• 存在唯一的 $ \lambda |f'|_\sigma^t $-共形测度 $ m_t $，其中 $ \lambda = e^{\text{P}(t)} $，且存在唯一的与 $ m_t $ 等价的概率吉布斯态 $ \mu_t $，该测度既关于 $ f $ 不变又遍历。
• Radon-Nikodym 导数 $ \psi = d\mu_t / dm_t $ 在 $ J(f) $ 上连续且有界，证实了不变测度的强正则性。
• 径向朱利亚集 $ \mathcal{J}_r(f) $ 的豪斯多夫维数等于压强函数 $ \text{P}(t) $ 的唯一零点，实现了鲍文公式的版本。
• 在解析函数族中，若族满足一致平衡性（$ \alpha_2 \geq 1 $），则函数 $ \lambda \mapsto \text{HD}(\mathcal{J}_r(\lambda f)) $ 在 $ \lambda = 1 $ 附近为实解析。
• 当主导参数固定时，实解析性结果可推广至 $ \alpha_2 > 0 $ 的族，且导数条件可相应简化。