Random non-hyperbolic exponential maps

Abstract

We consider random iteration of exponential entire functions, i.e., of the form ℂ ∍ z ↦ f_λ(z) ≔ λe^z ∈ ℂ, λ ∈ ℂ {0}. Assuming that λ is in a bounded closed interval [A, B] ⊂ ℝ with A > 1/e, we deal with random iteration of the maps f_λ governed by an invertible measurable map θ: Ω → Ω preserving a probability ergodic measure m on Ω, where Ω is a measurable space. The link from Ω to exponential maps is then given by an arbitrary measurable function η: Ω ↦ [A, B]. We in fact work on the cylinder space Q ≔ ℂ/ ∼, where ∼ is the natural equivalence relation: z ∼ w if and only if w−z is an integral multiple of 2πi. We prove that then for every t > 1 there exists a unique random conformal measure v^(t) for the random conformal dynamical system on Q. We further prove that this measure is supported on the, appropriately defined, radial Julia set. Next, we show that there exists a unique random probability invariant measure μ^(t) absolutely continuous with respect to v^(t). In fact μ^(t) is equivalent with v^(t). Then we turn to geometry. We define an expected topological pressure ${\cal E}{\rm{P}}(t) \in \mathbb{R}$ and show that its only zero h coincides with the Hausdorff dimension of m-almost every fiber radial Julia set J_r (ω) ⊂ Q, ω ∈ Ω. We show that h ∈ (1, 2) and that the omega-limit set of Lebesgue almost every point in Q is contained in the real line ℝ. Finally, we entirely transfer our results to the original random dynamical system on ℂ. As our preliminary result, we show that all fiber Julia sets coincide with the entire complex plane ℂ.