Wandering domains for composition of entire functions (Q2345496)

The wandering domains \(U\) of a holomorphic function \(f\) can be classified as follows: 1. \textit{escaping} if the \(f^n|_U \to \infty\) as \(n\to \infty\); 2. \textit{oscillating} if there exist subsequences \(f^{n_j}|_U\to \infty\) and \(f^{n_k}|U\to a\in \mathbb{C}\); 3. \textit{orbitally bounded} if \(\infty\) is not the limit of any convergent subsequence. The most known wandering domains are escaping, and it is still an open question whether orbitally bounded wandering domains exist. Bishop explicitly constructed a transcendental entire function with a bounded set of singular values which has at least two grand orbits of oscillating wandering domains. The first theorem of the paper states that this example has exactly two grand orbits of oscillating wandering domains. That is, there are no other unexpected wandering domains. The second result of the paper is an interesting application of the above theorem to the dynamics of composite functions. There exist two transcendental entire functions \(f\) and \(g\) with bounded sets of singular values such that the Fatou set of \(f\circ g\) has a wandering domain, while all Fatou components of \(f\) and \(g\) are preperiodic.