A Siegel disc or Siegel disk is a connected component in the Fatou set where the dynamics is analytically conjugate to an irrational rotation.
Description Given a holomorphic endomorphism f : S → S {\displaystyle f:S\to S} on a Riemann surface S {\displaystyle S} we consider the dynamical system generated by the iterates of f {\displaystyle f} denoted by f n = f ∘ ⋯ ( n ) ∘ f {\displaystyle f^{n}=f\circ {\stackrel {\left(n\right)}{\cdots }}\circ f} . We then call the orbit O + ( z 0 ) {\displaystyle {\mathcal {O}}^{+}(z_{0})} of z 0 {\displaystyle z_{0}} as the set of forward iterates of z 0 {\displaystyle z_{0}} . We are interested in the asymptotic behavior of the orbits in S {\displaystyle S} (which will usually be C {\displaystyle \mathbb {C} } , the complex plane or C ^ = C ∪ { ∞ } {\displaystyle \mathbb {\hat {C}} =\mathbb {C} \cup \{\infty \}} , the Riemann sphere), and we call S {\displaystyle S} the phase plane or dynamical plane. One possible asymptotic behavior for a point z 0 {\displaystyle z_{0}} is to be a fixed point, or in general a periodic point. In this last case f p ( z 0 ) = z 0 {\displaystyle f^{p}(z_{0})=z_{0}} where p {\displaystyle p} is the period and p = 1 {\displaystyle p=1} means z 0 {\displaystyle z_{0}} is a fixed point. We can then define the multiplier of the orbit as ρ = ( f p ) ′ ( z 0 ) {\displaystyle \rho =(f^{p})'(z_{0})} and this enables us to classify periodic orbits as attracting if | ρ | < 1 {\displaystyle |\rho |<1} superattracting if | ρ | = 0 {\displaystyle |\rho |=0} ), repelling if | ρ | > 1 {\displaystyle |\rho |>1} and indifferent if | ρ | = 1 {\displaystyle |\rho |=1} . Indifferent periodic orbits can be either rationally indifferent or irrationally indifferent, depending on whether ρ n = 1 {\displaystyle \rho ^{n}=1} for some n ∈ Z {\displaystyle n\in \mathbb {Z} } or ρ n ≠ 1 {\displaystyle \rho ^{n}\neq 1} for all n ∈ Z {\displaystyle n\in \mathbb {Z} } , respectively. Siegel discs are one of the possible cases of connected components in the Fatou set (the complementary set of the Julia set), according to Classification of Fatou components, and can occur around irrationally indifferent periodic points. The Fatou set is, roughly, the set of points where the iterates behave similarly to their neighbours (they form a normal family). Siegel discs correspond to points where the dynamics of f {\displaystyle f} are analytically conjugate to an irrational rotation of the complex unit disc.
Name The Siegel disc is named in honor of Carl Ludwig Siegel.
Gallery
… excerpt ends here. Continue reading the full article.
