Geometry and ergodic theory of non-hyperbolic exponential maps

Authors:
Mariusz Urbanski and Anna Zdunik

Journal:
Trans. Amer. Math. Soc. **359** (2007), 3973-3997

MSC (2000):
Primary 37F35; Secondary 37F10, 30D05

Published electronically:
March 20, 2007

MathSciNet review:
2302520

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: We deal with all the maps from the exponential family such that the orbit of zero escapes to infinity sufficiently fast. In particular all the parameters are included. We introduce as our main technical devices the projection of the map to the infinite cylinder and an appropriate conformal measure . We prove that , essentially the set of points in returning infinitely often to a compact region of disjoint from the orbit of , has the Hausdorff dimension , that the -dimensional Hausdorff measure of is positive and finite, and that the -dimensional packing measure is locally infinite at each point of . We also prove the existence and uniqueness of a Borel probability -invariant ergodic measure equivalent to the conformal measure . As a byproduct of the main course of our considerations, we reprove the result obtained independently by Lyubich and Rees that the -limit set (under ) of Lebesgue almost every point in , coincides with the orbit of zero under the map . Finally we show that the the function , , is continuous.

**[Bi]**Patrick Billingsley,*Convergence of probability measures*, 2nd ed., Wiley Series in Probability and Statistics: Probability and Statistics, John Wiley & Sons, Inc., New York, 1999. A Wiley-Interscience Publication. MR**1700749****[DU1]**M. Denker and M. Urbański,*On Sullivan’s conformal measures for rational maps of the Riemann sphere*, Nonlinearity**4**(1991), no. 2, 365–384. MR**1107011****[DU2]**M. Denker and M. Urbański,*Geometric measures for parabolic rational maps*, Ergodic Theory Dynam. Systems**12**(1992), no. 1, 53–66. MR**1162398**, 10.1017/S014338570000657X**[EL]**A. È. Erëmenko and M. Yu. Lyubich,*Dynamical properties of some classes of entire functions*, Ann. Inst. Fourier (Grenoble)**42**(1992), no. 4, 989–1020 (English, with English and French summaries). MR**1196102****[Fe]**Herbert Federer,*Geometric measure theory*, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. MR**0257325****[Gu]**Miguel de Guzmán,*Differentiation of integrals in 𝑅ⁿ*, Measure theory (Proc. Conf., Oberwolfach, 1975) Springer, Berlin, 1976, pp. 181–185. Lecture Notes in Math., Vol. 541. MR**0476978****[Ha]**W. K. Hayman,*The maximum modulus and valency of functions meromorphic in the unit circle*, Acta Math.**86**(1951), 89–191, 193–257. MR**0045211****[Lyu]**M. Yu. Lyubich,*The measurable dynamics of the exponential*, Sibirsk. Mat. Zh.**28**(1987), no. 5, 111–127 (Russian). MR**924986****[Ma]**M. Martens, The existence of -finite invariant measures, Applications to real one-dimensional dynamics, Preprint.**[McM]**Curt McMullen,*Area and Hausdorff dimension of Julia sets of entire functions*, Trans. Amer. Math. Soc.**300**(1987), no. 1, 329–342. MR**871679**, 10.1090/S0002-9947-1987-0871679-3**[PU]**F. Przytycki, M. Urbanski, Fractals in the Plane - the Ergodic Theory Methods, available on the web:http://www.math.unt.edu/urbanski, to appear in Cambridge Univ. Press.**[Re]**Mary Rees,*The exponential map is not recurrent*, Math. Z.**191**(1986), no. 4, 593–598. MR**832817**, 10.1007/BF01162349**[TT]**S. James Taylor and Claude Tricot,*Packing measure, and its evaluation for a Brownian path*, Trans. Amer. Math. Soc.**288**(1985), no. 2, 679–699. MR**776398**, 10.1090/S0002-9947-1985-0776398-8**[UZ1]**Mariusz Urbański and Anna Zdunik,*The finer geometry and dynamics of the hyperbolic exponential family*, Michigan Math. J.**51**(2003), no. 2, 227–250. MR**1992945**, 10.1307/mmj/1060013195**[UZ2]**Mariusz Urbański and Anna Zdunik,*Real analyticity of Hausdorff dimension of finer Julia sets of exponential family*, Ergodic Theory Dynam. Systems**24**(2004), no. 1, 279–315. MR**2041272**, 10.1017/S0143385703000208**[We]**Weiyuan Qiu,*Hausdorff dimension of the 𝑀-set of 𝜆exp(𝑧)*, Acta Math. Sinica (N.S.)**10**(1994), no. 4, 362–368. A Chinese summary appears in Acta Math. Sinica 38 (1995), no. 5, 719. MR**1416147**, 10.1007/BF02582032

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC (2000):
37F35,
37F10,
30D05

Retrieve articles in all journals with MSC (2000): 37F35, 37F10, 30D05

Additional Information

**Mariusz Urbanski**

Affiliation:
Department of Mathematics, University of North Texas, P.O. Box 311430, Denton, Texas 76203-1430

Email:
urbanski@unt.edu

**Anna Zdunik**

Affiliation:
Institute of Mathematics, Warsaw University, ul. Banacha 2, 02-097 Warszawa, Poland

Email:
A.Zdunik@mimuw.edu.pl

DOI:
http://dx.doi.org/10.1090/S0002-9947-07-04151-7

Received by editor(s):
September 18, 2003

Received by editor(s) in revised form:
August 3, 2005

Published electronically:
March 20, 2007

Additional Notes:
The research of the first author was supported in part by the NSF Grant DMS 0400481.

The research of the second author was supported in part by the Polish KBN Grant 2 PO3A 034 25. The research of both authors was supported in part by the NSF/PAN grant INT-0306004.

Article copyright:
© Copyright 2007
American Mathematical Society