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

正則運動、整関数の自然族、および遊走領域に対する乗数類似物

基本情報

論文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

要旨

正則関数の構造安定性は過去50年間、研究の中心的なテーマであった。しかし、様々な技術的困難のため、ほとんどの研究は有限型関数(特異値集合が有限基数を持つ関数)に集中していた。本論文は、Eremenko と Lyubich による整関数の自然族に関する結果を、特異値集合が複素平面全体でない場合に一般化し、この仮定の下で、 $f$ と準共形同値な整関数の集合 $M_f$ が複素多様体構造(無限次元の可能性あり)を持つことを証明する。さらに、本論文は遊走領域を持つ関数を考察する——複素力学研究における別の重要なテーマである。単連結遊走領域 $U$ を持つ整関数 $f$ に対して、周期軌道の乗数の類似物——ねじれ列を構成し、適切な仮定の下で、 $f$ が適切なパラメータ族で変化する際にねじれ列が解析的に動くことを証明する。

研究背景と動機

問題背景

構造安定性問題: 正則力学系における中心的な問題は、パラメータ族における正則関数の構造安定性を理解することである。従来の研究は主に有限型関数(特異値集合が有限集合である関数)に焦点を当てていた。
遊走領域問題: 複素力学系において、Fatou 集合の連結成分は周期領域と遊走領域に分類される。周期領域の内部力学は十分に理解されているが、遊走領域の研究は依然として課題に満ちており、特に周期点の乗数に類似した有効な道具が欠けている。
技術的制限: 既存の Eremenko-Lyubich 理論は有限型関数にのみ適用可能であり、より一般的な整関数族に対する体系的な理論枠組みが不足していた。

研究動機

理論の完全性: 古典的な自然族理論をより一般的な整関数設定に拡張すること
実用的必要性: 遊走領域の研究に新しい解析道具を提供すること
技術的突破: Teichmüller 理論と正則運動の最新展開を利用して無限次元の場合を扱うこと

核心的貢献

Eremenko-Lyubich 定理の一般化: 自然族の複素多様体構造を特異値集合が無限である場合に拡張し、通用自然族 $T_f$ を構成した
ねじれ列概念の導入: 単連結遊走領域を持つ整関数に対してねじれ列を定義し、周期点の乗数の遊走領域設定における類似物とした
ねじれ写像の正則性の証明: 適切な条件下で、ねじれ列がパラメータ族で正則に変化することを証明した
Herman 型遊走領域の明示的パラメータ化の構成: 吸引 Herman 型遊走領域に対して、ねじれ写像が非定数である具体的な自然族構成を与えた

方法の詳細

問題設定

本論文は2つの主要な問題を研究する:

入力: 整関数 $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$ ⟺ 遊走領域は収縮型
- 十分大きい $n$ に対して $\alpha_n = 1$ ⟺ 遊走領域は漸近等距型