Integral to Infinity of Square of Sine p x over x Squared

Theorem

 * $\displaystyle \int_0^\infty \paren {\frac {\sin p x} x}^2 \rd x = \frac {\pi p} 2$

where $p$ is a strictly positive real number.

Proof
We have:

We also have, by Primitive of Power:


 * $\displaystyle \int \frac {\d x} {x^2} = -\frac 1 x + C$

So:

We have, from Real Sine Function is Bounded, that:


 * $\displaystyle 0 \le \sin^2 p x \le 1$

for all real $x$.

Therefore:


 * $\displaystyle 0 \le \dfrac {\sin^2 p x} x \le \dfrac 1 x$

for all strictly positive real $x$.

We have:


 * $\displaystyle \lim_{x \mathop \to \infty} \frac 1 x = 0$

Therefore, by the Squeeze Theorem, we have:


 * $\displaystyle \lim_{x \mathop \to \infty} \paren {\frac {\sin^2 p x} x} = 0$

As to the other limit, note that:

So:

So:


 * $\displaystyle \int_0^\infty \paren {\frac {\sin p x} x}^2 \rd x = p \int_0^\infty \frac {\sin 2 p x} x \rd x$

By Integral to Infinity of Sine p x over x, we have:


 * $\displaystyle \int_0^\infty \frac {\sin 2 p x} x \rd x = \frac \pi 2$

for $p > 0$.

Hence the result.