エルマン環

数学、特に複素力学系に於けるエルマン環（エルマンかん、英: Herman ring）は、ファトゥ成分の一つである^[1]。数学者マイケル・エルマン（英語版）にちなむ。

エルマン環の有理関数は標準的なアニュラスの無理回転と共形共役である。

正式な定義[編集]

ƒ が周期 p のエルマン環 U を持つとは、ある等角写像

\phi :U\rightarrow \{\zeta :0<r<|\zeta |<1\}

および無理数 $\theta$ が存在して、次が成り立つことを言う：

\phi \circ f^{\circ p}\circ \phi ^{-1}(\zeta )=e^{2\pi i\theta }\zeta .

したがってエルマン環上の力学系は単純である。

エルマン環を持つ有理関数の一例として、次が挙げられる^[1]。

f(z)={\frac {e^{2\pi i\tau }z^{2}(z-4)}{1-4z}}

ここで $\tau =0.6151732\dots$ であり、単位円上での ƒ の回転数は $({\sqrt {5}}-1)/2$ になる。

下に示される図は ƒ のジュリア集合である。すなわち、白いアニュラスの中の曲線は ƒ の反復に対するいくつかの点の軌道であり、点線の部分が単位円である。

エルマン環とある周期放物型ファトゥ成分を同時に持つ有理関数の一例を、次の図に挙げる。

さらに、周期 2 のエルマン環を持つ有理関数の一例を次に挙げる。

この有理関数の表現は次のようになる。

g_{a,b,c}(z)={\frac {z^{2}(z-a)}{z-b}}+c,\,

ただし

{\begin{aligned}a&=0.17021425+0.12612303i,\\b&=0.17115266+0.12592514i,\\c&=1.18521775+0.16885254i.\end{aligned}}

この例は、周期 2 のジーゲル円板を持つ二次多項式

h(z)=z^{2}-1-{\frac {e^{{\sqrt {5}}\pi i}}{4}}

からの準共形手術によって構成される^[3]。パラメータ a, b, c は試行錯誤によって得られたものである。

現在を

{\begin{aligned}a&=0.14285933+0.06404502i,\\b&=0.14362386+0.06461542i,{\text{ and}}\\c&=0.18242894+0.81957139i,\end{aligned}}

とすると、g_a,b,c のエルマン環の一つの周期は 3 である。

宍倉光広はまた別の例を与えている^[4]。それもまた周期 2 のエルマン環を持つ有理関数であるが、パラメータは上記のものとは異なる。

したがってより高次の周期のエルマン環を持つ有理関数の式を見つける方法はあるのかと言う、一つの疑問が生じる。

宍倉の結果によると、有理関数 ƒ がエルマン環を持つなら、ƒ の次数は少なくとも 3 となる。エルマン環を持つ有理型関数も存在する。

^ ^a ^b John Milnor, Dynamics in one complex variable: Third Edition, Annals of Mathematics Studies, 160, Princeton Univ. Press, Princeton, NJ, 2006.
^ Omitted Values and Herman rings by Tarakanta Nayak
^ Mitsuhiro Shishikura, On the quasiconformal surgery of rational functions. Ann. Sci. Ecole Norm. Sup. (4) 20 (1987), no. 1, 1–29.
^ Mitsuhiro Shishikura, Surgery of complex analytic dynamical systems, in "Dynamical Systems and Nonlinear Oscillations", Ed. by Giko Ikegami, World Scientic Advanced Series in Dynamical Systems, 1, World Scientic, 1986, 93–105.