grandes-ecoles 2015 Q22
View
We assume that $m = 0$ and there exists $\lambda > 0$ such that $G(0) = (0,0,2\lambda)$, $G^{\prime}(0) = (1,0,0)$, and $G$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime\prime}(x) + \left(\lambda^{2} + \frac{x^{2}}{4}\right) G^{\prime}(x) - \frac{x}{4} G(x) = 0$$
(a) Show that $$\forall x \in \mathbb{R}, \left|G_{1}^{\prime}(x) - \cos(\lambda x)\right| \leq \frac{|x|^{3}}{6\lambda}$$ Hint: One may assume that for $r \in C(\mathbb{R}, \mathbb{R})$, if $y \in C^{2}(\mathbb{R}, \mathbb{R})$ satisfies $y^{\prime\prime}(x) + \lambda^{2} y(x) = r(x)$ for all $x \in \mathbb{R}$, then $$y(x) = \cos(\lambda x)\, y(0) + \frac{\sin(\lambda x)}{\lambda}\, y^{\prime}(0) + \frac{1}{\lambda}\int_{0}^{x} r(s)\sin(\lambda(x-s))\,ds$$
(b) Deduce that there exists $\lambda_{0} > 0$ such that if $\lambda > \lambda_{0}$ then there exists $x_{0} \neq 0$ such that $G_{1}(x_{0}) = 0$.