Wandering dynamics of transcendental functions

Abstract

We show that any uniformly escaping and wandering dynamics of a holomorphic function on a compact subset of the plane can be realised by a transcendental meromorphic function on $\mathbb{C}$. More precisely, let $\ddot{I}†$ be a holomorphic function on an open subset of the complex plane, and suppose that $K$ is a compact set such that $\ddot{I}†$ and all its iterates $\ddot{I}{†}^n$ are defined on $K$, and $\ddot{I}{†}^n(K)\to \infty$ as $n\to \infty$. We prove that there exist a transcendental meromorphic function $f:\mathbb{C}\to \hat{\mathbb{C}}$ and a compact set $\tilde{K}$ such that the dynamics of $f$ on the orbit of $\tilde{K}$ is conjugate, via a smooth change of coordinate close to the identity, to that of $\ddot{I}†$ on the orbit of $K$. If $K$ does not separate the plane, the function $f$ may be chosen to be entire. If all iterates of $\ddot{I}†$ are univalent on $K$, we can take $\tilde{K}=K$. We also prove a similar theorem for oscillating dynamics. Finally, we use our results to answer a number of questions of Benini et al. concerning wandering domains of entire functions.

38 pages, 4 figures