grandes-ecoles 2016 QI.D

grandes-ecoles · France · centrale-maths2__psi Taylor series Prove smoothness or power series expandability of a function
Let $f \in \mathcal{S}$.
I.D.1) Justify that, for every natural number $n$, the function $x \mapsto x^{n} f(x)$ is integrable on $\mathbb{R}$.
I.D.2) Prove that the function $\mathcal{F}(f)$ is of class $C^{\infty}$ on $\mathbb{R}$ and that
$$\forall n \in \mathbb{N}, \quad \forall \xi \in \mathbb{R}, \quad (\mathcal{F}(f))^{(n)}(\xi) = (-2\pi\mathrm{i})^{n} \int_{-\infty}^{+\infty} t^{n} f(t) e^{-2\pi\mathrm{i} t\xi} \mathrm{~d}t$$
Let $f \in \mathcal{S}$.

I.D.1) Justify that, for every natural number $n$, the function $x \mapsto x^{n} f(x)$ is integrable on $\mathbb{R}$.

I.D.2) Prove that the function $\mathcal{F}(f)$ is of class $C^{\infty}$ on $\mathbb{R}$ and that

$$\forall n \in \mathbb{N}, \quad \forall \xi \in \mathbb{R}, \quad (\mathcal{F}(f))^{(n)}(\xi) = (-2\pi\mathrm{i})^{n} \int_{-\infty}^{+\infty} t^{n} f(t) e^{-2\pi\mathrm{i} t\xi} \mathrm{~d}t$$