Rational Misiurewicz maps for which the Julia set is not the whole sphere
We show that Misiurewicz maps for which the Julia set is not the whole sphere are Lebesgue density points of hyperbolic maps.
arXiv subjects
Publications and source records attributed to Magnus Aspenberg.
We show that Misiurewicz maps for which the Julia set is not the whole sphere are Lebesgue density points of hyperbolic maps.
In this paper we investigate the perturbation properties of rational Misiurewicz maps, when the Julia set is the whole sphere (the other case is treated in [1]). In particular, we show that if f is a Misiurewicz map and not a flexible Lattes map, then we can find a hyperbolic map arbitrarily close to f.
The Yoccoz puzzle is a fundamental tool in Holomorphic Dynamics. The original combinatorial argument by Yoccoz, based on the Branner-Hubbard tableau, counts the preimages of a non-degenerate annulus in the puzzle. However, in some important new applications of the puzzle (notably, matings of quadratic polynomials) there is no non-degenerate annulus. We develop a general combinatorial argument to handle this situation. It allows to derive corollaries, such as the local connectedness of the Julia set, for suitable families of rational maps.
Let f be a transcendental entire function for which the set of critical and asymptotic values is bounded. The Denjoy-Carleman-Ahlfors theorem implies that if the set of all z for which |f(z)|>R has N components for some R>0, then the order of f is at least N/2. More precisely, we have log log M(r,f) > (N/2) log r - O(1), where M(r,f) denotes the maximum modulus of f. We show that if f does not grow much faster than this, then the escaping set and the Julia set of f have positive Lebesgue measure. However, as soon as the order of f exceeds N/2, this need not be true. The proof requires a sharpened form of an estimate of Tsuji related to the Denjoy-Carleman-Ahlfors theorem.
In this paper we prove the existence and uniqueness of matings of the basilica with any quadratic polynomial which lies outside of the 1/2-limb of M, is non-renormalizable, and does not have any non-repelling periodic orbits.
We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree greater than or equal to 2 (generalising the earlier version math.DS/0701382).
We show that the set of Misiurewicz maps has Lebesgue measure zero in the parameter space of rational maps for any fixed degree greater than or equal to 2.