I=∫1−1dx(1+x2)√1−x2=π√2

복소함수
f(z)=1(1+z2)√1−z2의 contour integral을 고려하자.

제곱근 함수때문에 branch cut을 잡아야 하는데, −1≤x≤1로 선택하자. 그러면 위상은 0≤arg(1−z)≤2π, −π≤arg(z+1)≤π로 설정될 수 있다.

그리고 z=±i는 f(z)의 simple로 residue는 z=i일 때
z−1=√2ei3π/4→1−z=√2ei7π/4, z+1=√2eiπ/4→ √1−z2=√2eiπ=−√2→Resf(z=i)=1−2i√2그리고 z=−i에서는 z−1=√2ei5π/4→1−z=√2eiπ/4, z+1=√2e−iπ/4→ √1−z2=√2ei0=√2→Resf(z=−i)=1−2i√2
C1 경로에서 z−1=(1−x)eiπ→1−z=(1−x)ei2π, z+1=(1+x)ei0 (x:−1→1)이므로
∫C1f(z)dz=∫1−1dxdx(1+x2)√1−x2eiπ=−I
C2 경로에서 z−1=(1−x)eiπ→1−z=(1−x)ei0, z+1=(1+x)ei0 (x:1→−1)이어서
∫C2f(z)dz=∫−11dxdx(1+x2)√1−x2ei0=−I
그리고 Cϵ, C′ϵ, C∞에서 적분값은 0에 수렴하므로 residue 정리에 의해서
−2I=2πi×(1−2i√2+1−2i√2)→I=π√2
728x90
'Mathematics' 카테고리의 다른 글
Integration along a branch cut-027 (0) | 2024.10.15 |
---|---|
Integration along a branch cut-026 (0) | 2024.10.14 |
Integration along a branch cut-024 (0) | 2024.10.07 |
Integration along a branch cut-023 (0) | 2024.10.06 |
Integration along a branch cut-022 (0) | 2024.10.05 |