Abstract
We prove an analog of Böttcher’s theorem for transcendental entire functions in the Eremenko–Lyubich class \( \mathcal{B} \). More precisely, let f and g be entire functions with bounded sets of singular values and suppose that f and g belong to the same parameter space (i.e., are quasiconformally equivalent in the sense of Eremenko and Lyubich). Then f and g are conjugate when restricted to the set of points that remain in some sufficiently small neighborhood of infinity under iteration. Furthermore, this conjugacy extends to a quasiconformal self-map of the plane.
We also prove that the conjugacy is essentially unique. In particular, we show that a function \( f \in \mathcal{B} \) has no invariant line fields on its escaping set. Finally, we show that any two hyperbolic functions \( f,g \in \mathcal{B} \) that belong to the same parameter space are conjugate on their sets of escaping points.
Similar content being viewed by others
References
Aarts, J. M. & Oversteegen, L. G., The geometry of Julia sets. Trans. Amer. Math. Soc., 338 (1993), 897–918.
Avila, A. & Lyubich, M., Hausdorff dimension and conformal measures of Feigenbaum Julia sets. J. Amer. Math. Soc., 21 (2008), 305–363.
Barański, K., Trees and hairs for some hyperbolic entire maps of finite order. Math. Z., 257 (2007), 33–59.
Bergweiler, W., Iteration of meromorphic functions. Bull. Amer. Math. Soc., 29 (1993), 151–188.
Bergweiler, W., Rippon, P. J. & Stallard, G. M., Dynamics of meromorphic functions with direct or logarithmic singularities. Proc. Lond. Math. Soc., 97 (2008), 368–400.
Bers, L., The moduli of Kleinian groups. Uspeki Mat. Nauk, 29 (1974), 86–102 (Russian); English translation in Russian Math. Surveys, 29 (1974), 88–102.
Bers, L. & Royden, H. L., Holomorphic families of injections. Acta Math., 157 (1986), 259–286.
Bhattacharjee, R., Devaney, R. L., Deville, R. E. L., Josić, K. & Moreno-Rocha, M., Accessible points in the Julia sets of stable exponentials. Discrete Contin. Dyn. Syst. Ser. B, 1 (2001), 299–318.
Douady, A. & Goldberg, L. R., The nonconjugacy of certain exponential functions, in Holomorphic Functions and Moduli, Vol. I (Berkeley, CA, 1986), Math. Sci. Res. Inst. Publ., 10, pp. 1–7. Springer, New York, 1988.
Douady, A. & Hubbard, J. H., Étude dynamique des polynômes complexes. I, II. Publications Mathématiques d’Orsay, 84, 85. Université de Paris-Sud, Département de Mathématiques, Orsay, 1984, 1985.
— On the dynamics of polynomial-like mappings. Ann. Sci. École Norm. Sup., 18 (1985), 287–343.
Epstein, A. L., Towers of Finite Type Complex Analytic Maps. Ph.D. Thesis, City University of New York, 1995. http://pcwww.liv.ac.uk/~lrempe/adam/thesis.pdf.
Eremenko, A. È., On the iteration of entire functions, in Dynamical Systems and Ergodic Theory (Warsaw, 1986), Banach Center Publ., 23, pp. 339–345. PWN, Warsaw, 1989.
Eremenko, A. È. & Lyubich, M. Y. Structural stability in some families of entire functions. Preprint, Ukrainian Physico-Technical Institute, Kharkov, 1984 (Russian).
— Examples of entire functions with pathological dynamics. J. London Math. Soc., 36 (1987), 458–468.
— Dynamical properties of some classes of entire functions. Ann. Inst. Fourier (Grenoble), 42 (1992), 989–1020.
Fatou, P., Sur l’itération des fonctions transcendantes entières. Acta Math., 47 (1926), 337–370.
Graczyk, J., Kotus, J. & Świątek, G., Non-recurrent meromorphic functions. Fund. Math., 182 (2004), 269–281.
Hubbard, J. H., Teichmüller Theory and Applications to Geometry, Topology, and Dynamics. Vol. 1. Matrix Editions, Ithaca, NY, 2006.
Jarque, X., On the connectivity of the escaping set for complex exponential Misiurewicz parameters. Preprint, 2009.
Kozlovski, O., Shen, W. & van Strien, S., Rigidity for real polynomials. Ann. of Math., 165 (2007), 749–841.
— Density of hyperbolicity in dimension one. Ann. of Math., 166 (2007), 145–182.
Langley, J. K. & Zheng, J. H., On the fixpoints, multipliers and value distribution of certain classes of meromorphic functions. Ann. Acad. Sci. Fenn. Math., 23 (1998), 133–150.
Lehto, O., An extension theorem for quasiconformal mappings. Proc. London Math. Soc., 14a (1965), 187–190.
Lehto, O. & Virtanen, K. I., Quasikonforme Abbildungen. Die Grundlehren der mathematischen Wissenschaften, 126. Springer, Berlin, 1965 (German); English translation: Quasiconformal Mappings in the Plane, Springer, New York, 1973.
Mañé, R., Sad, P. & Sullivan, D., On the dynamics of rational maps. Ann. Sci. École Norm. Sup., 16 (1983), 193–217.
McMullen, C., Area and Hausdorff dimension of Julia sets of entire functions. Trans. Amer. Math. Soc., 300 (1987), 329–342.
— Complex Dynamics and Renormalization. Annals of Mathematics Studies, 135. Princeton University Press, Princeton, NJ, 1994.
Mihaljević-Brandt, H., Semiconjugacies, pinched Cantor bouquets and hyperbolic orbifolds. Preprint, 2009. arXiv:0907.5398 [math.DS].
Milnor, J., Dynamics in One Complex Variable. Annals of Mathematics Studies, 160. Princeton University Press, Princeton, NJ, 2006.
Rempe, L., Topological dynamics of exponential maps on their escaping sets. Ergodic Theory Dynam. Systems, 26:6 (2006), 1939–1975.
— On a question of Eremenko concerning escaping components of entire functions. Bull. Lond. Math. Soc., 39 (2007), 661–666.
— Siegel disks and periodic rays of entire functions. J. Reine Angew. Math., 624 (2008), 81–102.
— The escaping set of the exponential. To appear in Ergodic Theory Dynam. Systems.
— Connected escaping sets of exponential maps. Preprint, 2009. arXiv:0910.4680 [math.DS].
Rempe, L. & van Strien, S., Absence of line fields and Mañé’s theorem for non-recurrent transcendental functions. To appear in Trans. Amer. Mat. Soc.
— Density of hyperbolicity for certain families of real transcendental entire functions. In preparation.
Rippon, P. J. & Stallard, G. M., Iteration of a class of hyperbolic meromorphic functions. Proc. Amer. Math. Soc., 127:11 (1999), 3251–3258.
Rottenfusser, G., Rückert, J., Rempe, L. & Schleicher, D., Dynamic rays of bounded-type entire functions. To appear in Ann. of Math.
Shishikura, M., The boundary of the Mandelbrot set has Hausdorff dimension two, in Complex Analytic Methods in Dynamical Systems (Rio de Janeiro, 1992). Astérisque, 222 (1994), 7, 389–405.
van Strien, S., Misiurewicz maps unfold generically (even if they are critically non-finite). Fund. Math., 163 (2000), 39–54.
Urbański, M. & Zdunik, A., The finer geometry and dynamics of the hyperbolic exponential family. Michigan Math. J., 51 (2003), 227–250.
Weinreich, J. M., Boundaries which Arise in the Iteration of Transcendental Entire Functions. Ph.D. Thesis, Imperial College, London, 1991.
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported in part by a postdoctoral fellowship of the German Academic Exchange Service (DAAD) and by EPSRC Advanced Research Fellowship EP/E052851/1.
Rights and permissions
About this article
Cite this article
Rempe, L. Rigidity of escaping dynamics for transcendental entire functions. Acta Math 203, 235–267 (2009). https://doi.org/10.1007/s11511-009-0042-y
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11511-009-0042-y