Hyperbolic entire functions with full hyperbolic dimension and approximation by Eremenko-Lyubich functions
arXiv:1106.3439 · doi:10.1112/plms/pdt048
Abstract
We show that there exists a hyperbolic entire function of finite order of growth such that the hyperbolic dimension---that is, the Hausdorff dimension of the set of points in the Julia set of whose orbit is bounded---is equal to two. This is in contrast to the rational case, where the Julia set of a hyperbolic map must have Hausdorff dimension less than two, and to the case of all known explicit hyperbolic entire functions. In order to obtain this example, we prove a general result on constructing entire functions in the Eremenko-Lyubich class with prescribed behavior near infinity, using Cauchy integrals. This result significantly increases the class of functions that were previously known to be approximable in this manner. Furthermore, we show that the approximating functions are quasiconformally conjugate to their original models, which simplifies the construction of dynamical counterexamples. We also give some further applications of our results to transcendental dynamics.
36 pages, 1 figure. V3: Minor revisions from V2. To appear in Proceedings of the London Mathematical Society
References in corpus (2)
Cited by in corpus (11)
- Arc-like continua, Julia sets of entire functions, and Eremenko's Conjecture
- Non-local self-healing of Higgs inflation
- On invariance of order and the area property for finite-type entire functions
- Variations on a theme of Hardy concerning the maximum modulus
- Micromeasure distributions and applications for conformally generated fractals
- Eventual hyperbolic dimension of entire functions and Poincaré functions of polynomials
- Thermodynamic formalism and integral means spectrum of asymptotic tracts for transcendental entire functions
- The escaping set in transcendental dynamics
- On the dimension of the boundaries of attracting basins of entire maps
- A bouquet of pseudo-arcs
- Area of the complement of the fast escaping sets of a family of entire functions