Extremal rate of convergence in discrete hyperbolic and parabolic dynamics

Basic Information

• Paper ID: 2510.12501
• Title: Extremal rate of convergence in discrete hyperbolic and parabolic dynamics
• Authors: Francisco J. Cruz-Zamorano, Konstantinos Zarvalis
• Classification: math.CV (Complex Variables), math.DS (Dynamical Systems)
• Publication Date: October 14, 2025 (arXiv preprint)
• Paper Link: https://arxiv.org/abs/2510.12501

Abstract

This paper investigates the dynamics of holomorphic self-maps of the upper half-plane, with particular focus on hyperbolic and parabolic self-maps whose orbits converge to the Denjoy-Wolff point at the slowest possible rate. The authors characterize self-maps with such extremal convergence rates using multiple tools, including Herglotz representation, conformal properties of the Koenigs function at the Denjoy-Wolff point, and hyperbolic distance.

Research Background and Motivation

Problem Context

1. Core Problem: Study the iterative behavior of non-elliptic holomorphic self-maps f on the upper half-plane H = {z ∈ ℂ : Im(z) > 0}, particularly the rate at which orbits {f^n(z)} converge to the Denjoy-Wolff point at ∞.
2. Theoretical Foundation: The Denjoy-Wolff theorem ensures that the iterative sequence of every non-elliptic self-map converges locally uniformly to a point on the boundary (the Denjoy-Wolff point).
3. Classification System: Non-elliptic self-maps are classified according to the angular derivative f'(∞):
   • Hyperbolic type: f'(∞) = α > 1
   • Parabolic type: f'(∞) = 1

Research Motivation

1. Rate Analysis: While universal lower bound estimates for orbit convergence are known, the characterization of when these bounds are achieved (i.e., the slowest possible convergence rate) remains incomplete.
2. Tool Unification: In existing research, parabolic maps with finite displacement have been connected to Herglotz representation and conformal properties of the Koenigs function. This paper aims to extend these tools to the hyperbolic case.
3. Theory Refinement: Provide a comprehensive characterization theorem for extremal convergence rates in complex dynamical systems.

Core Contributions

1. Extremal Rate Concept: Systematically define the concept of "extremal convergence rate" for hyperbolic and parabolic self-maps for the first time.
2. Multiple Characterization Theorem: Provide five equivalent characterizations for determining whether a self-map possesses the extremal rate:
   • Integral conditions on Herglotz representation
   • Conformal properties of the Koenigs function at infinity
   • Asymptotic behavior of the map near infinity
   • Asymptotic properties of hyperbolic distance
   • Norm estimates for composition operators
3. Theory Unification: Extend known results for parabolic maps with finite displacement to hyperbolic maps, establishing a unified theoretical framework.
4. Application Extension: Apply results to the unit disk setting and obtain new norm estimates for composition operators on Hardy and Bergman spaces.

Methodology Details

Task Definition

Input: Non-elliptic holomorphic self-map f on the upper half-plane H with Denjoy-Wolff point at ∞ Output: Determine whether f possesses the extremal convergence rate Goal: Provide multiple equivalent discrimination criteria

Core Concepts

1. Extremal Rate Definition

For hyperbolic maps (α = f'(∞) > 1):

f has extremal rate ⟺ lim[n→∞] |f^n(z)|/α^n ∈ (0,+∞) for all z ∈ H

For parabolic maps with positive hyperbolic step:

f has extremal rate ⟺ lim[n→∞] |f^n(z)|/n ∈ (0,+∞) for all z ∈ H

2. Herglotz Representation

Every holomorphic self-map f : H → H can be uniquely represented as:

f(z) = αz + β + ∫[ℝ] (1+tz)/(t-z) dμ(t)

where α ≥ 0, β ∈ ℝ, and μ is a positive finite measure on ℝ.

Main Theorems

Theorem A (Herglotz Representation Characterization)

A hyperbolic map f has extremal rate if and only if:

∫[ℝ] log(1 + |t|) dμ(t) < +∞

Theorem B (Conformal Property Characterization)

A hyperbolic map f has extremal rate if and only if its Koenigs function h is conformal at infinity.

Theorem C (Hyperbolic Distance Characterization)

A parabolic map with positive hyperbolic step f has extremal rate if and only if:

lim[n→∞] (d_H(i, f^n(z)) - log(n)) ∈ ℝ for all z ∈ H

Technical Innovations

1. Unified Framework: Incorporate the extremal rate problem for both hyperbolic and parabolic maps into a unified theoretical framework.
2. Multi-perspective Characterization: Provide equivalent characterizations from multiple angles including function theory, geometry, and measure theory.
3. Refined Analysis: Establish precise asymptotic estimates through technical lemmas such as Lemma 4.2 and 4.3.
4. Conformal Property Application: Innovatively apply the concept of boundary point conformality to convergence rate analysis in dynamical systems.

Experimental Setup

This is a pure theoretical research paper, with validity of theorems verified primarily through mathematical proofs rather than numerical experiments. The proof strategy includes:

Proof Techniques

1. Julia Lemma Application: Establish lower bound estimates for orbit convergence using the Julia lemma
2. Fubini's Theorem: Exchange order of integration in proofs of integral conditions in Herglotz representation
3. Asymptotic Analysis: Analyze limiting behavior through refined asymptotic expansions
4. Geometric Analysis: Utilize properties of hyperbolic geometry and Möbius transformations

Key Lemmas

• Lemma 4.2: Establishes two-sided estimates between |t-z|² and t²+Im(z)²
• Lemma 4.3: Provides precise estimates for the infinite series ∑n=0→∞ 1/(t²+A²α^(2n))
• Lemma 7.3: Connects boundary conformality to hyperbolic distance

Experimental Results

Main Theoretical Results

1. Complete Characterization of Hyperbolic Maps

Prove five equivalent conditions for hyperbolic maps to have extremal rate:

• Integral convergence conditions on Herglotz representation
• Conformal property of the Koenigs function
• Asymptotic behavior conditions for the map
• Asymptotic properties of hyperbolic distance
• Growth rate of composition operator norms

2. Equivalence for Parabolic Maps

Prove that extremal rate for parabolic maps with positive hyperbolic step is equivalent to finite displacement property.

3. Application Results

On Hardy spaces H^p and Bergman spaces A^p, obtain precise asymptotic behavior of composition operator norms:

For hyperbolic maps:

1/C₁ ≤ ||C_{g^n}||_{H^p}^p/α^n ≤ C₁

For parabolic maps:

1/C₁ ≤ ||C_{g^n}||_{H^p}^p/n² ≤ C₁

Theoretical Findings

1. Dichotomy Property: For hyperbolic maps, the limit limn→∞ |f^n(z)|/α^n is either finite for all z or infinite for all z.
2. Angular Convergence: When a map has extremal rate, the convergence angle of orbits can be precisely computed through the Koenigs function.
3. Measure Condition: The log-integrability of the measure in the Herglotz representation completely characterizes the extremal rate property.

Related Work

Historical Development

1. Valiron (1931): Established non-tangential convergence for hyperbolic maps and Koenigs function theory
2. Pommerenke (1979): Studied tangential convergence for parabolic maps and Koenigs functions
3. Recent Developments (2015-2025): Betsakos, Bracci, Contreras and others conducted in-depth research on convergence rates of continuous semigroups

Positioning of This Paper's Contribution

1. Discrete vs. Continuous: This paper focuses on discrete iteration, complementing continuous semigroup theory
2. Complete Characterization: Provides more comprehensive equivalent characterizations than existing literature
3. Methodological Innovation: First systematic application of conformal theory to extremal rate problems

Conclusions and Discussion

Main Conclusions

1. Unified Theory: Establish a unified theoretical framework for extremal convergence rates of hyperbolic and parabolic maps
2. Equivalent Characterizations: Provide five equivalent discrimination criteria from different perspectives
3. Application Value: Direct applications in function space theory and composition operator research

Limitations

1. Zero Hyperbolic Step: For parabolic maps with zero hyperbolic step, extremal rate cannot be defined due to lack of universal lower bound estimates
2. Technical Constraints: Some proof techniques are difficult to transfer directly from the continuous case to the discrete case
3. Computational Complexity: Determining whether a given map possesses extremal rate may be computationally complex in practice

Future Directions

1. Zero Hyperbolic Step Case: Authors plan to study extremal rates of continuous semigroups in subsequent work 19, which may provide insights for the discrete case
2. Numerical Methods: Develop effective numerical algorithms to determine extremal rate properties of specific maps
3. Higher-Dimensional Generalization: Extend the theory to holomorphic maps on higher-dimensional complex manifolds

In-Depth Evaluation

Strengths

1. Theoretical Depth: Provides in-depth theoretical analysis of the extremal convergence rate problem, establishing a complete mathematical framework
2. Methodological Innovation: Cleverly combines tools from complex analysis, dynamical systems, and geometric function theory
3. Result Completeness: Five equivalent characterizations reveal the essence of the problem from different angles, possessing strong theoretical value
4. Technical Rigor: Proofs are rigorous, with precise statements of lemmas and theorems

Weaknesses

1. Practical Limitations: As pure theoretical research, lacks concrete computational examples and numerical verification
2. Incomplete Coverage: Parabolic maps with zero hyperbolic step are not included in the theoretical framework
3. Readability: Extensive technical details may impact accessibility for non-specialist readers

Impact

1. Academic Value: Makes important contributions to complex dynamical systems theory, filling gaps in discrete extremal rate theory
2. Application Prospects: Has potential applications in function space theory, operator theory, and related fields
3. Theory Refinement: Complements existing continuous semigroup theory, perfecting the overall theoretical system

Applicable Scenarios

1. Theoretical Research: Suitable for in-depth research in complex analysis and dynamical systems theory
2. Operator Theory: Direct applications in studying composition operators on Hardy and Bergman spaces
3. Teaching Reference: Can serve as reference material for advanced courses in complex dynamical systems

References

The paper cites 31 important references, primarily including:

• Classical literature on Denjoy-Wolff theory
• Pioneering works by Valiron and Pommerenke on iteration theory
• Recent research on convergence rates and continuous semigroups
• Standard references on composition operator theory

Overall Assessment: This is a high-quality theoretical mathematics paper making important contributions to complex dynamical systems. Although purely theoretical, the established framework possesses significant academic value and potential application prospects. The paper demonstrates high technical level with original results, laying a solid theoretical foundation for subsequent research in this field.