Definite Integral to Infinity of Cosine m x over x Squared plus a Squared

Theorem

 * $\ds \int_0^\infty \frac {\cos m x} {x^2 + a^2} \rd x = \frac \pi {2 a} e^{-m a}$

where $m$ and $a$ are positive real numbers.

Proof
From Definite Integral of Even Function:


 * $\ds \frac 1 2 \int_{-\infty}^\infty \frac {\cos m x} {x^2 + a^2} \rd x = \int_0^\infty \frac {\cos m x} {x^2 + a^2} \rd x$

Let $R$ be a positive real number with $R > a$.

Let $C_1$ be the straight line segment from $-R$ to $R$.

Let $C_2$ be the arc of the circle of radius $R$ centred at the origin connecting $R$ and $-R$ counter-clockwise.

Let $\Gamma = C_1 \cup C_2$.

Let:


 * $\map f z = \dfrac {e^{i m z} } {z^2 + a^2}$

From Euler's Formula, we have:


 * $\map f z = \dfrac {\cos m z} {z^2 + a^2} + i \dfrac {\sin m z} {z^2 + a^2}$

So:

Note that the integrand is meromorphic with simple poles where $z^2 + a^2 = 0$.

That is, at $z = a i$ and $z = -a i$.

As our semi-circular contour lies in the upper half-plane, the only pole of concern is $a i$.

As $R > a$, these poles do not lie on $C_2$, but are enclosed by the curve $\Gamma$.

We have:

The integral over $C_2$ can be shown to vanish as $R \to \infty$:

Taking $R \to \infty$, we have:

So:


 * $\ds \int_{-\infty}^\infty \frac {\cos m x} {x^2 + a^2} \rd x = \frac \pi a e^{-m a}$

giving:


 * $\ds \int_0^\infty \frac {\cos m x} {x^2 + a^2} \rd x = \frac \pi {2 a} e^{-m a}$