I=Pr∫1−1(1+x1−x)1/2dx(2−x)xI=Pr∫1−1(1+x1−x)1/2dx(2−x)x
contour 적분을 이용해서 이를 구하기 위해 다음의 복소함수를 고려한다.
f(z)=(1+z1−z)1/21(2−z)zf(z)=(1+z1−z)1/21(2−z)z
f(z)f(z)는 z=±1z=±1이 branch point 이고 z=0,2z=0,2에서 simple pole을 가진다. Branch cut을 그림처럼 두 지점을 연결하는 선분으로 잡으면 z+1z+1과 1−z1−z의 위상을 −π≤θ≤π,0≤arg(1−z)≤2π−π≤θ≤π,0≤arg(1−z)≤2π로 선택할 수 있다.


Branch cut과 pole을 감싸는 그림과 같은 경로에 대해서 선적분은 다음과 같이 나누어진다.

∑k∫Ckf(z)dz+∫C∞f(z)dz=−2πi×Res(z=2)∑k∫Ckf(z)dz+∫C∞f(z)dz=−2πi×Res(z=2)
C∞C∞에서 ∫C∞f(z)dz=O(1/R)→0∫C∞f(z)dz=O(1/R)→0
C1C1에 대해서 z+1=ϵeiθ (θ:−π→π)z+1=ϵeiθ (θ:−π→π), z−1=2eiπz−1=2eiπ이므로
∫C1f(z)dz∼O(√ϵϵ)→0∫C1f(z)dz∼O(√ϵϵ)→0
C5C5에 대해서, z−1=ϵeiθ (θ:0→2π)z−1=ϵeiθ (θ:0→2π), z+1=2e0i, (θ:0→2π)z+1=2e0i, (θ:0→2π)이므로
∫C5f(z)dz∼O(√ϵ)→0∫C5f(z)dz∼O(√ϵ)→0
C7C7에서는 z=ϵeiθ (θ:0→π)z=ϵeiθ (θ:0→π), z+1=ei0z+1=ei0, z−1=eiπ→1−z=ei2πz−1=eiπ→1−z=ei2π이고, C3C3에서는 z=ϵeiθ (θ:π→2π)z=ϵeiθ (θ:π→2π), z+1=ei0z+1=ei0, z−1=eiπ→1−z=(1−x)ei0z−1=eiπ→1−z=(1−x)ei0이므로
∫C3f(z)dz=12∫2ππiϵeiθdθϵeiθ=iπ2∫C7f(z)dz=−12∫π0iϵeiθdθϵeiθ=−iπ2→∫C3+C7f(z)dz=0
C2와 C4에서는 z+1=(1+x)ei0 (x:−1→1)z−1=(1−x)eiπ→1−z=(1−x)ei0→ √1+z1−z=√1+x1−x
∫C2+C4=∫1−1√1+x1−xdx(2−x)x=I
C6와 C8에서는 z+1=(1+x)e0i (x:1→−1)z−1=(1−x)eiπ→1−z=(1−x)ei2π→ √1+z1−z=√1+x1−x1eiπ=−√1+x1−x이므로 ∫C6+C8=−∫−11√1+x1−xdx(2−x)x=I z=2에서 residue을 계산하면 Res(z=2)=−√3i12=√32i 따라서 2I=2πi×√32i⟶I=π√32

'Mathematics' 카테고리의 다른 글
Mean distance between two randomly chosen points in unit square (0) | 2022.01.28 |
---|---|
Catenary (0) | 2022.01.14 |
Integration along a branch cut-013 (0) | 2021.12.22 |
Integration along a branch cut-012 (0) | 2021.01.05 |
Integration along a branch cut-011 (0) | 2021.01.04 |