I=∫∞cdxx2−1(c>1)
복소함수 f(z)=log(z−c)z2−1을 그림의 contour을 따라 적분을 한다. z=c,∞가 branch point이므로 x>c인 x축을 따라 cut line을 설정한다: 0≤arg(z−c)≤2π. 또, z=±1은 simple pole이다.

C2: x−c=ϵeiθ로 매개화하면 ∫f(z)dz=O(log(ϵ)ϵ)→0.C1: z−c=(x−c)ei2π (x:∞→c)이므로,∫C1f(z)dz=∫c∞log(x−c)+2πix2−1dx=−∫∞clog(x−c)+2πix2−1dxC3: z−c=(x−c)ei0 (x:c→∞)이므로,∫C3f(z)dz=∫∞clog(x−c)x2−1dx C∞: z=Reiθ로 매개화하면, ∫f(z)dz=O(log(R)/R)→0 따라서, ∫Γf(z)dz=2πi×[Res(z=1)+Res(z=−1)]=2πi×[log(c−1)2+log(c+1)−2]
정리하면,
∫∞cdxx2−1=log√c+1c−1
물론 1x2−1=12(1x−1−1x+1)임을 이용하는 것이 더 쉽다.
728x90
'Mathematics' 카테고리의 다른 글
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-010 (0) | 2021.01.04 |
Integration along a branch cut-009 (0) | 2021.01.03 |
Integration along branch cuts-008 (0) | 2021.01.03 |