I=∫∞−∞log(1+x4)dx1+x2=πlog(6+4√2)≈2.45589×π


복소평면에서 다음 f(z)의 contour 적분을 고려하자.
f(z)=log(1+z4)1+z2
z=±i는 f(z)의 simple pole로 residue값은 각각
Res[f(±i)]=∓i2log2
그리고 log(1+z4) 때문에 branch cut을 도입을 해야 하는데, branch point가
z4+1=0 → zk=eiπ4(2k+1), k=0,1,2,3
으로 주어지므로 그림과 같이 선택을 한다.
log(1+z4)=∑klog(z−zk)=∑k[log|z−zk|+iarg(z−zk)]=log|z4+1|+i∑kAk
k−번째 cutline을 시계방향으로 건너면 Ak는 2π만큼 증가한다. 그림의 폐경로를 따라 적분을 하면
∮f(z)dz=(∫C∞+∫C0ϵ+∫C1ϵ+∫γ′0+∫γ0+∫γ′1+∫γ1)f(z)dz+I=2πi×Res[f(+i)]
인데,
∫C∞f(z)dz→0, ∫C0ϵf(z)dz→0, ∫C1ϵf(z)dz→0
먼저
(∫γ′0+∫γ0)f(z)dz=−∫γ0log|z4+1|+i(π4+2π+A1+A2+A3)1+z2dz +∫γ0log|z4+1|+i(π4+A1+A2+A3)1+z2dz=−2πi∫γ0dz1+z2
마찬가지로
(∫γ′1+∫γ1)f(z)dz=−2πi∫γ1dz1+z2
이다. 그리고
∫dz1+z2=arctan(z)=12ilog1+iz1−iz임을 이용하면 반직선 경로 γ0+γ1에서 적분은 상한은 상쇄되고, 하한 z=z0,z1만 기여가 있다.
∫γ0dz1+z2=12ilog1+iz1−iz|∞eiπ/4eiπ/4=12i(−iπ−log1+ieiπ/41−ieiπ/4)∫γ1dz1+z2=12ilog1+iz1−iz|∞ei3π/4ei3π/4=12i(iπ−log1+iei3π/41−iei3π/4) ∫γ′0+γ0+γ′1+γ1f(z)dz=πlog[1+ieiπ/41−ieiπ/41+iei3π/41−iei3π/4]=πlog2−√22+√2
정리하면
I=πlog2−πlog2−√22+√2=πlog(6+4√2)

'Mathematics' 카테고리의 다른 글
Integration along a branch cut-019 (0) | 2024.09.25 |
---|---|
Integration along a branch cut-018 (0) | 2024.09.25 |
Integration along a branch cut-016 (1) | 2024.09.22 |
물리법칙을 이용한 적분 구하기 (2) | 2024.08.30 |
막대가 벽에서 미끄러져 내려올 때 접하는 곡선(envelope) (0) | 2024.08.29 |