5.1 ローラン展開

1． $z = 0$を中心としたローラン展開とは

$$\sum_{n=1}^{\infty}\frac{a_{n}}{z^{n}} + \sum_{0}^{\infty}{a_{n}z^{n}}$$

の形で表わしたものである．

ローラン展開するには次のテーラー展開を知っていると便利である．

$$e^{z} = 1 + z + \frac{z^2}{2!} + \frac{z^3}{3!} + \cdots +$$

$$\sin{z} = z - \frac{z^3}{3!} - \frac{z^5}{5!} + \cdots +$$

$$\cos{z} = 1 - \frac{z^2}{2!} + \frac{z^4}{4!} - \cdots +$$

$$\frac{1}{1-z} = 1 + z + z^2 + z^3 + z^4 + \cdots + (ただし，\vert z\vert < 1)$$

(a) $\vert z\vert < 1$より $\frac{1}{1-z}$はテーラー展開できることに注意し， $\frac{1}{z^2 - 3z + 2}$をまず，部分分数分解する．

$$\frac{1}{z^2 - 3z + 2} = \frac{1}{(z-1)(z-2)} = \frac{A}{z-1} + \frac{B}{z-2}$$

$$= \frac{-1}{z-1} + \frac{1}{z-2}$$

ここで $\frac{-1}{z-1} = \frac{-1}{1-z}$となるので

$$\frac{-1}{z-1} = \frac{-1}{1-z} = -(1 + z + z^2 + z^3 + z^4 + \cdots) = -\sum_{n=0}^{\infty}z^{n}$$

次に $\frac{1}{z-2}$の分母を$\vert z\vert < 1$より2でくくると

$$\frac{1}{z-2} = \frac{-1}{2}\frac{1}{1 - \frac{z}{2}}$$

と表わせる．ここで $\vert\frac{z}{2}\vert < 1$よりテーラー展開できるので

$$\frac{1}{z-2} = \frac{-1}{2}\frac{1}{1 - \frac{z}{2}}$$

$$= -\frac{1}{2}(1 + \frac{z}{2} + (\frac{z}{2})^2 + (\frac{z}{2})^3 + \cdots + = \sum_{n=0}^{\infty}(\frac{z}{2})^{n}$$

したがって

$$\frac{1}{z^2 - 3z + 2} = \frac{-1}{z-1} + \frac{1}{z-2}$$

$$= -\sum_{n=0}^{\infty}z^{n} + \sum_{n=0}^{\infty}(\frac{z}{2})^{n} = \sum_{n=0}^{\infty}(z^{n} - (\frac{z}{2})^{n})$$

$$= \sum_{n=0}^{\infty}(1 - \frac{1}{2^{n}}z^{n})$$

(b) $1 < \vert z\vert < 2$より $\frac{1}{1-z}$はこのままではテーラー展開できないが，

$$\frac{1}{1-z} = \frac{-1}{z}\frac{1}{1 - \frac{1}{z}}$$

と表わすと $\vert\frac{1}{z}\vert < 1$となりテーラー展開可能となることに注意し， $\frac{1}{z^2 - 3z + 2}$をまず，部分分数分解する．

$$\frac{1}{z^2 - 3z + 2} = \frac{1}{(z-1)(z-2)} = \frac{A}{z-1} + \frac{B}{z-2}$$

$$= \frac{-1}{z-1} + \frac{1}{z-2}$$

ここで $\frac{1}{z-1}$の分母を$\vert z\vert > 1$より$z$でくくると $\frac{-1}{z-1} = \frac{-1}{z}\frac{1}{1-\frac{1}{z}}$となるので

$$\frac{-1}{z-1} = \frac{-1}{z}\frac{1}{1-\frac{1}{z}} = -\frac{1}{z}(1 + \frac{1}{z} + (\frac{1}{z})^2 + + \cdots)$$

$$= -\frac{1}{z}\sum_{n=0}^{\infty}(\frac{1}{z})^{n}$$

$$= -\sum_{n=0}^{\infty}(\frac{1}{z})^{n+1}$$

次に $\frac{1}{z-2}$の分母を$\vert z\vert < 2$より2でくくると

$$\frac{1}{z-2} = \frac{-1}{2}\frac{1}{1 - \frac{z}{2}}$$

と表わせる．ここで $\vert\frac{z}{2}\vert < 1$よりテーラー展開できるので

$$\frac{1}{z-2} = \frac{-1}{2}\frac{1}{1 - \frac{z}{2}}$$

$$= -\frac{1}{2}(1 + \frac{z}{2} + (\frac{z}{2})^2 + (\frac{z}{2})^3 + \cdots + = -\sum_{n=0}^{\infty}(\frac{z}{2})^{n}$$

したがって

$$\frac{1}{z^2 - 3z + 2} = \frac{-1}{z-1} + \frac{1}{z-2}$$

$$= -\sum_{n=0}^{\infty}(\frac{1}{z})^{n+1} - \sum_{n=0}^{\infty}(\frac{z}{2})^{n}$$

(c) $\vert z\vert > 2$より $\frac{1}{1-z}$はこのままではテーラー展開できないが，

$$\frac{1}{1-z} = \frac{-1}{z}\frac{1}{1 - \frac{1}{z}}$$

と表わすと $\vert\frac{1}{z}\vert < 1$となりテーラー展開可能となることに注意し， $\frac{1}{z^2 - 3z + 2}$をまず，部分分数分解する．

$$\frac{1}{z^2 - 3z + 2} = \frac{1}{(z-1)(z-2)} = \frac{A}{z-1} + \frac{B}{z-2}$$

$$= \frac{-1}{z-1} + \frac{1}{z-2}$$

ここで $\frac{1}{z-1}$の分母を$\vert z\vert > 2$より$z$でくくると $\frac{-1}{z-1} = \frac{-1}{z}\frac{1}{1-\frac{1}{z}}$となるので

$$\frac{-1}{z-1} = \frac{-1}{z}\frac{1}{1-\frac{1}{z}} = -\frac{1}{z}(1 + \frac{1}{z} + (\frac{1}{z})^2 + + \cdots)$$

$$= -\frac{1}{z}\sum_{n=0}^{\infty}(\frac{1}{z})^{n}$$

$$= -\sum_{n=0}^{\infty}(\frac{1}{z})^{n+1}$$

次に $\frac{1}{z-2}$の分母を$\vert z\vert > 2$より$z$でくくると

$$\frac{1}{z-2} = \frac{1}{z}\frac{1}{1 - \frac{2}{z}}$$

と表わせる．ここで $\vert\frac{2}{z}\vert < 1$よりテーラー展開できるので

$$\frac{1}{z-2} = \frac{1}{z}\frac{1}{1 - \frac{2}{z}}$$

$$= \frac{1}{z}(1 + \frac{2}{z} + (\frac{2}{z})^2 + (\frac{2}{z})^3 + \cdots + = \sum_{n=0}^{\infty}\frac{2}{z^{n+1}}$$

したがって

$$\frac{1}{z^2 - 3z + 2} = \frac{-1}{z-1} + \frac{1}{z-2}$$

$$= -\sum_{n=0}^{\infty}(\frac{1}{z})^{n+1} + \sum_{n=0}^{\infty}\frac{2}{z^{n+1}}$$

$$= -\sum_{n=0}^{\infty}\frac{2^{n} -1}{z^{n+1}}$$

2.

(a) $z = 0$でのローラン展開なので $\frac{1}{z^3}$は何もする必要がない．したがって， $\frac{1}{z+1}$のテーラー展開を行なうと

$$\frac{1}{z+1} = \frac{1}{1 - (-z)} = 1 +(-z) + (-z)^2 + (-z)^3 + \cdots = \sum_{n=0}^{\infty}(-z)^{n}$$

よって

$$\frac{1}{z^{3}(z+1)} = \frac{1}{z^{3}}\frac{1}{z+1}$$

$$= \frac{1}{z^{3}}(1 +(-z) + (-z)^2 + (-z)^3 + \cdots)$$

$$= \frac{1}{z^{3}} - \frac{1}{z^2} + \frac{1}{z} - 1 + z - z^2 + \cdots$$

また，特異点0は3位の極

(b) $z=-1$でのローラン展開のときは$t = z+1$とおくと

$$\frac{1}{z^{3}(z+1)} = \frac{1}{(t-1)^{3}t}$$

となり$t=0$でのローラン展開となる． $\frac{1}{t}$は何もする必要がない．したがって， $\frac{1}{(t-1)^3}$のテーラー展開を行なうと

$$\frac{1}{(t-1)^3} = (-\frac{1}{1-t})^{3} = -(1 + t + t^2 + \cdots)^{3} = -(1 + 3t + 6t^2 + 10t^3 + \cdots)$$

よって

$$\frac{1}{z^{3}(z+1)} = \frac{1}{(t-1)^{3}t}$$

$$= -\frac{1}{t}(1 + 3t + 6t^2 + 10t^3 + \cdots)$$

$$= -[\frac{1}{t} + 3 + 6t + 10t^2 + \cdots]$$

$$= -[\frac{z+1} + 3 + 6(z+1) + 10(z+1)^2 + \cdots]$$

また，特異点$z=-1$は1位の極

(c) $z = 0$でのローラン展開なので $\frac{1}{z^3}$は何もする必要がない．したがって，$e^{z^2}$のテーラー展開を行なうと

$$e^{z^2} = 1 + z^2 + \frac{(z^2)^2}{2!} + \frac{(z^2)^{3}}{3!} + \cdots$$

よって

$$\frac{e^{z^2}}{z^{3}} = \frac{1}{z^{3}}e^{z^2}$$

$$= \frac{1}{z^{3}}(1 + z^2 + \frac{(z^2)^2}{2!} + \frac{(z^2)^{3}}{3!} + \cdots)$$

$$= \frac{1}{z^{3}} + \frac{1}{z} + \frac{z}{2} + \frac{z^3}{3!} + \cdots$$

また，特異点$z = 0$は3位の極

(d) $z=\pi$でのローラン展開のときは$t = z-\pi$とおくと

$$\frac{\sin{z}}{z - \pi} = \frac{\sin(t+\pi)}{t} = \frac{-\sin{t}}{t}$$

となり$t=0$でのローラン展開となる． $\frac{1}{t}$は何もする必要がない．したがって，$-\sin{t}$のテーラー展開を行なうと

$$-\sin{t} = -(t - \frac{t^3}{3!} + \frac{t^5}{5!} - \frac{t^7}{7!} + \cdots$$

よって

$$\frac{\sin{z}}{z - \pi} = \frac{-\sin{t}}{t}$$

$$= -\frac{1}{t}(t - \frac{t^3}{3!} + \frac{t^5}{5!} - \frac{t^7}{7!} + \cdots)$$

$$= -1 + \frac{t^2}{3!} - \frac{t^4}{5!} + \cdots$$

$$= -1 + \frac{(z-\pi)^2}{3!} - \frac{(z-\pi)^4}{5!} + \cdots$$

また，特異点$z=\pi$は除去可能な特異点