Let $\alpha \in \mathbb{R}$. We say that $f$ is a solution of equation $\left(E_{\alpha}\right)$ if $f \in \mathcal{C}^{2}(\mathbb{R}, \mathbb{C})$ and $$\left(E_{\alpha}\right) \quad \forall x \in \mathbb{R}, f^{\prime\prime}(x) + \frac{ix}{2} f^{\prime}(x) + \frac{f(x)}{2}\left(\alpha|f(x)|^{2} + 1\right) = 0$$ In questions 1 to 7 of Part I, we assume that $\alpha > 0$. Moreover, we assume that there exists a solution $f$ of $(E_{\alpha})$ which satisfies $f(0) = 1$ and $f^{\prime}(0) = 0$. Show that $\forall x \in \mathbb{R}, |f(x)| \leq 1$ and that $$\forall x \in \mathbb{R}, \left|f^{\prime}(x)\right| \leq \frac{1}{2\sqrt{\alpha}}(\alpha + 1)$$
Let $\alpha \in \mathbb{R}$. We say that $f$ is a solution of equation $\left(E_{\alpha}\right)$ if $f \in \mathcal{C}^{2}(\mathbb{R}, \mathbb{C})$ and
$$\left(E_{\alpha}\right) \quad \forall x \in \mathbb{R}, f^{\prime\prime}(x) + \frac{ix}{2} f^{\prime}(x) + \frac{f(x)}{2}\left(\alpha|f(x)|^{2} + 1\right) = 0$$
In questions 1 to 7 of Part I, we assume that $\alpha > 0$. Moreover, we assume that there exists a solution $f$ of $(E_{\alpha})$ which satisfies $f(0) = 1$ and $f^{\prime}(0) = 0$.
Show that $\forall x \in \mathbb{R}, |f(x)| \leq 1$ and that
$$\forall x \in \mathbb{R}, \left|f^{\prime}(x)\right| \leq \frac{1}{2\sqrt{\alpha}}(\alpha + 1)$$