grandes-ecoles 2016 QI.A.4

grandes-ecoles · France · centrale-maths2__mp Reduction Formulae Evaluate a Closed-Form Expression Using the Reduction Formula
For $x \in \mathbb{R}^{+}$, we define $$f(x) = \int_{0}^{\infty} \frac{1 - \cos t}{t^{2}} \mathrm{e}^{-xt} \mathrm{~d}t$$ Show $$\left\{ \begin{array}{l} \forall x > 0, \quad f(x) = x \ln(x) - \frac{1}{2} x \ln\left(x^{2} + 1\right) - \arctan(x) + \frac{\pi}{2} \\ f(0) = \frac{\pi}{2} \end{array} \right.$$
For $x \in \mathbb{R}^{+}$, we define
$$f(x) = \int_{0}^{\infty} \frac{1 - \cos t}{t^{2}} \mathrm{e}^{-xt} \mathrm{~d}t$$
Show
$$\left\{ \begin{array}{l} \forall x > 0, \quad f(x) = x \ln(x) - \frac{1}{2} x \ln\left(x^{2} + 1\right) - \arctan(x) + \frac{\pi}{2} \\ f(0) = \frac{\pi}{2} \end{array} \right.$$