Boundaries of univalent Baker domains (Q1790638)

The Fatou set \(F(f)\) of a transcendental entire function is the set of points \(z\in \mathbb{C}\) such that the iterations \((f^n)\) form a normal family in some neighborhood of \(z\). The complement of \(F(f)\) is called the Julia set \(J(f)\). The escaping set is \(I(f)=\{z : f^n(z)\to \infty, n\to \infty\}\). A periodic Fatou component is called a Baker domain. Eremenko's conjecture states that all components of \(I(f)\) are unbounded [\textit{A. E. Eremenko}, Banach Cent. Publ. 23, 339--345 (1989; Zbl 0692.30021)]. As a corollary of the main result, Theorem 1.1, the authors prove that if \(f\) is a transcendental entire functions and \(U\) is a Baker domain of \(f\) with a connected boundary, then \(\partial U \cap I(f)^c\) has harmonic measure zero relative to \(U\). With the aid of Theorem 1.1 the following result is proved. Theorem 1.2. Let \(f\) be a transcendental entire function and let \(E\) be a set such that \(E\subset I(f)\) and \(J(f)\subset \bar {E}\). Either \(I(f)\) is connected or it has infinitely many components that meet \(E\); in particular, if \(E\) is connected, then \(I(f)\) is connected. It allows to obtain the next result in direction of Eremenko's conjecture. Theorem 1.3. Let \(f\) be a transcendental entire function. Either \(I(f)\) is connected or it has infinitely many unbounded components.