ジーゲル円板
数学、特に複素力学系に於けるジーゲル円板（ジーゲルえんばん、英: Siegel disc ）は、ファトゥ集合の連結成分であって、その挙動が無理回転と解析的に共役であるものを言う。数学者カール・ジーゲルの名に因む。
解説
リーマン面 [math]S[/math] 上のある正則な自己準同型写像 [math]f:S\to S[/math] が与えられるとき、[math]f^n=f\circ\stackrel{\left(n\right)}{\cdots}\circ f[/math] で表される [math]f[/math] の反復適用によって生成される力学系を考える。このとき、[math]z_0[/math] の前進反復よりなる集合を [math]z_0[/math] の軌道 [math]\mathcal{O}^+(z_0)[/math] と呼ぶ。ここでの興味は [math]S[/math] 内の軌道（通常は複素平面 [math]\mathbb{C}[/math] あるいはリーマン球面 [math]\mathbb{\hat C}=\mathbb{C}\cup\{\infty\}[/math] の中で考える）の漸近挙動にあり、[math]S[/math] は相平面あるいは「力学的平面」と呼ばれる。
ある点 [math]z_0[/math] に対する漸近挙動としてあり得るものの一つは、不動点あるいはより一般に、周期点である。後者では、周期 [math]p[/math] に対して [math]f^p(z_0)=z_0[/math] が成立し、特に [math]p=1[/math] は [math]z_0[/math] が不動点であることを意味する。すると軌道の「積」を [math]\rho=(f^p)'(z_0)[/math] として定義することが出来、このことより周期軌道の分類が可能となる：[math]|\rho|\lt 1[/math] ならば「吸引的」（attracting）、[math]|\rho|=0[/math] ならば「超吸引的」（superattracting）、[math]|\rho|\gt 1[/math] ならば「反発的」（repelling）、[math]\rho=1[/math] ならば「中立的」（indifferent）と呼ばれる。中立的な周期軌道はさらに、ある [math]n\in\mathbb{Z}[/math] に対して [math]\rho^n=1[/math] となるか、すべての [math]n\in\mathbb{Z}[/math] に対して [math]\rho^n\neq1[/math] であるかに依存して、それぞれ「有理中立」（rationally indifferent）および「無理中立」（irrationally indifferent）と呼ばれる。
ジーゲル円板は、ファトゥ成分の分類によると、ファトゥ集合の連結成分の一つであり、無理中立な周期点の周りにおいて生じ得る。ジーゲル円板は、[math]f[/math] の挙動が複素円板の無理回転と解析的に共役であるような点に対応する。
ギャラリー
- SiegelDisk.jpg
多項式類似写像に対するジーゲル円板
- UnboundedSiegeldisk.jpg
[math]a=-0.33258+0.10324i[/math] および黄金比 [math]\lambda[/math] に対する [math]B(z)=\lambda a(e^{z/a}(z+1-a)+a-1)[/math] のジュリア集合。ジーゲル円板の内側のいくつかの点の軌道が強調されている。ジーゲル円板は非有界であるか、その境界が分解不能な連続体であるかのいずれかである[1]。
- Golden Mean Quadratic Siegel Disc.png
ジーゲル円板とその内側のいくつかの軌道を伴う、黄金平均回転数に対する [math]f_c(z) = z^2 + c[/math] の充填ジュリア集合。
- Siegel quadratic 3,2,1000,1... ,.png
回転数 [3,2,1000,1...] に対するジーゲル円板を伴う二次多項式のジュリア集合。
正式な定義
[math]S[/math] はリーマン面、[math]f:S\to S[/math] は正則な自己準同型写像とし、U はそのファトゥ集合 [math]\mathcal{F}(f)[/math] の連結成分とする。U が点 z0 の周りでの f のジーゲル円板であるとは、単位円板 [math]\mathbb{D}[/math] に対する解析的な位相同型写像 [math]\phi:U\to\mathbb{D}[/math] で、ある [math]\alpha\in\mathbb{R}\backslash\mathbb{Q}[/math] に対して [math]\phi(f^n(\phi^{-1}(z)))=e^{2\pi i\alpha}z[/math] であり、かつ [math]\phi(z_0)=0[/math] であるようなものが存在することを言う。
ジーゲルの定理では、ある「強無理性条件」（ディオファントス条件）を満たす無理数に対するジーゲル円板の存在が示された。これにより、ファトゥ成分の分類に関してピエール・ファトゥが提唱していた未解決問題が解かれた[2]。
後日、アレクサンドル・ブルーノはこの無理性に関する条件を改善し、ブルーノ数までその条件を弱めた[3]。
これはファトゥ成分の分類による結果の一部である。
関連項目
参考文献
- ↑ Rubén Berenguel and Núria Fagella An entire transcendental family with a persistent Siegel disc, 2009 preprint: arXiV:0907.0116
- ↑ 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.)