Loading [MathJax]/jax/output/CommonHTML/jax.js

update:2024.10.28

I=Pr111+x1x1(2x)xdx

복소함수 

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

의 contour Γ에 대한 적분을 고려한다. z=±1이 branch point이고, z=0,2은 simple pole이다. cut line은 그림처럼 잡고, 위상은 0arg(z+1)2π,πarg(1z)π로 선택한다.

residue 정리에 의해서 

Γf(z)dz=(CCi)f(z)dz=2πi×Res(z=2)=3π  Cif(z)dz=3π

C1: z+1=ϵeiθ C1f(z)dz=O(ϵϵ)0  

C5: z1=ϵeiθ C5f(z)dz=O(ϵ)0  

C3: z=ϵeiθ (θ:π2π)z+1=ei2πz1=eiπ1z=ei0이므로

1+z1z=ei2πei0=eiπC3f(z)dz=eiπ2ππiϵeiθ2ϵeiθdθ=iπ2. 

C7z=ϵeiθ (θ:0π)z+1=ei0z1=eiπ1z=ei0이므로

1+z1z=ei0ei0=1C7f(z)dz=π0iϵeiθ2ϵeiθdθ=iπ2

C2+C4: z+1=(x+1)e2iπ (x:11)z1=(1x)eiπ1z=(1x)ei0이므로

C2+C4=eiπ111+x1xdx(2x)x=I.

C6+C8: z+1=(x+1)ei0 (x:11)z1=(1x)eiπ1z=(1x)ei0이므로

C6+C8=111+x1xdx(2x)x=I

C: z=Reiθ Cf(z)dz=O(1/R)0.

이 결과를 모두 정리하면,

I=Pr111+x1xdx(2x)x=32π.

 

728x90

'Mathematics' 카테고리의 다른 글

Integration along a branch cut-014  (0) 2022.01.03
Integration along a branch cut-013  (0) 2021.12.22
Integration along a branch cut-011  (0) 2021.01.04
Integration along a branch cut-010  (0) 2021.01.04
Integration along a branch cut-009  (0) 2021.01.03
,

I=cdxx21(c>1)

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

C2xc=ϵeiθ로 매개화하면 f(z)dz=O(log(ϵ)ϵ)0.C1: zc=(xc)ei2π (x:c)이므로,C1f(z)dz=clog(xc)+2πix21dx=clog(xc)+2πix21dxC3: zc=(xc)ei0 (x:c)이므로,C3f(z)dz=clog(xc)x21dx 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(c1)2+log(c+1)2]

정리하면,

cdxx21=logc+1c1

물론 1x21=12(1x11x+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
,

update: 2024.10.28;

I=111x2dx

복소함수를 f(z)=z21으로 선택하면, z=±i가 branch point이므로 cut line을 z=iz=+i을 잇는 선분으로 잡는다. 위상은 π2arg(zi), arg(z+i)3π2로 선택하면 된다. z=에서 residue가 있으므로 그림과 같은 contour에서 적분을 고려하자. 

Cϵ(z=i), Cϵ(z=i): f(z)dz=O(ϵϵ)0. C1: zi=(1x)eiπ/2z+i=(1+x)eiπ/2 (x:11)이므로 C1=111x2d(ix)=iI C2: zi=(1x)ei3π/2z+i=(1+x)eiπ/2 (x:11)이므로 C2=111x2eiπd(ix)=iI 무한대에서 residue를 결정하기 위해서 z21=z11/z2=z12z+  Resf()=12Cf(z)dz=2πi×Resf()=iπ Γ=CCk 내부에서 f(z)가 analytic 하므로 Cf(z)dz=Cif(z)dz이다. 따라서 I=111x2dx=π2 이 결과는 x=sinθ의 치환적분을 이용하면 더 쉽게 구할 수 있다.

728x90

'Mathematics' 카테고리의 다른 글

Integration along a branch cut-012  (0) 2021.01.05
Integration along a branch cut-011  (0) 2021.01.04
Integration along a branch cut-009  (0) 2021.01.03
Integration along branch cuts-008  (0) 2021.01.03
Integration along a branch cut-007  (1) 2020.12.31
,