×

Iterates of meromorphic functions. IV: Critically finite functions. (English) Zbl 0774.30024

[For part III see the authors in Ergod. Theory Dyn. Syst. 11, 603-618 (1991; reviewed above).]
The stable set or Fatou set \(N(f)\) of a meromorphic function \(f\) is the largest subset of the sphere \(\hat{\mathbf C}\) where the iterates \(f^ n\) of \(f\) may be defined meromorphically and form a normal family. The complement of \(N(f)\) is the Julia set. Given a component \(N_ 0\) of \(N(f)\), there exist components \(N_ n\) of \(N(f)\) such that \(f^ n(N_ 0)\subset N_ n\). The component \(N_ 0\) is called wandering, if \(N_ n\cap N_ m\neq 0\) for \(n\neq m\). One of the most important results in the iteration theory of rational functions is D. Sullivan’s theorem [Ann. Math., II. Ser. 122, 401-418 (1985; Zbl 0589.30022)] that rational functions do not have wandering domains. The main result of the paper under review is that Sullivan’s result remains valid for the class of critically finite meromorphic functions. Here a meromorphic function is called critically finite, if there exists a finite set \(W\) such that \(f:{\mathbf C}\backslash f^{-1}(W)\to\hat{\mathbf C}\backslash W\) is an unbranched covering. The result that critically finite entire functions do not have wandering domains was proved by A. Eh. Eremenko and M. Yu. Lyubich [Sov. Math. Dokl. 30, 592-594 (1984; Zbl 0588.30027)] and L. R. Goldberg and L. Keen [Ergod. Theory Dyn. Syst. 6, 183-192 (1986; Zbl 0657.58011)]. The proof that critically finite meromorphic functions do not have simply-connected wandering domains uses quasiconformal mappings, a tool introduced by Sullivan into the subject. Multiply-connected wandering domains are ruled out by a more elementary (and very clever) method. It is noteworthy that this method also works for rational functions and thus yields a proof that rational functions do not have multiply-connected wandering domains which is much simpler than Sullivan’s original argument.

MSC:

30D05 Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable
37B99 Topological dynamics
30D30 Meromorphic functions of one complex variable (general theory)
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Ahlfors, L.; Bers, L., Riemann’s mapping theorem for variable metrics, Ann. of Math, 72, 385-404 (1960) · Zbl 0104.29902
[2] Baker, IN, Wandering domains in the iteration of entire functions, Proc. London Math. Soc. (3), 49, 563-576 (1984) · Zbl 0523.30017
[3] Baker, IN, Wandering domains for maps of the punctured plane, Ann. Acad. Sci. Fenn. Ser. AI Math, 12, 191-198 (1987) · Zbl 0606.30029
[4] Baker, IN; Kotus, J.; Yinian, L., Iterates of meromorphic functions I, Ergod. Theory Dynam. Systems, 11, 241-248 (1991) · Zbl 0711.30024
[5] Baker, IN; Kotus, J.; Yinian, L., Iterates of meromorphic functions II, J. London Math. Soc. (2), 42, 267-278 (1990) · Zbl 0726.30022
[6] Baker, IN; Kotus, J.; Yinian, L., Iterates of meromorphic functions III, Ergod. Theory Dynam. Systems, 11, 603-618 (1991) · Zbl 0774.30023
[7] Eremenko, A.; Lyubich, M. Y., Iteration of entire functions, preprint 6, Physicotechnical Institute for Low Temperatures (1984), Kharkov: Ukr. SSR Academy of Sciences, Kharkov
[8] Fatou, P., Sur les équations fonctionelles, Bull. Soc. Math. France, 47, 161-271 (1919) · JFM 47.0921.02
[9] Fatou, P., Sur l’itération des fonctions transcendantes entières, Acta Math., 47, 337-370 (1926) · JFM 52.0309.01
[10] Goldberg, L.; Keen, L., A finiteness theorem for a dynamical class of entire functions, Ergod. Theory Dynam. Systems, 6, 183-192 (1986) · Zbl 0657.58011
[11] Keen, L., Dynamics of holomorphic self-maps of C, Holomorphic Functions and Moduli I. MSRI Publications 10 (1988), N.Y.: Springer, N.Y. · Zbl 0676.58011
[12] Kotus, J., Iterated holomorphic map of the punctured plane, Lect. Notes Math. Syst. & Ec, 287, 10-29 (1987) · Zbl 0638.30025
[13] R. Nevanlinna, Eindeutige analytische Funktionen. Springer 1953. · Zbl 0050.30302
[14] Sullivan, D., Quasiconformal homeomorphisms and dynamics I, Ann. of Math, 122, 401-418 (1985) · Zbl 0589.30022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.