$http://latex.codecogs.com/gif.latex?\oint_{C}%20\frac{e^{iz}}{z^4+1}%20\;%20dz%20=%202\pi%20i%20\left[%20\underset{z=\sqrt{i}}{\mathrm{Res}}\left(\frac{e^{iz}}{z^4+1}%20\right%20)%20+%20\underset{z=i\sqrt{i}}{\mathrm{Res}}\left(\frac{e^{iz}}{z^4+1}%20\right%20)%20\right%20]$

임을 얻습니다. 단, √i = exp(iπ/4) 는 i 의 제곱근 중에서 복소평면의 제1사분면에 위치한 근을 가리킵니다. 그러면 z^4 + 1 = 0 의 근 중 윗쪽 반평면에 놓이는 근은 z = √i, i√i 이렇게 두 개가 있으며, 두 근이 모두 simple zero 이므로, 다음과 같이 계산됩니다.

$http://latex.codecogs.com/gif.latex?\begin{align*}%20\underset{z=\sqrt{i}}{\mathrm{Res}}\left(\frac{e^{iz}}{z^4+1}%20\right%20)%20&%20=%20\lim_{z\to%20\sqrt{i}}%20\left(%20\frac{e^{iz}}{z^4+1}%20\right)(z-\sqrt{i})%20\\%20&%20=%20\left[%20e^{iz}%20\left(%20\frac{d}{dz%20}%20(z^4+1)%20\right%20)^{-1}%20\right%20]_{z=\sqrt{i}}%20\\%20&%20=%20\frac{e^{i\sqrt{i}}}{4(\sqrt{i})^{3}}%20\\%20&%20=%20\frac{1}{4}%20\exp%20\left[%20-\frac{1}{\sqrt{2}}+i%20\left(\frac{1}{\sqrt{2}}-\frac{3\pi}{4}%20\right%20)%20\right%20]%20\end{align*}$

마찬가지로,

$http://latex.codecogs.com/gif.latex?\begin{align*}%20\underset{z=i\sqrt{i}}{\mathrm{Res}}\left(\frac{e^{iz}}{z^4+1}%20\right%20)%20&%20=%20\left[%20e^{iz}%20\left(%20\frac{d}{dz%20}%20(z^4+1)%20\right%20)^{-1}%20\right%20]_{z=i\sqrt{i}}%20\\%20&%20=%20\frac{e^{-\sqrt{i}}}{4(i\sqrt{i})^{3}}%20\\%20&%20=%20\frac{1}{4}\exp%20\left[%20-%20\frac{1}{\sqrt{2}}%20-%20i%20\left(%20\frac{\pi}{4}+%20\frac{1}{\sqrt{2}}%20\right%20)%20\right%20]%20\end{align*}$

입니다. 그러므로 이 둘을 더한 후 삼각함수의 성질을 잘 이용하면, 식의 우변은

$http://latex.codecogs.com/gif.latex?\pi%20e^{-\frac{1}{\sqrt{2}}}%20\sin%20\left(%20\frac{\pi}{4}%20+%20\frac{1}{\sqrt{2}}%20\right%20)$

가 됩니다. 한편, 좌변의 경우

$http://latex.codecogs.com/gif.latex?\oint_{C}%20=%20\int_{-R}^{R}%20+%20\int_{\Gamma}$

로 나누면, Γ 위에서의 적분은 간단한 estimate

$http://latex.codecogs.com/gif.latex?\left|%20\int_{\Gamma}%20\frac{e^{iz}}{z^4%20+%201}%20\;%20dz%20\right|%20\leq%20\int_{\Gamma}%20\frac{|e^{iz}|}{|z^4%20+%201|}%20\;%20|dz|%20\leq%20\int_{\Gamma}%20\frac{1}{R^4%20-%201}%20\;%20|dz|%20=%20\frac{\pi%20R}{R^4%20-%201}%20\to%200$

를 통해 R→∞ 이면 0 으로 수렴함을 알 수 있습니다. 따라서 우리는

$http://latex.codecogs.com/gif.latex?\int_{-\infty}^{\infty}%20\frac{\cos%20x}{x^4%20+%201}%20\;%20dx%20=%20\lim_{R\to\infty}%20\oint_{C}%20\frac{e^{iz}}{z^4%20+%201}%20\;%20dz%20=%20\pi%20e^{-\frac{1}{\sqrt{2}}}%20\sin%20\left(%20\frac{\pi}{4}%20+%20\frac{1}{\sqrt{2}}%20\right%20)$

를 얻습니다.

참고로 residue 계산은 직접 해 보세요. 계산은 반복만이 살 길이랍니다….

팔로우 0

[ 대성학력개발연구소 ] ★대성모의고사 공모전★ (12/2~2/2)

[ 노크 ] 22개 대학합격인증자를 위한 안전하고 클린한 커뮤니티, 노크

[ 수학의 단권화 ]　9종 교과서 수능 전 범위를 10일 만에?

0 XDK (+0)

유익한 글을 읽었다면 작성자에게 XDK를 선물하세요.

sos440 [104180]

쪽지 보내기

최근 게시글 · 더보기
12/08/26 20:16 그냥 그저 그런 빈칸 채우기 문제...
12/08/26 18:45 쉬운 벡터문제 하나 투척합니다
12/07/16 16:53 쉬운 문제 하나 올려봅니다.
12/06/01 20:59 아래 고난이도 문제 풀이
12/03/20 09:26 이른 아침에 스리슬쩍 올려보는 간단한 적분 문제

알림
스크랩
신고

ardour · 379018 · 11/09/22 00:19 · MS 2011

으아니... 역시 공수란...

좋아요 0 답글 달기 신고
dasfsdafsdf · 330585 · 11/09/24 00:42 · MS 2010

죄송한데 중간에 계산 생략된 것 좀 해주시면 안될까요?ㅠ

1. e^(-루트i)/4(루트i)^3 에서 그 다음식 전개 어떻게 하신건가요?? De Moivre 공식같기도 하고..

2. residue 값 두개 더한 다음 최종식까지 나오는 과정도 모르겠고...

3. 구하는 값이 cosx 니까 residue 값의 real 값만 써줘야되는것 아닌가요??

공수책 설명이 워낙 부실해서.. ㅠ

좋아요 0 답글 달기 신고
sos440 · 104180 · 11/09/24 02:07 · MS 2005

1. √i 를 polar form e^(πi/4) 으로 고쳐서 통째로 지수로 묶은 겁니다.

2. 여기서 De Moivre formula 와 cos(x-π) = -cosx, sin(x-π) = -sinx 라는 아주 간단한 공식이 이용된 것뿐입니다.

3. imaginary part는 odd function이라 어차피 적분값이 0으로 날아가지요.

그나저나 복소해석학(complex analysis)이 공학수학 책에도 나온다는게 조금 신기하긴 하네요. 복소해석학을 엄밀히 배우려면 해석학에 대한 지식이 뒷받침되어야 하는데 말이지요...

좋아요 0 답글 달기 신고
dasfsdafsdf · 330585 · 11/09/24 03:10 · MS 2010

빠른 답변 감사합니닼

공수책이 원래 좀 수학과에서 한학기동안 배우는걸 한챕터에 쑤셔넣어서 증명이 생략된게 많아여 (뭐, 공대생은 식만 이용할 줄 만 알면 되지만서도..)

수학과 애들은 공수책을 백과사전 용도로 보더라구여.

좋아요 0 답글 달기 신고