数学、特に複素力学系に於けるファトゥ成分(ファトゥせいぶん、: Fatou components )は、ファトゥ集合成分のことを言う。

有理関数の場合

編集

f が拡張複素平面で定義された有理関数

 

で、(次数が 1 より大きい)非線型関数であり、

 

が成立するなら、ファトゥ集合の周期成分   に対して、次のいずれか唯一つが成立する:

  1.  吸引周期点を含む;
  2.  放物型である[1]
  3.  ジーゲル円板である;
  4.   エルマン環である。

この三つ目が成立するのは、f(z) が単位円板からそれ自身への上へのユークリッド回転と解析的に共役である場合のみであることが示される。また四つ目が成立するのは、f(z) があるアニュラスからそれ自身へのユークリッド回転と解析的に共役である場合のみであることが示される。

吸引周期点

編集

写像   の成分は、  の解であるような吸引点を含む。これはなぜなら、そのような写像は方程式  の解をニュートン・ラフソン法によって見つけるために用いられるものであるからである。そのような解は自然、吸引的な不動点になる。

エルマン環

編集

写像

 

と t = 0.6151732... によって、エルマン環が構成される[2]。そのような写像の次数は、この例においては少なくとも 3 であることが宍倉光広によって示されている。

超越的な場合

編集

超越関数の場合、次のベーカー領域(Baker domain)が存在する:その上での反復が真性特異点に近付くような領域(多項式および有理関数では起こり得ない)[3][4]。次の関数がその例である[5]

 

参考文献

編集
  • Lennart Carleson and Theodore W. Gamelin, Complex Dynamics, Springer 1993.
  • Alan F. Beardon Iteration of Rational Functions, Springer 1991.

脚注

編集
  1. ^ wikibooks : parabolic Julia sets
  2. ^ Milnor, John W. (1990), Dynamics in one complex variable, arXiv:math/9201272 
  3. ^ An Introduction to Holomorphic Dynamics (with particular focus on transcendental functions)by L. Rempe
  4. ^ Siegel Discs in Complex Dynamics by Tarakanta Nayak
  5. ^ A transcendental family with Baker domains by Aimo Hinkkanen , Hartje Kriete and Bernd Krauskopf

関連項目

編集

外部リンク

編集