Iterates of meromorphic functions. IV: Critically finite functions
type: Item
instance of: scholarly article
title: Iterates of meromorphic functions. IV: Critically finite functions
zbMATH Open document ID: 0774.30024
DOI: 10.1007/BF03323112
author: S. Singh
published in: Results in Mathematics
publication date: 1993-04-01T00:00:00Z
review text: [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 \textit{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 \textit{A. Eh. Eremenko} and \textit{M. Yu. Lyubich} [Sov. Math. Dokl. 30, 592-594 (1984; Zbl 0588.30027)] and \textit{L. R. Goldberg} and \textit{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.
Mathematics Subject Classification ID: 30D05
Mathematics Subject Classification ID: 37B99
Mathematics Subject Classification ID: 30D30
zbMATH DE Number: 147374
zbMATH Keywords: Fatou set
zbMATH Keywords: normal family
zbMATH Keywords: critically finite functions
zbMATH Keywords: wandering domains
Wikidata QID: Q115181073
reviewed by: Walter Bergweiler
MaRDI profile type: Publication
cites work: Riemann's mapping theorem for variable metrics
cites work: Wandering Domains in the Iteration of Entire Functions
cites work: Wandering domains for maps of the punctured plane
cites work: Iterates of meromorphic functions: I
cites work: Iterates of Meromorphic Functions II: Examples of Wandering Domains
cites work: Iterates of meromorphic functions III: Preperiodic domains
cites work: A finiteness theorem for a dynamical class of entire functions
cites work: Q3831746
cites work: Q3778968
cites work: Q5818666
cites work: Quasiconformal homeomorphisms and dynamics. I: Solution of the Fatou- Julia problem on wandering domains
Recommended article: Q4376439
Recommended article: Q4308054
Recommended article: Iterates of meromorphic functions: I
Recommended article: Iteration of meromorphic functions
Recommended article: Iteration of a class of hyperbolic meromorphic functions
Recommended article: Fix-points of meromorphic functions and iterated entire functions
Recommended article: Iterates of meromorphic functions III: Preperiodic domains
Recommended article: Q4876648
Recommended article: Iteration of functions which are meromorphic outside a small set
Recommended article: Iterates of meromorphic functions on escaping Fatou components
description: scientific article; zbMATH DE number 147374