Processing math: 41%

반응형

19. 로랑 급수



복소함수 f가 점 z0에서 해석적이지 않으면, 이 점에서 테일러 정리를 적용할 수 없으나 zz0의 양과 음의 제곱을 포함한 급수로 나타낼 수는 있다. 이것을 가능하게 하는 정리가 다음의 로랑 정리이다.


로랑 정리(Laurent's theorem)


함수 f가 중심이 z0인 원환영역 R1<|zz0|<R2전체에서 해석적이고 C는 이 원환영역에 포함되면서 z0의 둘레를 양의 방향으로 도는 임의의 단순닫힌경로라고 하자. 그러면 이 영역의 각 점에서 f(z)는 다음과 같은 급수로 나타낼 수 있다.f(z)=n=0an(zz0)n+n=0bn(zz0)n(R1<|zz0|<R2)여기서an=12πiCf(z)(zz0)n+1dz(nN{0})bn=12πiCf(z)(zz0)n+1dz(nN)이다.

증명: 영역 R1<|z|<R2에 포함되는 닫힌원환영역 r1|z|r2내부에 점 z와 경로 C가 있다고 하자. 또 두 원 |z|=r1|z|=r2를 각각 C1,C2로 나타내자. 함수 fC1C2, 그 사이의 원환영역에서 해석적이다. 원 γ를 중심이 z이고 반지름이 충분히 작아 원환영역 r1|z|r2내부에 완전히 포함되도록 하자.

그러면 코시-구르사의 정리에 의해 다음 식이 성립한다.C2f(s)szdsC1f(s)szdsγf(s)szds=0이때 코시 적분공식에 의해 γf(s)szds=2πif(z)이므로f(z)=12πiC2f(s)szds+12πiC1f(s)zsds이고1sz=N1n=01sn+1zn+zN1(sz)sN1zs=N1n=01sn1zn+1+1zNsNzs=Nn=11sn+11zn+1zNsNzs이므로f(z)=N1n=0anzn+ρN(z)+Nn=1bnzn+σN(z)이고 여기서an=12πiC2f(s)sn+1ds,bn=12πiC1f(s)sn+1dsρN(z)=zN2πiC2f(s)(sz)sNds,σN(z)=12πizNC1sNf(s)zsds이다. |z|=r, C1C2에서의 |f(z)|의 최댓값을 M이라 하자. 그러면 r1<r<r2이고 sC2에 대해 |sz|r2r, sC1에 대해 |zs|rr1이므로|ρN(z)|Mr2r2r(rr2)N,|σN(z)|Mr1rr1(r1r)N이고 0<rr2<1,0<r1r<1이므로lim이고 따라서f(z)=\sum_{n=0}^{\infty}{a_{n}z^{n}}+\sum_{n=1}^{\infty}{\frac{b_{n}}{z^{n}}}\,\left(R_{1}<|z|<R_{2},\,a_{n}=\frac{1}{2\pi i}\int_{C_{2}}{\frac{f(s)}{s^{n+1}}ds},\,b_{n}=\frac{1}{2\pi i}\int_{C_{1}}{\frac{f(s)}{s^{-n+1}}ds}\right)이다.

이제 임의의 z_{0}에 대해서 성립함을 보이자. g(z)=f(z+z_{0})이라 하자. 함수 f(z)가 원환 R_{1}<|z-z_{0}|<R_{2}에서 해석적이면, g(z)=f(z+z_{0})R_{1}<|(z+z_{0})-z_{0}|<R_{2}에서 해석적이다. 즉 g(z)R_{1}<|z|<R_{2}에서 해석적이고 C:\,z=z(t)\,(a\leq t\leq b)라 하자. 그러면 모든 t\in[a,\,b]에 대하여 R_{1}<|z(t)-z_{0}|<R_{2}가 성립한다. \Gamma:\,z=z(t)-z_{0}\,(a\leq t\leq b)라 하자. 그러면 \Gamma는 단순닫힌경로이고 영역 R_{1}<|z|<R_{2}에 포함된다. 따라서 g(z)의 로랑급수는g(z)=\sum_{n=0}^{\infty}{a_{n}z^{n}}+\sum_{n=1}^{\infty}{\frac{b_{n}}{z^{n}}}\,\left(R_{1}<|z|<R_{2},\,a_{n}=\frac{1}{2\pi i}\int_{\Gamma}{\frac{g(z)dz}{z^{n+1}}ds},\,b_{n}=\frac{1}{2\pi i}\int_{\Gamma}{\frac{g(z)}{z^{-n+1}}dz}\right)이고\int_{\Gamma}{\frac{g(z)}{z^{n+1}}dz}=\int_{a}^{b}{\frac{f(z(t))z'(t)}{\{z(t)-z_{0}\}^{n+1}}dt}=\int_{C}{\frac{f(z)}{(z-z_{0})^{n+1}}}이므로 g(z)의 로랑급수에 z-z_{0}를 대입하면 다음 등식이 성립한다.f(z)=\sum_{n=0}^{\infty}{a_{n}(z-z_{0})^{n}}+\sum_{n=1}^{\infty}{\frac{b_{n}}{(z-z_{0})^{n}}}\,\left(R_{1}<|z-z_{0}|<R_{2},\,a_{n}=\frac{1}{2\pi i}\int_{C}{\frac{f(z)}{(z-z_{0})^{n+1}}dz},\,b_{n}=\frac{1}{2\pi i}\int_{C}{\frac{f(z)}{(z-z_{0})^{-n+1}}dz}\right)

c_{n}=\begin{cases}b_{-n},&\,(n\leq-1)\\a_{n},&\,(n\geq0)\end{cases}이라 하면c_{n}=\frac{1}{2\pi i}\int_{C}{\frac{f(z)}{(z-z_{0})^{n+1}}dz}=\frac{f^{(n)}(z_{0})}{n!}\,(n\in\mathbb{Z})이므로 로랑급수를 다음과 같이 나타낼 수 있다.f(z)=\sum_{n=-\infty}^{\infty}{c_{n}(z-z_{0})^{n}}\,(R_{1}<|z-z_{0}|<R_{2})

함수 fz_{0}에서 해석적이지 않고 |z-z_{0}|<R_{2}바깥의 다른 점에서 해석적일 때, R_{1}을 임의로 작게 선택할 수 있고 따라서 로랑급수를 0<|z-z_{0}|<R_{2}에서 나타낼 수 있다. 마찬가지로 f|z-z_{0}|=R바깥의 모든 점에서 해석적이면 로랑급수를 |z-z_{0}|>R_{1}에서 나타낼 수 있다.


e^{z}=\sum_{n=0}^{\infty}{\frac{z^{n}}{n!}}=1+\frac{z}{1!}+\frac{z^{2}}{2!}+\cdots이므로 \displaystyle e^{\frac{1}{z}}의 로랑급수는 다음과 같다.e^{\frac{1}{z}}=\sum_{n=0}^{\infty}{\frac{1}{n!z^{n}}}=1+\frac{1}{1!z}+\frac{1}{2!z^{2}}+\cdots이고 여기서 \displaystyle\frac{1}{z}의 계수는 e^{\frac{1}{z}}를 원점을 포함하는 임의의 단순닫힌경로 C에 대한 적분의 값에 \displaystyle\frac{1}{2\pi i}를 곱한 값이다. 즉1=\frac{1}{2\pi i}\int_{C}{e^{\frac{1}{z}}dz}이므로\int_{C}{e^{\frac{1}{z}}dz}=2\pi i이다.


함수 \displaystyle f(z)=\frac{-1}{(z-1)(z-2)}=\frac{1}{z-1}-\frac{1}{z-2}는 다음의 영역에서 해석적이다.D_{1}:\,|z|<1,\,D_{2}:\,1<|z|<2,\,D_{3}:\,|z|>2D_{1}에서 함수 f(z)의 로랑급수는 매클로린 급수이고 이때 \displaystyle,\,\frac{1}{z-1}=-\frac{1}{1-z},\,\frac{1}{z-2}=\frac{1}{2}\frac{1}{\displaystyle1-\left(\frac{z}{2}\right)}이므로f(z)=-\sum_{n=0}^{\infty}{z^{n}}+\sum_{n=0}^{\infty}{\frac{z^{n}}{2^{n+1}}}=\sum_{n=0}^{\infty}{(2^{-n-1}-1)z^{n}}\,(|z|<1)

D_{2}에서 1<|z|<2이므로 \displaystyle\left|\frac{1}{z}\right|<1,\,\left|\frac{z}{2}\right|<1이고f(z)=\frac{1}{z}\cdot\frac{1}{\displaystyle1-\frac{1}{z}}+\frac{1}{2}\frac{1}{\displaystyle1-\left(\frac{z}{2}\right)}이므로 f(z)의 로랑급수는 다음과 같다.f(z)=\sum_{n=0}^{\infty}{\frac{z^{n}}{2^{n+1}}}+\sum_{n=0}^{\infty}{\frac{1}{z^{n+1}}}\,(1<|z|<2)이다. 

D_{3}에서 |z|>2이므로 \displaystyle\left|\frac{1}{z}\right|<\left|\frac{2}{z}\right|<1이고f(z)=\frac{1}{z}\cdot\frac{1}{1-\left(\frac{1}{z}\right)}-\frac{1}{z}\cdot\frac{1}{1-\left(\frac{2}{z}\right)}이므로 f(z)의 로랑급수는 다음과 같다.f(z)=\sum_{n=0}^{\infty}{\frac{1}{z^{n+1}}}-\sum_{n=0}^{\infty}{\frac{2^{n}}{z^{n+1}}}=\sum_{n=0}^{\infty}{\frac{1-2^{n}}{z^{n+1}}}=\sum_{n=1}^{\infty}{\frac{1-2^{n-1}}{z^{n}}}\,(|z|>2)

참고자료:

Complex Variables and Applications 8th edition, Brown, Churchill, McGraw-Hill  

반응형
Posted by skywalker222