ABSTRACT
Rogers [11, 12] defines a bounded irreducible local Siegel disk to be a pair (G, /), where G is a bounded simply connected plane domain (open and connected), dG irreducibly separates the plane, and / is a conformal automorphism of G analytically conjugate to a rigid irrational rotation of A such that / extends continuously to dG. (Note that / need not extend analytically beyond G.) Henceforth, we simply use the term "local Siegel disk".
