×

Siegel disks with critical points in their boundaries. (English) Zbl 1037.37022

Let \(f\) be a holomorphic function in a domain \(V \subset \mathbb{C}\) with the neutral fixed-point \(0 \in V\), and let \(S \subset V\) be a maximal domain on which \(f\) is linearizable. This means that there is a conformal map \(h\) from the unit disk \(\mathbb{D}\) onto \(S\) such that \(h \circ R_\sigma = f \circ h\), where \(R_\sigma(z) := e^{2\pi i\sigma}z\) and \(f'(0)=e^{2\pi i\sigma}\). Assume that \(S\) is compactly contained in \(V\). Then \(S\) is called a proper Siegel disk for \(f\) with rotation number \(\sigma\).
The existence of Siegel disks was proved by C. Siegel in 1942 [Ann. Math. (2) 43, 613–616 (1942; Zbl 0138.31402)] provided that \(\sigma\) satisfies the following Diophantine condition: There exist constants \(\alpha \geq 0\) and \(K>0\) such that \(| q\sigma-p| \geq Kq^{-1-\alpha}\) for all positive coprime integers \(p\) and \(q\). A number \(\sigma\) is called of bounded type if this condition holds with \(\alpha=0\). P. Fatou [C. R. 168, 501–502 (1919; JFM 47.0298.02)] already proved in 1919 that for a rational function \(f\), the boundary of any Siegel disk is contained in the closure of the forward orbit of the set of critical points. A point \(c \in \mathbb{C}\) is a critical point of \(f\) if \(f'(c)=0\). It is clear that no critical point can be contained in \(S\).
A. Douady in 1980 and D. Sullivan in 1981 raised the question whether the boundary of a Siegel disk contains a critical point. Several authors contributed to this question, for example A. Douady [Astérisque 152/153, 151–172 (1987; Zbl 0638.58023)], É. Ghys [C. R. Acad. Sci. Paris, Sér. I 298, 385–388 (1984; Zbl 0573.58021)], and M. R. Herman [Commun. Math. Phys. 99, 593–612 (1985; Zbl 0587.30040)].
Here, the authors prove that, if \(S\) is a Siegel disk of \(f\) with a rotation number of bounded type such that \(S\) is compactly contained in the domain of holomorphy of \(f\), then \(\partial S\) contains a critical point of \(f\). In particular, this is true if \(f\) is an entire function and \(S\) is a bounded domain. The main idea of the proof is to avoid the standard technique of quasiconformal deformations. Instead, the authors estimate a normalized Schwarzian derivative and apply the Ahlfors-Weill theorem.

MSC:

37F10 Dynamics of complex polynomials, rational maps, entire and meromorphic functions; Fatou and Julia sets
37E45 Rotation numbers and vectors
37C25 Fixed points and periodic points of dynamical systems; fixed-point index theory; local dynamics
30C10 Polynomials and rational functions of one complex variable
30D05 Functional equations in the complex plane, iteration and composition of analytic functions of one complex variable
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] L. Ahlfors and G. Weill, A uniqueness theorem for Beltrami equations , Proc. Amer. Math. Soc. 13 (1962), 975–978. JSTOR: · Zbl 0106.28504 · doi:10.2307/2034099
[2] A. Douady, Disques de Siegel et anneaux de Herman , Astérisque 152 –. 153 (1987), 4, 151–172., Séminaire Bourbaki 1986/87, exp. 677. · Zbl 0638.58023
[3] P. Fatou, Sur les équations fonctionnelles , Bull. Soc. Math. France 47 (1919), 161–271.; 48 (1920), 33–94., 208–314. · JFM 47.0921.02
[4] É. Ghys, Transformations holomorphes au voisinage d’une courbe de Jordan , C. R. Acad. Sci. Paris Sér. I Math. 298 (1984), 385–388. · Zbl 0573.58021
[5] M.-R. Herman, Sur la conjugaison différentiable des difféomorphismes du cercle à des rotations , Inst. Hautes Études Sci. Publ. Math. 49 (1979), 5–233. · Zbl 0448.58019 · doi:10.1007/BF02684798
[6] –. –. –. –., Are there critical points on the boundaries of singular domains? , Comm. Math. Phys. 99 (1985), 593–612. · Zbl 0587.30040 · doi:10.1007/BF01215911
[7] –. –. –. –., “Recent results and some open questions on Siegel’s linearization theorem of germs of complex analytic diffeomorphisms of \(C^ n\) near a fixed point” in VIIIth International Congress on Mathematical Physics (Marseille, 1986) , ed. M. Mebkhout and R. Sénéor, World Sci., Singapore, 1987, 138–184.
[8] C. L. Siegel, Iterations of analytic functions , Ann. of Math. (2) 43 (1942), 607–612. JSTOR: · Zbl 0061.14904 · doi:10.2307/1968952
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.