Dynamic rays of bounded-type entire functions

DOI10.4007/ANNALS.2010.173.1.3MaRDI QIDQ640739zbMATH OpenOpenAlexFDO

Authors Günter Rottenfusser, Johannes Rückert, Dierk Schleicher, Lasse Rempe

Publication date 20 October 2011

Published in Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0704.3213

Devaney hair Eremenko-Lyubich class escaping set Fatou set Julia set

Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable (30D05) Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets (37F10)

Abstract: We construct an entire function in the Eremenko-Lyubich class

B

whose Julia set has only bounded path-components. This answers a question of Eremenko from 1989 in the negative. On the other hand, we show that for many functions in

B

, in particular those of finite order, every escaping point can be connected to

i n f t y

by a curve of escaping points. This gives a partial positive answer to the aforementioned question of Eremenko, and answers a question of Fatou from 1926.

Review text

The escaping set \(I(f)\) of an entire function \(f\) consists of all points which tend to infinity under iteration of \(f\). \textit{A. E. Eremenko} asked whether every component of \(I(f)\) is bounded, or, even stronger, every point in \(I(f)\) can be joined to \(\infty\) by a curve in \(I(f)\) [``On the iteration of entire functions, in: Dynamical systems and ergodic theory, 28th Sem. St. Banach Int. Math. Cent., Warsaw/Pol. 1986, Banach Cent. Publ. 23, 339--345 (1989; Zbl 0692.30021)]. It is shown in this paper that the strong form of Eremenko's conjecture fails. The examples constructed have the additional property that they lie in the Eremenko-Lyubich class \(B\) consisting of all functions for which the set of singularities of the inverse is bounded. By a result of Eremenko and Lyubich, \(I(f)\) is a subset of the Julia set \(J(f)\) for \(f\in B\). It is shown that there exists \(f\in B\) such that all path-connected components of \(J(f)\) are bounded. In fact, it is even sketched how one can obtain a function \(f\in B\) such that \(J(f)\) contains no non-trivial curves at all. Moreover, \(f\) can be taken to be hyperbolic. In the opposite direction it is shown that if \(f\in B\) has finite order of growth, then every point in \(I(f)\) can be joined to \(\infty\) by a curve \(\gamma\) in \(I(f)\). Even stronger, the iterates of \(f\) converge to \(\infty\) uniformly on \(\gamma\).

Recommendations

Cites work

Cited in

(79)

This page was built for publication: Dynamic rays of bounded-type entire functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q640739)