[Paper Review] Poincare Series and instability of exponential maps

Peter Makienko, Guillermo Sienra|ArXiv.org|Jun 8, 2005

Mathematical Dynamics and Fractals9 references3 citations

TL;DR

This paper establishes conditions under which exponential maps in the family $ f_\lambda(z) = \exp(\lambda z) $ are unstable by linking the convergence of the Poincaré series to the non-existence of invariant Beltrami differentials on the Julia set. It proves that if the singular value 0 is summable and the postsingular set satisfies topological conditions (e.g., compact or measure zero), then the map is unstable, implying no invariant line fields exist on the Julia set, supporting the Fatou conjecture.

ABSTRACT

We relate the properties of the postsingular set for the exponential family to the questions of stability. We calculate the action of the Ruelle operator for the exponential family. We prove that if the asymptotic value is a summable point and its orbit satisfies certain topological conditions, the map is unstable hence there are no Beltrami differentials in the Julia set. Also we show that if the postsingular set is a compact set, then the singular value is summable.

Motivation & Objective

• To investigate the stability of exponential maps $ f_\lambda(z) = \exp(\lambda z) $ using the Poincaré series and postsingular set structure.
• To determine when the absence of invariant Beltrami differentials on the Julia set implies structural instability.
• To establish sufficient conditions—based on summability and topological properties of the postsingular set—under which the map is unstable.
• To extend results from rational maps and transcendental maps with algebraic singularities to the exponential family with a single asymptotic singularity.

Proposed method

• Define the Poincaré series $ P_\lambda = 1 + \frac{1}{\lambda} \sum_{i=2}^{\infty} \frac{1}{(f_\lambda^{i-2})'(1)} $ and analyze its convergence behavior.
• Use the Ruelle operator to analyze the dynamics of the exponential family and relate it to stability.
• Introduce the concept of a 'summable' point $ a $, where $ \sum \frac{1}{(f_\lambda^i)'(a)} $ converges absolutely.
• Apply complex-analytic techniques involving dual meromorphic functions $ \psi $ and $ \varphi $ to study the existence of invariant Beltrami differentials.
• Use Proposition 4 from [8] to show that certain meromorphic functions with poles on the postsingular set do not vanish identically under topological conditions (e.g., zero Lebesgue measure, bounded components).
• Construct a conjugacy argument via Möbius transformations to reduce unbounded postsingular sets to bounded cases, preserving non-vanishing properties of the dual function.

Experimental results

Research questions

• RQ1 Under what conditions on the postsingular set is the exponential map $ f_\lambda $ structurally unstable?
• RQ2 How does the convergence of the Poincaré series relate to the non-existence of invariant Beltrami differentials on the Julia set?
• RQ3 What topological or measure-theoretic properties of the postsingular set imply instability when the singular value is summable?
• RQ4 Can the absence of invariant line fields on the Julia set be guaranteed when the postsingular set is compact or has zero Lebesgue measure?

Key findings

• If the singular value 0 is summable and the postsingular set $ X_\lambda $ has zero Lebesgue measure, then $ f_\lambda $ is unstable and no invariant Beltrami differential exists on $ J(f_\lambda) $.
• If $ X_\lambda $ is compact, then the singular value 0 is summable, establishing a direct link between topological finiteness and summability.
• When $ (f_\lambda^{n_i})'(1) \to \infty $ and $ \sup |S_{n_i}| > 0 $, then $ F(f_\lambda) = \emptyset $ and $ f_\lambda $ is unstable.
• If $ (f_\lambda^{n_i})'(1) \asymp c \neq 0 $ and $ \sup |S_{n_i}| = \infty $, then $ f_\lambda $ is unstable.
• The condition $ \lim_{n\to\infty} |(f_\lambda^n)'(1)| = 0 $ with bounded ratio $ \left| \frac{(f_\lambda^{n+1})'(1)}{(f_\lambda^n)'(1)} \right| $ implies $ F(f_\lambda) \neq \emptyset $, indicating potential stability.
• There does not exist an exponential map for which $ \lim_{n\to\infty} |(f_\lambda^n)'(1)| = C > 0 $, ruling out a specific stable behavior.