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. Basic properties for R a and f • •

No abstract

Abstract. We show that the set of Misiurewicz maps has Lebesgue measure zero in the space of rational functions for any fixed degree d ≥ 2.

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.Comment: 17 page

<p style='text-indent:20px;'>We associate to a perturbation <inline-formula><tex-math id="M1">\begin{document}$ (f_t) $\end{document}</tex-math></inline-formula> of a (stably mixing) piecewise expanding unimodal map <inline-formula><tex-math id="M2">\begin{document}$ f_0 $\end{document}</tex-math></inline-formula> a two-variable fractional susceptibility function <inline-formula><tex-math id="M3">\begin{document}$ \Psi_\phi(\eta, z) $\end{document}</tex-math></inline-formula>, depending also on a bounded observable <inline-formula><tex-math id="M4">\begin{document}$ \phi $\end{document}</tex-math></inline-formula>. For fixed <inline-formula><tex-math id="M5">\begin{document}$ \eta \in (0,1) $\end{document}</tex-math></inline-formula>, we show that the function <inline-formula><tex-math id="M6">\begin{document}$ \Psi_\phi(\eta, z) $\end{document}</tex-math></inline-formula> is holomorphic in a disc <inline-formula><tex-math id="M7">\begin{document}$ D_\eta\subset \mathbb{C} $\end{document}</tex-math></inline-formula> centered at zero of radius <inline-formula><tex-math id="M8">\begin{document}$ &gt;1 $\end{document}</tex-math></inline-formula>, and that <inline-formula><tex-math id="M9">\begin{document}$ \Psi_\phi(\eta, 1) $\end{document}</tex-math></inline-formula> is the Marchaud fractional derivative of order <inline-formula><tex-math id="M10">\begin{document}$ \eta $\end{document}</tex-math></inline-formula> of the function <inline-formula><tex-math id="M11">\begin{document}$ t\mapsto \mathcal{R}_\phi(t): = \int \phi(x)\, d\mu_t $\end{document}</tex-math></inline-formula>, at <inline-formula><tex-math id="M12">\begin{document}$ t = 0 $\end{document}</tex-math></inline-formula>, where <inline-formula><tex-math id="M13">\begin{document}$ \mu_t $\end{document}</tex-math></inline-formula> is the unique absolutely continuous invariant probability measure of <inline-formula><tex-math id="M14">\begin{document}$ f_t $\end{document}</tex-math></inline-formula>. In addition, we show that <inline-formula><tex-math id="M15">\begin{document}$ \Psi_\phi(\eta, z) $\end{document}</tex-math></inline-formula> admits a holomorphic extension to the domain <inline-formula><tex-math id="M16">\begin{document}$ \{\, (\eta, z) \in \mathbb{C}^2\mid 0&lt;\Re \eta &lt;1, \, z \in D_\eta \,\} $\end{document}</tex-math></inline-formula>. Finally, if the perturbation <inline-formula><tex-math id="M17">\begin{document}$ (f_t) $\end{document}</tex-math></inline-formula> is horizontal, we prove that <inline-formula><tex-math id="M18">\begin{document}$ \lim_{\eta \in (0,1), \eta \to 1}\Psi_\phi(\eta, 1) = \partial_t \mathcal{R}_\phi(t)|_{t = 0} $\end{document}</tex-math></inline-formula>.</p>

In this paper we study perturbations of rational Collet-Eckmann maps for which the Julia set is the whole sphere, and for which the critical set is allowed to be slowly recurrent. We show that any such map is a Lebesgue density point of Collet-Eckmann maps in the space of rational maps of the same degree d ≥ 2.

We give a complete description of the possible Hausdorff dimensions of escaping sets for meromorphic functions with a finite number of singular values. More precisely, for any given d ∈ [ 0 , 2 ] d\in [0,2] we show that there exists such a meromorphic function for which the Hausdorff dimension of the escaping set is equal to d d . The main ingredient is to glue together suitable meromorphic functions by using quasiconformal mappings. Moreover, we show that there are uncountably many quasiconformally equivalent meromorphic functions for which the escaping sets have different Hausdorff dimensions.

We investigate Newton's method for complex polynomials of arbitrary degree d, normalized so that all their roots are in the unit disk. For each degree d, we give an explicit set S d of 3.33d log 2 d(1+o(1)) points with the following universal property: for every normalized polynomial of degree d there are d starting points in S d whose Newton iterations find all the roots with a low number of iterations: if the roots are uniformly and independently distributed, we show that with probability at least 1 − 2/d the number of iterations for these d starting points to reach all roots with precision ε is O(d 2 log 4 d + d log | log ε|). This is an improvement of an earlier result in [S2], where the number of iterations is shown to be O(d 4 log 2 d + d 3 log 2 d| log ε|) in the worst case (allowing multiple roots) and O(d 3 log 2 d(log d + log δ) + d log | log ε|) for well-separated (so-called δ-separated) roots.Our result is almost optimal for this kind of starting points in the sense that the number of iterations can never be smaller than O(d 2 ) for fixed ε.