A transcendental Julia set of dimension 1 (Q1637299)

The Julia set \(\mathcal{J}(f)\) of an entire function \(f\) is the set where the family of iterates \(\{f^n\}\) fails to be normal. By a result of \textit{I. N. Baker} [Ann. Acad. Sci. Fenn., Ser. A I, Math. 1, 277--283 (1975; Zbl 0329.30019)], the Julia set of a transcendental entire function contains a nontrivial continua and thus has Hausdorff dimension at least \(1\). A result of \textit{C. McMullen} [Trans. Am. Math. Soc. 300, 329--342 (1987; Zbl 0618.30027)] proves that the Julia set \(\mathcal{J}(\lambda e^z)\) of any member of exponential family \(\lambda e^z,\lambda\neq 0\), always has Hausdorff dimension \(2\) and we have \(\mathcal{J}(e^z)=\mathbb{C}\) by a result of \textit{M. Misiurewicz} [Ergodic Theory Dyn. Syst. 1, 103--106 (1981; Zbl 0466.30019)]. \textit{G. M. Stallard} [Ergodic Theory Dyn. Syst. 11, No. 4, 769--778 (1991; Zbl 0728.58015); Math. Proc. Camb. Philos. Soc. 119, No. 3, 513--536 (1996; Zbl 0852.30018); Math. Proc. Camb. Philos. Soc. 122, No. 2, 223--244 (1997; Zbl 0885.30021); J. Lond. Math. Soc., II. Ser. 61, No. 2, 471--488 (2000; Zbl 0998.30025)] proved that for any \(d\in(1,2)\) there exists a transcendental entire function \(f\) such that \(\mathcal{J}(f)\) has Hausdorff dimension \(d\). In this paper the author gives a positive answer for the case \(d=1\) by constructing a transcendental entire function \(f\) for which the Julia set has Hausdorff dimension \(1\). In fact, \(\mathcal{H}^1(\mathcal{J}(f)\cup D(x,r))=O(r)\) for every \(x\in \mathbb{C}\), where \(\mathcal{H}^1(\cdot)\) denotes the one-dimensional Hausdorff measure and \(D(x,r)\) is the disk of radius \(r\) centered at \(x\). Moreover, \(\mathcal{J}(f)\) has packing dimension \(1\), and given any function \(\psi\) satisfying \[ \lim\limits_{t\to \infty}\psi(t)t^{-n}=\infty \] for every \(n\), one may choose \(f\) such that \(|f(z)|=o(\psi(|z|))\) as \(|z|\to \infty\). The function constructed in present paper is also the first example with a multiply connected wandering domain where the dynamics can be fully characterized.