Hausdorff measure of the escaping parameter without endpoints is zero for exponential family (Q1722046)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hausdorff measure of the escaping parameter without endpoints is zero for exponential family
scientific article

    Statements

    Hausdorff measure of the escaping parameter without endpoints is zero for exponential family (English)
    0 references
    0 references
    0 references
    0 references
    14 February 2019
    0 references
    The Julia set of $\lambda e^z$, where $0<\lambda <1/e$, is a so-called Cantor bouquet, consisting of uncountably many pairwise disjoint curves (called Devaney hairs or rays) which connect a point in the plane (called the endpoint) with $\infty$. \par \textit{C. McMullen} [Trans. Am. Math. Soc. 300, 329--342 (1987; Zbl 0618.30027)] showed that the Julia set has Hausdorff dimension $2$, and \textit{B. Karpińska} [C. R. Acad. Sci., Paris, Sér. I, Math. 328, No. 11, 1039--1044 (1999; Zbl 0955.37024)] proved the surprising result that the Hausdorff dimension of the set of hairs without their endpoints is $1$. The latter result was sharpened by \textit{W. Bergweiler} and \textit{J. Wang} [Math. Z. 281, No. 3--4, 931--947 (2015; Zbl 1343.37024)] who showed that the Hausdorff measure of this set with respect to the gauge function $h(t)=t/(\log(1/t))^s$ is equal to 0 if $s>1$. \par In this paper a corresponding result for the parameter space is obtained. Using the parametrization $E_\kappa(z)=e^z+\kappa$ the authors consider the set $J=\big\{\kappa:E_\kappa^n (\kappa)\to \infty \ \text{as}\ n\to\infty\big\}$. \textit{M. Förster} and \textit{D. Schleicher} [Ergodic Theory Dyn. Syst. 29, No. 2, 515--544 (2009; Zbl 1160.37364)] proved that $J$ consists of hairs and \textit{W. Qiu} [Acta Math. Sin., New Ser. 10, No. 4, 362--368 (1994; Zbl 0817.30011)] proved the analogue of McMullen's result, i.e., that $J$ has Hausdorff dimension 2. \textit{M. Bailesteanu} et al. [Nonlinearity 21, No. 1, 113--120 (2008; Zbl 1142.37033)] proved the analogue of Karpińska's result, namely that if $E$ denotes the set of endpoints of the hairs in $J$, then $J\backslash E$ has Hausdorff dimension 1. \par The main result of the current paper is that $J\backslash E$ has Hausdorff measure $0$ with respect to the gauge function $h(t)=t/(\log(1/t))^s$ if $s>1$.
    0 references
    0 references
    Hausdorff measure
    0 references
    gauge function
    0 references
    escaping set
    0 references
    external ray
    0 references
    parameter ray
    0 references
    Devaney hair
    0 references
    exponential function
    0 references
    Julia set
    0 references
    0 references
    0 references