I=∫1−1dx(1+x2)√1−x2=π√2
복소평면에서 함수 f(z)=1(1+z2)√1−z2
의 contour integral을 이용해서 적분을 구하자. f(z)는 z=±1을 branch point로 가지므로 branch cut은 이 두 branch point을 연결하는 선으로 잡는다. 위상은 각각 −π≤arg(1+z)≤π, 0≤arg(1−z)≤2π로 선택한다. z=±i 는 simple pole이다.

Branch cut 둘레를 도는 경로와 무한대를 도는 경로를 따라 적분하면 simple pole z=±i을 포함하므로 Cauchy의 residue 정리에 의해서
(∫C1+C2+C3+C4+∫C∞)f(z)dz=2πi×Res(z=±i)C1에서 z+1=(1+x)ei0 (x:−1→1)z−1=(1−x)eiπ Rot(π)⟶ 1−z=(1−x)ei2π ∫C1f(z)dz=∫1−1dx(1+x2)√1−x2eiπ=−I
C3에서 z+1=(1+x)ei0 (x:1→−1)z−1=(1−x)eiπ Rot(π)⟶ 1−z=(1−x)ei0 ∫C3f(z)dz=∫−11dx(1+x2)√1−x2=−I
C2, C4에서 z±1=ϵeiθ로 놓으면
∫C2,C4f(z)dz=O(√ϵ)→0,
C∞에서도 z=Reiθ로 표현하면,
∫C∞f(z)dz=O(1/R2)→0.
z=i에서 residue은 z+1=√2eiπ/4,z−1=√2ei3π/4→1−z=√2ei7π/4→√1−z2=√2eiπ=−√2Resf(z=i)=1(2i)(−√2)=i2√2 z=−i에서 residue는 z+1=√2e−iπ/4z−1=√2ei5π/4→1−z=√2eiπ/4→√1−z2=√2Resf(z=−i)=1(−2i)√2=i2√2
이므로 적분값을 얻을 수 있다.

'Mathematics' 카테고리의 다른 글
주어진 길이의 폐곡선으로 가둘 수 있는 최대 면적의 도형은? (0) | 2020.02.15 |
---|---|
Integration along a branch cut-005 (0) | 2017.07.02 |
Integration along a branch cut-004 (0) | 2017.06.29 |
Integration along a branch cut-003 (0) | 2017.06.28 |
Integration along a branch cut-002 (1) | 2017.06.28 |