El procedimiento habitual es el siguiente:
\mathcal L \left\{ \frac {\sin t} {t}\right\}(s)=\int\limits_0^\infty e^{-st}\frac {\sin t} {t}dt
Tenemos que para cualquier f(t) tal que la transformación existe
\mathcal L \left\{ \frac {f(t)} {t}\right\}(s)=\int\limits_0^\infty f(t)\frac {e^{-st}} {t}dt
Pero
\frac {e^{-st}} {t}=\int\limits_s^\infty e^{-mt}dm
Bajo condiciones apropiadas podemos intercambiar el orden de las integradas y poner
\mathcal L \left\{ \frac {f(t)} {t}\right\}(s)=\int\limits_s^\infty \int\limits_0^\infty f(t) e^{-mt}dm dt
Esto significa que
\mathcal L \left\{ \frac {f(t)} {t}\right\}(s)=\int\limits_s^\infty F(t) dt
donde F es la transformación de f . Usando esto con \sin t da
\mathcal L \left\{ \frac {\sin t} {t}\right\}(s)=\int\limits_s^\infty \frac{1}{1+t^2} dt = \frac{\pi}{2}-\tan^{-1}s
\int\limits_0^\infty e^{-st} \frac{\sin t}{t} dt=\int\limits_s^\infty \frac{1}{1+t^2} dt = \frac{\pi}{2}-\tan^{-1}s
Tomando s \to 0
\lim\limits_{s \to 0} \int\limits_0^\infty e^{-st} \frac{\sin t}{t}dt=\frac{\pi}{2}
Para el último paso, hay que demostrar que
\lim\limits_{s \to 0} \int\limits_0^\infty e^{-st} \frac{\sin t}{t}dt=\int\limits_0^\infty \frac{\sin t}{t}dt
Sé que se puede utilizar el teorema de la convergencia dominada (que no está en mi alijo personal), y quizá algún otro teorema, pero soy incapaz de demostrarlo, aunque sé que es legítimo (la exponencial suele hacer que las cosas funcionen).