正則関数の例

それでは正則関数の例について見ていこう。

f(z)=z2f(z)=z^2z=αz=\alphaの周りで一次式2α(zα)+α22\alpha(z-\alpha)+\alpha^2で近似できる。 これを図示して確かめよう。 f(z)=z2f(z)=z^2で実軸平行な直線や虚軸平行な直線がどのように映るかを書いてみる。

nn00以上の整数としてf(z)=znf(z)=z^nは正則関数である。

正則関数どうしの和や積は正則関数である。 正則関数の比は分母が00でない範囲で正則。

zzについての多項式は正則関数である。

zzについての有理式は、分母が00になる点を除いて正則関数である。

それでは正則でない関数にはどのようなものがあるか。

f(z)=zˉf(z)=\bar{z}は正則ではない。

まず直感的な説明をする。 f(z)=az+bf(z)=az+bと近似できるのであれば、実軸と虚軸の角は保たれる。 ところが、f(z)f(z)でうつすと実軸と虚軸の向きが逆になる。 よって、一次式で近似することはできない。

また、これは等角ではないため正則ではないということもできる。 複素係数の一次式で近似できるなら、近似的には等角である。 回転拡大と平行移動は等角なため。

また、f(z)=xiyf(z)=x-iyを二変数関数と見たとき、A=(1001)A=\begin{pmatrix}1&0\\\\0&-1\end{pmatrix}f(z)f(z)を近似する(この場合には近似ではなくて一致するが)行列となる。

定義に直接基づいた証明も行おう。 hhが実数で近づいた場合と、純虚数で近づいた場合に極限値が異なることを確かめる。 z=x+iyz=x+iyとして

limh0,hR(x+hiy)(xiy)h=1limh0,hR(xi(y+h))(xiy)ih=1 \lim_{h\to0, h\in\mathbb{R}}\frac{(x+h-iy)-(x-iy)}{h}=1 \lim_{h\to0, h\in\mathbb{R}}\frac{(x-i(y+h))-(x-iy)}{ih}=-1

となるので、微分可能でない。

f(z)=zf(z)=\lvert z \rvertは正則ではないことを示せ。