Measures and dimensions in conformal dynamics

Urbański, Mariusz

doi:10.1090/S0273-0979-03-00985-6

Measures and dimensions in conformal dynamics
HTML articles powered by AMS MathViewer

by Mariusz Urbański PDF

Bull. Amer. Math. Soc. 40 (2003), 281-321 Request permission

Abstract:

This survey collects basic results concerning fractal and ergodic properties of Julia sets of rational functions of the Riemann sphere. Frequently these results are compared with their counterparts in the theory of Kleinian groups, and this enlarges the famous Sullivan dictionary. The topics concerning Hausdorff and packing measures and dimensions are given most attention. Then, conformal measures are constructed and their relations with Hausdorff and packing measures are discussed throughout the entire article. Also invariant measures absolutely continuous with respect to conformal measures are touched on. While the survey begins with facts concerning all rational functions, much time is devoted toward presenting the well-developed theory of hyperbolic and parabolic maps, and in Section 3 the class NCP is dealt with. This class consists of such rational functions $f$ that all critical points of $f$ which are contained in the Julia set of $f$ are non-recurrent. The NCP class comprises in particular hyperbolic, parabolic and subhyperbolic maps. Our last section collects some recent results about other subclasses of rational functions, e.g. Collet-Eckmann maps and Fibonacci maps. At the end of this article two appendices are included which are only loosely related to Sections 1-4. They contain a short description of tame mappings and the theory of equilibrium states and Perron-Frobenius operators associated with Hölder continuous potentials.

References

Jon Aaronson, Manfred Denker, and Mariusz Urbański, Ergodic theory for Markov fibred systems and parabolic rational maps, Trans. Amer. Math. Soc. 337 (1993), no. 2, 495–548. MR 1107025, DOI 10.1090/S0002-9947-1993-1107025-2
Alan F. Beardon, Iteration of rational functions, Graduate Texts in Mathematics, vol. 132, Springer-Verlag, New York, 1991. Complex analytic dynamical systems. MR 1128089, DOI 10.1007/978-1-4612-4422-6
Christopher J. Bishop and Peter W. Jones, Hausdorff dimension and Kleinian groups, Acta Math. 179 (1997), no. 1, 1–39. MR 1484767, DOI 10.1007/BF02392718
Olivier Bodart and Michel Zinsmeister, Quelques résultats sur la dimension de Hausdorff des ensembles de Julia des polynômes quadratiques, Fund. Math. 151 (1996), no. 2, 121–137 (French, with English summary). MR 1418992
Rufus Bowen, Hausdorff dimension of quasicircles, Inst. Hautes Études Sci. Publ. Math. 50 (1979), 11–25. MR 556580, DOI 10.1007/BF02684767
Rufus Bowen, Equilibrium states and the ergodic theory of Anosov diffeomorphisms, Lecture Notes in Mathematics, Vol. 470, Springer-Verlag, Berlin-New York, 1975. MR 0442989, DOI 10.1007/BFb0081279
Rufus Bowen and Caroline Series, Markov maps associated with Fuchsian groups, Inst. Hautes Études Sci. Publ. Math. 50 (1979), 153–170. MR 556585, DOI 10.1007/BF02684772
M. Brin and A. Katok, On local entropy, Geometric dynamics (Rio de Janeiro, 1981) Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983, pp. 30–38. MR 730261, DOI 10.1007/BFb0061408
Lennart Carleson, On the support of harmonic measure for sets of Cantor type, Ann. Acad. Sci. Fenn. Ser. A I Math. 10 (1985), 113–123. MR 802473, DOI 10.5186/aasfm.1985.1014
Lennart Carleson and Theodore W. Gamelin, Complex dynamics, Universitext: Tracts in Mathematics, Springer-Verlag, New York, 1993. MR 1230383, DOI 10.1007/978-1-4612-4364-9
Lennart Carleson, Peter W. Jones, and Jean-Christophe Yoccoz, Julia and John, Bol. Soc. Brasil. Mat. (N.S.) 25 (1994), no. 1, 1–30. MR 1274760, DOI 10.1007/BF01232933
M. Denker, R. D. Mauldin, Z. Nitecki, and M. Urbański, Conformal measures for rational functions revisited, Fund. Math. 157 (1998), no. 2-3, 161–173. Dedicated to the memory of Wiesław Szlenk. MR 1636885, DOI 10.4064/fm_{1}998_{1}57_{2}-3_{1}_{1}61_{1}73
Manfred Denker, Feliks Przytycki, and Mariusz Urbański, On the transfer operator for rational functions on the Riemann sphere, Ergodic Theory Dynam. Systems 16 (1996), no. 2, 255–266. MR 1389624, DOI 10.1017/S0143385700008804
M. Denker and S. Rohde, On Hausdorff measures and SBR measures for parabolic rational maps, Internat. J. Bifur. Chaos Appl. Sci. Engrg. 9 (1999), no. 9, 1763–1769. Discrete dynamical systems. MR 1728735, DOI 10.1142/S0218127499001243
Manfred Denker and Mariusz Urbański, On the existence of conformal measures, Trans. Amer. Math. Soc. 328 (1991), no. 2, 563–587. MR 1014246, DOI 10.1090/S0002-9947-1991-1014246-4
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, DOI 10.1088/0951-7715/4/2/008
M. Denker and M. Urbański, Hausdorff and conformal measures on Julia sets with a rationally indifferent periodic point, J. London Math. Soc. (2) 43 (1991), no. 1, 107–118. MR 1099090, DOI 10.1112/jlms/s2-43.1.107
Manfred Denker and Mariusz Urbański, Absolutely continuous invariant measures for expansive rational maps with rationally indifferent periodic points, Forum Math. 3 (1991), no. 6, 561–579. MR 1129999, DOI 10.1515/form.1991.3.561
M. Denker and M. Urbański, The capacity of parabolic Julia sets, Math. Z. 211 (1992), no. 1, 73–86. MR 1179780, DOI 10.1007/BF02571418
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
M. Denker and M. Urbański, Hausdorff measures on Julia sets of subexpanding rational maps, Israel J. Math. 76 (1991), no. 1-2, 193–214. MR 1177340, DOI 10.1007/BF02782852
M. Denker and M. Urbański, Ergodic theory of equilibrium states for rational maps, Nonlinearity 4 (1991), no. 1, 103–134. MR 1092887, DOI 10.1088/0951-7715/4/1/008
Radu Bǎdescu, On a problem of Goursat, Gaz. Mat. 44 (1939), 571–577. MR 0000087
Adrien Douady and John H. Hubbard, A proof of Thurston’s topological characterization of rational functions, Acta Math. 171 (1993), no. 2, 263–297. MR 1251582, DOI 10.1007/BF02392534
Adrien Douady, Pierrette Sentenac, and Michel Zinsmeister, Implosion parabolique et dimension de Hausdorff, C. R. Acad. Sci. Paris Sér. I Math. 325 (1997), no. 7, 765–772 (French, with English and French summaries). MR 1483715, DOI 10.1016/S0764-4442(97)80057-2
Kenneth Falconer, Fractal geometry, John Wiley & Sons, Ltd., Chichester, 1990. Mathematical foundations and applications. MR 1102677
Ricardo Mañé, On the uniqueness of the maximizing measure for rational maps, Bol. Soc. Brasil. Mat. 14 (1983), no. 1, 27–43. MR 736567, DOI 10.1007/BF02584743
Lukas Geyer, Porosity of parabolic Julia sets, Complex Variables Theory Appl. 39 (1999), no. 3, 191–198. MR 1717570, DOI 10.1080/17476939908815191
M. I. Gordin, The central limit theorem for stationary processes, Dokl. Akad. Nauk SSSR 188 (1969), 739–741 (Russian). MR 0251785
Jacek Graczyk and Stas Smirnov, Collet, Eckmann and Hölder, Invent. Math. 133 (1998), no. 1, 69–96. MR 1626469, DOI 10.1007/s002220050239
P. Grzegorczyk, F. Przytycki, and W. Szlenk, On iterations of Misiurewicz’s rational maps on the Riemann sphere, Ann. Inst. H. Poincaré Phys. Théor. 53 (1990), no. 4, 431–444. Hyperbolic behaviour of dynamical systems (Paris, 1990). MR 1096102
Miguel de Guzmán, Differentiation of integrals in $R^{n}$, Lecture Notes in Mathematics, Vol. 481, Springer-Verlag, Berlin-New York, 1975. With appendices by Antonio Córdoba, and Robert Fefferman, and two by Roberto Moriyón. MR 0457661, DOI 10.1007/BFb0081986
Anatole Katok and Boris Hasselblatt, Introduction to the modern theory of dynamical systems, Encyclopedia of Mathematics and its Applications, vol. 54, Cambridge University Press, Cambridge, 1995. With a supplementary chapter by Katok and Leonardo Mendoza. MR 1326374, DOI 10.1017/CBO9780511809187
Guillaume Havard, Mesures invariantes pour les fractions rationnelles géométriquement finies, Fund. Math. 160 (1999), no. 1, 39–61 (French, with English summary). MR 1694402, DOI 10.4064/fm-160-1-39-61
Nicolai Haydn, Convergence of the transfer operator for rational maps, Ergodic Theory Dynam. Systems 19 (1999), no. 3, 657–669. MR 1695914, DOI 10.1017/S0143385799130190
Stefan-M. Heinemann and Bernd O. Stratmann, Hausdorff dimension 2 for Julia sets of quadratic polynomials, Math. Z. 237 (2001), no. 3, 571–583. MR 1845339, DOI 10.1007/PL00004881
Richard Hill and Sanju L. Velani, Metric Diophantine approximation in Julia sets of expanding rational maps, Inst. Hautes Études Sci. Publ. Math. 85 (1997), 193–216. MR 1471868, DOI 10.1007/BF02699537
P. W. Jones and Nikolai G. Makarov, Density properties of harmonic measure, Ann. of Math. (2) 142 (1995), no. 3, 427–455. MR 1356778, DOI 10.2307/2118551
Pekka Koskela and Steffen Rohde, Hausdorff dimension and mean porosity, Math. Ann. 309 (1997), no. 4, 593–609. MR 1483825, DOI 10.1007/s002080050129
M. Yu. Lyubich, Typical behavior of trajectories of the rational mapping of a sphere, Dokl. Akad. Nauk SSSR 268 (1983), no. 1, 29–32 (Russian). MR 687919
M. Ju. Ljubich, Entropy properties of rational endomorphisms of the Riemann sphere, Ergodic Theory Dynam. Systems 3 (1983), no. 3, 351–385. MR 741393, DOI 10.1017/S0143385700002030
Ricardo Mañé, The Hausdorff dimension of invariant probabilities of rational maps, Dynamical systems, Valparaiso 1986, Lecture Notes in Math., vol. 1331, Springer, Berlin, 1988, pp. 86–117. MR 961095, DOI 10.1007/BFb0083068
Ricardo Mañé, On a theorem of Fatou, Bol. Soc. Brasil. Mat. (N.S.) 24 (1993), no. 1, 1–11. MR 1224298, DOI 10.1007/BF01231694
Ricardo Mañé, On the uniqueness of the maximizing measure for rational maps, Bol. Soc. Brasil. Mat. 14 (1983), no. 1, 27–43. MR 736567, DOI 10.1007/BF02584743
Ricardo Mañé, On the Bernoulli property for rational maps, Ergodic Theory Dynam. Systems 5 (1985), no. 1, 71–88. MR 782789, DOI 10.1017/S0143385700002765
Heather McCluskey and Anthony Manning, Hausdorff dimension for horseshoes, Ergodic Theory Dynam. Systems 3 (1983), no. 2, 251–260. MR 742227, DOI 10.1017/S0143385700001966
Anthony Manning, The dimension of the maximal measure for a polynomial map, Ann. of Math. (2) 119 (1984), no. 2, 425–430. MR 740898, DOI 10.2307/2007044
Pertti Mattila, Geometry of sets and measures in Euclidean spaces, Cambridge Studies in Advanced Mathematics, vol. 44, Cambridge University Press, Cambridge, 1995. Fractals and rectifiability. MR 1333890, DOI 10.1017/CBO9780511623813
Curtis T. McMullen, Hausdorff dimension and conformal dynamics. II. Geometrically finite rational maps, Comment. Math. Helv. 75 (2000), no. 4, 535–593. MR 1789177, DOI 10.1007/s000140050140
Curtis T. McMullen, Self-similarity of Siegel disks and Hausdorff dimension of Julia sets, Acta Math. 180 (1998), no. 2, 247–292. MR 1638776, DOI 10.1007/BF02392901
Curtis T. McMullen, Hausdorff dimension and conformal dynamics. III. Computation of dimension, Amer. J. Math. 120 (1998), no. 4, 691–721. MR 1637951, DOI 10.1353/ajm.1998.0031
MichałMisiurewicz, Topological conditional entropy, Studia Math. 55 (1976), no. 2, 175–200. MR 415587, DOI 10.4064/sm-55-2-175-200
S. J. Patterson, The limit set of a Fuchsian group, Acta Math. 136 (1976), no. 3-4, 241–273. MR 450547, DOI 10.1007/BF02392046
S. J. Patterson, Lectures on measures on limit sets of Kleinian groups, Analytical and geometric aspects of hyperbolic space (Coventry/Durham, 1984) London Math. Soc. Lecture Note Ser., vol. 111, Cambridge Univ. Press, Cambridge, 1987, pp. 281–323. MR 903855
Yakov B. Pesin, Dimension theory in dynamical systems, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, IL, 1997. Contemporary views and applications. MR 1489237, DOI 10.7208/chicago/9780226662237.001.0001
Yakov Pesin and Howard Weiss, The multifractal analysis of Gibbs measures: motivation, mathematical foundation, and examples, Chaos 7 (1997), no. 1, 89–106. MR 1439809, DOI 10.1063/1.166242
Feliks Przytycki, Lyapunov characteristic exponents are nonnegative, Proc. Amer. Math. Soc. 119 (1993), no. 1, 309–317. MR 1186141, DOI 10.1090/S0002-9939-1993-1186141-9
Feliks Przytycki, Hausdorff dimension of harmonic measure on the boundary of an attractive basin for a holomorphic map, Invent. Math. 80 (1985), no. 1, 161–179. MR 784535, DOI 10.1007/BF01388554
Feliks Przytycki, Iterations of holomorphic Collet-Eckmann maps: conformal and invariant measures. Appendix: on non-renormalizable quadratic polynomials, Trans. Amer. Math. Soc. 350 (1998), no. 2, 717–742. MR 1407501, DOI 10.1090/S0002-9947-98-01890-X
Feliks Przytycki, On measure and Hausdorff dimension of Julia sets of holomorphic Collet-Eckmann maps, International Conference on Dynamical Systems (Montevideo, 1995) Pitman Res. Notes Math. Ser., vol. 362, Longman, Harlow, 1996, pp. 167–181. MR 1460803
Feliks Przytycki, On the Perron-Frobenius-Ruelle operator for rational maps on the Riemann sphere and for Hölder continuous functions, Bol. Soc. Brasil. Mat. (N.S.) 20 (1990), no. 2, 95–125. MR 1143178, DOI 10.1007/BF02585438
Feliks Przytycki and Steffen Rohde, Porosity of Collet-Eckmann Julia sets, Fund. Math. 155 (1998), no. 2, 189–199. MR 1606527
Feliks Przytycki and Mariusz Urbański, Rigidity of tame rational functions, Bull. Polish Acad. Sci. Math. 47 (1999), no. 2, 163–182. MR 1686679
F. Przytycki and M. Urbański, Porosity of Julia sets of non-recurrent and parabolic Collet-Eckmann rational functions, Ann. Acad. Sci. Fenn. Math. 26 (2001), no. 1, 125–154. MR 1816564
Feliks Przytycki, Mariusz Urbański, and Anna Zdunik, Harmonic, Gibbs and Hausdorff measures on repellers for holomorphic maps. I, Ann. of Math. (2) 130 (1989), no. 1, 1–40. MR 1005606, DOI 10.2307/1971475
Feliks Przytycki, Mariusz Urbański, and Anna Zdunik, Harmonic, Gibbs and Hausdorff measures on repellers for holomorphic maps. II, Studia Math. 97 (1991), no. 3, 189–225. MR 1100687, DOI 10.4064/sm-97-3-189-225
C. A. Rogers and S. J. Taylor, Functions continuous and singular with respect to a Hausdorff measure, Mathematika 8 (1961), 1–31. MR 130336, DOI 10.1112/S0025579300002084
David Ruelle, Thermodynamic formalism, Encyclopedia of Mathematics and its Applications, vol. 5, Addison-Wesley Publishing Co., Reading, Mass., 1978. The mathematical structures of classical equilibrium statistical mechanics; With a foreword by Giovanni Gallavotti and Gian-Carlo Rota. MR 511655
F. Schweiger, Numbertheoretical endomorphisms with $\sigma$-finite invariant measure, Israel J. Math. 21 (1975), no. 4, 308–318. MR 384735, DOI 10.1007/BF02757992
Fritz Schweiger, Ergodic theory of fibred systems and metric number theory, Oxford Science Publications, The Clarendon Press, Oxford University Press, New York, 1995. MR 1419320
Mitsuhiro Shishikura, The Hausdorff dimension of the boundary of the Mandelbrot set and Julia sets, Ann. of Math. (2) 147 (1998), no. 2, 225–267. MR 1626737, DOI 10.2307/121009
J. J. Corliss, Upper limits to the real roots of a real algebraic equation, Amer. Math. Monthly 46 (1939), 334–338. MR 4, DOI 10.1080/00029890.1939.11998880
Bernd Stratmann, Fractal dimensions for Jarník limit sets of geometrically finite Kleinian groups; the semi-classical approach, Ark. Mat. 33 (1995), no. 2, 385–403. MR 1373031, DOI 10.1007/BF02559716
Bernd O. Stratmann, Weak singularity spectra of the Patterson measure for geometrically finite Kleinian groups with parabolic elements, Michigan Math. J. 46 (1999), no. 3, 573–587. MR 1721571, DOI 10.1307/mmj/1030132480
B. O. Stratmann and M. Urbański, The geometry of conformal measures for parabolic rational maps, Math. Proc. Cambridge Philos. Soc. 128 (2000), no. 1, 141–156. MR 1724435, DOI 10.1017/S0305004199003837
B. Stratmann and M. Urbański, The box-counting dimension for geometrically finite Kleinian groups, Fund. Math. 149 (1996), no. 1, 83–93. MR 1372359, DOI 10.4064/fm-149-1-83-93
B. Stratmann and S. L. Velani, The Patterson measure for geometrically finite groups with parabolic elements, new and old, Proc. London Math. Soc. (3) 71 (1995), no. 1, 197–220. MR 1327939, DOI 10.1112/plms/s3-71.1.197
Dennis Sullivan, Conformal dynamical systems, Geometric dynamics (Rio de Janeiro, 1981) Lecture Notes in Math., vol. 1007, Springer, Berlin, 1983, pp. 725–752. MR 730296, DOI 10.1007/BFb0061443
Dennis Sullivan, Quasiconformal homeomorphisms in dynamics, topology, and geometry, Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, Calif., 1986) Amer. Math. Soc., Providence, RI, 1987, pp. 1216–1228. MR 934326
Dennis Sullivan, The density at infinity of a discrete group of hyperbolic motions, Inst. Hautes Études Sci. Publ. Math. 50 (1979), 171–202. MR 556586, DOI 10.1007/BF02684773
Dennis Sullivan, Entropy, Hausdorff measures old and new, and limit sets of geometrically finite Kleinian groups, Acta Math. 153 (1984), no. 3-4, 259–277. MR 766265, DOI 10.1007/BF02392379
Dennis Sullivan, Disjoint spheres, approximation by imaginary quadratic numbers, and the logarithm law for geodesics, Acta Math. 149 (1982), no. 3-4, 215–237. MR 688349, DOI 10.1007/BF02392354
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
William P. Thurston, Three-dimensional geometry and topology. Vol. 1, Princeton Mathematical Series, vol. 35, Princeton University Press, Princeton, NJ, 1997. Edited by Silvio Levy. MR 1435975, DOI 10.1515/9781400865321
M. Urbański, On the Hausdorff dimension of a Julia set with a rationally indifferent periodic point, Studia Math. 97 (1991), no. 3, 167–188. MR 1100686, DOI 10.4064/sm-97-3-167-188
Mariusz Urbański, Rational functions with no recurrent critical points, Ergodic Theory Dynam. Systems 14 (1994), no. 2, 391–414. MR 1279476, DOI 10.1017/S0143385700007926
Mariusz Urbański, Geometry and ergodic theory of conformal non-recurrent dynamics, Ergodic Theory Dynam. Systems 17 (1997), no. 6, 1449–1476. MR 1488329, DOI 10.1017/S014338579708646X
Mariusz Urbanski and Michel Zinsmeister, Continuity of Hausdorff dimension of Julia-Lavaurs sets as a function of the phase, Conform. Geom. Dyn. 5 (2001), 140–152. MR 1872160, DOI 10.1090/S1088-4173-01-00070-4
Alexander Volberg, On the dimension of harmonic measure of Cantor repellers, Michigan Math. J. 40 (1993), no. 2, 239–258. MR 1226830, DOI 10.1307/mmj/1029004751
Peter Walters, An introduction to ergodic theory, Graduate Texts in Mathematics, vol. 79, Springer-Verlag, New York-Berlin, 1982. MR 648108, DOI 10.1007/978-1-4612-5775-2
Peter Walters, A variational principle for the pressure of continuous transformations, Amer. J. Math. 97 (1975), no. 4, 937–971. MR 390180, DOI 10.2307/2373682
Anna Zdunik, Parabolic orbifolds and the dimension of the maximal measure for rational maps, Invent. Math. 99 (1990), no. 3, 627–649. MR 1032883, DOI 10.1007/BF01234434
Michel Zinsmeister, Fleur de Leau-Fatou et dimension de Hausdorff, C. R. Acad. Sci. Paris Sér. I Math. 326 (1998), no. 10, 1227–1232 (French, with English and French summaries). MR 1650223, DOI 10.1016/S0764-4442(98)80233-4