On the invariant sets of a family of quadratic maps (Q790987)

Denote by \(f(z)=f(\lambda,z)=(\lambda -z)^ 2\), where \(\lambda\) is constant, and by \(J(\lambda)\) the Julia set of those points of the complex plane in whose neighbourhood the iterates \(f^ n\), \(n=1,2,...\), do not form a normal family. For \(\lambda =2\) the set \(J(\lambda)\) is the interval [0,4], while for \(\lambda>2\), \(J(\lambda)\) is a Cantor set. In this case the authors obtain an upper bound for the Hausdorff dimension of J, which is sharper than that of \textit{H. Brolin} [Ark. Mat. 6, 103-144 (1965; Zbl 0127.034)]. They further discuss a measure \(\sigma\) on \(J(\lambda)\) invariant under f and the set of monic polynomials orthogonal with respect to \(\sigma\). For the case \(\lambda =2\) these polynomials reduce to \(2T_ n(frac{1}{2}x-1)\), where \(T_ n\) is the n- th Chebyshev polynomial. In the case -1/4\(\leq \lambda \leq 2\), \(J(\lambda)\) is connected. The authors discuss two different limiting processes to describe \(J(\lambda)\) and in particular the function which maps its exterior to the exterior of the unit disc with \(\infty\) as a fixed point. It turns out also for all complex \(\lambda\) such that \(| \lambda |<1/4\) the set \(J(\lambda)\) is a Hölder continuous curve.