[planches/ex4986] mines MP 2019 Soient \(u\) une fonction continue et intégrable de \(\mathbf{R}_+\) dans \(\mathbf{R}\), \(f\) une solution de l’équation différentielle \(y''+(1+u)y=0\). Soit, pour \(x\in\mathbf{R}_+\), \(g(x)=f(x)+\displaystyle\int_0^x\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(x-t)u(t)f(t)\,dt\).
[planches/ex4986]
Former une équation différentielle linéaire vérifiée par \(g\).
Montrer qu’il existe \(c>0\) tel que \(\forall x\in\mathbf{R}_+\), \(|f(x)|\leqslant c+\displaystyle\int_0^x|u(t)f(t)|\,dt\).
Montrer que \(f\) est bornée.
[oraux/ex2850] ens cachan MP 2005 Soit \(q:\mathbf{R}\rightarrow\mathbf{R}\) une fonction continue, positive, de période \(\pi\) et non nulle. Soit \(\mathscr{E}\) l’ensemble des solutions de : \(y''+qy=0\).
[oraux/ex2850]
Soit \(\varphi\in\mathscr{E}\). Montrer que l’ensemble des zéros de \(\varphi\) n’est ni majoré ni minoré.
On suppose \(\varphi\) non nulle ; Soit \(\psi\in\mathscr{E}\) non proportionnelle à \(\varphi\). Montrer que les zéros de \(\psi\) séparent ceux de \(\varphi\).
[oraux/ex3009] ens PC 2009 Soient \((p,q)\in\mathscr{C}^0([0,1],\mathbf{R})\) avec \(q\leqslant 0\) et \((E)\) : \(y''+py'+qy=0\). Soit \((a,b)\in\mathbf{R}^2\). Montrer qu’il existe une unique solution \(f\) de \((E)\) telle que \(f(0)=a\) et \(f(1)=b\).
[oraux/ex3009]
[oraux/ex3041] mines PC 2009 Soient \(q\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) et \((E)\) : \(y''+qy=0\). Soient \(u\) et \(v\) deux solutions linéairement indépendantes de \((E)\).
[oraux/ex3041]
Montrer que les zéros de \(v\) sont isolés.
Montrer qu’entre deux zéros consécutifs de \(v\), \(u\) s’annule exactement une fois.
[concours/ex0810] mines MP 1997 Soit l’équation différentielle \((E)\) : \(y''-f(x)y=g(x)\) avec \(f\), \(g\in\mathscr{C}([a,b],\mathbf{R})\) et \(f\geqslant 0\).
[concours/ex0810]
Montrer qu’il existe au plus une solution de \((E)\) s’annulant en \(a\) et en \(b\).
Montrer qu’il existe deux solutions \(u\) et \(v\) de \(y''-f(x)y=0\) vérifiant les conditions \(u(a)=0\), \(u'(a)=1\) et \(v(b)=0\), \(v'(b)=1\).
Montrer qu’il existe une unique solution de \((E)\) s’annulant en \(a\) et en \(b\) et l’exprimer à l’aide de \(u\) et \(v\).
[concours/ex2393] mines M 1995 Soient \(f\) et \(g\) continues de \([a,b]\) dans \(\mathbf{R}\). On suppose que \(f\) est à valeurs dans \(\mathbf{R}_-\). Montrer que l’équation différentielle \(y''+f(x)y=g(x)\) possède une et une seule solution sur \([a,b]\) vérifiant \(y(a)=y(b)=0\).
[concours/ex2393]
[oraux/ex3119] centrale PC 2010 Soient \(I\) un intervalle ouvert non vide de \(\mathbf{R}\), \(a\in\mathscr{C}^0(I,\mathbf{R}_+)\) et \(b\in\mathscr{C}^0(I,\mathbf{R})\). Soient \((E_1)\) : \(y''-a(x)y=0\) et \((E_2)\) : \(y''-a(x)y=b(x)\).
[oraux/ex3119]
Soit \(y\) une solution de \((E_1)\). On suppose qu’il existe \((x_1,x_2)\in I^2\) avec \(x_1<x_2\) tel que \(y(x_1)=y(x_2)=0\). Calculer \(\displaystyle\int_{x_1}^{x_2}y(x)^2a(x)\,dx\). Que dire de \(y\) ?
Soient \((x_1,x_2)\in I^2\) avec \(x_1<x_2\).
Montrer qu’il existe une unique solution \(y_1\) de \((E_2)\) telle que \(y_1(x_1)=0\) et \(y_1'(x_1)=1\).
Montrer qu’il existe une unique solution \(y_2\) de \((E_2)\) telle que \(y_2(x_1)=y_2(x_2)=0\).
[planches/ex1022] centrale MP 2014 Soient \(I\) un intervalle de \(\mathbf{R}\) non vide et non réduit à un point, \(p\), \(q:I\rightarrow\mathbf{R}\) continues et \((E)\) : \(y''+py'+qy=0\). On suppose \(q\neq0\). On étudie l’existence de deux solutions, notées \(y_1\) et \(y_2\) de \((E)\), inverses l’une de l’autre, c’est-à-dire que \(y_1y_2=1\).
[planches/ex1022]
Si \(p\) et \(q\) sont constantes, donner une condition suffisante d’existence.
On considère \((E_1)\) : \(y''+\displaystyle{y'\over x}-{y\over4x^2}=0\) sur \(\left]1,+\infty\right[\) et \((E_2)\) : \(y''-\displaystyle{y'\over x\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits x}-y{(\mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits x)^2\over4}=0\) sur \(\mathbf{R}_+^*\). Trouver pour \((E_1)\) puis pour \((E_2)\) un couple de solutions inverses l’une de l’autre.
On revient à l’équation générale \((E)\) et on suppose qu’elle admet un couple de solutions inverses l’une de l’autre \((y_1,y_2)\). On note \(W\) le wronskien de \((y_1,y_2)\).
Montrer que \(y_1\) et \(y_2\) sont linéairement indépendantes. Qu’en déduit-on pour \(W\) ?
Exprimer \(W\) en fonction de \(y_1\).
Montrer que \(W'+pW=0\).
Donner une condition nécessaire et suffisante sur \((p,q)\) pour que \((E)\) possède un couple de solutions inverses l’une de l’autre.
[planches/ex1054] mines MP 2015 Soient \(q\in\mathscr{C}^0([0,1],\mathbf{R})\) et \(\varphi\) une solution non nulle de l’équation différentielle \(\varphi''+q(x)\varphi=0\). Montrer que \(\varphi\) ne s’annule qu’un nombre fini de fois dans \([0,1]\).
[planches/ex1054]
[planches/ex4988] mines MP 2019 Soit \(q\) une fonction continue de \([0,1]\) dans \(\mathbf{R}\), \(y\) une fonction de classe \(\mathscr{C}^2\) de \([0,1]\) dans \(\mathbf{R}\), non identiquement nulle, telle que \(y''+qy=0\). Montrer que l’ensemble des zéros de \(y\) est fini.
[planches/ex4988]
[planches/ex5561] ccinp MP 2019 Soit \(q\) une fonction continue de \(\mathbf{R}_+\) dans \(\mathbf{R}\), \(y\) une fonction non identiquement nulle sur \(\mathbf{R}_+\) telle que \(y''+qy=0\). Montrer que les zéros de \(y\) sont isolés. En déduire que, si \(S\) est un segment de \(\mathbf{R}\), \(y\) n’a qu’un nombre fini de zéros sur \(S\).
[planches/ex5561]
[planches/ex3378] polytechnique, espci PC 2018 Soient \(a\) et \(b\) dans \(\mathscr{C}^0(\mathbf{R},\mathbf{R})\) et \((E)\) l’équation différentielle \(y''+ay'+by=0\). Montrer qu’il existe deux solutions \(f\), \(g\) de \(E\) vérifiant \(fg=1\) si et seulement si \(b\) est de classe \(\mathscr{C}^1\), \(b\leqslant 0\) et \(b'=-2ab\).
[planches/ex3378]
[oraux/ex3149] polytechnique, espci PC 2011 Soient \(I\) un intervalle ouvert de \(\mathbf{R}\), \(a\) et \(b\) dans \(\mathscr{C}^0(I,\mathbf{R})\) et \((E)\) l’équation différentielle \(y''+ay'+by=0\).
[oraux/ex3149]
Soit \(f\) une solution non nulle de \((E)\). Montrer que les zéros de \((E)\) sont isolés.
Soient \(f\) et \(g\) deux solutions non nulles de \((E)\). On suppose que \(f\) et \(g\) ont un zéro commun. Montrer que \(f\) et \(g\) sont proportionnelles.
Soient \(f\) et \(g\) deux solutions linéairement indépendantes de \((E)\). Montrer qu’entre deux zéros consécutifs de \(f\) il y a exactement un zéro de \(g\).
[oraux/ex4921] ens paris MP 2012 Soit \(f \in{\cal C}^0(\mathbf{R}^+ ,\mathbf{R})\) telle que \(1-f\) soit intégrable. Montrer que pour tout \((\alpha_1,\alpha_2)\in \mathbf{C}^2\), il existe une solution \(x\) de l’équation différentielle \(x''+f(t)\,x=0\) telle que la fonction \(t \mapsto x(t)-\alpha_1 e^{it}-\alpha_2 e^{-it}\) ait une limite nulle en \(+\infty\).
[oraux/ex4921]
[oraux/ex2884] centrale MP 2005
[oraux/ex2884]
Soient \(a\), \(b\), \(c\) trois fonctions de classe \(\mathscr{C}^\infty\) sur un intervalle \(I\) de \(\mathbf{R}\). À quelle condition l’équation \(ay''+by'+cy=0\) admet-elle deux solutions \(y_1\) et \(y_1\) vérifiant \(y_1y_2=1\) ?
Soit \((E)\) l’équation différentielle : \((x-1)y''(x)+xy'(x)-4y(x)=0\). Montrer que la condition précédente est réalisée. Étudier les solutions de \((E)\) sur \(\mathbf{R}\).
[concours/ex2465] ens lyon M 1995 Soient \(f\) et \(g\) deux applications continues et bornées de \(\mathbf{R}\) dans \(\mathbf{R}\). On considère l’équation différentielle \((E)\) : \(x''+f(t)x'+g(t)x=0\) et les conditions initiales \((CI)\) : \(x(0)=\alpha\), \(x'(0)=\beta\).
[concours/ex2465]
Montrer qu’il existe une unique fonction \(u\) définie sur \(\mathbf{R}\) vérifiant \((E)\) et \((CI)\).
Montrer que l’espace \(\mathscr{S}\) des solutions de \((E)\) définies sur \(\mathbf{R}\) est de dimension \(2\).
Soient \(x_1\) et \(x_2\) dans \(\mathscr{S}\). On pose \(w(t)=x_1(t)x'_2(t)-x_2(t)x'_1(t)\). Montrer que \(w\) est la fonction nulle ou ne s’annule jamais.
Soit \((x_1,x_2)\) une base de \(\mathscr{S}\) \(t_1<t_2\) deux zéros consécutifs de \(x_1\). Montrer qu’il existe un unique zéro de \(x_2\) sur \(\left]t_1,t_2\right[\).
On suppose \(f=0\) et \(g\leqslant 0\). Montrer qu’un élément de \(\mathscr{S}\) s’annule au plus une fois.
[concours/ex3297] ens cachan M 1993 Soit \(y\) une solution non nulle d’une équation différentielle linéaire à coefficients continus \((e)\) : \(y''+ay'+by=0\). Montrer que si \(y\) s’annule au moins deux fois, il existe \(\alpha\) et \(\beta\) tels que \(y\) s’annule en \(\alpha\) et en \(\beta\) mais ne s’annule pas sur \(\left]\alpha,\beta\right[\). Montrer que si \(z\) est une solution de \((E)\) indépendante de \(y\), \(z\) s’annule une fois et une seule entre \(\alpha\) et \(\beta\).
[concours/ex3297]
[concours/ex2124] ccp, tpe, int, ivp MP 1999 Soient \(f\) et \(g\) solutions réelles non nulles de \(y''+a(x)y'+b(x)y=0\), \(a\) et \(b\) étant des fonctions réelles continues. Montrer qu’entre deux zéros de \(f\) il y a exactement un zéro de \(g\).
[concours/ex2124]
[planches/ex4013] centrale PC 2018 (avec Python)
[planches/ex4013]
Python
Soit \((E)\) : \(x''(t)+p(t)x'(t)+q(t)x(t)=0\).
On prend \(p(t)=\displaystyle{t\over1+t^2}\) et \(q(t)=\displaystyle{-1\over1+t^2}\). Ainsi \((E)\) devient \((1+t^2)x''+tx'-x=0\).
Représenter sur \([0,5]\) les solutions \((f,g)\) de \((E)\) vérifiant \((f(0),f'(0))=(1,0)\) et \((g(0),g'(0))=(0,1)\).
En déduire une solution évidente.
Montrer que \(g\) est développable en série entière au voisinage de 0.
On a \(g(t)=\displaystyle\sum\limits_{n=0}^{+\infty}c_nt^{2n}\). Trouver une relation de récurrence entre les \(c_n\) et en déduire \(g\).
Montrer que \((E)\) possède deux solutions inverses l’une de l’autre.
On suppose maintenant que \((E)\) admet deux solutions \(u\) et \(v\) avec \(v=1/u\). Exprimer \(p\) et \(q\) en fonction de \(u\). En déduire une relation entre \(p\) et \(q\).
[planches/ex1060] centrale MP 2015 On considère l’équation différentielle \[(E_1)\ :\quad x''+p(t)x'+q(t)x=0.\]
[planches/ex1060]
Soient \(u_1\) et \(u_2\) deux solutions de \((E_1)\) telles que \(u_1u_2=1\). On pose \(z_i=\displaystyle{u'_i\over u_i}\). Montrer que les \(z_i\) sont deux solutions opposées d’une équation différentielle non linéaire \((E_2)\).
En déduire une condition néessaire et suffisante sur \(p\) et \(q\) pour que \((E_1)\) admette deux solutions \(u_1\) et \(u_2\) telles que \(u_1u_2=1\).
Résoudre \((1+\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(4t))x''-2\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(4t)x'-8x=0\).
[planches/ex1053] polytechnique, espci PC 2015 Soient \(a\) et \(b\) dans \(\mathscr{C}^1(\mathbf{R},\mathbf{R})\) et \((E)\) l’équation différentielle \(y''+ay'+by=0\). Donner une condition nécessaire et suffisante sur \(a\) et \(b\) pour qu’il existe \(f\) et \(g\) solutions de \((E)\) telles que \(fg=1\).
[planches/ex1053]
[planches/ex1038] ens MP 2014 Soient \(k\in\mathbf{N}\) et l’équation différentielle \((1-t^2)x''-2tx'+k(k+1)x=0\).
[planches/ex1038]
Montrer que cette équation admet une solution \(x_k\) non nulle, sur \(\mathbf{R}\).
Montrer que toute solution de classe \(\mathscr{C}^2\) sur \([-1,1]\) est proportionnelle à \(x_k\).
[planches/ex3693] mines PSI 2018
[planches/ex3693]
Soit \(y:[a,b]\rightarrow\mathbf{R}\) de classe \(\mathscr{C}^1\), \(\varphi:[a,b]\rightarrow\mathbf{R}_+\) continue et \(c\in\mathbf{R}\) tels que \(\forall x\in[a,b]\), \(y(x)\leqslant c+\displaystyle\int_a^x\varphi(t)y(t)\,dt\).
Montrer que, pour tout \(x\in[a,b]\), \(y(x)\leqslant c\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\int_a^x\varphi(t)\,dt\right)\).
Soit \(q\) une fonction de classe \(\mathscr{C}^1\) de \(\mathbf{R}_+\) dans \(\mathbf{R}_+^*\), croissante, et \(f\) une solution de l’équation \(f''+qf=0\). Montrer que \(f\) est bornée.
[planches/ex6387] ens lyon PC 2021 Pour \(\varphi_1\) et \(\varphi_2\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\), on pose \(W=\left|\matrix{\varphi_1&\varphi'_1\cr\varphi_2&\varphi'_2}\right|\).
[planches/ex6387]
Soit \(q\) une fonction continue de \(\mathbf{R}\) dans \(\mathbf{R}\). Soient \(\varphi_1\) et \(\varphi_2\) deux solutions de l’équation différentielle \(y''+qy=0\). Que dire de la fonction \(W\) ?
Soient \(q_1\) et \(q_2\) deux fonctions continues de \(\mathbf{R}\) dans \(\mathbf{R}\). Soit \(\varphi_1\) une solution de \(y''+q_1y=0\) et \(\varphi_2\) une solution de \(y''+q_2y=0\). Calculer \(W'\).
Soit \(q\) une fonction continue de \(\mathbf{R}\) dans \(\mathbf{R}\). On suppose que \(q\) est minorée par un réel strictement positif \(\alpha\). Montrer que toute solution de l’équation différentielle \(y''+qy=0\) s’annule une infinité de fois.
[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\).
[concours/ex0100]
Résoudre \(y''+2xy'+(1+x^2)y=xe^{-x^2/2}\).
[concours/ex2908] centrale M 1994 Soient \(I\) un intervalle réel, \(p\) et \(q\) des applications continues définies sur \(I\) et à valeurs réelles. Soit \((E)\) l’équation différentielle : \(y''+py'+qy=0\). Trouver une condition portant sur les fonctions \(p\) et \(q\) pour que \((E)\) admette sur \(I\) deux solutions \(u\) et \(v\) non nulles telles que pour tout \(x\), on ait : \(v(x)=xu(x)\).
[concours/ex2908]
Application : résoudre, sur \(\left]0,+\infty\right[\), puis sur \(\left[0,+\infty\right[\), l’équation : \[x^2y''+x(1-2x)y'+\left(x^2-x-{1\over4}\right)y=x^{5/2}.\]
[oraux/ex2949] ens paris MP 2008 Soit \(g\in\mathscr{C}^0(\mathbf{R}_+^*,\mathbf{R}_+^*)\). On suppose qu’il existe \(m>0\) tel que \(g\geqslant m\). Soit \(f:\mathbf{R}_+^*\rightarrow\mathbf{R}\) une solution non nulle de : \(y''+gy=0\).
[oraux/ex2949]
Montrer que \(f\) admet une infinité de zéros.
On suppose \(g\) croissante. Montrer que \(f\) est majorée au voisinage de \(+\infty\).
[planches/ex0963] centrale PSI 2013 Soient \(I\subset\mathbf{R}\) un intervalle, \(A\in\mathscr{C}^1(I,\mathbf{R})\), \(B\in\mathscr{C}^0(I,\mathbf{R})\). Trouver une condition nécessaire et suffisante pour que l’équation différentielle \(y''+Ay'+By=0\) admette deux solutions \(y_1\) et \(y_2\) telles que \(\forall x\in I\), \(y_2(x)=xy_1(x)\).
[planches/ex0963]
[planches/ex7278] centrale PC 2021
[planches/ex7278]
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)\).
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/ex3050] centrale MP 2009 Soient \(I\) un intervalle de \(\mathbf{R}\), \(a\in\mathscr{C}^1(I,\mathbf{R})\), \(b\in\mathscr{C}^0(I,\mathbf{R})\) et \((H)\) l’équation différentielle \(y''+ay'+by=0\).
[oraux/ex3050]
Donner une condition nécessaire et suffisante sur \(a\) et \(b\) pour qu’il existe deux solutions \(y_1\) et \(y_2\) de \((H)\) telles que \(x_2=xy_1\) et \(y_1\neq0\).
Déterminer alors toutes les solutions de \((H)\).
[concours/ex5307] ens paris MP 2007 Soient \(f:\mathbf{R}_+\rightarrow\mathbf{R}\) de classe \(C^2\) et \(g:\mathbf{R}_+\rightarrow\mathbf{R}_+^*\) strictement croissante telles que \(f''+gf=0\).
[concours/ex5307]
Montrer que l’ensemble des zéros de \(f\) n’est mas majoré.
Montrer que \(f\) est bornée au voisinage de \(+\infty\).
[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.
[oraux/ex5532]
Indication : On multipliera par \(x'/\varphi\).
[concours/ex6044] centrale MP 2007 Soient \(m\in\mathbf{R}_+^*\) et \(q\in\mathscr{C}^0(\mathbf{R}_+,\mathbf{R})\) telle que : \(\forall t\in\mathbf{R}_+\), \(q(t)\geqslant m\). On note \((E)\) l’équation différentielle \(y''+qy=0\). Soit \(f\) une solution non nulle de \((E)\).
[concours/ex6044]
Montrer qu’il existe \(p\), \(g:\mathbf{R}_+\rightarrow\mathbf{R}\) de classe \(C^1\) avec \(p>0\) telles que \(f=p\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits g\) et \(f'=p\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits g\).
Exprimer \(g'\) en fonction de \(g\) et \(q\).
En déduire que \(g\) est un \(C^1\)-difféomorphisme de \(\mathbf{R}_+\) sur \(g(\mathbf{R}_+)\).
Montrer que \(f\) s’annule une infinité de fois.
[equadiff/ex0106] On considère l’équation \(x''+q(t)x=0\) où \(q\) est une fonction de classe \(C^1\) sur \(\mathbf{R}\), strictement positive et croissante.
[equadiff/ex0106]
Montrer que toutes les solutions de l’équation sont bornées sur \(\mathbf{R}\).
[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\).
[planches/ex0925]
Que dire si \(y'(0)=0\) ?
On suppose \(y'(0)>0\). Montrer qu’il existe \(t>0\) tel que \(y'(t)=0\).
Montrer que \(y\) a une infinité de zéros sur \(\mathbf{R}_+\).
[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 :
[concours/ex4064]
\(\forall t\in\mathbf{R}^*\quad x_1(t)\neq0\) ;
\(\forall t\in\mathbf{R}\quad x_2(t)=tx_1(t)\).
[oraux/ex3153] mines MP 2011 Soit \((E)\) l’équation différentielle \(y''=(x^4+1)y\).
[oraux/ex3153]
Montrer que cette équation possède une unique solution \(f:\mathbf{R}\rightarrow\mathbf{R}\) telle que \(f(0)=f'(0)=1\).
Montrer que \(g=f^2\) est convexe.
Montrer : \(\forall x\in\mathbf{R}_+\), \(f(x)\geqslant 1\).
Montrer que \(1/g\) est intégrable sur \(\mathbf{R}_+\).
Montrer que \(x\mapsto f(x)\displaystyle\int_x^{+\infty}{dt\over g(t)}\) est également solution de \((E)\).
[oraux/ex2901] centrale PSI 2005 Soit \(E\) l’ensemble des \(f\in\mathscr{C}^2(\mathbf{R}_+,\mathbf{R})\) telles que : \(\forall x\in\mathbf{R}\), \(f''(x)-(1+x^4)f(x)=0\).
[oraux/ex2901]
Montrer que \(E\) contient une unique fonction \(f_0\) telle que \(f_0(0)=1\) et \(f_0'(0)=1\).
Montrer que \(f_0^2\) est convexe.
Montrer que : \(\forall t\in\mathbf{R}_+\), \(f_0(t)\geqslant 1\).
Montrer que \(1/f_0^2\) est intégrable sur \(\mathbf{R}_+\).
Soit \(f_1:x\in\mathbf{R}_+\mapsto f_0(x)\displaystyle\int_x^{+\infty}{dt\over f_0^2(t)}\).
Montrer que \(f_1\in E\).
Montrer que \(f_1'\geqslant 0\) et que \(f_1\) est bornée.
Quels sont les éléments bornés de \(E\) ?
[oraux/ex5086] polytechnique MP 2012
[oraux/ex5086]
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)}.\)
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.
[oraux/ex3141] polytechnique MP 2011 Soit \(f\in\mathscr{C}^1(\mathbf{R}_+,\mathbf{R})\) de limite nulle en \(+\infty\) et de dérivée intégrable sur \(\mathbf{R}_+\). Montrer que toutes les solutions de l’équation différentielle \(y''+(1+f(t))y=0\) sont bornées sur \(\mathbf{R}_+\).
[oraux/ex3141]
[planches/ex1115] centrale PSI 2016 On considère l’équation différentielle \(y''=x^4y\) (?).
[planches/ex1115]
Montrer qu’il existe une unique solution \(f\) telle que \(f(0)=f'(0)=1\).
On admet que \(1/f^2\) est définie et intégrable sur \(\mathbf{R}_+\). Montrer que \(g:x\mapsto f(x)\displaystyle\int_x^{+\infty}{dt\over f(t)^2}\) est aussi solution de l’équation étudiée.
Montrer le résultat admis dans la question précédente.
[planches/ex8628] centrale PSI 2022 (avec Python)
[planches/ex8628]
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\).
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 ?
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\).
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.
La condition \(q\) intégrable est-elle suffisante/nécessaire pour que les solutions de \((E_{a,b})\) soient bornées ?
[planches/ex1114] centrale PSI 2016 On considère l’équation différentielle \[(1)\quad y''=(1+x^4)y.\]
[planches/ex1114]
Montrer que \((1)\) possède une unique solution \(y\) telle que \(y(0)=y'(0)=1\).
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)\) (?).
Montrer que si \(f\) solution de \((E)\) vérifie \(f(0)=f'(0)=1\) alors \(\displaystyle{1\over f^2}\) est intégrable.
[oraux/ex2970] mines PSI 2008 Soient \((a,b)\in\mathbf{R}^2\) avec \(a<b\), \(p\in\mathscr{C}^0([a,b],\mathbf{R})\) et \(k\in\mathbf{R}_+^*\). Montrer que la seule solution de l’équation différentielle \(y''+p(x)y'-ky=0\) satisfaisant la condition \(y(a)=y(b)=0\) est la solution nulle.
[oraux/ex2970]
[examen/ex1793] mines MP 2024 Soit \(f\) une fonction continue et bornée de \(\mathbf{R}\) dans \(\mathbf{R}\). Déterminer les fonctions \(y\) de \(\mathbf{R}\) dans \(\mathbf{R}\), de classe \(\mathscr{C}^2\) et bornées, telles que \(y''-y=f\).
[examen/ex1793]
[planches/ex1018] mines PSI 2014 Soient \(a\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) et \((E)\) l’équation différentielle : \(y''+a(x)y=0\).
[planches/ex1018]
Montrer que les wronskiens relatifs à \((E)\) vérifient une équation différentielle du premier ordre.
Soit \(T>0\). Montrer que les trois énoncés suivants sont équivalents :
\((E)\) possède un wronskien \(T\)-périodique ;
tous les wronskiens de \((E)\) sont périodiques ;
la fonction \(a\) est \(T\)-périodique de valeur moyenne nulle.
[oraux/ex3075] ens lyon MP 2010 Soient \(q\) une application continue périodique et non identiquement nulle de \(\mathbf{R}\) dans \(\mathbf{R}_+\), \(y\) une solution de \(y''+qy=0\). Montrer que \(y\) s’annule une infinité de fois.
[oraux/ex3075]
[concours/ex5477] polytechnique MP 2007 Soient \(f\in\mathscr{C}^1(\left]0,+\infty\right[,\mathbf{R})\) et \(g\) une solution de \((E)\) : \(y''+fy=0\), non identiquement nulle.
[concours/ex5477]
Montrer que les zéros de \(g\) sont isolés. Dans la suite, \(x_1\) et \(x_2\) sont deux zéros consécutifs de \(g\) vérifiant \(x_1<x_2\).
Montrer, si \(x\in[x_1,x_2]\) : \[\hskip-1cm(x_2-x)\int_{x_1}^x(t-x_1)f(t)g(t)\,dt+ (x-x_1)\int_x^{x_2}(x_2-t)f(t)g(t)\,dt =(x_2-x_1)g(x).\]
En déduire une minoration de \(\displaystyle\int_{x_1}^{x_2}|f(t)|\,dt\).
[oraux/ex5392] mines MP 2012 Soit \(f\,:\;\mathbf{R}^{+*}\to\mathbf{R}\) continue. On considère l’équation différentielle \((E)\) \(y''=f\,y\).
[oraux/ex5392]
Montrer que les zéros des solutions non nulles sont isolés.
Soient \(\alpha\) et \(\beta\) deux zéros consécutifs d’une solution non nulle de \((E)\). Montrer : \[\int_\alpha^\beta\left|f(t)\right|\,dt>\frac4{\beta-\alpha}.\]
[oraux/ex3012] polytechnique MP 2009 Soient \((a,b)\in\mathbf{R}^2\) avec \(a<b\) et \(f\in\mathscr{C}^0([a,b],\mathbf{R})\). On suppose qu’il existe \(u\) dans \(\mathscr{C}^2([a,b],\mathbf{R})\) non identiquement nulle telle que : \(u''+fu=0\) et \(u(a)=u(b)=0\). Montrer : \(\displaystyle\int_a^b|f(t)|\,dt\geqslant(b-a)/4\).
[oraux/ex3012]
Vous pouvez produire plusieurs PDF en répartissant les exercices choisis