複素関数論

ド・モアブルの定理

$z=r(\cos\theta+i\sin\theta)$ のとき

$$z^n=r^n(\cos{n\theta}+i\sin{n\theta})$$

ただし、$n$ は任意の整数

コーシー・リーマンの関係式

複素関数 $f(x+iy)=u(x,y)+iv(x,y)$ において、以下の関係をコーシー・リーマンの関係式 (以下、CRの関係式) という。

$$\begin{aligned} \dfrac{\partial u}{\partial x}(x,y)&=\dfrac{\partial v}{\partial y}(x,y)\\ \dfrac{\partial u}{\partial y}(x,y)&=-\dfrac{\partial v}{\partial x}(x,y) \end{aligned}$$

$f(z)$ が $z$ で微分可能であることは、$u(x,y),v(x,y)$ が全微分可能かつCRの関係式が成り立つことに等しい。

複素関数の積分

区分的に滑らかな積分路 $C$ における複素関数 $f(z)$ の積分は、$z(t)=x(t)+y(t)\;(a\le t\le b)$ とおくと

$$\int_Cf(z)dz=\int_a^bf(z(t)) \dfrac{dz(t)}{dt}dt$$

と表せる。

性質

1. $\int_C\{f(z)+g(z)\}dz=\int_Cf(z)dz+\int_Cg(z)dz$
2. $\int kf(z)dz=k\int f(z)dz$
3. $\int_{-C}f(z)dz=-\int_Cf(z)dz$
4. $\int_Cf(z)dz=\int_{C_1}f(z)dz+\int_{C_2}f(z)dz$

コーシーの積分定理

$f(z)=u+iv$ は $D$ で正則であり、かつ $u,v$ は $C^1$ 級であるとする。 単純閉曲線 $C$ で囲まれた領域を $\Omega$ として、$\bar\Omega$ が $D$ に含まれるならば、次が成り立つ。

$$\oint_{C}f(z)dz=0$$

積分路の変形I

$f(z)$ が単連結領域 $D$ で正則とする。2つの曲線 $C_1,C_2\in D$ が共通の始点と終点をもつとき

$$\int_{C_1}f(z)dz=\int_{C_2}f(z)dz$$

積分路の変形II

単純閉曲線 $C_1,C_2$ で囲まれた環状領域を $D$ とし、$\bar D$ で正則な $f(z)$ に対して、次が成り立つ。

$$\oint_{C_1}f(z)dz=\oint_{C_2}f(z)dz$$

コーシーの積分公式

単純閉曲線 $C$ で囲まれる領域を $D$ とし、$f(z)$ は $\bar{D}$ で正則であるとする。 このとき、任意の $z\in D$ に対し、次が成り立つ。

$$f(z)=\dfrac1{2\pi i}\oint_C\dfrac{f(\zeta)}{\zeta-z}d\zeta$$

グルサの公式

単純閉曲線 $C$ で囲まれる領域を $D$ とし、$f(z)$ は $\bar{D}$ で正則であるとする。 このとき、$f(z)$ は $D$ 内の点 $z$ で何回でも微分可能となる。

また、任意の自然数 $n$ に対して $f^{(n)}(z)$ は $D$ 上で正則となり次が成り立つ。

$$f^{(n)}(z)=\dfrac{n!}{2\pi i}\oint_C\dfrac{f(\zeta)}{(\zeta-z)^{n+1}}d\zeta$$

複素関数のテイラー展開

複素関数 $f(z)$ は閉円板 $\bar{D}(\alpha,R)$ で正則であるとする。このとき、任意の $z\in D(\alpha,R)$ に対し、次の等式が成り立つ。

$$\begin{aligned} f(z)&=f(\alpha)+f'(\alpha)(z-\alpha)+\dfrac1{2!}f''(\alpha)(z-\alpha)^2+\cdots\\ &=\sum_{n=0}^\infty\dfrac{f^{(n)}(\alpha)}{n!}(z-\alpha)^n \end{aligned}$$

ローラン展開

$D=\{z\in\Bbb{C}\mid R_1<|z-\alpha|<R_2\}\;(0\le R_1<R_2\le\infty)$ とする。 $f(z)$ が $\bar{D}$ で正則な関数であるとき、任意の $z\in D$ に対し、次の等式が成り立つ。

$$\begin{aligned} c_n&=\dfrac1{2\pi i}\oint_C\dfrac{f(\zeta)}{(\zeta-\alpha)^{n+1}}d\zeta\;(n=0,\pm1,\pm2,\dots)\\ f(z)&=\cdots+\dfrac{c_{-2}}{(z-\alpha)^2} +\dfrac{c_{-1}}{(z-\alpha)}+c_0+c_1(z-\alpha)+c_2(z-\alpha)^2+\cdots\\ &=\sum_{n=-\infty}^\infty c_n(z-\alpha)^n \end{aligned}$$

ただし $C$ は $D$ 内の $\alpha$ を内部に含む任意の円。

テイラー展開にはない $z-\alpha$ の負のべき乗を含む項の系列を主要部という。

孤立特異点

$f(z)$ が $D=\{z\in \Bbb{C}\mid0<|z-\alpha|<R\}\enspace(R\le\infty)$ で正則であり、$z=\alpha$ で正則でないとき、点 $\alpha$ を孤立特異点 (isolated singularity) という。

特に、$f(z)$ のローラン級数の主要部が

1. 存在しない場合は可除特異点 (removable singularity) という
2. $k$ 個存在 (有限かつ $k\ne0$) する場合は $k$ 位の極 (k-th pole) という
3. $\text{主要部が特異点}$ である場合は真性特異点 (essential singularity) という

留数定理

$\alpha$ を中心とするローラン展開における $c_{-1}$ を $f(z)$ の $z=\alpha$ における留数 (residue) といい、$\text{Res}(f(z),\alpha)$ で表す。

$f(z)$ が単純閉曲線 $C$ とその内部で $C$ 内の孤立特異点 $\alpha_1,\alpha_2,\dots,\alpha_n$ を除いて正則であるとき次の等式が成り立つ。

$$\oint_Cf(z)dz=2\pi i\sum_{k=1}^n\text{Res}(f(z),\alpha_k)$$