PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] example of using residue theorem (Example)

We take an example of applying the Cauchy residue theorem in evaluating usual real improper integrals.

We shall calculate the integral $$I := \int_0^\infty\frac{\cos{kx}}{1+x^2}\,dx$$ where $k$ is any real number. One may prove that the integrand has no antiderivative among the elementary functions if $k \neq 0$ .

Since the integrand is an even and $x\mapsto\frac{\sin{kx}}{1+x^2}$ an odd function, we may write $$I = \frac{1}{2}\int_{-\infty}^\infty\frac{\cos{kx}+i\sin{kx}}{1+x^2}\,dx = \frac{1}{2}\int_{-\infty}^\infty\frac{e^{ikx}}{1+x^2}\,dx,$$ using also Euler's formula. Let's consider the contour integral $$J := \oint_\gamma\frac{e^{ikz}}{1+z^2}\,dz$$ where $\gamma$ is the perimeter of the semicircle consisting of the line segment from $(-R,\,0)$ to $(R,\,0)$ and the semi-circular arc $c$ connecting these points in the upper half-plane ($R > 1$ ). The integrand is analytic on and inside of $\gamma$ except in the point $z = i$ which is a simple pole. Because we have (cf. the coefficients of Laurent series) $$\operatorname{Res}\left(\frac{e^{ikz}}{1+z^2},\;i\right) = \lim_{z\to i}(z-i)\frac{e^{ikz}}{z^2+1} = \lim_{z\to i}\frac{e^{ikz}}{z+i} = \frac{e^{-k}}{2i},$$ the residue theorem yields $$J = 2\pi i\!\cdot\!\frac{e^{-k}}{2i} = \pi e^{-k}.$$ This does not depend on the radius $R$ of the circle.


\begin{pspicture}(-3,-1)(3,3) \psline{->}(0,-0.7)(0,3) \psline(-3,0)(-2.5,0) \ps... ...e](-2.5,0.02)(2.5,0.02) \psarc[linecolor=blue](0,0){2.5}{0}{180} \end{pspicture}
We split the integral $J$ in two portions: one along the diameter and the other along the circular arc $c$ . So we obtain $$\int_{-R}^R\frac{e^{ikx}}{1+x^2}\,dx+\int_c\frac{e^{ikz}}{1+z^2}\,dz = \pi e^{-k}.$$ When $R\to\infty$ , the former portion tends to the limit $2I$ and the latter -- as we at once shall see -- to the limit 0. Hence we get the result $$I = \int_0^\infty\frac{\cos{kx}}{1+x^2}\,dx = \frac{\pi}{2e^k}.$$

As for the latter part of $J$ , we denote $z := x+iy$ ($x,\,y\in\mathbb{R}$ ); then on the arc $c$ , where $|z| = R$ and $y\geqq 0$ , we have $$\left|\frac{e^{ikz}}{1+z^2}\right| = \frac{|e^{-ky+ikx}|}{|1+z^2|} = \frac{e^{-ky}}{|1+z^2|} \leqq \frac{1}{R^2\!-\!1}.$$ Using this estimation of the integrand we get, according the integral estimating theorem, the inequality $$\left|\int_c\frac{e^{ikz}}{1+z^2}\,dz\right| \leqq \frac{1}{R^2\!-\!1}\!\cdot\!\pi R = \frac{\pi}{R\!-\!\frac{1}{R}}.$$ Since the right hand member tends to 0 as $R\to\infty$ , then also the left hand member.




"example of using residue theorem" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: improper integral, residue, integrals of even and odd functions, using residue theorem near branch point


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: right, inequality, integral estimating theorem, limit, circular, diameter, circle, radius, coefficients of Laurent series, simple pole, analytic, points, arc, line segment, perimeter, contour integral, Euler's formula, odd function, elementary functions, antiderivative, integrand, integral, improper integrals, real, Cauchy residue theorem
There are 5 references to this entry.

This is version 14 of example of using residue theorem, born on 2005-05-31, modified 2007-12-13.
Object id is 7136, canonical name is ExampleOfUsingResidueTheorem.
Accessed 6988 times total.

Classification:
AMS MSC30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)