Hyperbolic entire functions with bounded Fatou components (Q906564)

For dynamics of polynomials, it is well known that every component of a Fatou component other than the immediate basin of infinity is bounded. The paper under review mainly concerns the boundedness and topology of the attracting components of transcendent entire maps and proves the following theorems which are analogous to polynomials in some sense. {\parindent=7mm \begin{itemize}\item[1.] Let \(f\) be a hyperbolic transcendental entire map in the Eremenko-Lyubich class, then every component of Fatou component is bounded if and only if \(f\) has no asymptotic values and every component of \(F(f)\) contains at most finitely many critical points. \item[2.] Let \(f:\mathbb{C}\to \mathbb{C}\) be a hyperbolic transcendental entire function without finite asymptotic values and exactly two critical values. Then either every component of Fatou set is bounded and \(\partial U\) is not locally connected at any finite point; or every component Fatou set is a bounded quasidisk, which is of course locally connected. \item[3.] If \(f\) is a hyperbolic transcendental entire map without asymptotic values in Eremenko-Lyubich class. Suppose that there is a number \(N\) such that every component of Fatou set contains at most \(N\) critical points, counting multiplicity. Then the Julia set is locally connected. \item[4.] Let \(f\) be a hyperbolic transcendental entire map in Eremenko-Lyubich class and \(D\) be a periodic Fatou component of period \(p\). Then the following are equivalent: {\parindent=11mm \begin{itemize}\item[a.] \(D\) is a quasidic. \item[b.] \(D\) is a Jordan domain. \item[c.] \(\widehat{\mathbb{C}}\setminus D\) is locally connected at some finite point of \(\partial D\). \item[d.] \(D\) is bounded. \item[e.] \(D\) does not contain a curve to infinity. \item[f.] The orbit of \(D\) contains no asymptotic curves and only finitely many critical points. \item[g.] \(f^p: D\to D\) is a proper map. \item[h.] For at least two distinct choices of \(z\in D\), the set \(f^{-p}(z)\cap D\) is finite. \end{itemize}} \end{itemize}}