Residue Theorem
2020-2학기, 대학에서 ‘응용복소함수론’ 수업을 듣고 공부한 바를 정리한 글입니다. 지적은 언제나 환영입니다 :)
Residue를 정의하기 위해선 먼저 Singular point에 대해 알아야 합니다.
Singular point
Definition. singular point
$z_0$ is called a singular point IF $f(z)$ is not analytic at $z_0$.
Definition. isolated singular point
IF there is $r>0$ such that $f(z)$ is analytic on $0<\lvert z-z_0 \rvert < r$, THEN a singular point $z_0$ is said to be isolated.
즉, 한 점에서만 singular하고 근방에선 analytic 하다면, isolated singular point라고 한다.
Example.
\(f(z)=\frac{z-1}{z^5(z+9)}\)
Sol.
분자, 분모가 polynomial이므로 분모가 0인 지점에서 singular point! 따라서 singular point is $z=0$ & $z=-9$
일반적으로 Domain $D$에서 singular point가 유한개라면, 모두 isoloated 이다.
Property.
IF $f(z)=\frac{P(z)}{Q(z)}$, $P$, $Q$: polynomials, THEN all singular points are isolated.
proof.
Polynomial은 해가 유한하기 때문 $\blacksquare$
Example. Not isolated singular points
\(f(z)= \textrm{Log} \, z = \log r + i\theta \quad (r>0, \; -\pi<\theta<\pi)\)
Sol.
branch cut이 모두 singular point에 해당한다. 이때, branch cut은 $x<0$인 모든 실수이기 때문에 그 갯수가 무한하고, not isolated singular points이다.
Example. Infinitely many isolated singular points
\(f(z)=1/\sin(\pi/z)\)
Sol. $\sin(\pi/z)=0$이 되는 지점을 생각해보면,
\[\begin{aligned} \pi/z &= \pm n\pi \\ 1/z &= \pm \pi \\ z &= 1/{\pm n} \end{aligned}\]이때 $z$가 원점에 근접해 가지만, 어떤 singular point를 잡더라도 적당한 $r$을 잡아 analytic region을 잡을 수 있으므로 모두 isolated singular point이다.
단, $z=0$은 not isolated singular point이다!
(review) Laurent series
Supp. that a function $f$ is analytic on an annular region $0<\lvert z-z_0\rvert < R$, THEN $f(z)$ can be represented as the Laurent series.
\[f(z)=\sum^{\infty}_{n=0}{a_n(z-z_0)^n} + \sum^{\infty}_{n-1}{\frac{b_n}{(z-z_0)^n}}\]Coefficients of the Laurent series
where $C$ is any simple closed contour around $z_0$ with CCW orientation that lies in $0<\lvert z-z_0\rvert < R$
이때, 주목할 점은 로랑 급수의 계수 $b_1$이다!
\[b_1 = \frac{1}{2{\pi}i} \oint_{C} {f(w) dw}\]즉, 함수 $f(z)$의 적분값을 구하고 싶다면, 로랑 급수의 계수 $b_1$을 확인하면 된다는 의미가 된다!!
Residue
이제 Residue를 정의해보자.
Definition. residue
$b_1$ is called the residue of $f(z)$ at the isolated singular point $z_0$.
즉, residue는 로랑 급수의 계수 $b_1$이라는 것이다!
Note.
즉, Residue로 적분값을 구할 수 있고, 적분값으로 Reside를 구할 수 있다!
Cauchy’s residue Theorem
\[\oint_{C} {f(z) dz}\]위의 Contour 적분은 다음과 같이 계산할 수 있다.
1. IF $f(z)$ is analytic on $C$ and inside of $C$,
\[\oint_{C} {f(z) dz} = 0\]2. IF $f(z)$ has one singular point $z_0$ inside $C$ and it is analytic on $C$ and inside of $C$
\[\oint_{C} {f(z) dz} = 2{\pi}i \left(\underset{z=z_0}{\textrm{Res}} f(z) \right)\]Example. two singular point case
만약 $C$ 내부에 두 개의 singular points, 또는 그보다 많은 singular points가 있다면 어떻게 될까?
Sol.
Divide integral into two smaller contour integrals!
$n$개의 singular point가 있을 때에도 하나의 singular point를 포함하는 contour 적분으로 분리해 계산하면 된다.
Theorem. Caucy’s residue theorem
Let $C$ be a simple closed contour with CCW orientation. IF $f(z)$ is analytic inside of $C$ and on $C$ except for a finite number of singular points $z_k$ $(k=1, 2, \dots, n)$ inside $C$, THEN
Example.
where $C$ is the circle $\lvert z \rvert = 1$ with the positive orientation.
Sol.
Set $f(z)=\frac{e^{z}-1}{z^3}$, THEN singular point is $z=0$.
Express $f(z)$ as the Laurent series with cetner $z=0$!
\[\begin{aligned} \frac{e^{z}-1}{z^3} &= \frac{1}{z^3} \left( \left( 1+z+\frac{z^2}{2!}+\cdots \right) -1 \right)\\ &= \frac{1}{z^3} \left( z+\frac{z^2}{2!}+\cdots \right) \\ &= \frac{1}{z^2} + \frac{1}{2!}\frac{1}{z} + \frac{1}{3!} + \frac{1}{4!}z + \cdots \end{aligned}\]THEN, $b_1=\frac{1}{2!}$.
Therefore, by residue thm,
\[\begin{aligned} \oint_{C} {\frac{e^{z}-1}{z^3} dz} &= 2{\pi}i \times b_1 \\ &= 2{\pi}i \times \frac{1}{2!} = {\pi}i \end{aligned}\]$\blacksquare$
Example.
where $C$ is the circle $\lvert z \rvert = 2$ with the positive orientation.
Sol.
생-략
맺음말
Residue Thm을 잘 활용하면, 실수 영역에서 풀면 복잡했던 적분들을 복소수 영역에서 쉽게 풀 수 있다!!
가우스 적분이 좋은 예이다.
\[\int^{\infty}_{-\infty} {e^{-z^2} dz}\]-
Talyer 정리에 의하면, analytic 함수는 양의 차수를 가진 다항식으로 전개할 수 있으므로 $b_1=0$이다. 그래서 residue thm은 singular point 여부와 상관없이 기술할 수도 있다. ↩