Édition de feuilles d'exercices

[planches/ex7887] polytechnique, espci PC 2022 Déterminer les réels \(\lambda\) pour lesquels il existe \(f:\mathbf{R}\longrightarrow\mathbf{R}\) deux fois dérivable telle que \(\forall x\in\mathbf{R}\), \(f''(x)+(\lambda-x^2)f(x)=0\), \(f(0)=0\), et \(f\) tende vers 0 en \(+\infty\).

Indication : Considérer \(g:x\longmapsto f(x)e^{x^2/2}\).

[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)\).

[oraux/ex2974] mines PSI 2008 Soient \(p\in\mathscr{C}^0(\mathbf{R},\mathbf{R}_-^*)\) et \((E)\) : \(y''+py=0\). Soit \(f\) une solution de \((E)\).

1. On suppose : \(\forall x\in\mathbf{R}\), \(f(x)>0\). Montrer que \(f\) est non bornée.

2. On suppose qu’il existe un unique \(a\in\mathbf{R}\) tel que \(f(a)=0\). Montrer que \(f\) est non bornée.

3. On suppose que \(f\) est bornée. Montrer que \(f\) est identiquement nulle.

[planches/ex1080] ens cachan, ens rennes MP 2016 Soient \(f\) dans \(\mathscr{C}^0([0,1],\mathbf{R}_-^*)\) et \((E)\) l’équation différentielle \(x''+f(t)x=0\) sur \([0,1]\).

1. Décrire la structure de l’ensemble des solutions de \((E)\), rappeler le théorème de Cauchy linéaire, mettre le système différentiel associé à \((E)\) sous forme matricielle.

2. Montrer que si \(x\) est solution de \((E)\) et vérifie \(x(0)=x(1)=0\) alors \(x=0\).

3. Montrer qu’il existe \(\varepsilon>0\) tel que pour toute solution de \((E)\), on ait : \[\varepsilon^2\int_0^1x(t)^2\,dt\leqslant\varepsilon\int_0^1x'(t)^2\,dt\leqslant\int_0^1(1-t)x(t)^2\,dt.\]

[oraux/ex3051] centrale MP 2009 (avec Maple)

Soient \((E)\) : \((1-x)^3y''=y\) et \(y\) l’unique solution de \((E)\) définie sur \(I=\left]-\infty,1\right[\) vérifiant \(y(0)=0\) et \(y'(0)=1\).

1. Justifier l’existence de \(y\) ; tracer le graphe de \(y\) à l’aide de la fonction odeplot du package plots.

2. On pose \(a_n=y^{(n)}(0)/n\,!\). Établir que \((a_n)\) vérifie une relation de récurrence liant \(a_n\), \(a_{n-1}\), \(a_{n-1}\) et \(a_{n-3}\).

3. calculer \(a_n\) pour \(n\in\{0,\ldots,10\}\).

4. Montrer qu’il existe \(\alpha>0\) tel que : \(\forall n\in\mathbf{N}\), \(|a_n|\leqslant\alpha^n\). Qu’en déduire sur \(y\) ?

5. Montrer que \(y\) est positive sur \(\left[0,1\right[\).

6. En déduire que \(y(x)\geqslant x+\displaystyle\int_0^x{x-t\over(1-t)^2}\,dt\).

7. Calculer cette intégrale avec Maple. Qu’en déduire sur le comportement de \(y\) ?