Rigidity of escaping dynamics for transcendental entire functions

We prove an analog of Boettcher's theorem for transcendental entire functions in the Eremenko-Lyubich class B. More precisely, let f and g be entire functions with bounded sets of singular values and suppose that f and g belong to the same parameter space (i.e., are *quasiconformally equivalent* in the sense of Eremenko and Lyubich). Then f and g are conjugate when restricted to the set of points which remain in some sufficiently small neighborhood of infinity under iteration. Furthermore, this conjugacy extends to a quasiconformal self-map of the plane. We also prove that this conjugacy is essentially unique. In particular, we show that an Eremenko-Lyubich class function f has no invariant line fields on its escaping set. Finally, we show that any two hyperbolic Eremenko-Lyubich class functions f and g which belong to the same parameter space are conjugate on their sets of escaping points.Comment: 28 pages; 2 figures. Final version (October 2008). Various modificiations were made, including the introduction of Proposition 3.6, which was not formally stated previously, and the inclusion of a new figure. No major changes otherwis

Hyperbolic entire functions and the Eremenko–Lyubich class: Class B or not class B?

Hyperbolicity plays an important role in the study of dynamical systems, and is a key concept in the iteration of rational functions of one complex variable. Hyperbolic systems have also been considered in the study of transcendental entire functions. There does not appear to be an agreed definition of the concept in this context, due to complications arising from the non-compactness of the phase space. In this article, we consider a natural definition of hyperbolicity that requires expanding properties on the preimage of a punctured neighbourhood of the isolated singularity. We show that this definition is equivalent to another commonly used one: a transcendental entire function is hyperbolic if and only if its postsingular set is a compact subset of the Fatou set. This leads us to propose that this notion should be used as the general definition of hyperbolicity in the context of entire functions, and, in particular, that speaking about hyperbolicity makes sense only within the Eremenko–Lyubich classB of transcendental entire functions with a bounded set of singular values. We also considerably strengthen a recent characterisation of the class B, by showing that functions outside of this class cannot be expanding with respect to a metric whose density decays at most polynomially. In particular, this implies that no transcendental entire function can be expanding with respect to the spherical metric. Finally we give a characterisation of an analogous class of functions analytic in a hyperbolic domain