Édition de feuilles d'exercices

[concours/ex4064] polytechnique P 1990 Conditions nécessaires et suffisantes sur les fonctions \(p\) et \(q\), supposées continues sur \(\mathbf{R}\), pour que l’équation différentielle \[x''+p(t)x'+q(t)x=0\] admette deux solutions, \(x_1\) et \(x_2\), telles que :

1. \(\forall t\in\mathbf{R}^*\quad x_1(t)\neq0\) ;

2. \(\forall t\in\mathbf{R}\quad x_2(t)=tx_1(t)\).

[concours/ex0100] polytechnique MP 1996 Soit \(I\) un intervalle de \(\mathbf{R}\) et \(A\) (resp. \(B\)) une application \(C^1\) (resp. \(C^0\)) de \(I\) dans \(\mathbf{R}\). Donner une condition nécessaire et suffisante pour que l’équation différentielle \(y''+A(x)y'+B(x)y=0\) admette deux solutions \(y_1\) et \(y_2\) telles que \(y_2=xy_1\).

Résoudre \(y''+2xy'+(1+x^2)y=xe^{-x^2/2}\).

[planches/ex7278] centrale PC 2021

1. Soit \(g\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\) telle que \(g''\leqslant 0\).

   Montrer que, pour tout \((t_0,t)\in\mathbf{R}^2\), \(g(t)\leqslant g(t_0)+(t-t_0)g'(t_0)\).

2. Soit \(a>0\). Soit \(q\) une fonction continue de \(\mathbf{R}\) dans \(\mathbf{R}\) telle que \(\forall t\in\mathbf{R}\), \(q(t)\geqslant a\). Soit \(f\) une solution de l’équation différentielle \(y''+qy=0\). Montrer que l’ensemble des zéros de \(f\) n’est pas majoré.

[oraux/ex5532] mines PC 2012 Soient \(\varphi\in{\cal C}^1(\mathbf{R}^+,\mathbf{R}^{+*})\) croissante et \((E)\) l’équation \((E)\) : \(x''(t)+\varphi(t)\, x(t)=0\). Montrer que \(x\) est bornée.

Indication : On multipliera par \(x'/\varphi\).

[planches/ex0925] ens PC 2013 Soient \(f\in\mathscr{C}^0(\mathbf{R},\mathbf{R}_+)\) telle que \(f(x)\rightarrow\ell>0\) quand \(x\rightarrow+\infty\), et \((*)\) : \(y''+fy=0\). Soit \(y:\mathbf{R}\rightarrow\mathbf{R}\) solution de \((*)\) telle que \(y(0)=0\).

1. Que dire si \(y'(0)=0\) ?

2. On suppose \(y'(0)>0\). Montrer qu’il existe \(t>0\) tel que \(y'(t)=0\).

3. Montrer que \(y\) a une infinité de zéros sur \(\mathbf{R}_+\).

[oraux/ex3153] mines MP 2011 Soit \((E)\) l’équation différentielle \(y''=(x^4+1)y\).

1. Montrer que cette équation possède une unique solution \(f:\mathbf{R}\rightarrow\mathbf{R}\) telle que \(f(0)=f'(0)=1\).

2. Montrer que \(g=f^2\) est convexe.

3. Montrer : \(\forall x\in\mathbf{R}_+\), \(f(x)\geqslant 1\).

4. Montrer que \(1/g\) est intégrable sur \(\mathbf{R}_+\).

5. Montrer que \(x\mapsto f(x)\displaystyle\int_x^{+\infty}{dt\over g(t)}\) est également solution de \((E)\).

[planches/ex6508] polytechnique MP 2021 Soit \(q\in\mathscr{C}^1(\mathbf{R}_+,\mathbf{R})\). On suppose que \(q'\) est intégrable sur \(\mathbf{R}_+\) et que \(q(t)\rightarrow0\) quand \(t\rightarrow+\infty\). Montrer que les solutions de \(y''+(q+1)y=0\) sont bornées sur \(\mathbf{R}_+\).

[planches/ex1114] centrale PSI 2016 On considère l’équation différentielle \[(1)\quad y''=(1+x^4)y.\]

1. Montrer que \((1)\) possède une unique solution \(y\) telle que \(y(0)=y'(0)=1\).

2. Soit \(f\) une solution de \((1)\). On suppose \(\displaystyle{1\over f^2}\) intégrable. Montrer que \(x\mapsto\displaystyle\int_x^{+\infty}{1\over f^2(t)}\,dt\) est également solution de \((1)\) (?).

3. Montrer que si \(f\) solution de \((E)\) vérifie \(f(0)=f'(0)=1\) alors \(\displaystyle{1\over f^2}\) est intégrable.

[oraux/ex5086] polytechnique MP 2012

1. Soient \(y \in{\cal C}^0( \mathbf{R}^+,\mathbf{R})\), \(a\in\mathbf{R}^+\), \(g \in{\cal C}^0( \mathbf{R}^+,\mathbf{R}^+)\) et \(G : t \mapsto \displaystyle\int_0^t g(s)\,ds\). On suppose que \(\forall t \in \mathbf{R}^+\), \(y(t) \leqslant a+\displaystyle\int_0^t y(s)\,g(s)\,ds\). Montrer que \(\forall t \in \mathbf{R}^+, \; y(t) \leqslant a \,e^{G(t)}.\)

2. Soit \(f \in{\cal C}^1(\mathbf{R}^+,\mathbf{R})\) de limite \(1\) en \(+\infty\) et dont la dérivée est intégrable sur \(\mathbf{R}^+\). Soit \(h\) une solution maximale de l’équation différentielle \(x''(t)+f(t)\,x(t)=0\). Montrer que \(h\) et \(h'\) sont bornées.

[planches/ex8628] centrale PSI 2022 (avec Python)

Soit \(q:\mathbf{R}_+\longrightarrow\mathbf{R}\) continue. On s’intéresse à l’équation différentielle \((E_{a,b})\) : \(y''+(1+q)y=0\), \(y(0)=a\), et \(y'(0)=b\).

1. Tracer avec Python les solutions pour \((a,b)\in\{(1,0),(0,1)\}\) et pour les fonctions \(q:t\longmapsto\displaystyle{1\over\sqrt{1+t}}\), \(q:t\longmapsto\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(t)\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits\left(\displaystyle{1\over t}\right)\), \(q:t\longmapsto\displaystyle{1\over1+t^2}\). et \(q:t\longmapsto\displaystyle{-t^2\over2(1+t^2)}\). On tracera ces solutions sur l’intervalle \([0,50]\).

   Pour quelles fonctions \(q\) la solution semble-t-elle bornée ?

2. On suppose dans cette question que \(q\) est intégrable sur \(\mathbf{R}_+\).

   Soit \(z:x\longmapsto\displaystyle\int_0^x\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(x-t)f(t)\,dt\) avec \(f\) continue, intégrable sur \(\mathbf{R}_+\). Calculer \(z''+z\).

3. Soit \(y\) une solution de \((E_{a,b})\).

   Montrer que, pour \(t\in\mathbf{R}_+\), \(0\leqslant|y(t)|\leqslant|a|+|b|+\displaystyle\int_0^x|q(t)|\,|y(t)|\,dt\).

   En déduire que \(y\) est bornée.

4. La condition \(q\) intégrable est-elle suffisante/nécessaire pour que les solutions de \((E_{a,b})\) soient bornées ?