Étudier la fonction {g(x)=\displaystyle\int_{0}^{+\infty}\text{e}^{-xt}\dfrac{1-\cos(t)}{t^{2}}\,\text{d}t}.
En déduire {\displaystyle\int_{0}^{+\infty}\dfrac{\sin(t)}{t}\,\text{d}t=\dfrac{\pi}{2}}.
Dérivabilité de {g(x)=\displaystyle\int_{0}^{1}\dfrac{\text{e}^{-(1+t^{2})x}}{1+t^{2}}\,\text{d}t}.
En déduire {\displaystyle\int_{-\infty}^{+\infty}\text{e}^{-u^{2}}\,\text{d}u=\sqrt{\pi}}.
(Oral Mines-Ponts)
Existence et calcul de {\displaystyle\int_{0}^{+\infty}\biggl(\displaystyle\int_{x}^{+\infty}\dfrac{e^{-t}}{t}\text{d}t\biggr)\text{d}x}.