Integrals of the form

In calculus, we define an improper (real) integral with
two infinite limits as follows:

We can compute such integrals using integrals of functions of a complex variable. Consider the loop $\mathcal{C}$ consisting of the segment

on the

axis and the upper semicircle $\mathcal{C}_1$ defined by $\vert z\vert=R$ (with $\operatorname{Im}\nolimits (z)>0$ ),as in Figure 1, choosing

such that this loop encloses all the singular points of the complex function

which are in the upper half-plane.

Example 9.3.1 We compute the integral

$\displaystyle I= \int_{-R}^{R} \frac {1}{x^4+1} \; dx$

Let $f(z)=\frac {1}{z^4+1}$ . This function has 4 poles in the complex plane,
namely the solutions of the equation . These poles are:

$\displaystyle \frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{2}, \; \frac {\sqrt{2}}{2}-... ...sqrt{2}}{2}-i\frac {\sqrt{2}}{2}, \; -\frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{2}.$

(9.2)

Thus we have:

$\displaystyle f(z)$	$\displaystyle =\frac {1}{z^4+1}$
$\displaystyle \quad$	$\displaystyle =\frac {1}{ \left[z-\left( \frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{... ...ght] \left[ z-\left( -\frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{2}\right) \right] }$
$\displaystyle \quad$	$\displaystyle =\frac {1}{ [z-e^{i \pi /4}][z-e^{3i \pi /4}][z-e^{5i \pi /4}][z-e^{7i \pi /4}]. }$

Let be a positive real number such that all of these poles with positive imaginary part are inside the loop defined as above, namely the first and the fourth of the numbers listed in 6; these are

$\displaystyle e^{i \pi /4}=\frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{2}$ and $\displaystyle \qquad e^{3i \pi /4}=-\frac {\sqrt{2}}{2}+i\frac {\sqrt{2}}{2}.$

(9.3)

Now we compute the residues of at each of these points; in what follows, $\mathcal{C}_2$ and $\mathcal{C}_3$ are simple loops obtained by ``cutting'' $\mathcal{C}$ into two parts, such that $e^{i \pi /4}$ is an interior point of $\mathcal{C}_2$ , but not of $\mathcal{C}_3$ , and $e^{3i \pi /4}$ is an interior point of $\mathcal{C}_3$ , but not of $\mathcal{C}_2$ (cf Figure 2).

**Figure 2:** Two simple loops in an upper semicircle.
$\begin{figure}\mbox{\epsfig{file=TwoLoopsUpperSemiCircle.eps,height=5cm}}\end{figure}$

$\displaystyle 2 \pi i$ Res $\displaystyle (f(z),e^{i \pi /4})$	$\displaystyle = \oint_{\mathcal{C}_2} \frac {1}{(z-e^{3i \pi /4})(z-e^{5i \pi /4})(z-e^{7i \pi /4})(z-e^{i \pi /4})} \;dz$
$\displaystyle \quad$	$\displaystyle = \oint_{\mathcal{C}_2} \frac {\; \; \frac {1}{(z-e^{3i \pi /4})(z-e^{5i \pi /4})(z-e^{7i \pi /4})} \; \; } {z-e^{i \pi /4}} \;dz$
$\displaystyle \quad$	$\displaystyle =\left[ \frac {1}{(z-e^{3i \pi /4})(z-e^{5i \pi /4})(z-e^{7i \pi /4})} \right] _{z=e^{i \pi /4}}$
$\displaystyle \quad$	$\displaystyle =-\frac {\sqrt{2}}{8}(1+i).$
$\displaystyle 2 \pi i$ Res $\displaystyle (f(z),e^{3i \pi /4}) \quad$	$\displaystyle = \oint_{\mathcal{C}_3} \frac {\; \; \frac {1}{(z-e^{i \pi /4})(z-e^{5i \pi /4})(z-e^{7i \pi /4})} \; \; } {z-e^{3i \pi /4}} \;dz$
$\displaystyle \quad$	$\displaystyle = \left[ \frac {1}{(z-e^{i \pi /4})(z-e^{5i \pi /4})(z-e^{7i \pi /4})} \right] _{z=e^{3i \pi /4}}$
$\displaystyle \quad$	$\displaystyle = \frac {\sqrt{2}}{8}(1-i).$
$\displaystyle 2 \pi i [$ Res $\displaystyle (f(z),e^{i \pi /4})$	$\displaystyle +$ Res $\displaystyle (f(z),e^{3i \pi /4})] =-i \frac {\sqrt{2}}{4}.$

Thus, we have:

$\displaystyle I= \int_{-R}^{R} \frac {1}{x^4+1} \; dx = \frac {\pi \sqrt{2}}{2}. = 2 \pi i \cdot \left( -i \frac {\sqrt{2}}{4} \right) = \frac {\pi \sqrt{2}}{2}.$

Integrals of the form $\int_{- \infty}^{+ \infty} f(x) \; dx$

Integrals of the form $\int_{- \infty}^{+ \infty} f(x) \; dx$ .

Integrals of the form .

Integrals of the form $\int_{- \infty}^{+ \infty} f(x) \; dx$

Integrals of the form $\int_{- \infty}^{+ \infty} f(x) \; dx$ .