Geometry and ergodic theory of non-hyperbolic exponential maps
HTML articles powered by AMS MathViewer
- by Mariusz Urbański and Anna Zdunik PDF
- Trans. Amer. Math. Soc. 359 (2007), 3973-3997 Request permission
Abstract:
We deal with all the maps from the exponential family $\{\lambda e^z\}$ such that the orbit of zero escapes to infinity sufficiently fast. In particular all the parameters $\lambda \in (1/e,+\infty )$ are included. We introduce as our main technical devices the projection $F_{\lambda }$ of the map $f_{\lambda }$ to the infinite cylinder $Q=\mathbb {C}/2\pi i\mathbb {Z}$ and an appropriate conformal measure $m$. We prove that $J_r(F_\lambda )$, essentially the set of points in $Q$ returning infinitely often to a compact region of $Q$ disjoint from the orbit of $0\in Q$, has the Hausdorff dimension $h_\lambda \in (1,2)$, that the $h_\lambda$-dimensional Hausdorff measure of $J_r(F_\lambda )$ is positive and finite, and that the $h_\lambda$-dimensional packing measure is locally infinite at each point of $J_r(F_\lambda )$. We also prove the existence and uniqueness of a Borel probability $F_\lambda$-invariant ergodic measure equivalent to the conformal measure $m$. As a byproduct of the main course of our considerations, we reprove the result obtained independently by Lyubich and Rees that the $\omega$-limit set (under $f_\lambda$) of Lebesgue almost every point in $\mathbb {C}$, coincides with the orbit of zero under the map $f_\lambda$. Finally we show that the the function $\lambda \mapsto h_\lambda$, $\lambda \in (1/e,+\infty )$, is continuous.References
- 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, DOI 10.1002/9780470316962
- 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
- M. Denker and M. Urbański, Geometric measures for parabolic rational maps, Ergodic Theory Dynam. Systems 12 (1992), no. 1, 53–66. MR 1162398, DOI 10.1017/S014338570000657X
- 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
- Herbert Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York, Inc., New York, 1969. MR 0257325
- Miguel de Guzmán, Differentiation of integrals in $\textbf {R}^{n}$, Measure theory (Proc. Conf., Oberwolfach, 1975) Lecture Notes in Math., Vol. 541, Springer, Berlin, 1976, pp. 181–185. MR 0476978
- W. K. Hayman, The maximum modulus and valency of functions meromorphic in the unit circle, Acta Math. 86 (1951), 89–191, 193–257. MR 45211, DOI 10.1007/BF02392667
- M. Yu. Lyubich, The measurable dynamics of the exponential, Sibirsk. Mat. Zh. 28 (1987), no. 5, 111–127 (Russian). MR 924986
- M. Martens, The existence of $\sigma$-finite invariant measures, Applications to real one-dimensional dynamics, Preprint.
- Curt McMullen, Area and Hausdorff dimension of Julia sets of entire functions, Trans. Amer. Math. Soc. 300 (1987), no. 1, 329–342. MR 871679, DOI 10.1090/S0002-9947-1987-0871679-3
- F. Przytycki, M. Urbański, Fractals in the Plane - the Ergodic Theory Methods, available on the web:http://www.math.unt.edu/$^\sim$urbanski, to appear in Cambridge Univ. Press.
- Mary Rees, The exponential map is not recurrent, Math. Z. 191 (1986), no. 4, 593–598. MR 832817, DOI 10.1007/BF01162349
- 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, DOI 10.1090/S0002-9947-1985-0776398-8
- 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, DOI 10.1307/mmj/1060013195
- 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, DOI 10.1017/S0143385703000208
- Weiyuan Qiu, Hausdorff dimension of the $M$-set of $\lambda \exp (z)$, 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, DOI 10.1007/BF02582032
Additional Information
- Mariusz Urbański
- 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
- 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. - © Copyright 2007 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 359 (2007), 3973-3997
- MSC (2000): Primary 37F35; Secondary 37F10, 30D05
- DOI: https://doi.org/10.1090/S0002-9947-07-04151-7
- MathSciNet review: 2302520