Pesin theory for transcendental maps and applications

Basic Information

• Paper ID: 2410.19703
• Title: Pesin theory for transcendental maps and applications
• Author: Anna Jové (Universitat de Barcelona)
• Classification: math.DS (Dynamical Systems)
• Publication Date: October 13, 2025
• Paper Link: https://arxiv.org/abs/2410.19703

Abstract

This paper develops Pesin theory for boundary maps of certain Fatou components of transcendental functions. Under specific assumptions on singular values and Lyapunov exponents, the author proves that general inverse branches of such maps are well-defined and conformal. In particular, the paper provides an in-depth study of Lyapunov exponents with respect to harmonic measure, yielding results of independent value. As applications, the paper provides a detailed description of general inverse branches of inner functions and proves the density of periodic boundary points for a large class of Fatou components.

Research Background and Motivation

Core Problems

1. Extension from rational to transcendental maps: Classical Pesin theory was originally developed for C¹ diffeomorphisms on compact smooth Riemann manifolds and later extended to rational maps. This paper aims to further extend this theory to transcendental meromorphic functions.
2. Technical challenges: Three major difficulties arise in the transcendental case:
   • The phase space is no longer compact (Julia sets are non-compact)
   • Singular values may be uncountable (not merely critical values)
   • Existence of invariant ergodic probability measures on Julia sets is unknown
3. Research significance: Pesin theory provides important tools for understanding hyperbolic dynamics, enabling control of forward and backward contraction or expansion near almost every point, with important applications to periodic points, homoclinic points, and stable manifold theory.

Innovation Strategy

The author overcomes these difficulties by restricting to forward-invariant subsets (boundaries of Fatou components) and utilizing invariant ergodic measures provided in work by Doering and Mañé, successfully developing Pesin theory for the transcendental case under appropriate assumptions.

Core Contributions

1. Main theoretical results: Establishes Pesin theory for boundaries of attractive basins and parabolic basins/Baker domains of transcendental meromorphic functions (Theorems A and B)
2. Lyapunov exponent theory: Provides in-depth study of Lyapunov exponents with respect to harmonic measure, giving integrability and non-negativity conditions
3. Inner function applications: Applies the theory to inner functions, proving existence and conformality of general inverse branches
4. Periodic point density: Proves density of periodic points on boundaries of a large class of Fatou components
5. Technical innovation: Uses Rokhlin natural extension to handle non-invertible measure-preserving transformations

Methodology Details

Core Assumptions

The main assumption of the paper is that singular values are "not too dense" on the boundary, formalized as: $\int_{\partial U} \log |x - SV|^{-1} d\omega_U(x) < \infty$

This condition is equivalent to: for any C > 0 and t ∈ (0,1): $\sum_{n≥0} \omega_U\left(\bigcup_{s∈SV} D(s, C \cdot t^n)\right) < \infty$

Main Theorems

Theorem A (Pesin Theory for Attractive Basins)

Let f : ℂ → Ĉ be a meromorphic function, U a simply connected attractive basin with fixed point p ∈ U. Let ω_U be the harmonic measure on ∂U with base point p. Assume:

• f has positive Lyapunov exponent
• ∫_{∂U} log |x - SV|^{-1} dω_U(x) < ∞

Then for each countable collection {A_k}_k ⊂ ∂U with ω_U(A_k) > 0, for ω_U-almost every x_0 ∈ ∂U, there exists a backward orbit {x_n}_n ⊂ ∂U and r > 0 such that:

1. x_ ∈ A_k for some sequence n_k → ∞
2. The inverse branch F_n maps x_0 to x_n, well-defined in D(x_0,r)
3. diam F_n(D(x_0,r)) → 0 as n → ∞

Theorem B (Parabolic Pesin Theory)

Provides analogous results for parabolic basins and Baker domains, but requires the additional assumption that singular values in ∂U^{+ε} are finite.

Technical Methods

1. Rokhlin Natural Extension

Uses Rokhlin natural extension to construct backward orbit space: $\tilde{X} = \{\{x_n\}_n ⊂ X : x_0 ∈ X, T(x_{n+1}) = x_n, n ≥ 0\}$

This enables handling of non-invertible maps by transforming the problem to the study of invertible endomorphisms.

2. Harmonic Measure Estimates

Provides precise estimates for harmonic measure on sector regions: $\omega_U(z_0, D(x,r)) ≤ C \cdot r^{1/(2α)}$

3. Conformal Metric Construction

Through precise distortion estimates and appropriate conformal metric construction, controls the contraction properties of inverse branches.

Experimental Setup

Theoretical Verification

The paper is primarily theoretical work, verifying results through rigorous mathematical proofs, including:

1. Constructive proofs: Constructs inverse branch sequences inductively
2. Measure-theoretic arguments: Applies Borel-Cantelli lemma and ergodic theorems
3. Complex analysis techniques: Applies Koebe distortion theorem and conformal mapping theory

Application Examples

1. Inner functions: Holomorphic self-maps g : D → D with g(0) = 0
2. Exponential family functions: Certain hyperbolic exponential function families
3. Polynomial case: As special cases of the transcendental situation

Experimental Results

Main Theoretical Results

1. Existence of Inverse Branches

For almost every backward orbit satisfying the conditions, there exists a uniform radius r > 0 such that all inverse branches are well-defined and conformal in D(x_0,r).

2. Integrability of Lyapunov Exponents

Proposition E: If U is asymptotically contained in a sector of angle α ∈ (0,1) with growth order β ∈ (0,1/(2α)), then log |f'| ∈ L¹(ω_U).

3. Non-negativity of Lyapunov Exponents

Proposition F: Under appropriate assumptions, χ_{ω_U}(f) = ∫_{∂U} log |f'| dω_U ≥ 0.

Application Results

Pesin Theory for Inner Functions

Corollary C: For inner function g : D → D, under log |g'| ∈ L¹(∂D) and singular value conditions, for λ-almost every ξ_0 ∈ ∂D there exists a backward orbit such that:

• Inverse branches G_n are well-defined in D(ξ_0,ρ_0)
• G_n(R_ρ(ξ_0)) ⊂ Δ_{α,ρ}(ξ_n) (radial segments map to Stolz angles)
• The singular value set E(g) has zero λ-measure

Density of Periodic Boundary Points

Corollary D: Under assumptions of Theorem A or B, if there exists a transverse neighborhood N_C such that N_C ∩ P(f) = ∅, then periodic points are dense on ∂U.

Related Work

Historical Development

1. Classical Pesin theory: Pioneering work by Yakov Pesin (1976-1977)
2. Extension to rational maps: Contributions by Ledrappier, Dobbs, and others
3. Transcendental dynamics: K-class function theory by Baker, Domínguez, Herring, and others
4. Inner function theory: Ergodic-theoretic results by Aaronson, Doering-Mañé

Relationship to Existing Work

• Technical innovation: First application of Rokhlin natural extension to transcendental dynamics
• Theoretical extension: Extends from the compact case of rational maps to the non-compact case of transcendental maps
• Method synthesis: Combines measure theory, ergodic theory, conformal analysis, and harmonic measure estimates

Conclusions and Discussion

Main Conclusions

1. Successfully extends Pesin theory to boundaries of Fatou components of transcendental meromorphic functions
2. Under appropriate assumptions, general inverse branches are well-defined and possess contraction properties
3. Establishes complete theory of Lyapunov exponents in the transcendental case
4. Proves density of periodic boundary points

Limitations

1. Assumption conditions: Requires the condition that singular values are "not too dense," limiting the scope of applications
2. Simply connected restriction: Main results limited to simply connected Fatou components
3. Growth conditions: Lyapunov exponent results require specific growth order conditions
4. Technical complexity: Proofs depend on multiple complex technical conditions

Future Directions

1. Multiply connected extension: Extension to multiply connected Fatou components
2. More general growth: Relaxing restrictions on growth order conditions
3. Specific applications: Applications within specific function families
4. Numerical verification: Numerical implementation and verification of theoretical results

In-Depth Evaluation

Strengths

1. Theoretical innovation: First successful extension of Pesin theory to transcendental maps, filling an important theoretical gap
2. Technical depth: Clever application of Rokhlin natural extension to handle non-invertibility, demonstrating sophisticated technical mastery
3. Complete results: Provides not only main theorems but also rich applications and related theory
4. Rigorous proofs: Complete and rigorous mathematical proofs with clear logic
5. Applied value: Important applications to inner function and periodic point theory

Weaknesses

1. Restrictive assumptions: Main assumptions are relatively strong, potentially limiting practical applicability
2. Technical threshold: Requires deep background in multiple fields, with high barriers to understanding
3. Computational implementation: Practical computation and verification of theoretical results may be difficult
4. Special cases: Some proofs depend on special geometric and analytic conditions

Impact

1. Academic value: Makes important contributions to transcendental dynamics theory, expected to inspire subsequent research
2. Theoretical significance: Connects classical dynamical systems theory with modern complex dynamics
3. Methodological contribution: Application of Rokhlin extension in complex dynamics has methodological value
4. Long-term impact: May lay foundation for understanding more complex transcendental dynamics phenomena

Applicable Scenarios

1. Theoretical research: Theoretical research in complex dynamics, ergodic theory, harmonic analysis, and related fields
2. Function family analysis: Study of dynamical properties of specific transcendental function families
3. Numerical dynamics: Provides theoretical guidance for numerical research
4. Related fields: May provide insights for fractal geometry, probability theory, and related fields

References

The paper contains rich references spanning from classical Pesin theory to modern transcendental dynamics, particularly:

• Pesin's original work Pes76, Pes77
• Related theory for rational maps Prz85, Prz93
• Foundations of transcendental dynamics BDH01, Bol97
• Inner function theory DM91, Aar78
• Harmonic measure theory GM05, Pom92

This paper represents important progress in transcendental dynamics theory. Through ingenious technical handling, it successfully overcomes the essential difficulties in extending from rational to transcendental cases, laying a solid foundation for further development in this field.