$$I = \int_{0}^{\infty} \frac{(\log x)^2}{x^2 + 1}dx=\frac{\pi^3}{8}$$

 

복소평면에서 함수 $f(z) =\frac{(\log z)^2}{z^2 + 1}$를 고려하자. $z=0, \infty$가 $f(z)$의 두 branch point이므로 $+x$축을 cut line으로 선택하고 그림과 같은 contoure을 따라 적분을 하자. $z=\pm i$는 $f(z)$의 두 simple pole이다.

$C_\epsilon$에서 적분은 $z=\epsilon e^{i \theta},~\theta:\pi\to 0$로 표현하면 

$$\lim_{\epsilon \to 0}  \int_{C_\epsilon} f(z)dz  = 0$$

$C_\infty$에서 적분도 0임을 쉽게 보일  수 있다.

$$\int_{C_\infty} f(z) dz = 0$$

$C_1$에서 적분은 $z=xe^{i0}, ~x:0\to \infty$이므로 

$$ \int_{C_1} f(z) dz = \int_0^\infty \frac{(\log x)^2}{x^2 + 1} dx= I$$

$C_2$에서 적분은 $z=xe^{\pi i}, ~x: \infty\to0$이므로( $\int_0^\infty \frac{\log x}{x^2+1}dx=0$)

\begin{align} \int_{C_2} f(z) dz &= \int _{\infty}^0 \frac{(\log x + \pi i )^2 }{x^2 + 1} e^{i \pi }dx \\ &= I + 2\pi i \int_\infty^0 \frac{\log x}  {x^2+1} e^{i\pi}dx -\pi^2 \int_\infty^0 \frac{dx}{x^2+1} e^{i\pi}dx \\   &= I + 0 - \frac{\pi^3}{2}\end{align}

Contour가 $z=i$ 포함하므로 residue 정리에 의해서 

$$ \int_{C_\epsilon + C_1 +C_2 +C_\infty} f(z)dz= 2\pi i \times \frac{(i\pi/2)^2}{2i}=-\frac{\pi^3}{4}$$

이므로 

$$ I = \int_0^\infty \frac { (\log x)^2 }{x^2+1} = \frac{\pi^3}{8}$$

728x90

'Mathematics' 카테고리의 다른 글

Tautochrone Curve(등시곡선)  (0) 2023.01.16
Fourier transform of the Heviside step function  (0) 2023.01.12
Gibbs Phenomenon  (0) 2022.05.06
Catenary: Rolling Parabolas  (0) 2022.02.03
Catenary: rolling square wheels  (0) 2022.02.02
Posted by helloktk
,

$$ I =  \text{Pr}\int_{-1}^1 \sqrt{ \frac{1+x}{1-x}} \frac{1}{(2-x)x} dx$$

복소함수 

$$f(z)=\left(\frac{1+z}{1-z} \right)^{1/2}\frac{1}{(2-z)z}$$

의 contour $\Gamma$에 대한 적분을 고려한다. $z=\pm1$이 branch point이고, $z=0,1$은 simple pole이다. cut line은 그림처럼 잡고, 위상은 $z=\pm 1$에서 $0\rightarrow 2\pi $로 선택한다.

residue 정리에 의해서 

$$ \int_\Gamma f(z) dz = 2i\pi \text{Res}(z=2) = \sqrt{3} \pi $$

$C_1$: $$\int_{C_1} f(z)dz = O(\sqrt{\epsilon}\epsilon)\rightarrow 0$$  

$C_5$: $$\int_{C_5} f(z)dz = O(\sqrt{\epsilon})\rightarrow 0$$  

$C_3$: $z=\epsilon e^{i \theta}~(\theta: \pi \rightarrow 2\pi)$, $z+1= e^{2i\pi}$, $z-1=e^{i\pi}$이므로

$$\int_{C_3} f(z) dz = \frac{e^{i\pi}}{e^{i\pi/2}e^{i\pi/2} } \int_{\pi}^{2\pi} \frac{i \epsilon e^{i\theta}}{2\epsilon e^{i \theta}} d\theta = i \frac{\pi}{2}.$$ 

$C_7$:  $z=e^{i\theta}~(\theta:0 \rightarrow \pi)$, $z+1 =e^{i 0}$, $z-1=e^{i \pi}$이므로

$$\int_{C_7} f(z) dz = \frac{1}{e^{i\pi/2}  e^{i\pi/2}}\int_0^\pi \frac{i\epsilon e^{i \theta}}{2\epsilon e^{i \theta}} d\theta =-i \frac{\pi}{2} $$

$C_2 + C_4$: $z+1= (x+1) e^{2i \pi }~(x: -1 \rightarrow +1)$, $z-1=(1-x)e^{i\pi}$이므로

$$\int_{C_2 + C_7} f(z)dz = \frac{e^{i\pi}}{e^{i\pi/2}e^{i\pi/2}}\int_{-1}^{1} \sqrt{\frac{1+x}{1-x}}\frac{dx}{(2-x)x}=I.$$

$C_6 + C_8$: $z+1= (x+1) e^{i 0}~(x: +1 \rightarrow -1)$, $z-1=(1-x)e^{i\pi}$이므로

$$\int_{C_2 + C_7} f(z)dz = \frac{1}{e^{i\pi/2}  e^{i\pi/2}}\int_{1}^{-1} \sqrt{\frac{1+x}{1-x}}\frac{dx}{(2-x)x}=I.$$

$C_\infty$: $$ \int_{C_\infty} f(z)dz = O( 1/R) \rightarrow0.$$

이 결과를 모두 정리하면,

$$ I =\text{Pr} \int_{-1}^1 \sqrt{\frac{1+x }{1-x}} \frac{dx}{(2-x)x}=\frac{\sqrt{3}}{2}\pi.$$

 

728x90

'Mathematics' 카테고리의 다른 글

Catenary  (0) 2022.01.14
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
Posted by helloktk
,

$$I= \int_c^\infty \frac{dx}{x^2 - 1} \quad(c > 1)$$

복소함수 $f(z)= \frac{\log(z-c) }{ z^2 -1}$을 그림의 contour을 따라 적분을 한다. $z=c, \infty$가 branch point이므로 $x>c$인 $x$축을 따라 cut line을 설정한다. 또, $z=\pm 1$은 simple pole이다.

$C_2$:   $$ \int f(z) dz = O( \log(\epsilon) \epsilon ) \rightarrow 0.$$$C_1$: $z-c = (x-c) e^{i 2\pi}~(x: \infty \rightarrow c)$이므로,$$ \int_{C_1} f(z) dz = \int_\infty ^c \frac{1}{x^2 -1} ( \log (x-c) + 2i \pi) dx $$$C_3$: $z-c= (x-c) e^{i 0} ~(x: c \rightarrow \infty)$이므로,$$ \int_{C_3} f(z) dz = \int_c^\infty \frac{1}{x^2 - 1} \log(x-c) dx $$ $C_\infty$: $$\int f(z) dz  = O( \log(R) /R ) \rightarrow   0$$ 따라서, $$\int_{\Gamma}  f(z) dz= 2 i \pi  [\text{Res}(z=1) + \text{Res}(z=-1)] =2i \pi \left( \frac{\log (c-1)}{2} - \frac{ \log(c+1)}{2}\right)$$

정리하면,

$$\int_c^\infty \frac{dx}{x^2 -1} = \log\sqrt{\frac{c+1}{c-1}}$$

물론 $\frac{1}{x^2-1} = \frac{1}{2} (\frac{1}{x-1} - \frac{1}{x+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
Posted by helloktk
,

$$ I = \int_{-1}^1 \sqrt{1-x^2} dx$$

복소함수를 $f(z)= \sqrt{1+z^2}$으로 선택하면, $z=\pm i$가 branch point이므로 cut line을 $z=-i$와 $z=+i$을 잇는 선분으로 잡는다. $z=\pm i$ 근방에서 위상은 각각 $-\pi/2\rightarrow 3\pi/2$, $0\rightarrow 2\pi$ 선택하면 된다. $z=\infty$에서 residue가 있으므로 그림과 같은 contour $(\Gamma= C_1 + C_2 + C_\epsilon +C_{\epsilon'} + C_\infty)$에서 

$C_\epsilon(z=i), C_{\epsilon'}(z=-i)$: $$ \int f(z) dz = O(\sqrt{\epsilon} \epsilon) \rightarrow  0.$$

$C_1$: $z- i = (1-x)e^{-i \pi/2}~ (x:-1 \rightarrow 1)$, $z+i = (1+x)e^{i\pi/2}$이므로

$$\int_{C_1} f(z)dz  = \int_{-1}^{1}\sqrt{1-x^2} d( e^{i \pi/2} x) = i I$$

$C_2$: $z-i = (1-x)e^{i 3\pi/2}~(x:1\rightarrow -1)$, $z+i=(1+x)e^{i \pi/2}$이므로

$$\int_{C_2} f(z)dz = \int_{1}^{-1} \sqrt{1-x^2} e^{i\pi}  d (e^{i\pi/2}x) = i I$$

무한대에서 residue를 결정하기 위해서 $z=1/t$로 치환하면 ($z=Re^{i\theta}~(\theta:2\pi\rightarrow 0)$이면 $t= \delta e^{-i\theta}, ~\delta = 1/R$)

$$\int_{C_\infty} f(z) dz = \int_{C_\delta }  \sqrt{1 + \frac{1}{t^2} } \frac{dt}{-t^2}=\int_{C_\delta } \frac{1}{t}(1 + \frac{1}{2}t^2 + ...) \frac{dt}{-t^2}\\=\int_{C_\delta} \frac{dt}{-2t}  =\int_{2\pi}^{0} \frac{ - e^{- i \theta} d \theta }{ - 2e^{-i \theta}} =- i\pi $$

따라서 $\int_\Gamma f(z) dz = 0$에서 

$$ I = \int_{-1}^1 \sqrt{1-x^2} dx  =\frac{\pi}{2}.$$

이 결과는 $x=\sin \theta$의 치환적분을 이용하면 더 쉽게 구할 수 있다.

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
Posted by helloktk
,

$$I = \int_{-\infty}^\infty \frac{p e^{ipr} dp}{\sqrt{p^2 + m^2 }  } \quad   (r>0,~m>0)$$

복소함수 $f(z) =\frac{z e^{izr} }{\sqrt{z^2 + m^2}}$을 contour 적분을 이용한다. $z=\pm im$가 $f(z)$의 branch point이므로 그림과 같이 cut line을 잡는다(적분은 upper half plane에서 한다). $z=im$ 근방에서 위상은 $-3\pi/2\rightarrow \pi/2$로 선택한다.

그림의 contour에서 $f(z)$가 analytic하므로 $\int_\Gamma f(z) dz = 0$이고,

$C_1$: $z-im = (s-m) e^{i \pi/2} ~~(s: \infty\rightarrow m)$, $z+im = (s+m) e^{i\pi/2}$, $z=is$이므로

$$\int_{C_1} f(z) dz = \int_{\infty}^m \frac{  (is) e^{-sr} (ids)}{ \sqrt{s^2 - m^2 } e^{i\pi/2}} = -i \int_m^\infty \frac{s e^{-sr} ds }{ \sqrt{ s^2 - m^2}} .$$

$C_2$: $z-im= (s-m) e^{-i 3\pi/2} ~~(s: m\rightarrow \infty)$, $z+im = (s+m) e^{i \pi/2}$, $z=is$이므로

$$\int_{C_2} f(z) dz = \int_m^\infty \frac{ (is) e^{-sr} (ids) }{ \sqrt{s^2 - m^2 }} e^{-i \pi /2} = -i \int_m^\infty \frac{s e^{-sr}ds }{\sqrt{s^2 - m^2} }.$$

그리고 $$ \int_{C_\epsilon} f(z) dz  = O( \sqrt{\epsilon})\rightarrow 0.$$

$C_\infty$에서 $z=R e^{i\theta} ~(\theta:0\rightarrow \pi)$로 놓으면 $|e^{izr}|  \le  e^{- R \sin \theta r} \rightarrow 0$이므로 

$$\int_{C_\infty} f(z) dz \rightarrow 0.$$

따라서 $x$-축을 따라 적분한 값 $I$는

$$I = \int_{-\infty}^{\infty} \frac{p e^{i p r}dp}{ \sqrt{p^2 + m^2 }} = 2i \int_m^\infty \frac{se^{-sr} ds} {\sqrt{s^2 - m^2}} =i\times \text{positive number}.$$ 우변의 적분은 closed form으로 표현이 안되지만 0이 아님은 알 수 있다. 그리고 실함수에 대한 적분이므로 수치적으로 계산하기 쉬운 형태로 바뀐 것이다.

728x90

'Mathematics' 카테고리의 다른 글

Integration along a branch cut-011  (0) 2021.01.04
Integration along a branch cut-010  (0) 2021.01.04
Integration along branch cuts-008  (0) 2021.01.03
Integration along a branch cut-007  (1) 2020.12.31
Integration along a branch cut-006  (0) 2020.02.28
Posted by helloktk
,