2025-11-22T20:22:16.286277

Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains

Ferreira, van Strien

Structural stability of holomorphic functions has been the subject of much research in the last fifty years. Due to various technicalities, however, most of that work has focused on so-called finite-type functions (functions whose set of singular values has finite cardinality). Recent developments in the field go beyond this setting. In this paper we extend Eremenko and Lyubich's result on natural families of entire maps to the case where the set of singular values is not the entire complex plane, showing under this assumption that the set $M_f$ of entire functions quasiconformally equivalent to $f$ admits the structure of a complex manifold (of possibly infinite dimension). Moreover, we will consider functions with wandering domains -- another hot topic of research in complex dynamics. Given an entire function $f$ with a simply connected wandering domain $U$, we construct an analogue of the multiplier of a periodic orbit, called a distortion sequence, and show that, under some hypotheses, the distortion sequence moves analytically as $f$ moves within appropriate parameter families.

academic

Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains

基本信息

论文ID: 2307.00679v4
标题: Holomorphic motions, natural families of entire maps, and multiplier-like objects for wandering domains
作者: Gustavo R. Ferreira & Sebastian van Strien (Imperial College London)
分类: math.DS (动力系统), math.CV (复变函数)
发表时间: 2025年1月29日 (arXiv版本)
论文链接: https://arxiv.org/abs/2307.00679

摘要

全纯函数的结构稳定性在过去五十年中一直是研究的热点。然而，由于各种技术难题，大部分工作都集中在所谓的有限型函数(奇异值集合具有有限基数的函数)上。本文将Eremenko和Lyubich关于整函数自然族的结果推广到奇异值集合不是整个复平面的情况，证明在此假设下，与 $f$ 拟共形等价的整函数集合 $M_f$ 具有复流形结构(可能是无限维的)。此外，文章考虑了具有游荡域的函数——复动力学研究中的另一个热点话题。对于具有单连通游荡域 $U$ 的整函数 $f$ ，构造了周期轨道乘子的类比物——扭曲序列，并证明在某些假设下，当 $f$ 在适当的参数族中变化时，扭曲序列解析地移动。

研究背景与动机

问题背景

结构稳定性问题: 全纯动力学中的一个核心问题是理解全纯函数在参数族中的结构稳定性。传统研究主要集中在有限型函数(finite-type functions)上，即奇异值集合为有限集的函数。
游荡域问题: 在复动力学中，Fatou集的连通分量可以分为周期域和游荡域。周期域的内部动力学已被充分理解，但游荡域的研究仍然充满挑战，特别是缺乏类似于周期点乘子的有效工具。
技术局限: 现有的Eremenko-Lyubich理论仅适用于有限型函数，对于更一般的整函数族缺乏系统的理论框架。

研究动机

理论完备性: 将经典的自然族理论推广到更一般的整函数设定
实用性需求: 为游荡域的研究提供新的分析工具
技术突破: 利用Teichmüller理论和全纯运动的最新发展来处理无限维情况

核心贡献

推广了Eremenko-Lyubich定理: 将自然族的复流形结构推广到奇异值集合可能无限的情况，构造了通用自然族 $T_f$
引入了扭曲序列概念: 为具有单连通游荡域的整函数定义了扭曲序列，作为周期点乘子在游荡域设定下的类比
证明了扭曲映射的全纯性: 在适当条件下，扭曲序列在参数族中全纯地变化
构造了Herman型游荡域的显式参数化: 对于吸引Herman型游荡域，给出了具体的自然族构造，其中扭曲映射非常数

方法详解

任务定义

本文研究两个主要问题：

输入: 整函数 $f$ 及其奇异值集合 $S(f)$ 输出: 等价类 $M_f$ 的复流形结构约束: $\#S(f) \geq 2$ 且 $\mathbb{C} \setminus S(f) \neq \emptyset$
输入: 具有单连通游荡域 $U$ 的整函数 $f$ 和点 $p \in U$ 输出: 扭曲序列 $(\alpha_n(f,p))_{n \in \mathbb{N}}$ 约束: $f$ 属于全纯族且Julia集全纯运动

核心理论框架

1. 通用自然族的构造

定理A (通用自然族): 设 $f$ 为整函数， $F = S(f) \cup \{\infty\}$ ，则存在Banach解析流形 $T_f = T(F) \times (\mathbb{C}^* \times \mathbb{C})^2$ 和覆盖映射 $\Phi: T_f \to M_f$ 满足：

$\Phi$ 连续且 $(λ,z) \mapsto \Phi_λ(z)$ 解析
任何包含 $f$ 的自然族都可通过全纯映射提升到 $T_f$

2. 扭曲序列的定义

定义4.1: 设 $f$ 为具有单连通游荡域 $U$ 的整函数， $z_0 \in U$ ， $z_n = f^n(z_0)$ 。对 $n \geq 0$ ，设 $\psi_n: \mathbb{D} \to U_n$ 为Riemann映射且 $\psi_n(0) = z_n$ 。定义 $g_n: \mathbb{D} \to \mathbb{D}$ 为 $g_n(z) = \psi_n^{-1} \circ f \circ \psi_{n-1}(z)$ 则序列 $(\alpha_n(f,z_0))_{n \in \mathbb{N}}$ 定义为 $\alpha_n(f,z_0) := g_n'(0)$ 称为 $f$ 在 $z_0$ 处的扭曲序列。

3. 扭曲映射的全纯性

定理B: 设 $(f_λ)_{λ \in M}$ 为全纯族， $f = f_{λ_0}$ 具有单连通游荡域 $U$ ， $p \in U$ 。若 $J(f_λ)$ 全纯运动，则存在邻域 $Λ' \subset M$ 和全纯映射 $A: Λ' \times \overline{Λ'} \to \ell^∞$ 使得：

对每个 $λ \in Λ'$ ， $A(λ,λ)$ 是 $f_λ$ 在相应点处的扭曲序列
$A$ 关于参数全纯

技术创新点

Teichmüller空间的应用: 利用Mitra的通用全纯运动理论处理闭集 $F = S(f) \cup \{\infty\}$ 的全纯运动
无限维流形的处理: 通过分解 $T(F) \simeq T(\hat{\mathbb{C}} \setminus F) \times M(F)$ 来处理可能的无限维情况
拟共形手术技术: 在Herman型游荡域的构造中，使用参数化的拟共形插值来实现扭曲序列的非平凡变形

实验设置

理论验证框架

本文主要是理论性工作，验证通过以下方式进行：

构造性证明: 通过显式构造证明定理的存在性部分
反例分析: 通过具体例子验证理论的必要性
一致性检验: 验证新定义与经典理论在特殊情况下的一致性

关键引理验证

引理4.2: Riemann映射在全纯运动下的解析依赖性
引理5.2: 拟共形插值的解析性质
引理3.6: 等价变换的同伦性质

实验结果

主要理论结果

通用性: 定理A表明 $M_f$ 确实具有自然的复流形结构，且 $T_f$ 是"最大"的参数空间
维数刻画:
- 当 $f$ 有有限个奇异值时， $\dim T_f = \#S(f) + 2$
- 当 $f$ 有无限个奇异值时， $T_f$ 为无限维Banach流形
扭曲序列的分类意义:
- $\|\alpha\|_\infty < 1$ ⟺ 游荡域为收缩型
- $\alpha_n = 1$ 对足够大的 $n$ ⟺ 游荡域为渐近等距型