On biaccessible points in the Julia sets of some rational functions (Q971981)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On biaccessible points in the Julia sets of some rational functions
scientific article

    Statements

    On biaccessible points in the Julia sets of some rational functions (English)
    0 references
    0 references
    17 May 2010
    0 references
    Let \(\Omega\subset\widehat{\mathbb C}:=\mathbb C\cup\{\infty\}\) be a simply connected domain such that \(\partial \Omega\) contains more than one point. An external ray in \(\Omega\) is the image of a ray \(\ell_t:=\{re^{it}:r>1\}\), \(t\in\mathbb R\), under the conformal mapping \(\Phi:\infty\mapsto\infty\) of~\(\{z\in\hat{\mathbb C}:|z|>1\}\) onto~\(\Omega\). An external ray \(R\) is said to land at a point \(z_0\in\partial\Omega\) if \({\text{cl}}(R)\cap\partial\Omega=\{z_0\}\). A point \(z_0\in\partial \Omega\) is said to be biaccessible from \(\Omega\) if there exist two different external rays that land at~\(z_0\). It is known that \(z_0\in\partial\Omega\) is biaccessible from \(\Omega\) if and only if \(z_0\) is a cut-point of \(\partial\Omega\), i.e., if \(\partial\Omega\setminus\{z_0\}\) is not connected. The paper is devoted to biaccessible points of immediate basins of attraction~\(\mathcal A_\infty\) for rational functions having a superattracting point at~\(\infty\) and an irrationally indifferent fixed point in~\(\mathbb C\). The interest in the biaccessible points is motivated by the fact that for polynomials, \(\partial \mathcal A_\infty\) coincides with the Julia set. As an extension of a result from [\textit{S. Zakeri}, ``Biaccessibility in quadratic Julia sets'', Ergodic Theory Dyn. Syst. 20, No.6, 1859--1883 (2000; Zbl 0970.37037)] the author proves the following theorem: Let \(f\) be of the form~\(f(z)=z^d+c\), \(c\in\mathbb C\), \(d\in\mathbb N\), \(d\geq2\). Suppose that \(f\) has an irrationally indifferent fixed point~\(\alpha\) and that \(\mathcal A_\infty\) has a biaccessible point~\(z_0\). If \(\alpha\) is a Siegel point, then \(0\in \mathcal O^+(z_0):=\{f^{\circ n}(z_0):n=0,1,\ldots\}\). If \(\alpha\) is a Cremer point, then either \(0\in\mathcal O^+(z_0)\) or \(\alpha\in\mathcal O^+(z_0)\). A similar result is obtained for the family \(g_\theta(z):=e^{2\pi i\theta}z+z^d\), \(\theta\in\mathbb R\): if the origin is a Siegel point of \(g_\theta\), or, alternatively, the origin is a Cremer point of~\(g_\theta\) but does not belong to~\(\mathcal O^+(z_0)\), then at least one of the critical points of~\(g_\theta\) is contained in~\(\mathcal O^+(z_0)\). Finally, for the family \(h_{\theta,a}(z):=e^{2\pi i\theta}z^2(z-a)/(1-\bar a z)\), \(\theta\in\mathbb R\), \(|a|>3\), of finite Blaschke products, the author proves that if the rotation number of \(h_{\theta,a}|_{|z|=1}\) is irrational and \(\mathcal A_\infty\) has a biaccessible point~\(z_0\), then \(\mathcal O^+(z_0)\) contains the critical point of~\(h_{\theta,a}\) that lies in~\(\{z:|z|>1\}\).
    0 references
    Julia set
    0 references
    Fatou set
    0 references
    basin of attraction
    0 references
    biaccessible point
    0 references
    Siegel point
    0 references
    Cremer point
    0 references
    linearization
    0 references
    cut point
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references