Multiply connected wandering domains of entire functions

The dynamical behaviour of a transcendental entire function in any periodic component of the Fatou set is well understood. Here we study the dynamical behaviour of a transcendental entire function $f$ in any multiply connected wandering domain $U$ of $f$. By introducing a certain positive harmonic function $h$ in $U$, related to harmonic measure, we are able to give the first detailed description of this dynamical behaviour. Using this new technique, we show that, for sufficiently large $n$, the image domains $U_n=f^n(U)$ contain large annuli, $C_n$, and that the union of these annuli acts as an absorbing set for the iterates of $f$ in $U$. Moreover, $f$ behaves like a monomial within each of these annuli and the orbits of points in $U$ settle in the long term at particular `levels' within the annuli, determined by the function $h$. We also discuss the proximity of $\partial U_n$ and $\partial C_n$ for large $n$, and the connectivity properties of the components of $U_n \setminus \bar{C_n}$. These properties are deduced from new results about the behaviour of an entire function which omits certain values in an annulus

Dynamics of meromorphic functions with direct or logarithmic singularities

We show that if a meromorphic function has a direct singularity over infinity, then the escaping set has an unbounded component and the intersection of the escaping set with the Julia set contains continua. This intersection has an unbounded component if and only if the function has no Baker wandering domains. We also give estimates of the Hausdorff dimension and the upper box dimension of the Julia set of a meromorphic function with a logarithmic singularity over infinity. The above theorems are deduced from more general results concerning functions which have "direct or logarithmic tracts", but which need not be meromorphic in the plane. These results are obtained by using a generalization of Wiman-Valiron theory. The method is also applied to complex differential equations.Comment: 29 pages, 2 figures; v2: some overall revision, with comments and references added; to appear in Proc. London Math. So

The growth rate of an entire function and the Hausdorff dimension of its Julia set

Let f be a transcendental entire function in the Eremenko-Lyubich class B. We give a lower bound for the Hausdorff dimension of the Julia set of f that depends on the growth of f. This estimate is best possible and is obtained by proving a more general result concerning the size of the escaping set of a function with a logarithmic tract.Comment: 19 page

Permutable entire functions and multiply connected wandering domains

Let f and g be permutable transcendental entire functions. We use a recent analysis of the dynamical behaviour in multiply connected wandering domains to make progress on the long standing conjecture that the Julia sets of f and g are equal; in particular, we show that J(f)=J(g) provided that neither f nor g has a simply connected wandering domain in the fast escaping set

Baker's conjecture for functions with real zeros

Baker's conjecture states that a transcendental entire functions of order less than 1/2 has no unbounded Fatou components. It is known that, for such functions, there are no unbounded periodic Fatou components and so it remains to show that they can also have no unbounded wandering domains. Here we introduce completely new techniques to show that the conjecture holds in the case that the transcendental entire function is real with only real zeros, and we prove the much stronger result that such a function has no orbits consisting of unbounded wandering domains whenever the order is less than 1. This raises the question as to whether such wandering domains can exist for any transcendental entire function with order less than 1. Key ingredients of our proofs are new results in classical complex analysis with wider applications. These new results concern: the winding properties of the images of certain curves proved using extremal length arguments, growth estimates for entire functions, and the distribution of the zeros of entire functions of order less than 1

Are Devaney hairs fast escaping?

Beginning with Devaney, several authors have studied transcendental entire functions for which every point in the escaping set can be connected to infinity by a curve in the escaping set. Such curves are often called Devaney hairs. We show that, in many cases, every point in such a curve, apart from possibly a finite endpoint of the curve, belongs to the fast escaping set. We also give an example of a Devaney hair which lies in a logarithmic tract of a transcendental entire function and contains no fast escaping points.Comment: 22 pages, 1 figur

The iterated minimum modulus and conjectures of Baker and Eremenko

In transcendental dynamics significant progress has been made by studying points whose iterates escape to infinity at least as fast as iterates of the maximum modulus. Here we take the novel approach of studying points whose iterates escape at least as fast as iterates of the minimum modulus, and obtain new results related to Eremenko's conjecture and Baker's conjecture, and the rate of escape in Baker domains. To do this we prove a result of wider interest concerning the existence of points that escape to infinity under the iteration of a positive continuous function

Dimensions of Julia sets of hyperbolic meromorphic functions

It is known that, if $f$ is a hyperbolic rational function, then the Hausdorff, packing and box dimensions of the Julia set $J(f)$ are equal. In this paper it is shown that, for a hyperbolic transcendental meromorphic function $f$, the packing and upper box dimensions of $J(f)$ are equal, but can be strictly greater than the Hausdorff dimension of $J(f)$