Answer on Question #50230 – Math - Complex Analysis
Use Residue theorem to compute Principle value integral from ( - infinity to infinity )
[3x] / [(x^2 + 1)^2 (x + 2)] dx
Solution
By definition, P . V . ∫ − ∞ ∞ 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 = lim ε → 0 ( ∫ − ∞ − 2 − ε 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 + ∫ − 2 + ε ∞ 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 ) P.V.\int_{-\infty}^{\infty}\frac{3zdz}{(z + 2)(z^2 + 1)^2} = \lim_{\varepsilon \to 0}\left(\int_{-\infty}^{-2 - \varepsilon}\frac{3zdz}{(z + 2)(z^2 + 1)^2} +\int_{-2 + \varepsilon}^{\infty}\frac{3zdz}{(z + 2)(z^2 + 1)^2}\right) P . V . ∫ − ∞ ∞ ( z + 2 ) ( z 2 + 1 ) 2 3 z d z = lim ε → 0 ( ∫ − ∞ − 2 − ε ( z + 2 ) ( z 2 + 1 ) 2 3 z d z + ∫ − 2 + ε ∞ ( z + 2 ) ( z 2 + 1 ) 2 3 z d z )
We use the contour consisting of the segment from − R -R − R to − 2 − ε -2 - \varepsilon − 2 − ε along the real axis, followed by − γ ε -\gamma_{\varepsilon} − γ ε , the semicircle in the upper half plane, of radius ε \varepsilon ε . The contour − γ ε -\gamma_{\varepsilon} − γ ε is clockwise, so that γ ε \gamma_{\varepsilon} γ ε is counter clockwise. Then we move from − 2 + ε -2 + \varepsilon − 2 + ε to R R R along the real axis, followed by γ R \gamma_{R} γ R , the semicircle of radius R R R in the upper half plane counter clockwise from R R R to − R -R − R . Call the whole contour Γ ε , R \Gamma_{\varepsilon,R} Γ ε , R . The contour Γ ε , R \Gamma_{\varepsilon,R} Γ ε , R is closed in the upper half plane and encircles the pole of order 2 at z = i z = i z = i .
By the Residue Theorem,
∫ Γ ε , R 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 = 2 π i res [ 3 z ( z + 2 ) ( z 2 + 1 ) 2 , z = i ] = 2 π i lim z → i ( 3 z ( z + 2 ) ( z + i ) 2 ) ′ = = 2 π i lim z → i ( 6 ( − z 2 − z + i ) ( z + 2 ) ( z + i ) 3 ) = 2 π i ( 3 25 + 9 100 i ) . \begin{array}{l}
\int_{\Gamma_{\varepsilon,R}} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} = 2 \pi \mathrm{i} \operatorname{res} \left[ \frac{3 \mathrm{z}}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2}, \mathrm{z} = \mathrm{i} \right] = 2 \pi \mathrm{i} \lim_{\mathrm{z} \to \mathrm{i}} \left( \frac{3 \mathrm{z}}{(\mathrm{z} + 2)(\mathrm{z} + \mathrm{i})^2} \right)' = \\
= 2 \pi \mathrm{i} \lim_{\mathrm{z} \to \mathrm{i}} \left( \frac{6 (-\mathrm{z}^2 - \mathrm{z} + \mathrm{i})}{(\mathrm{z} + 2)(\mathrm{z} + \mathrm{i})^3} \right) = 2 \pi \mathrm{i} \left( \frac{3}{25} + \frac{9}{100} \mathrm{i} \right).
\end{array} ∫ Γ ε , R ( z + 2 ) ( z 2 + 1 ) 2 3 zd z = 2 π i res [ ( z + 2 ) ( z 2 + 1 ) 2 3 z , z = i ] = 2 π i lim z → i ( ( z + 2 ) ( z + i ) 2 3 z ) ′ = = 2 π i lim z → i ( ( z + 2 ) ( z + i ) 3 6 ( − z 2 − z + i ) ) = 2 π i ( 25 3 + 100 9 i ) .
As for the top of the contour
∣ ∫ Γ R 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 ∣ ≤ π R 2 ( R 2 + 1 ) 2 ( R + 2 ) → 0 as R → ∞ . \left| \int_{\Gamma_{R}} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} \right| \leq \frac{\pi \mathrm{R}^2}{(\mathrm{R}^2 + 1)^2 (\mathrm{R} + 2)} \rightarrow 0 \text{ as } R \rightarrow \infty. ∣ ∣ ∫ Γ R ( z + 2 ) ( z 2 + 1 ) 2 3 zd z ∣ ∣ ≤ ( R 2 + 1 ) 2 ( R + 2 ) π R 2 → 0 as R → ∞.
As for small semicircle, we parameterize γ ε \gamma_{\varepsilon} γ ε by z ( t ) = − 2 + ε t z(t) = -2 + \varepsilon t z ( t ) = − 2 + εt , 0 ≤ t ≤ π 0 \leq t \leq \pi 0 ≤ t ≤ π .
Then
∫ γ ε 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 = 3 ∫ 0 π i ε e i t d t ( − 2 + ε e i t ) ε e i t ( ( − 2 + ε e i t ) 2 + 1 ) 2 = 3 i ∫ 0 π ( − 2 + ε e i t ) ( 5 − 4 ε e i t + ε 2 e 2 i t ) 2 d t → − 6 π i 25 , as ε → 0. \int_{\gamma_{\varepsilon}} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} = 3 \int_{0}^{\pi} \frac{\mathrm{i} \varepsilon \mathrm{e}^{\mathrm{i}t} \mathrm{d}t (-2 + \varepsilon \mathrm{e}^{\mathrm{i}t})}{\varepsilon \mathrm{e}^{\mathrm{i}t} \left( (-2 + \varepsilon \mathrm{e}^{\mathrm{i}t})^2 + 1 \right)^2} = 3 \mathrm{i} \int_{0}^{\pi} \frac{(-2 + \varepsilon \mathrm{e}^{\mathrm{i}t})}{(5 - 4 \varepsilon \mathrm{e}^{\mathrm{i}t} + \varepsilon^2 \mathrm{e}^{2\mathrm{i}t})^2} \mathrm{d}t \rightarrow \frac{-6 \pi \mathrm{i}}{25}, \text{ as } \varepsilon \rightarrow 0. ∫ γ ε ( z + 2 ) ( z 2 + 1 ) 2 3 zd z = 3 ∫ 0 π ε e i t ( ( − 2 + ε e i t ) 2 + 1 ) 2 i ε e i t d t ( − 2 + ε e i t ) = 3 i ∫ 0 π ( 5 − 4 ε e i t + ε 2 e 2 i t ) 2 ( − 2 + ε e i t ) d t → 25 − 6 π i , as ε → 0.
Combining all the parts, we have
2 π i ( 3 25 + 9 100 i ) = lim ε → 0 lim R → ∞ ∫ Γ R , ε 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 = P . V . ∫ − ∞ ∞ 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 − ( − 6 π 25 i ) . 2 \pi \mathrm{i} \left( \frac{3}{25} + \frac{9}{100} \mathrm{i} \right) = \lim_{\varepsilon \to 0} \lim_{\mathrm{R} \to \infty} \int_{\Gamma_{R,\varepsilon}} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} = \mathrm{P.V.} \int_{-\infty}^{\infty} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} - \left( -\frac{6\pi}{25} \mathrm{i} \right). 2 π i ( 25 3 + 100 9 i ) = ε → 0 lim R → ∞ lim ∫ Γ R , ε ( z + 2 ) ( z 2 + 1 ) 2 3 zd z = P.V. ∫ − ∞ ∞ ( z + 2 ) ( z 2 + 1 ) 2 3 zd z − ( − 25 6 π i ) .
Then, P . V . ∫ − ∞ ∞ 3 z d z ( z + 2 ) ( z 2 + 1 ) 2 = 2 π i ( 3 25 + 9 100 i ) − 6 π 25 i = − 9 π 50 \mathrm{P.V.} \int_{-\infty}^{\infty} \frac{3 \mathrm{zd}z}{(\mathrm{z} + 2)(\mathrm{z}^2 + 1)^2} = 2 \pi \mathrm{i} \left( \frac{3}{25} + \frac{9}{100} \mathrm{i} \right) - \frac{6\pi}{25} \mathrm{i} = \frac{-9\pi}{50} P.V. ∫ − ∞ ∞ ( z + 2 ) ( z 2 + 1 ) 2 3 zd z = 2 π i ( 25 3 + 100 9 i ) − 25 6 π i = 50 − 9 π .
Answer: P. V. ∫ − ∞ ∞ 3 ⋅ z d z ( z + 2 ) ( z 2 + 1 ) 2 = − 9 π 50 \int_{-\infty}^{\infty} \frac{3 \cdot z \, dz}{(z + 2)(z^2 + 1)^2} = \frac{-9\pi}{50} ∫ − ∞ ∞ ( z + 2 ) ( z 2 + 1 ) 2 3 ⋅ z d z = 50 − 9 π .
www.AssignmentExpert.com
Comments