Édition de feuilles d'exercices

[planches/ex0923] ens PC 2013 Soient \(\varphi\in\mathscr{C}^\infty(\mathbf{R},\mathbf{R})\) et \(\alpha\in\mathbf{R}\). Résoudre \[(E)\ :\quad(\varphi(x)-\alpha)u''(x)-\varphi''(x)u(x)=0\] lorsque \(\varphi=\alpha\) possède zéro ou une solution.

Indication : Déterminer une solution simple de \((E)\).

[planches/ex1005] polytechnique, espci PC 2014 Soit \(f\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\), \(g\in\mathscr{C}^1(\mathbf{R},\mathbf{R}_+)\) telles que : \(\forall x\in\mathbf{R}\), \(f''(x)+f(x)=-xg(x)f'(x)\). Montrer que \(f\) est bornée.

[planches/ex1100] mines MP 2016 Soient \(a\) et \(b\) deux fonctions continues de \(\mathbf{R}\) dans \(\mathbf{R}\). Que peut-on dire de la dimension de l’espace des solutions sur \(\mathbf{R}\) de l’équation différentielle \[xy''+a(x)y'+b(x)y=0\ ?\]

[planches/ex9503] polytechnique MP 2023 Soient \(q_1\), \(q_2\) deux fonctions continues de \(\mathbf{R}^+\) dans \(\mathbf{R}\) telles que \(q_1\leqslant q_2\). On considère l’équation différentielle \((E_i)\) : \(y''+q_i(t)\, y=0\) pour \(i\in\{1,2\}\).

1. Soient \(y_1\), \(y_2\) des solutions respectives de \((E_1)\) et \((E_2)\) sur \(I\). Soient \(\alpha<\beta\) deux zéros de \(y_1\). Montrer que \(y_2\) s’annule dans \([\alpha,\beta]\).

2. Soient \(q:\mathbf{R}^+\rightarrow\mathbf{R}\) continue, \(m\), \(M\) deux réels strictement positifs tels que \(m\leqslant q\leqslant M\). Soient \(\alpha<\beta\) deux zéros consécutifs d’une solution non nulle \(x\) de \(y''+q(t)\,y=0\).

   1. Montrer que les zéros de \(x\) forment une suite strictement croissante \((t_n)_{n\in\mathbf{N}}\).

   2. Montrer que \(\displaystyle\frac{\pi}{\sqrt{M}}\leqslant t_{n+1}-t_n\leqslant\frac{\pi}{\sqrt{m}}\) pour tout \(n\in\mathbf{N}\).

[planches/ex2502] centrale MP 2017 Soit \(q:\mathbf{R}_+\rightarrow\mathbf{R}_+^*\). On considère l’équation différentielle \((\mathscr{E})\) : \(y''(x)=q(x)y(x)\).

Pour tout \(\alpha\in\mathbf{R}\), on note \(y_\alpha\) l’unique solution de \((\mathscr{E})\) vérifiant \(y_\alpha(0)=1\) et \(y_\alpha'(0)=\alpha\).

1. Montrer que \(\forall x\in\left]0,+\infty\right[\), \(y_0(x)y_0'(x)>0\). Montrer que \(y_0\) est strictement croissante.

2. Montrer que \(\forall\alpha\in\mathbf{R}\), \(\forall x\in\left]0,+\infty\right[\), \(y_\alpha(x)=y_0(x)\left(\displaystyle\int_0^x{\alpha\over y_0^2(t)}\,dt\right)\).

3. Montrer qu’il existe \(\alpha_1<0\) tel que l’on ait, pour \(\alpha\in\mathbf{R}\), l’équivalence entre « \(y_\alpha\) s’annule sur \(\mathbf{R}_+\) » et « \(\alpha<\alpha_1\) ». Calculer \(\alpha_1\).