grandes-ecoles

Papers (191)
2025
centrale-maths1__official 40 centrale-maths2__official 42 mines-ponts-maths1__mp 20 mines-ponts-maths1__pc 21 mines-ponts-maths1__psi 21 mines-ponts-maths2__mp 28 mines-ponts-maths2__pc 24 mines-ponts-maths2__psi 26 polytechnique-maths-a__mp 27 polytechnique-maths__fui 16 polytechnique-maths__pc 27 x-ens-maths-a__mp 18 x-ens-maths-c__mp 9 x-ens-maths-d__mp 38 x-ens-maths__pc 27 x-ens-maths__psi 38
2024
centrale-maths1__official 28 centrale-maths2__official 29 geipi-polytech__maths 9 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 20 mines-ponts-maths1__psi 19 mines-ponts-maths2__mp 23 mines-ponts-maths2__pc 21 mines-ponts-maths2__psi 21 polytechnique-maths-a__mp 44 polytechnique-maths-b__mp 37 x-ens-maths-a__mp 43 x-ens-maths-b__mp 35 x-ens-maths-c__mp 22 x-ens-maths-d__mp 45 x-ens-maths__pc 24 x-ens-maths__psi 26
2023
centrale-maths1__official 44 centrale-maths2__official 33 e3a-polytech-maths__mp 4 mines-ponts-maths1__mp 15 mines-ponts-maths1__pc 23 mines-ponts-maths1__psi 23 mines-ponts-maths2__mp 22 mines-ponts-maths2__pc 18 mines-ponts-maths2__psi 22 polytechnique-maths__fui 23 x-ens-maths-a__mp 25 x-ens-maths-b__mp 24 x-ens-maths-c__mp 20 x-ens-maths-d__mp 20 x-ens-maths__pc 18 x-ens-maths__psi 15
2022
centrale-maths1__mp 48 centrale-maths1__official 48 centrale-maths1__pc 37 centrale-maths1__psi 43 centrale-maths2__mp 32 centrale-maths2__official 32 centrale-maths2__pc 39 centrale-maths2__psi 45 mines-ponts-maths1__mp 25 mines-ponts-maths1__pc 24 mines-ponts-maths1__psi 24 mines-ponts-maths2__mp 24 mines-ponts-maths2__pc 19 mines-ponts-maths2__psi 20 x-ens-maths-a__mp 13 x-ens-maths-b__mp 40 x-ens-maths-c__mp 27 x-ens-maths-d__mp 46 x-ens-maths1__mp 13 x-ens-maths2__mp 40 x-ens-maths__pc 15 x-ens-maths__pc_cpge 15 x-ens-maths__psi 22 x-ens-maths__psi_cpge 23
2021
centrale-maths1__mp 40 centrale-maths1__official 40 centrale-maths1__pc 36 centrale-maths1__psi 29 centrale-maths2__mp 30 centrale-maths2__official 29 centrale-maths2__pc 38 centrale-maths2__psi 37 x-ens-maths2__mp 39 x-ens-maths__pc 44
2020
centrale-maths1__mp 42 centrale-maths1__official 42 centrale-maths1__pc 36 centrale-maths1__psi 40 centrale-maths2__mp 38 centrale-maths2__official 38 centrale-maths2__pc 40 centrale-maths2__psi 39 mines-ponts-maths1__mp_cpge 24 mines-ponts-maths2__mp_cpge 21 x-ens-maths-a__mp_cpge 18 x-ens-maths-b__mp_cpge 20 x-ens-maths-d__mp 14 x-ens-maths1__mp 18 x-ens-maths2__mp 20 x-ens-maths__pc 18
2019
centrale-maths1__mp 37 centrale-maths1__official 37 centrale-maths1__pc 40 centrale-maths1__psi 39 centrale-maths2__mp 37 centrale-maths2__official 37 centrale-maths2__pc 39 centrale-maths2__psi 49 x-ens-maths1__mp 24 x-ens-maths__pc 18 x-ens-maths__psi 26
2018
centrale-maths1__mp 47 centrale-maths1__official 47 centrale-maths1__pc 41 centrale-maths1__psi 44 centrale-maths2__mp 44 centrale-maths2__official 44 centrale-maths2__pc 35 centrale-maths2__psi 38 x-ens-maths1__mp 19 x-ens-maths2__mp 17 x-ens-maths__pc 22 x-ens-maths__psi 24
2017
centrale-maths1__mp 45 centrale-maths1__official 45 centrale-maths1__pc 22 centrale-maths1__psi 17 centrale-maths2__mp 30 centrale-maths2__official 30 centrale-maths2__pc 28 centrale-maths2__psi 44 x-ens-maths1__mp 26 x-ens-maths2__mp 16 x-ens-maths__pc 18 x-ens-maths__psi 26
2016
centrale-maths1__mp 42 centrale-maths1__pc 31 centrale-maths1__psi 33 centrale-maths2__mp 25 centrale-maths2__pc 47 centrale-maths2__psi 27 x-ens-maths1__mp 18 x-ens-maths2__mp 46 x-ens-maths__pc 15 x-ens-maths__psi 20
2015
centrale-maths1__mp 42 centrale-maths1__pc 18 centrale-maths1__psi 42 centrale-maths2__mp 44 centrale-maths2__pc 18 centrale-maths2__psi 33 x-ens-maths1__mp 16 x-ens-maths2__mp 31 x-ens-maths__pc 30 x-ens-maths__psi 22
2014
centrale-maths1__mp 28 centrale-maths1__pc 26 centrale-maths1__psi 27 centrale-maths2__mp 24 centrale-maths2__pc 26 centrale-maths2__psi 27 x-ens-maths1__mp 9 x-ens-maths2__mp 16 x-ens-maths__pc 4 x-ens-maths__psi 24
2013
centrale-maths1__mp 22 centrale-maths1__pc 45 centrale-maths1__psi 29 centrale-maths2__mp 31 centrale-maths2__pc 52 centrale-maths2__psi 32 x-ens-maths1__mp 24 x-ens-maths2__mp 35 x-ens-maths__pc 22 x-ens-maths__psi 9
2012
centrale-maths1__mp 36 centrale-maths1__pc 28 centrale-maths1__psi 33 centrale-maths2__mp 27 centrale-maths2__psi 18
2011
centrale-maths1__mp 27 centrale-maths1__pc 17 centrale-maths1__psi 24 centrale-maths2__mp 29 centrale-maths2__pc 17 centrale-maths2__psi 10
2010
centrale-maths1__mp 19 centrale-maths1__pc 30 centrale-maths1__psi 13 centrale-maths2__mp 32 centrale-maths2__pc 37 centrale-maths2__psi 27
2015 x-ens-maths__psi

22 maths questions

Q1 Second order differential equations Qualitative and asymptotic analysis of solutions View
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$.
We set $F_{1} = \Re(f)$ and $f_{2} = \Im(f)$. Express $f_{1}^{\prime\prime}$ and $f_{2}^{\prime\prime}$ in terms of $f_{1}^{\prime}, f_{2}^{\prime}, f_{1}$ and $f_{2}$.
Q2 Second order differential equations Qualitative and asymptotic analysis of solutions View
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}, \left|f^{\prime}(x)\right|^{2} + \frac{1}{4\alpha}\left(\alpha|f(x)|^{2} + 1\right)^{2} = \frac{1}{4\alpha}(\alpha + 1)^{2}$$
Q3 Second order differential equations Qualitative and asymptotic analysis of solutions View
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)$$
Q4 Second order differential equations Qualitative and asymptotic analysis of solutions View
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$.
The purpose of this question is to prove that there exist $(\ell, M_{0}) \in \mathbb{R}_{+}^{2}$ such that $$\forall x > 0, \left||f(x)|^{2} - 1\right| \leq \frac{M_{0}}{x}$$
(a) Show that $$\forall x \in \mathbb{R}, \Im\left(f^{\prime}(x)\overline{f(x)}\right) + \frac{x}{4}|f(x)|^{2} - \frac{1}{4}\int_{0}^{x}|f(t)|^{2}\,dt = 0$$
(b) Show that $$\forall x > 0, \frac{d}{dx}\left(\frac{1}{x}\int_{0}^{x}|f(t)|^{2}\,dt\right) = -\frac{4}{x^{2}}\Im\left(f^{\prime}(x)\overline{f(x)}\right)$$
(c) Deduce that there exists $\ell \in \mathbb{R}_{+}$ such that $$\lim_{x \rightarrow +\infty} \frac{1}{x}\int_{0}^{x}|f(t)|^{2}\,dt = \ell$$
(d) Show that there exists $M \in \mathbb{R}_{+}$ such that $$\forall x > 0, \left|\frac{1}{x}\int_{0}^{x}|f(t)|^{2}\,dt - \ell\right| \leq \frac{M}{x}$$
(e) Conclude.
Q5 Second order differential equations Qualitative and asymptotic analysis of solutions View
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$.
(a) Suppose in this question that $\ell = 1$. Show that there exists $M_{1} \in \mathbb{R}_{+}$ such that $$\forall x > 0, \left||f(x)|^{2} - 1\right| \leq \frac{M_{1}}{x^{3/2}}$$
(b) Deduce that $\ell < 1$.
Q6 Second order differential equations Qualitative and asymptotic analysis of solutions View
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 $|f|$ is not periodic.
Q7 Second order differential equations Qualitative and asymptotic analysis of solutions View
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$.
For $(\ell, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}$, we set: $$f_{\alpha}(x) = f(x)\exp\left(i\frac{x^{2}}{4}\right), \quad \Psi_{\alpha}(t, x) = \frac{1}{\sqrt{t}} f_{\alpha}\left(\frac{x}{\sqrt{t}}\right)$$
(a) Does there exist $t > 0$ such that $\Psi_{\alpha}(t, .)$ is periodic?
(b) Express $f_{\alpha}^{\prime}, f_{\alpha}^{\prime\prime}$ and $|f_{\alpha}|$ in terms of $f, f^{\prime}, f^{\prime\prime}$ and $|f|$.
(c) Justify that for all $(t, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}$, we have $\Psi_{\alpha}(., x) \in C^{1}(\mathbb{R}^{+*}, \mathbb{C})$ and $\Psi_{\alpha}(t, .) \in C^{2}(\mathbb{R}, \mathbb{C})$, then prove that $\Psi_{\alpha}$ satisfies equation $(F_{\alpha})$: $$\left(F_{\alpha}\right) \quad i\frac{\partial \Psi_{\alpha}}{\partial t}(t, x) + \frac{\partial^{2} \Psi_{\alpha}}{\partial x^{2}}(t, x) + \frac{1}{2}\Psi_{\alpha}(t, x)\left(\alpha\left|\Psi_{\alpha}(t, x)\right|^{2} + \frac{1}{t}\right) = 0$$
Q8 Second order differential equations Reduction to second-order ODE via separation of variables in PDE View
Let $\left(a_{k}\right)_{k \in \mathbb{N}}$ be a sequence of complex terms such that the series with general term $k^{2} a_{k}$ is absolutely convergent. For $(t, x) \in \mathbb{R}^{2}$ we then denote $$\Phi_{0}(t, x) = \sum_{k=0}^{+\infty} a_{k} e^{-ik^{2}t + ikx}$$
(a) Show that $\Phi_{0}$ is well defined on $\mathbb{R}^{2}$.
(b) Show that for all $(t, x) \in \mathbb{R}^{2}$ we have $\Phi_{0}(., x) \in C^{1}(\mathbb{R}, \mathbb{C})$ and $\Phi_{0}(t, .) \in C^{2}(\mathbb{R})$. Calculate $\frac{\partial \Phi_{0}}{\partial t}(t, x)$ and $\frac{\partial^{2} \Phi_{0}}{\partial x^{2}}(t, x)$.
(c) Let $(c_{k})$ be a sequence of complex terms such that the series with general term $k^{2} c_{k}$ is absolutely convergent. For $x \in \mathbb{R}$, we set $$f_{0}(x) = \sum_{k=0}^{+\infty} c_{k} e^{ikx}$$ Construct a function $\Psi_{0}$ defined on $\mathbb{R}_{+}^{*} \times \mathbb{R}$ which satisfies
  • For all $(t, x) \in \mathbb{R}_{+}^{*}$, $\Psi_{0}(., x) \in C^{1}(\mathbb{R}_{+}^{*}, \mathbb{C})$ and $\Psi_{0}(t, .) \in C^{2}(\mathbb{R}, \mathbb{C})$ and $\Psi_{0}$ is a solution of equation $(F_{0})$, that is $$\forall (t, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}, \quad i\frac{\partial \Psi_{0}}{\partial t}(t, x) + \frac{\partial^{2} \Psi_{0}}{\partial x^{2}}(t, x) + \frac{1}{2t}\Psi_{0}(t, x) = 0$$
  • For all $t > 0$, $\Psi_{0}(t, .)$ is periodic.
  • For all $x \in \mathbb{R}$, $\Psi_{0}(1, x) = f_{0}(x)$.
Q9 Matrices Matrix Power Computation and Application View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$
For $t \in \mathbb{R}$ and $n \in \mathbb{N}^{*}$, we introduce the matrix $$F_{n}(t) = I_{3} + \sum_{k=1}^{n} \frac{t^{k} \mathcal{M}^{k}}{k!} \in \mathcal{M}_{n}(\mathbb{K})$$
Show that the sequence $\left(F_{n}(t)\right)_{n \in \mathbb{N}}$ converges to a limit denoted $F(t) \in \mathcal{M}_{3}(\mathbb{R})$. Express $F(t)$ in terms of $R(\theta)$, where $\theta$ depends on $m$ and $t$.
Q10 Matrices Matrix Algebra and Product Properties View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ and $F(t)$ denotes the limit of $F_n(t) = I_3 + \sum_{k=1}^n \frac{t^k \mathcal{M}^k}{k!}$ as defined in question 9.
Show that for all $t \in \mathbb{R}$ and $X, Y$ vectors of $\mathbb{R}^{3}$, we have $F(t)X \cdot Y = X \cdot F(-t)Y$. Deduce that $F(t)(X \wedge Y) = (F(t)X) \wedge (F(t)Y)$.
Q11 Second order differential equations Structure of the solution space View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ and $F(t)$ denotes the limit of $F_n(t) = I_3 + \sum_{k=1}^n \frac{t^k \mathcal{M}^k}{k!}$ as defined in question 9.
Show that $F \in C^{1}(\mathbb{R}, \mathcal{M}_{3}(\mathbb{R}))$ and that for all $t \in \mathbb{R}$, we have $F^{\prime}(t) = F(t)\mathcal{M}$.
Q12 Matrices Linear Transformation and Endomorphism Properties View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$
Show that for $X \in \mathbb{R}^{3}$, $\mathcal{M}X \cdot X = 0$. Geometrically interpret the application $\mathbb{R}^{3} \rightarrow \mathbb{R}^{3},\, X \mapsto (I_{3} + \mathcal{M})X$.
Q13 Matrices Matrix Norm, Convergence, and Inequality View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$
Give a necessary and sufficient condition on $m$ for the sequence $\left((I_{3} + \mathcal{M})^{n}\right)_{n \in \mathbb{N}}$ to converge in $\mathcal{M}_{3}(\mathbb{R})$.
Q14 Variable Force View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left((I_{3} + \mathcal{M})G(x)\right) \wedge G^{\prime}(x)$$ and that moreover $$\|G^{\prime}(0)\| = 1, \quad \left((I_{3} + \mathcal{M})G(0)\right) \cdot G^{\prime}(0) = 0$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$.
Show that for all $x \in \mathbb{R}$, $\|T(x)\| = 1$.
Q15 Variable Force View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left((I_{3} + \mathcal{M})G(x)\right) \wedge G^{\prime}(x)$$ and that moreover $$\|G^{\prime}(0)\| = 1, \quad \left((I_{3} + \mathcal{M})G(0)\right) \cdot G^{\prime}(0) = 0$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$.
Show that for all $x \in \mathbb{R}$, $\left(I_{3} + \mathcal{M}\right)G(x) - x G^{\prime}(x) = 2 G^{\prime}(x) \wedge G^{\prime\prime}(x)$.
Q16 Variable Force View
For $m \in \mathbb{R}$, we denote by $\mathcal{M}$ the matrix $$\mathcal{M} = \left(\begin{array}{ccc} 0 & -m & 0 \\ m & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left((I_{3} + \mathcal{M})G(x)\right) \wedge G^{\prime}(x)$$ and that moreover $$\|G^{\prime}(0)\| = 1, \quad \left((I_{3} + \mathcal{M})G(0)\right) \cdot G^{\prime}(0) = 0$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$. $F(t)$ denotes the matrix exponential defined in question 9.
For $(t, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}$, we define $\tilde{G}(t, x) = \sqrt{t}\, F\!\left(\frac{\ln(t)}{2}\right) G\!\left(\frac{x}{\sqrt{t}}\right)$. Show that for all $(t, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}$ we have $\tilde{G}(., x) \in C^{1}(\mathbb{R}_{+}^{*}, \mathbb{R}^{3})$ and $\tilde{G}(t, .) \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$, then establish that $$\forall (t, x) \in \mathbb{R}_{+}^{*} \times \mathbb{R}, \frac{\partial \tilde{G}}{\partial t}(x, t) = \frac{\partial \tilde{G}}{\partial x}(x, t) \wedge \frac{\partial^{2} \tilde{G}}{\partial x^{2}}(x, t)$$
Q17 Variable Force View
We assume that $m = 0$, that is $$\mathcal{M} = \left(\begin{array}{lll} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left(G(x)\right) \wedge G^{\prime}(x)$$ and that moreover there exists $\lambda > 0$ such that $$G(0) = (0, 0, 2\lambda), \quad G^{\prime}(0) = (1, 0, 0)$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$.
Show that for all $x \in \mathbb{R}$, we have $|G_{1}(x)| \leq |x|$, where we denote by $G_{1} \in C^{2}(\mathbb{R}, \mathbb{R})$ the first coordinate of $G = (G_{1}, G_{2}, G_{3})$.
Q18 Differential equations Higher-Order and Special DEs (Proof/Theory) View
We assume that $m = 0$, that is $$\mathcal{M} = \left(\begin{array}{lll} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{2}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left(G(x)\right) \wedge G^{\prime}(x)$$ and that moreover there exists $\lambda > 0$ such that $$G(0) = (0, 0, 2\lambda), \quad G^{\prime}(0) = (1, 0, 0)$$
Show that $G \in C^{\infty}(\mathbb{R}, \mathbb{R}^{3})$.
Q19 Variable Force View
We assume that $m = 0$, that is $$\mathcal{M} = \left(\begin{array}{lll} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{\infty}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left(G(x)\right) \wedge G^{\prime}(x)$$ and that moreover there exists $\lambda > 0$ such that $$G(0) = (0, 0, 2\lambda), \quad G^{\prime}(0) = (1, 0, 0)$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$.
Show that for all $x \in \mathbb{R}$, we have $\|T^{\prime}(x)\| = \lambda$.
Q20 Variable Force View
We assume that $m = 0$, that is $$\mathcal{M} = \left(\begin{array}{lll} 0 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{array}\right)$$ We assume that $G \in C^{\infty}(\mathbb{R}, \mathbb{R}^{3})$ satisfies $$\forall x \in \mathbb{R}, G^{\prime\prime}(x) = \frac{1}{2}\left(G(x)\right) \wedge G^{\prime}(x)$$ and that moreover there exists $\lambda > 0$ such that $$G(0) = (0, 0, 2\lambda), \quad G^{\prime}(0) = (1, 0, 0)$$ We set $\forall x \in \mathbb{R}, T(x) = G^{\prime}(x)$. For $x \in \mathbb{R}$, we introduce the vectors $$n(x) = \frac{T^{\prime}(x)}{\lambda}, \quad b(x) = T(x) \wedge n(x)$$ so that $(T(x), n(x), b(x))$ forms a direct orthonormal basis.
(a) Using question 15, show that for all $x \in \mathbb{R}$, we have $2b^{\prime}(x) = -x\, n(x)$.
(b) Deduce that $n^{\prime}(x) = -\lambda T(x) + \frac{x}{2} b(x)$.
(c) Show that $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$$
Q21 Second order differential equations Reduction of a differential system to a second-order ODE 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) Write the linear differential equation $Y^{\prime\prime\prime} + \left(\lambda^{2} + \frac{x^{2}}{4}\right) Y^{\prime} - \frac{x}{4} Y = 0$, where $Y \in C^{3}(\mathbb{R}, \mathbb{R}^{3})$, in the form of a differential system $X^{\prime} = AX$, where $X \in C^{1}(\mathbb{R}, \mathcal{M}_{n,1}(\mathbb{R}))$ and where $A \in C(\mathbb{R}, \mathcal{M}_{n}(\mathbb{R}))$, with $n \in \mathbb{N}^{*}$. We will specify $n$ and $A$.
(b) Show that the coordinates $G_{1}, G_{2}, G_{3}$ of $G$ satisfy $$\forall x \in \mathbb{R}, G_{1}(-x) = -G_{1}(x),\quad G_{2}(-x) = G_{2}(x),\quad G_{3}(-x) = G_{3}(x)$$
(c) Show that for all $x \in \mathbb{R}$, $\|G(x)\|^{2} = x^{2} + 4\lambda^{2}$.
(d) Establish that if $G_{1}$ does not vanish on $\mathbb{R}^{*}$, then $G$ is an injective application on $\mathbb{R}$.
Q22 Taylor series Lagrange error bound application 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$.