유수 정리

틀:토막글 유수 정리(Residue theorem)는 복소해석학의 적분에 관한 정리이다.

진술

[math]\displaystyle{ \Gamma }[/math]가 단순닫힌 양의 방향의 경로이고 [math]\displaystyle{ f }[/math]가 [math]\displaystyle{ \Gamma }[/math]와 [math]\displaystyle{ \Gamma }[/math]의 [math]\displaystyle{ z_1,\dots, z_n }[/math]을 제외한 내부에서 정칙이라면,

[math]\displaystyle{ \displaystyle \int_\Gamma f(z)dz = 2\pi i\sum_{j=1}^n \operatorname{Res}(f,z_j) }[/math]

이다. 이때 [math]\displaystyle{ \operatorname{Res}(f,z_j) }[/math]는 [math]\displaystyle{ f }[/math]의 [math]\displaystyle{ z=z_j }[/math]에서의 유수이다.

예시

삼각함수가 포함된 적분

[math]\displaystyle{ \displaystyle \int_0^{2\pi} \frac{P(\cos\theta, \cos 2\theta,\dots, \sin \theta, \sin 2\theta, \dots)}{Q(\cos\theta, \cos 2\theta,\dots, \sin \theta, \sin 2\theta, \dots)}d\theta }[/math]

꼴의 적분에 대해 [math]\displaystyle{ z=e^{i\theta} }[/math]로 치환적분을 시도해볼 수 있다.

[math]\displaystyle{ \displaystyle \int_{0}^{2\pi} \frac{e^{in\theta}}{a-\cos\theta}d\theta\;(a\gt 1) }[/math]

이상적분

[math]\displaystyle{ \displaystyle\int_0^{\infty}\frac{x\sin x}{(1+x^2)^2}dx }[/math]

[math]\displaystyle{ \displaystyle\int_0^{\infty}\frac{dx}{1+x^{2n}} }[/math]

[math]\displaystyle{ \displaystyle\int_0^{\infty} \frac{\sin^2 x}{x^2}dx }[/math]

[math]\displaystyle{ \displaystyle\int_0^{\infty} \frac{\sqrt{x}}{1+x^2}dx }[/math]

[math]\displaystyle{ \displaystyle\int_0^{\infty} \frac{\ln x}{(x^2+1)(x^2+4)}dx }[/math]

급수의 합

[math]\displaystyle{ \displaystyle\sum_{n=-\infty}^{\infty} f(n)=-\{\text{sum of residues of $\pi\cot(\pi z)f(z)$ at each pole of $f$}\} }[/math]

[math]\displaystyle{ \displaystyle\sum_{n=-\infty}^{\infty} (-1)^n f(n)=-\{\text{sum of residues of $\pi\csc(\pi z)f(z)$ at each pole of $f$}\} }[/math]

양수인 짝수에 대한 리만 제타함수의 함숫값을 구할 수 있다.

[math]\displaystyle{ \zeta(2n)=\sum_{k=1}^{\infty} \frac{1}{k^{2n}} = (-1)^{n-1}B_{2n}\frac{(2\pi)^{2n}}{2(2n)!} }[/math]

이때 [math]\displaystyle{ B_2n }[/math]은 베르누이 수이다.

같이 보기

• 조르당의 보조정리
• 편각 원리