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>