Dirichlet Integral/Proof 2

Proof
We have, by Modulus of Sine of x Less Than or Equal To Absolute Value of x:


 * $\ds \size {\frac {e^{-\alpha x} \sin x} x} \le e^{-\alpha x}$

We have, from Laplace Transform of Real Power:


 * $\ds \int_0^\infty e^{-\alpha x} \rd x = \frac 1 \alpha$

so, by Comparison Test for Improper Integral:


 * $\ds \int_0^\infty \frac {e^{-\alpha x} \sin x} x \rd x$ converges.

So, we can define a real function $I : \hointr 0 \infty \to \R$ by:


 * $\ds \map I \alpha = \int_0^\infty \frac {e^{-\alpha x} \sin x} x \rd x$

for each $\alpha \in \hointr 0 \infty$.

Using Definite Integral of Partial Derivative:

We also have:

so:


 * $\ds \lim_{\alpha \to \infty} \size {\map I \alpha} = 0$

That is:


 * $\ds \lim_{\alpha \to \infty} \map I \alpha = 0$

Note that we have:


 * $\ds \map I 0 = \int_0^\infty \frac {\sin x} x \rd x$

So we have: