ジーゲル円板

数学、特に複素力学系に於けるジーゲル円板（ジーゲルえんばん、 ）は、ファトゥ集合の連結成分であって、その挙動が無理回転と解析的に共役であるものを言う。数学者カール・ジーゲルの名に因む。

 解説 
リーマン面  上のある正則な自己準同型写像  が与えられるとき、 で表される  の反復適用によって生成される力学系を考える。このとき、 の前進反復よりなる集合を  の軌道  と呼ぶ。ここでの興味は  内の軌道（通常は複素平面  あるいはリーマン球面  の中で考える）の漸近挙動にあり、 は相平面(phase plane)あるいは「力学的平面」と呼ばれる。

ある点  に対する漸近挙動としてあり得るものの一つは、不動点あるいはより一般に、周期点である。後者では、周期  に対して  が成立し、特に  は  が不動点であることを意味する。すると軌道の「積」を  として定義することが出来、このことより周期軌道の分類が可能となる： ならば「吸引的」（attracting）、 ならば「超吸引的」（superattracting）、 ならば「反発的」（repelling）、 ならば「中立的」（indifferent）と呼ばれる。中立的な周期軌道はさらに、ある  に対して  となるか、すべての  に対して  であるかに依存して、それぞれ「有理中立」（rationally indifferent）および「無理中立」（irrationally indifferent）と呼ばれる。

ジーゲル円板は、ファトゥ成分の分類によると、ファトゥ集合の連結成分の一つであり、無理中立な周期点の周りにおいて生じ得る。ジーゲル円板は、 の挙動が複素円板の無理回転と解析的に共役であるような点に対応する。

 ギャラリー 

 正式な定義 
 はリーマン面、 は正則な自己準同型写像とし、U はそのファトゥ集合  の連結成分とする。U が点 z0 の周りでの f のジーゲル円板であるとは、単位円板  に対する解析的な位相同型写像  で、ある  に対して  であり、かつ  であるようなものが存在することを言う。

ジーゲルの定理では、ある「強無理性条件」（ディオファントス条件）を満たす無理数に対するジーゲル円板の存在が示された。これにより、ファトゥ成分の分類に関してピエール・ファトゥが提唱していた未解決問題が解かれたLennart Carleson and Theodore W. Gamelin, Complex Dynamics, Springer 1993。

後日、はこの無理性に関する条件を改善し、ブルーノ数までその条件を弱めたJohn W. Milnor, Dynamics in One Complex Variable (Third Edition), Annals of Mathematics Studies 160, Princeton University Press 2006 (First appeared in 1990 as a Stony Brook IMS Preprint , available as arXiV:math.DS/9201272.)。

これはファトゥ成分の分類による結果の一部である。

 関連項目 
 複素力学系
 ファトゥ成分の分類
 カール・ジーゲル

 参考文献 

 Siegel disks ar Scholarpedia

Category:フラクタル
Category:極限集合
Category:複素力学系
Category:数学に関する記事