ファトゥ成分の分類
数学、特に複素力学系に於けるファトゥ成分(ファトゥせいぶん、英: Fatou components )は、ファトゥ集合の成分のことを言う。
Contents
有理関数の場合
- [math]f = \frac{P(z)}{Q(z)}[/math]
で、(次数が 1 より大きい)非線型関数であり、
- [math]\max(\deg(P),\, \deg(Q))\geq 2 [/math]
が成立するなら、ファトゥ集合の周期成分 [math]U[/math] に対して、次のいずれか唯一つが成立する:
- [math]U[/math] は吸引周期点を含む;
- [math]U[/math] は放物型である[1];
- [math]U[/math] はジーゲル円板である;
- [math]U[/math] エルマン環である。
この三つ目が成立するのは、f(z) が単位円板からそれ自身への上へのユークリッド回転と解析的に共役である場合のみであることが示される。また四つ目が成立するのは、f(z) があるアニュラスからそれ自身へのユークリッド回転と解析的に共役である場合のみであることが示される。
例
- Fatou componenets 3.png
吸引的なサイクルを持つジュリア集合
- Parabolic Julia set for internal angle 1 over 15.png
放物型ジュリア集合
- Quadratic Golden Mean Siegel Disc Average Velocity - Gray.png
ジーゲル円板を含むジュリア集合
- Herman Standard.png
エルマン環を含むジュリア集合
吸引周期点
写像 [math]f(z) = z - (z^3-1)/3z^2[/math] の成分は、[math]z^3=1[/math] の解であるような吸引点を含む。これはなぜなら、そのような写像は方程式[math]z^3=1[/math] の解をニュートン・ラフソン法によって見つけるために用いられるものであるからである。そのような解は自然、吸引的な不動点になる。
エルマン環
写像
- [math]f(z) = e^{2 \pi i t} z^2(z - 4)/(1 - 4z)\ [/math]
と t = 0.6151732... によって、エルマン環が構成される[2]。そのような写像の次数は、この例においては少なくとも 3 であることが宍倉光広によって示されている。
超越的な場合
超越関数の場合、次のベーカー領域(Baker domain)が存在する:その上での反復が真性特異点に近付くような領域(多項式および有理関数では起こり得ない)[3][4]。次の関数がその例である[5]。
[math]f(z) = z - 1 + (1 - 2z)e^z[/math]
関連項目
外部リンク
参考文献
- Lennart Carleson and Theodore W. Gamelin, Complex Dynamics, Springer 1993.
- Alan F. Beardon Iteration of Rational Functions, Springer 1991.
- ↑ wikibooks : parabolic Julia sets
- ↑ Milnor, John W. (1990), Dynamics in one complex variable, arXiv:math/9201272
- ↑ An Introduction to Holomorphic Dynamics (with particular focus on transcendental functions)by L. Rempe
- ↑ Siegel Discs in Complex Dynamics by Tarakanta Nayak
- ↑ A transcendental family with Baker domains by Aimo Hinkkanen , Hartje Kriete and Bernd Krauskopf