I=Pr11(1+x1x)1/2dx(2x)xI=Pr11(1+x1x)1/2dx(2x)x

contour 적분을 이용해서 이를 구하기 위해 다음의 복소함수를 고려한다.

f(z)=(1+z1z)1/21(2z)zf(z)=(1+z1z)1/21(2z)z

f(z)f(z)z=±1z=±1이 branch point 이고 z=0,2z=0,2에서 simple pole을 가진다. Branch cut을 그림처럼 두 지점을 연결하는 선분으로 잡으면 z+1z+11z1z의 위상을 πθπ,0arg(1z)2ππθπ,0arg(1z)2π선택할 수 있다.

branch cut x+x+-축

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

kCkf(z)dz+Cf(z)dz=2πi×Res(z=2)kCkf(z)dz+Cf(z)dz=2πi×Res(z=2)

CC에서 Cf(z)dz=O(1/R)0Cf(z)dz=O(1/R)0

C1C1에 대해서 z+1=ϵeiθ (θ:ππ)z+1=ϵeiθ (θ:ππ), z1=2eiπz1=2eiπ이므로

C1f(z)dzO(ϵϵ)0C1f(z)dzO(ϵϵ)0

C5C5에 대해서, z1=ϵeiθ (θ:02π)z1=ϵeiθ (θ:02π), z+1=2e0i, (θ:02π)z+1=2e0i, (θ:02π)이므로

C5f(z)dzO(ϵ)0C5f(z)dzO(ϵ)0

C7C7에서는 z=ϵeiθ (θ:0π)z=ϵeiθ (θ:0π), z+1=ei0z+1=ei0, z1=eiπ1z=ei2πz1=eiπ1z=ei2π이고, C3C3에서는 z=ϵeiθ (θ:π2π)z=ϵeiθ (θ:π2π), z+1=ei0z+1=ei0, z1=eiπ1z=(1x)ei0z1=eiπ1z=(1x)ei0이므로

C3f(z)dz=122ππiϵeiθdθϵeiθ=iπ2C7f(z)dz=12π0iϵeiθdθϵeiθ=iπ2C3+C7f(z)dz=0

C2C4에서는 z+1=(1+x)ei0  (x:11)z1=(1x)eiπ1z=(1x)ei0 1+z1z=1+x1x

C2+C4=111+x1xdx(2x)x=I

C6C8에서는 z+1=(1+x)e0i  (x:11)z1=(1x)eiπ1z=(1x)ei2π 1+z1z=1+x1x1eiπ=1+x1x이므로 C6+C8=111+x1xdx(2x)x=I z=2에서 residue을 계산하면 Res(z=2)=3i12=32i 따라서 2I=2πi×32iI=π32

728x90

'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
,