Abstract
Let \(f\) be a real entire function whose set \(S(f)\) of singular values is real and bounded. We show that, if \(f\) satisfies a certain function-theoretic condition (the “sector condition”), then \(f\) has no wandering domains. Our result includes all maps of the form \(z\mapsto \lambda \frac{\sinh (z)}{z} + a\) with \(\lambda >0\) and \(a\in \mathbb{R }\). We also show the absence of wandering domains for certain non-real entire functions for which \(S(f)\) is bounded and \(f^n|_{S(f)}\rightarrow \infty \) uniformly. As a special case of our theorem, we give a short, elementary and non-technical proof that the Julia set of the exponential map \(f(z)=e^z\) is the entire complex plane. Furthermore, we apply similar methods to extend a result of Bergweiler, concerning Baker domains of entire functions and their relation to the postsingular set, to the case of meromorphic functions.
Similar content being viewed by others
Notes
Since this paper was first submitted, Bishop has announced the construction of such a function. Here the orbit of the wandering domain contains (infinitely many) critical values; hence Question 1.1 remains open.
References
Bergweiler, W.: Iteration of meromorphic functions. Bull. Am. Math. Soc. (N.S.) 29(2), 151–188 (1993)
Bergweiler, W.: Invariant domains and singularities. Math. Proc. Cambridge Philos. Soc. 117(3), 525–532 (1995)
Brannan, D.A., Hayman, W.K.: Research problems in complex analysis. Bull. London Math. Soc. 21, 1–35 (1989)
Bergweiler, W., Haruta, M., Kriete, H., Meier, H.G., Terglane, N.: On the limit functions of iterates in wandering domains. Ann. Acad. Sci. Fenn. Ser A I Math. 18, 369–375 (1993)
Beardon, A.F., Minda, D.: The hyperbolic metric and geometric function theory. In: Quasiconformal Mappings and their Applications, Narosa, New Delhi, pp. 9–56 (2007)
Bonfert, P.: On iteration in planar domains. Michigan Math. J. 44(1), 47–68 (1997)
Baker, I.N., Rippon, P.J.: Iteration of exponential functions. Ann. Acad. Sci. Fenn. Ser. A I Math. 9, 49–77 (1984)
Eremenko, A.E., Lyubich M.Yu.: Examples of entire functions with pathological dynamics. J. London Math. Soc. (2) 36(3), 458–468 (1987)
Eremenko, A.E., Lyubich, MYu.: Dynamical properties of some classes of entire functions. Ann. Inst. Fourier Grenoble 42(4), 989–1020 (1992)
Epstein, A.L.: Towers of finite type complex analytic maps. PhD thesis, City University of New York (1993)
Epstein, A.L.: Dynamics of finite type complex analytic maps, Manuscript (1997)
Fatou, P.: Sur l’íteration des fonctions transcendantes entières. Acta Math. 47, 337–370 (1926)
Keen, L., Lakic, N.: Hyperbolic geometry from a local viewpoint. In: London Mathematical Society Student Texts, vol. 68. Cambridge University Press, Cambridge (2007)
Kozlovski, O., Shen W., van Strien S.: Density of hyperbolicity in dimension one. Ann. of Math. (2) 166(1), 145–182 (2007)
Misiurewicz, M.: On iterates of \(e^{z}\). Ergodic Theory Dyn. Syst. 1(1), 103–106 (1981)
Rempe, L.: Hyperbolic dimension and radial Julia sets of transcendental functions. Proc. Am. Math. Soc. 137(4), 1411–1420 (2009)
Rempe, L.: Rigidity of escaping dynamics for transcendental entire functions. Acta Math. 203(2), 235–267 (2009)
Rempe-Gillen, L., van Strien, S.: Density of hyperbolicity for classes of real transcendental entire functions and circle maps, Preprint (2010). arXiv:math.DS/1005.4627
Rippon, P.J.: Baker domains of meromorphic functions. Ergodic Theory Dyn. Syst. 26(4), 1225–1233 (2006)
Rempe, L., Rippon, P.J.: Exotic Baker and wandering domains for Ahlfors islands maps. J. Anal. Math. 117, 297–319 (2012)
Rottenfußer, G., Rückert, Johannes, Rempe, L., Schleicher, D.: Dynamic rays of bounded-type entire functions. Ann. Math. (2) 173(1), 77–125 (2011)
Sullivan, D.: Quasiconformal homeomorphisms and dynamics I, solution of the Fatou-Julia problem on wandering domains. Ann. Math. 122, 408–418 (1985)
Schleicher, D., Zimmer, J.: Periodic points and dynamic rays of exponential maps. Ann. Acad. Sci. Fenn. Math. 28, 327–354 (2003)
Titchmarsh, E.C.: The Theory of Functions, 2nd edn. Oxford University Press, Oxford (1939)
van Strien, S.: Quasi-symmetric rigidity, Manuscript (2009)
Zheng, J.-H.: On the non-existence of unbounded domains of normality of meromorphic functions. J. Math. Anal. Appl. 264(2), 479–494 (2001)
Zheng, J.-H.: Iteration of functions which are meromorphic outside a small set. Tohoku Math. J. (2) 57(1), 23–43 (2005)
Acknowledgments
We would like to thank Walter Bergweiler, Jörn Peter and Phil Rippon for interesting discussions and helpful feedback. We also thank the referee for comments that have led to some improvement in the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
H. Mihaljević-Brandt and L. Rempe-Gillen were supported by EPSRC grant EP/E017886/1. L. Rempe-Gillen was supported by EPSRC Fellowship EP/E052851/1. H. Mihaljević-Brandt and L. Rempe-Gillen gratefully acknowledge support received through the European CODY network.
Rights and permissions
About this article
Cite this article
Mihaljević-Brandt, H., Rempe-Gillen, L. Absence of wandering domains for some real entire functions with bounded singular sets. Math. Ann. 357, 1577–1604 (2013). https://doi.org/10.1007/s00208-013-0936-z
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-013-0936-z