This paper consists of two parts. The first is to study the existence of a point a at the intersection of the Julia set and the escaping set such that a goes to infinity under iterates along Julia directions or Borel directions. Additionally, we find such points that approximate all Borel directions to escape if the meromorphic functions have positive lower order. We confirm the existence of such slowly escaping points under a weaker growth condition. The second is to study the connection between the Fatou set and argument distribution. In view of the filling disks, we show nonexistence of multiply connected Fatou components if an entire function satisfies a weaker growth condition. We prove that the absence of singular directions implies the nonexistence of large annuli in the Fatou set.

Granville recently asked how the Mahler measure behaves in the context of polynomial dynamics. For a polynomial $f(z)=z^d+\cdots \in {\mathbb C}[z],\ \deg (f)\ge 2,$ we show that the Mahler measure of the iterates $f^n$ grows geometrically fast with the degree $d^n,$ and find the exact base of that exponential growth. This base is expressed via an integral of $\log ^+|z|$ with respect to the invariant measure of the Julia set for the polynomial $f.$ Moreover, we give sharp estimates for such an integral when the Julia set is connected.

In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component could be bounded even if the orbit of the component contains a sequence of annuli whose moduli tend to infinity, and this cannot happen when the maximal modulus of the meromorphic function is uniformly large enough. In this way we extend certain related results for entire functions to meromorphic functions with infinitely many poles.

We give conditions ensuring that the Fatou set and the complement of the fast escaping set of an exponential polynomial f both have finite Lebesgue measure. Essentially, these conditions are designed such that $|f(z)|\ge \exp (|z|^\alpha )$ for some $\alpha>0$ and all z outside a set of finite Lebesgue measure.

We study topological properties of the escaping endpoints and fast escaping endpoints of the Julia set of complex exponential $\exp (z)+a$ when $a\in (-\infty ,-1)$. We show neither space is homeomorphic to the whole set of endpoints. This follows from a general result stating that for every transcendental entire function $f$, the escaping Julia set $I(f)\cap J(f)$ is first category.

We prove several results concerning the relative position of points in the postsingular set P(f) of a meromorphic map f and the boundary of a Baker domain or the successive iterates of a wandering component. For Baker domains we answer a question of Mihaljević-Brandt and Rempe-Gillen. For wandering domains we show that if the iterates Un of such a domain have uniformly bounded diameter, then there exists a sequence of postsingular values pn such that ${\rm dist} (p_n, U_n)\to 0$ as $n\to \infty $. We also prove that if $U_n \cap P(f)=\emptyset $ and the postsingular set of f lies at a positive distance from the Julia set (in ℂ), then the sequence of iterates of any wandering domain must contain arbitrarily large disks. This allows to exclude the existence of wandering domains for some meromorphic maps with infinitely many poles and unbounded set of singular values.

In this paper, in terms of the hyperbolic metric, we give a condition under which the image of a hyperbolic domain of an analytic function contains a round annulus centred at the origin. From this, we establish results on the multiply connected wandering domains of a meromorphic function that contain large round annuli centred at the origin. We thereby successfully extend the results of transcendental meromorphic functions with finitely many poles to those with infinitely many poles.

Let d(c) denote the Hausdorff dimension of the Julia set Jc of the polynomial fc (z) = z 2 +c. The function c ↦ d(c) is real-analytic on the interval (–3/4, 1/4), which is in the domain bounded by the main cardioid of the Mandelbrot set. We prove that the function d is convex close to 1/4 on the left side of it.

Let be a non-constant elliptic function. We prove that the Hausdorff dimension of the escaping set of f equals 2q/(q+1), where q is the maximal multiplicity of poles of f. We also consider the escaping parameters in the family fβ = βf, i.e. the parameters β for which the orbit of one critical value of fβ escapes to infinity. Under additional assumptions on f we prove that the Hausdorff dimension of the set of escaping parameters ε in the family fβ is greater than or equal to the Hausdorff dimension of the escaping set in the dynamical space. This demonstrates an analogy between the dynamical plane and the parameter plane in the class of transcendental meromorphic functions.

We investigate when the boundary of a multiply connected wandering domain of an entire function is uniformly perfect. We give a general criterion implying that it is not uniformly perfect. This criterion applies in particular to examples of multiply connected wandering domains given by Baker. We also provide examples of infinitely connected wandering domains whose boundary is uniformly perfect.

It is shown that the dnth Chebyshev polynomials on the Julia set JP, and on the equipotential curve ΓP(R), of the polynomial P(z)=zd−c, are identical and exactly equal to the nth iteration of P(z) itself. As an application, the capacity of the Julia set JP is deduced, a result that was first obtained by Brolin.

We define the scenery flow space at a point z in the Julia set J of a hyperbolic rational map $T : \mathbb{C} \to \mathbb{C}$ with degree at least 2, and more generally for T a conformal mixing repellor.

We prove that, for hyperbolic rational maps, except for a few exceptional cases listed below, the scenery flow is ergodic. We also prove ergodicity for almost all conformal mixing repellors; here the statement is that the scenery flow is ergodic for the repellors which are not linear nor contained in a finite union of real-analytic curves, and furthermore that for the collection of such maps based on a fixed open set U, the ergodic cases form a dense open subset of that collection. Scenery flow ergodicity implies that one generates the same scenery flow by zooming down towards almost every z with respect to the Hausdorff measure $H^d$, where d is the dimension of J, and that the flow has a unique measure of maximal entropy.

For all conformal mixing repellors, the flow is loosely Bernoulli and has topological entropy at most d. Moreover the flow at almost every point is the same up to a rotation, and so as a corollary, one has an analogue of the Lebesgue density theorem for the fractal set, giving a different proof of a theorem of Falconer.

2000 Mathematical Subject Classification: 37F15, 37F35, 37D20.

In this paper we give the definition of a meromorphic function which is geometrically finite and investigate some properties of geometrically finite meromorphic functions and the Lebesgue measure of their Julia sets.