Loading [MathJax]/jax/output/CommonHTML/jax.js

I=log(1+x4)dx1+x2=πlog(6+42)2.45589×π

복소평면에서 다음 f(z)의 contour 적분을 고려하자.

f(z)=log(1+z4)1+z2

z=±if(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(zzk)=k[log|zzk|+iarg(zzk)]=log|z4+1|+ikAk

k번째 cutline을 시계방향으로 건너면 Ak2π만큼 증가한다. 그림의 폐경로를 따라 적분을 하면

f(z)dz=(C+C0ϵ+C1ϵ+γ0+γ0+γ1+γ1)f(z)dz+I=2πi×Res[f(+i)]

인데,

Cf(z)dz0,  C0ϵf(z)dz0,  C1ϵf(z)dz0 

먼저 

(γ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+iz1iz임을 이용하면 반직선 경로 γ0+γ1에서 적분은 상한은 상쇄되고, 하한 z=z0,z1만 기여가 있다.

γ0dz1+z2=12ilog1+iz1iz|eiπ/4eiπ/4=12i(iπlog1+ieiπ/41ieiπ/4)γ1dz1+z2=12ilog1+iz1iz|ei3π/4ei3π/4=12i(iπlog1+iei3π/41iei3π/4) γ0+γ0+γ1+γ1f(z)dz=πlog[1+ieiπ/41ieiπ/41+iei3π/41iei3π/4]=πlog222+2 

정리하면 

I=πlog2πlog222+2=πlog(6+42)

728x90
,