grandes-ecoles 2020 Q36

grandes-ecoles · France · centrale-maths2__psi Differentiating Transcendental Functions Compute derivative of transcendental function
For every positive real $x$, we consider the function $\phi_x$ defined by $$\phi_x : \begin{array}{ccc} \mathbb{R} & \rightarrow & \mathbb{R} \\ t & \mapsto & x\exp(-x\exp(-t)) \end{array}$$ Prove that, for every positive real $x$, the function $\phi_x$ is of class $\mathcal{C}^2$ on $\mathbb{R}$ and that $$\forall t \in \mathbb{R}, \quad 0 \leqslant \phi_x'(t) \leqslant \frac{x}{\mathrm{e}}.$$
For every positive real $x$, we consider the function $\phi_x$ defined by
$$\phi_x : \begin{array}{ccc} \mathbb{R} & \rightarrow & \mathbb{R} \\ t & \mapsto & x\exp(-x\exp(-t)) \end{array}$$
Prove that, for every positive real $x$, the function $\phi_x$ is of class $\mathcal{C}^2$ on $\mathbb{R}$ and that
$$\forall t \in \mathbb{R}, \quad 0 \leqslant \phi_x'(t) \leqslant \frac{x}{\mathrm{e}}.$$