[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]
[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\).
[examen/ex0458] centrale MP 2023 Soient \(E=\mathscr{C}^\infty([0,\pi],\mathbf{R})\) et \(F=\{f\in E,\ f(0)=f(\pi)=0\}\). Soient \(\varphi,q\in E\), la fonction \(q\) étant positive. On note \(\alpha\) une primitive de \(\varphi\). On pose \(D(y)=y''+\varphi y'-qy\) et \(L(y)=-e^\alpha D(y)\) pour tout \(y\in E\), et \(\langle y,z\rangle=\displaystyle\int_0^{\pi}y(x)L(z)(x)\,\mathrm{d}x\) pour tous \(y\), \(z\in F\).
[examen/ex0458]
Rappeler le théorème de Cauchy-Lipschitz.
Montrer que \(\langle\ ,\ \rangle\) est un produit scalaire sur \(F\).
Soit \(h\in E\). Montrer qu’il existe une unique fonction \(f_0\in F\) telle que \(D(f_0)=h\).
[equadiff/ex0157] On considère l’équation différentielle linéaire du second ordre : \[(E)\qquad a(x)y''+b(x)y'+c(x)y=f(x),\] où \(a\), \(b\), \(c\) et \(f\) sont continues sur le même domaine de \(\mathbf{R}\), \(a\) ne s’annulant pas sur ce domaine. On en cherche une solution sous la forme d’un produit de deux fonctions \(u\) et \(v\), i. e. \(y=uv\).
[equadiff/ex0157]
Déduire de cette égalité que \(u\) vérifie une équation différentielle : \[a_2u''+b_2u'+c_2u=f(x),\] dont les coefficients dépendent de \(x\) et de la fonction \(v\).
On choisit alors \(v\) pour pour que cette équation ne contienne pas \(u'\). En déduire une méthode d’intégration de \((E)\).
Application : résoudre sur \(\mathbf{R}_+^*\) l’équation différentielle : \[xy''+2y'-xy=\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits x,\] en remarquant qu’on peut prendre \(v(x)=\displaystyle{1\over x}\).
[concours/ex3679] mines M 1992 Montrer que toutes les solutions de \(y''+e^xy=0\) sont bornées sur \(\mathbf{R}_+\).
[concours/ex3679]
[planches/ex8133] mines MP 2022 Soit \(f:\mathbf{R}_+\longrightarrow\mathbf{R}_+\) continue. On se donne \(c\geqslant 0\), on pose \(F:x\longmapsto c+\displaystyle\int_0^xf(t)\,dt\) et on suppose que \(\forall x\in\mathbf{R}_+\), \(xf(x)\leqslant F(x)\).
[planches/ex8133]
Étudier les variations de \(x\longmapsto\displaystyle{F(x)\over x}\) sur \(\mathbf{R}_+^*\) et en déduire que \(f\) est bornée.
Soit \(g\) une solution sur \(\mathbf{R}_+\) de l’équation différentielle \(y''+xy=0\). En s’intéressant à \(g^2\), montrer que \(g\) est bornée.
[planches/ex3377] polytechnique, espci PC 2018 Soit \(q\in\mathscr{C}^1(\mathbf{R}_+,\mathbf{R})\) telle que \(q>0\), \(q'>0\). Montrer que les solutions de l’équation différentielle \(y''+qy=0\) sont bornées sur \(\mathbf{R}_+\).
[planches/ex3377]
[oraux/ex3082] polytechnique MP 2010 Soit \(f:\mathbf{R}\rightarrow\mathbf{R}\) une solution non identiquement nulle de l’équation différentielle \((E)\) : \(y''+e^ty=0\). Montrer que \(f\) admet une infinité dénombrable de zéros.
[oraux/ex3082]
[planches/ex0932] polytechnique MP 2013 Soient \(a\in\left]0,\pi\right[\) et \(x\) la solution maximale du problème de Cauchy : \(x''=-\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(x)\), \(x(0)=a\), \(x'(0)=0\). Montrer que \(x\) est définie sur \(\mathbf{R}\) et \(\forall t\in\mathbf{R}\), \(|x(t)|\leqslant a\).
[planches/ex0932]
[planches/ex1104] mines MP 2016 Soit \(q:\mathbf{R}_+\rightarrow\mathbf{R}\) de classe \(\mathscr{C}^1\) telle que \(\forall x\in\mathbf{R}_+\), \(q(x)>0\) et \(q'(x)>0\). Montrer que les solutions de \(y''+qy=0\) sont bornées sur \(\mathbf{R}_+\).
[planches/ex1104]
Indication : Multiplier par \(y'/q\).
[oraux/ex3142] polytechnique MP 2011 Soit \(a\) dans \(\left]0,\pi\right[\).
[oraux/ex3142]
Déterminer \(y\) de classe \(C^2\) de \(\mathbf{R}\) dans \(\mathbf{R}\) telle que : \(y(0)=a\), \(y'(0)=0\), \(y''=-y\).
Soit \(x\) la solution maximale du problème de Cauchy \(x''=-\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits x\), \(x(0)=a\), \(x'(0)=0\). Montrer que \(x\) est définie sur \(\mathbf{R}\) et bornée par \(a\) sur \(\mathbf{R}\).
Trouver \(C>0\) telle que : \(\forall t\in\mathbf{R}\), \(|x(t)-y(t)|\leqslant Ct^2\).
[equadiff/ex0881] Soit \((E)\) : \(y''+ay'+by=0\) une équation différentielle linéaire du deuxième ordre homogène à coefficients non forcément constants, de classe \(C^1\) sur l’intervalle \(I\).
[equadiff/ex0881]
Écrire l’équation \((E')\) transformé de \((E)\) en posant \(y=uz\).
Déterminer une équation différentielle simple que doit vérifier la fonction \(u\) de sorte de \((E')\) ne contienne plus de terme en \(z'\), et résoudre cette équation en \(u\).
Montrer que \((E')\) peut se mettre sous la forme : \(z''=cz\), et exprimer la fonction \(c\) en fonction de \(a\) et \(b\).
Déterminer \(u\) et \(c\) quand \(a\) et \(b\) sont constants.
[planches/ex1009] mines MP 2014 Soit \((E)\) l’équation différentielle \[y''+e^xy=0.\]
[planches/ex1009]
Montrer que les solutions de \((E)\) sont bornées sur \(\mathbf{R}_+\).
Les solutions de \((E)\) sont-elles toutes bornées sur \(\mathbf{R}\) ?
[oraux/ex3133] ens lyon MP 2011 Soit \(\varphi\) une solution maximale non identiquement nulle de \(y''+e^xy=0\).
[oraux/ex3133]
Montrer que \(\varphi\) est définie sur \(\mathbf{R}\).
Montrer que l’on peut ranger l’ensemble des zéros de \(\varphi\) sur \(\mathbf{R}_+\) en une suite strictement croissante \((x_n)_{n\in\mathbf{N}}\).
Montrer que \(x_{n+1}-x_n\rightarrow0\) quand \(n\rightarrow+\infty\).
Donner un équivalent de \(x_n\) quand \(n\rightarrow+\infty\).
[planches/ex8462] mines PC 2022
[planches/ex8462]
Soit \(f\in\mathscr{C}^0(\mathbf{R}_+,\mathbf{R}_+)\). On suppose qu’il existe \(c\geqslant 0\) tel que, pour tout \(x\in\mathbf{R}_+\), \(xf(x)\leqslant c+\displaystyle\int_0^xf(t)\,dt\). Montrer que \(f\) est bornée.
Soit \(y\in\mathscr{C}^2(\mathbf{R}_+,\mathbf{R})\) solution de \(y''+xy=0\). Montrer que \(y\) est bornée.
[planches/ex0989] ens paris, ens lyon, ens cachan, ens rennes MP 2014 Soient \(a>0\) et \(f\in\mathscr{C}^1(\left[1,+\infty\right[,\mathbf{R}_+^*)\) telle que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{+\infty}f'=a\). On considère \(u\in\mathscr{C}^2(\left[1,+\infty\right[,\mathbf{R})\) bornée et solution de l’équation différentielle \((E)\) : \(y''-\displaystyle{f'\over f}y'-{y\over f^2}=0\).
[planches/ex0989]
Montrer que \(u'(x)=O(1/x)\) quand \(x\rightarrow+\infty\).
Montrer que \(u(x)\rightarrow0\) quand \(x\rightarrow+\infty\).
[planches/ex1056] mines MP 2015 Soient \(q\in\mathscr{C}^0(\mathbf{R},\mathbf{R}_+)\) et \(x\) une solution strictement positive de \(x''+q(t)x=0\). On pose \(f=x'/x\).
[planches/ex1056]
Donner une équation différentielle satisfaite par \(f\).
Montrer que \(f\) est décroissante positive.
Que peut-on dire de l’intégrabilité de \(q\) ?
[oraux/ex3077] ens cachan MP 2010 Soient \(T\in\mathbf{R}_+^*\) et \(a\in\mathscr{C}^1(\mathbf{R},\mathbf{R})\) une fonction \(T\)-périodique. On pose \(a_0=\displaystyle{1\over T}\int_0^Ta(x)\,dx\). Pour \(\varepsilon>0\), soit \(a_\varepsilon:x\mapsto a(x/\varepsilon)\). Soit \(\varphi\in\mathscr{C}^1([0,1],\mathbf{R})\).
[oraux/ex3077]
Montrer que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{\varepsilon\rightarrow0^+}\displaystyle\int_0^1a_\varepsilon(u)\varphi(u)\, du=a_0\displaystyle\int_0^1\varphi(u)\,du\).
On suppose désormais qu’il existe \(\alpha>0\) tel que \(\forall x\in\mathbf{R}\), \(a(x)\geqslant\alpha\). Soit \(f\in\mathscr{C}^0([0,1],\mathbf{R})\).
Soit \(\varepsilon>0\). Montrer qu’il existe une unique \(u_\varepsilon\in\mathscr{C}^2([0,1],\mathbf{R})\) solution du problème \((a_\varepsilon u')'=f\) et \(u(0)=u(1)=0\).
Que dire de \(u_\varepsilon\) lorsque \(\varepsilon\rightarrow0^+\) ?
[planches/ex6022] polytechnique PC 2020 Soit \(f:\left[0,+\infty\right[\rightarrow\mathbf{R}\) dérivable, positive, décroissante et non intégrable sur \(\left[0,+\infty\right[\).
[planches/ex6022]
Soit \(y:\left[0,+\infty\right[\rightarrow\mathbf{R}\) de classe \(\mathscr{C}^2\), non identiquement nulle et vérifiant \(y''+fy=0\).
Est-il possible d’avoir \(y\geqslant 0\) ? On pourra considérer \(E=fy^2+(y')^2\).
Soit \(t_0>0\) tel que \(y(t_0)=0\). Montrer qu’il existe \(\varepsilon>0\) tel que \(\forall t\in[t_0-\varepsilon,t_0+\varepsilon]\setminus\{t_0\}\), \(y(t)\neq 0\).
Déduire de la première question que \(y\) s’annule. Montrer que \(y\) admet une infinité de zéros. Comment interpréter le résultat d’un point de vue physique ?
[oraux/ex2784] mines 2003 Soit \(\lambda>0\). On considère l’équation différentielle : \[(E)\qquad y''=-y+\lambda y'(1-y^2).\] On note \(\varphi:I\rightarrow\mathbf{R}\) une solution maximale de \((E)\). On pose \(g=\varphi^2+(\varphi')^2\).
[oraux/ex2784]
Montrer que \(g'\leqslant 2\lambda g\).
Soit \(a\in I\).
Soit \(x\in\left[a,+\infty\right[\cap I\). Montrer que \(g(x)\leqslant g(a)e^{2\lambda(x-a)}\).
Montrer que \(I\supset\left[a,+\infty\right[\).
[oraux/ex5092] polytechnique MP 2012 Soient \(E={\cal C}^2([0,1],\mathbf{R})\) et \(Q:u\in E\mapsto\displaystyle\int_0^1 e^x\left( u(x)^2+u'(x)^2\right)\,dx\).
[oraux/ex5092]
Soient \(u,v\in E\) et \(\Phi_{u,v}:t\in\mathbf{R}\mapsto Q(u+tv)\). À quelle condition \(\Phi_{u,v}\) admet-elle un minimum en \(t_0\) ?
On fixe \(a\) et \(b\) dans \(\mathbf{R}\) et on note \(L=\left\{ u\in E,\; u(0)=a\mbox{ et }u(1)=b\right\}\). La restriction de \(Q\) à \(L\) présente-t-elle un minimum ? Si oui, est-il unique ?
[examen/ex2795] ens paris, ens lyon, ens saclay, ens rennes MP 2025 On fixe un intervalle non trivial \(I\).
[examen/ex2795]
Soient \(a\) et \(b\) deux fonctions continues de \(I\) dans \(\mathbf{R}\). Soit \(f\) une solution non nulle sur \(I\) de \(y''+a y'+b y=0\). Montrer que les zéros de \(f\) sont isolés : pour tout zéro \(t_0\) de \(f\) il existe un \(\delta>0\) tel que \(f\) n’ait pas de zéro dans \(\left]t_0-\delta,t_0+\delta\right[\setminus\{t_0\}\).
Soient \(p_1\), \(p_2\) deux fonctions continues de \(I\) dans \(\mathbf{R}\) telles que \(\forall t\in I\), \(p_1(t)\geqslant p_2(t)\). Soient \(f\), \(g\in\mathscr{C}^2(I,\mathbf{R})\setminus\{0\}\) telles que \(f''+p_1f=0\) et \(g''+p_2g=0\). Soient \(t_1<t_2\) deux zéros de \(f\) entre lesquels \(f\) n’admet aucun autre zéro. Montrer qu’il existe un zéro de \(g\) dans \(\left[t_1,t_2\right[\), ainsi que dans \(\left]t_1,t_2\right]\).
Soient \(p\), \(q\) deux fonctions continues de \([0,1]\) dans \(\mathbf{R}\) telles que \(\forall t\in[0,1]\), \(q(t)>0\). Pour \(\lambda\in\mathbf{R}\), on note \(f_\lambda\) la solution sur \([0,1]\) de l’équation différentielle \(y''+(p(t)+\lambda q(t))y=0\) avec la condition initiale \(f_\lambda(0)=0\) et \(f'_\lambda(0)=1\). On note \(N_\lambda\) le nombre de zéros de \(f_\lambda\). Montrer que \(\lambda\mapsto N_\lambda\) est croissante et déterminer ses limites en \(-\infty\) et \(+\infty\).
On admet que \((x,\lambda)\in[0,1]\times\mathbf{R}\mapsto f_\lambda(x)\) est continue. Montrer que l’ensemble \(\{\lambda\in\mathbf{R},\ f_\lambda(1)=0\}\) est l’ensemble des termes d’une suite réelle strictement croissante.
Montrer que \((\lambda,x)\mapsto f_\lambda(x)\) est continue sur \(\mathbf{R}\times[0,1]\).
[planches/ex1636] ens PC 2017 Soit \(u\in\mathscr{C}^\infty(\mathbf{R},\mathbf{R})\) telle que \(u(0)=0\) et \(u(x)\rightarrow\ell\in\mathbf{R}\) quand \(x\rightarrow+\infty\). Soient \(c\in\mathbf{C}\setminus\mathbf{R}\) et \((*)\) l’équation différentielle \((u-c)y''=u''y\).
[planches/ex1636]
Déterminer la dimension de l’espace des solutions de \((*)\).
Donner une solution \(\varphi_1\) non nulle et bornée en \(+\infty\) de \((*)\).
Soit \(\varphi_2\) une solution de \((*)\) indépendante de \(\varphi_1\). Peut-on avoir \(\varphi_2\) bornée en \(+\infty\) ?
Que se passe-t-il si \(c\in\mathbf{R}\) ?
[planches/ex1090] ens PC 2016 Soient \(f\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) et \(k\), \(c\in\mathbf{R}_+^*\) tels que, pour tout \(x\in\mathbf{R}\), \(|f(x)|\leqslant c\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits(-kx)\).
[planches/ex1090]
Existe-t-il \(u\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\) telle que \(u''-u=f\) et \(u(x)\mathrel{\mathop{\longrightarrow}\limits_{x\rightarrow+\infty}}0\) ?
Soit \(u\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\) telle que \(u''=(1+f)u\). Donner un équivalent de \(u(x)\) quand \(x\rightarrow+\infty\).
[concours/ex3550] polytechnique M 1992 Soit \(a\) et \(b\) deux fonctions continues de \(\mathbf{R}_+\) dans \(\mathbf{R}\). On suppose que les intégrales \(\displaystyle\int_0^{+\infty}ta(t)\,dt\) et \(\displaystyle\int_0^{+\infty}b(t)\,dt\) convergent absolument. On considère l’équation \((E)\) : \(x''+a(t)x=b(t)\). Soit \(x\) une solution de \((E)\). Montrer que \(x\) a une limite en \(+\infty\).
[concours/ex3550]
[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/ex1100]
[concours/ex1374] ens cachan MP 1998 Soient \(A\) et \(B\) dans \(\mathbf{R}^2\) euclidien, et \[E=\{u\in\mathscr{C}^1([0,1],\mathbf{R}^2)\mid u(0)=A,\ u(1)=B\}.\] Soit \(n\) une application de \(\mathbf{R}^2\) dans \(\mathbf{R}_+^*\), de classe \(C^2\). Pour \(u\in E\), on pose \(F(u)=\displaystyle\int_0^1n(u(t))\|u'(t)\|^2\,dt\). On suppose qu’il existe \(u_0\in E\) tel que \(F(u_0)=\mathop{\mathchoice{\hbox{min}}{\hbox{min}}{\mathrm{min}}{\mathrm{min}}}\limits_{u\in E}F(u)\). Montrer que \(u_0\) est de classe \(C^2\) et trouver une équation différentielle vérifiée par \(u_0\).
[concours/ex1374]
[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]\).
[planches/ex1080]
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.
Montrer que si \(x\) est solution de \((E)\) et vérifie \(x(0)=x(1)=0\) alors \(x=0\).
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.\]
[planches/ex7169] centrale MP 2021 Soit \(f\in\mathscr{C}^1(\left[1,+\infty\right[,\mathbf{R}_+^*)\) telle que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{x\rightarrow+\infty}f'(x)=\alpha>0\).
[planches/ex7169]
Soit \(u\in\mathscr{C}^2(\left[1,+\infty\right[,\mathbf{R})\) bornée et solution de l’équation différentielle \(u''-\displaystyle{f'\over f}u'-{u\over f^2}=0\). On pose \(h=\displaystyle{u'\over f}\).
Montrer que \(u'(x)=O(1/x)\) lorsque \(x\rightarrow+\infty\).
Montrer que \(u^2\) admet une limite \(\ell\) en \(+\infty\).
Montrer que \(\ell=0\).
[oraux/ex2986] centrale MP 2008 Soit \(q:\mathbf{R}\rightarrow\mathbf{R}\) continue, \(2\pi\)-périodique, de valeur moyenne nulle. Pour \(n\in\mathbf{N}^*\), soit \(y_n:\mathbf{R}\rightarrow\mathbf{R}\) la solution du problème de Cauchy : \(y''+(1-q(nt))y=0\), \(y(0)=1\) et \(y'(0)=0\). Soit \(X_n:t\mapsto(y_n(t),y_n'(t))\). On munit \(\mathbf{R}^2\) de son produit scalaire canonique.
[oraux/ex2986]
Montrer que, \(\forall t\in\mathbf{R}\) : \(\langle X_n(t),X_n'(t)\rangle\leqslant\displaystyle{1\over2}|q_n(t)|\times\|X_n(t)\|^2\).
Soit \(T>0\). Montrer que \(y_n\) et \(y_n'\) sont bornées sur \([0,T]\) par une constante indépendante de \(n\).
Montrer que \((y_n)\) converge uniformément sur \([0,T]\).
[planches/ex6154] ens lyon MP 2021 Soit \(k\in\mathbf{R}\). Soit \(y\in\mathscr{C}^2(\mathbf{R},\mathbf{R})\) vérifiant \(y''=(x^3+kx)y\), \(y(0)=1\) et \(y'(0)=0\). Montrer que l’ensemble des zéros de \(y\) est majoré et non minoré.
[planches/ex6154]
[oraux/ex3147] polytechnique, espci PC 2011 Soit \(y\) une solution de \(y''(x)=xy(x)\) sur \([0,1]\) telle que \(y(0)=1\) et \(y'(0)=0\). Montrer : \(\forall x\in[0,1]\), \(|y'(x)|+|y(x)|\leqslant e^x\).
[oraux/ex3147]
[oraux/ex2981] centrale MP 2008 (avec Maple)
[oraux/ex2981]
Maple
Résoudre \(y''+\displaystyle{y\over x^2}=0\) sur \(\left[1,+\infty\right[\) à l’aide de Maple. Existe-t-il des solutions bornées ?
Soit \((E)\) : \(y''+\displaystyle{y\over x^2+4x+3}=0\). On se donne une solution \(f\) bornée de \((E)\) sur \(\left[1,+\infty\right[\). Montrer que \(f'\) admet une limite nulle en \(+\infty\). Existe-t-il des solutions non bornées sur \(\left[1,+\infty\right[\) ?
[planches/ex0917] ens paris, ens lyon, ens cachan MP 2013 Soient \(\eta\) et \(\varphi\) deux fonctions de classe \(\mathscr{C}^\infty\) et 1-périodiques de \(\mathbf{R}\) dans \(\mathbf{R}\), avec \(\eta\) à valeurs dans \(\mathbf{R}_+^*\) et \((E)\) l’équation différentielle : \(y''-\eta y=\varphi\).
[planches/ex0917]
Montrer que \((E)\) admet au plus une solution 1-périodique.
On suppose \(\eta\) constante. Montrer que \((E)\) possède une solution 1-périodique.
Établir l’existence de \(\alpha>0\) tel que, pour \(\lambda\in\mathbf{R}\) vérifiant \(0<|\lambda|<\alpha\), l’équation \(u''-\lambda\eta u=\varphi\) admette une solution 1-périodique.
Indication : On écrit \(\varphi=\lambda\varphi_1+\varphi_0\) avec \(\varphi_1\) constante et \(\displaystyle\int_0^1\varphi_0=0\). On cherche alors la solution \(u\) sous la forme \(\displaystyle\sum\limits_{n=0}^{+\infty}\lambda^n(u_n+c_n)\) où \(c_n\) est constante de \(u_n\) est une fonction 1-périodique vérifiant \(u_n(0)=0\).
[concours/ex4170] mines M 1990 Soit \(f\) une solution sur \(\mathbf{R}_+\) de : \[y''+e^{-t^2}y=\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits t.\] On suppose \(f\) bornée et \(\displaystyle\int_0^{+\infty}f^2\) convergente. Montrer que \(f'\) est bornée, puis que \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{t\rightarrow+\infty}f(t)=0\).
[concours/ex4170]
[planches/ex1079] ens paris, ens lyon, ens cachan, ens rennes MP 2016 Soient \(b\in\mathbf{R}_+^*\) et \(f\) une fonction continue définie sur \(\left[1,+\infty\right[\) telle que \(f(r)=O(r^{-b-2})\).
[planches/ex1079]
Soit \(u\) de classe \(\mathscr{C}^2\) sur \(\left[1,+\infty\right[\) bornée telle que \(-u''-\displaystyle{u'\over r}+{u\over r^2}=f\). Montrer que \(u\) tend vers 0 en \(+\infty\) et préciser la vitesse de convergence.
Soient \(j>0\) de classe \(\mathscr{C}^1\) sur \(\left[1,+\infty\right[\) telle que \(j'\) tend vers 1 en \(+\infty\) et \(u\) de classe \(\mathscr{C}^2\) sur \(\left[1,+\infty\right[\) bornée telle que \(-u''-\displaystyle{j'\over j}u'+{u\over j^2}=f\). Montrer que \(u\) tend vers 0 en \(+\infty\).
[planches/ex9340] ens PSI 2023 Soient \(a>0\) et \(q \in\mathscr{C}^2(\left[a,+\infty\right[,\mathbf{R}^{+*})\) telle que \(\displaystyle\int_a^{+\infty} \sqrt {q(t)}\,{\rm d}t = +\infty\).
[planches/ex9340]
Soit \((E)\) l’équation différentielle \(y''+qy=0\)
Soient \(y_1\) et \(y_2\) deux fonctions de classe \(\mathscr{C}^1\) qui n’ont pas de zéros en commun. On pose \(\Phi = y_1 + iy_2\) et \(\Phi (a) = r_0e^{i\theta_0}\).
Montrer que \(\forall x \geqslant a\), \(\Phi (x) = e^{\Psi(x)}\) où \(\Psi(x)=\displaystyle\int_a^x\frac{\Phi'(t)}{\Phi(t)} \,{\rm d}t + \mathop{\mathchoice{\hbox{ln}}{\hbox{ln}}{\mathrm{ln}}{\mathrm{ln}}}\nolimits (r_0) + i\theta_0\).
Montrer que l’on peut écrire \(y_1(x) =r(x)\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(\theta(x))\) et \(y_2(x) =r(x) \mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits (\theta(x))\) où \(r(x) = \sqrt{y_1^2(x) + y_2^2(x)}\) et \(\theta (x) = \theta_0 +\displaystyle\int_a^x \displaystyle\frac{y_1y'_2-y_2y'_1}{y_1^2+ y_2^2}\).
On pose \(x \mapsto f(x) =\displaystyle\int_a^{x} \sqrt {q(t)}\,{\rm d}t\).
Montrer que \(f\) réalise une bijection de \(\left[a,+\infty\right[\) sur \(\mathbf{R}^+\).
Soit \(y\) une solution de \((E)\), non identiquement nulle. On pose \(Y = y\mathbin{\circ} f^{-1}\). Montrer que \(Y'' +vY' +Y =0\) où \(v~: t \mapsto\displaystyle\frac{q'(f^{-1}(t))}{2 (q(f^{-1}(t)))^{3/2}}\).
Montrer que \(Y\) et \(Y'\) n’ont pas de zéro en commun et que l’on peut écrire \(Y = r \mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits (\theta)\) et \(Y'= r \mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits (\theta)\) où \(r\), \(\theta\) sont des fonctions de classe \(\mathscr{C}^1\).
Montrer que \((r^2)' = -2v r^2 \mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits^2(\theta)\). En déduire que \(y\) et \(y'\) sont bornées.
[oraux/ex3148] polytechnique, espci PC 2011 Soit \((E)\) l’équation différentielle \(y''(x)+\left(1-e^{-x^2}\right)y(x)=0\).
[oraux/ex3148]
Montrer que les solutions de \((E)\) sont bornées sur \(\mathbf{R}\).
Soit \(y\) une solution non nulle de \((E)\). Montrer que \(y\) s’annule au moins une fois sur tout intervalle de la forme \([a,a+\pi]\) avec \(a\in\mathbf{R}\).
[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\).
[planches/ex7887]
Indication : Considérer \(g:x\longmapsto f(x)e^{x^2/2}\).
[oraux/ex4931] ens paris, ens lyon, ens cachan MP 2012 Soit \(a>4\). On note \(E\) l’ensemble des \(f\in{\cal C}^0([0,1],\mathbf{R})\) de classe \({\cal C}^1\) sur \(]0,1]\), telles que \(f'^2\) soit intégrable sur \(]0,1]\) et vérifiant en outre \(f(0)=0\) et \(f(1)=1\) ; pour \(f\in E\), on pose \(\phi(f)=\displaystyle\int_0^1 \left(af'^2(t)-\frac{f(t)^2}{t^2}\right)\,dt\).
[oraux/ex4931]
On suppose que \(\phi\) réalise son minimum sur \(E\) en \(f\). Donner une équation différentielle qu’il est plausible que \(f\) vérifie, et en déduire une valeur plausible de \(f\).
Pour \(h\in E\), on pose \(g(t)=\displaystyle\frac{h(t)}{f(t)}\). Exprimer \(\phi(h)\) en fonction de \(g\), et en déduire que \(\phi\) réalise son minimum sur \(E\). Préciser en quels points.
[oraux/ex3174] centrale MP 2011 (avec Maple)
[oraux/ex3174]
Soit \(f\) une fonction continue de \(\mathbf{R}^2\) dans \(\mathbf{R}\). On suppose qu’il existe \(L>0\) tel que : \(\forall(x,y,t)\in\mathbf{R}^3\), \(|f(t,x)-f(t,y)|\leqslant L|x-y|\). On fixe \(a\), \(b\) dans \(\mathbf{R}\). Si \(x\) est une fonction continue de \(\mathbf{R}\) dans \(\mathbf{R}\), on note \(T(x)\) la fonction définie par : \[\forall t\in\mathbf{R},\quad T(x)(t)=a+bt+\int_0^t(t-s)f(s,x(s))\,ds.\]
Vérifier que \(T(x)\) est de classe \(C^1\) sur \(\mathbf{R}\).
On suppose \(f(t,x)=(2\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits t-2)x\). On prend pour \(y\) la fonction nulle. Tracer, pour \(8\leqslant n\leqslant 12\), le graphe de \(T^n(y)\) sur \([-6,6]\).
Montrer que pour toute \(x\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) la suite \((T^n(x))\) converge uniformément sur tout segment de \(\mathbf{R}\) vers une fonction \(y\) telle que \(y(0)=a\), \(y'(0)=b\), \(\forall t\in\mathbf{R}\), \(y''(t)=f(t,y(t))\).
[planches/ex2136] mines MP 2017 Soient \(a\) et \(b\) continues et 1-périodiques, et soit \(y\) solution de \(y''+ay'+by=0\) telle que \(y(0)=y(1)=0\). Montrer que \(y\) s’annule en tout \(k\in\mathbf{Z}\).
[planches/ex2136]
[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)\).
[planches/ex2502]
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\).
Montrer que \(\forall x\in\left]0,+\infty\right[\), \(y_0(x)y_0'(x)>0\). Montrer que \(y_0\) est strictement croissante.
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)\).
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\).
[oraux/ex3129] ens lyon MP 2011 Soient \(f\) et \(g\) deux fonctions de classe \(C^2\) de \(\mathbf{R}\) dans \(\mathbf{R}\) telle que \((f,g)\) soit libre. Donner une condition nécessaire et suffisante pour qu’existent deux fonctions \(a\) et \(b\) continues et 1-périodiques de \(\mathbf{R}\) dans \(\mathbf{R}\) telles que : \(f''+af'+bf=0\) et \(g''+ag'+bg=0\).
[oraux/ex3129]
[concours/ex3119] polytechnique P 1993
[concours/ex3119]
Soit \(g\), \(k:[a,b]\rightarrow\mathbf{R}\) avec \(g\) continue et \(k\) de classe \(C^1\) ne s’annulant pas sur \([a,b]\) et \[(E)\quad(ky')'+gy=0.\]
Montrer que l’ensemble des zéros d’une solution non nulle de \((E)\) est fini.
Soit \(y_1\) et \(y_2\) deux solutions indépendantes de \((E)\). Montrer que si \(x_1\) et \(x_2>x_1\) sont deux zéros de \(y_1\), alors \(y_2\) s’annule sur \(\left]x_1,x_2\right[\).
Soit \(g_1\), \(g_2:[a,b]\rightarrow\mathbf{R}\) continues telles que \(g_1<g_2\), \[(E_j)\quad(ky')'+g_jy=0\quad(j=1,2)\] et \(u\) une solution non nulle de \(E_1\) s’annulant en \(x_1\) et \(x_2>x_1\). Montrer que toute solution de \((E_2)\) s’annule sur \(\left]x_1,x_2\right[\).
[planches/ex9268] ens saclay, ens rennes MP 2023 On considère l’équation différentielle \((D_{\lambda})\) : \(y'' + (\lambda-r)y =0\) avec \(\lambda \in \mathbb{R}\), \(r \in\mathscr{C}^{\infty}(I, \mathbb{R})\), où \(I\) est un intervalle contenant \([0, 1]\).
[planches/ex9268]
On considère \(E_{\lambda}\) l’espaces des solutions \(y\) de \((D_{\lambda})\) telles que \(y(0) = 0\), \(y(1) = 0\).
Quelles sont les dimensions possibles de \(E_{\lambda}\) ?
Caractériser le cas \(\mathop{\mathchoice{\hbox{dim}}{\hbox{dim}}{\mathrm{dim}}{\mathrm{dim}}}\nolimits(E_{\lambda}) = 1\). (On souhaite une condition portant sur \(y_{\lambda}\), solution du problème de Cauchy \((D_{\lambda})\), \(y_{\lambda}(0) = 0\), \(y_{\lambda}'(0) = 1\).)
Montrer que, à \(r\) fixé, les \(E_{\lambda}\) sont orthogonaux pour le produit scalaire \(\langle f, g \rangle = \displaystyle\int_{0}^{1} fg\).
On note \(N_\lambda\) le nombre de zéros de \(y_{\lambda}\) sur \([0, 1]\). Pourquoi est-il fini ?
Calculer \(N_{\lambda}\) dans le cas \(r = 0\), \(\lambda > 0\).
Dans le cas général, étudier le comportement de \(N_{\lambda}\).
[concours/ex5308] ens paris MP 2007
[concours/ex5308]
Soit \(x\in\mathscr{C}^2(\mathbf{R}_+,\mathbf{R})\) convexe, minorée et décroissante. Étudier la limite de \(t\mapsto tx'(t)\) lorsque \(t\rightarrow+\infty\).
Soient \(q\in\mathscr{C}^0(\mathbf{R}_+,\mathbf{R}_+)\) et \(x\in\mathscr{C}^2(\mathbf{R}_+,\mathbf{R}_+^*)\) décroissante telles que \(x''=qx\). Montrer : \(\mathop{\mathchoice{\hbox{lim}}{\hbox{lim}}{\mathrm{lim}}{\mathrm{lim}}}\limits_{+\infty}x=0\Leftrightarrow\displaystyle\int_0^{+\infty}tq(t)\,dt=+\infty\).
[equadiff/ex0156] On considère l’équation différentielle linéaire du second ordre : \[(E)\qquad a(x)y''+b(x)y'+c(x)y=f(x),\] où \(a\), \(b\), \(c\) et \(f\) sont continues sur le même domaine de \(\mathbf{R}\), \(a\) ne s’annulant pas sur ce domaine. Soit \(y_1\) une solution particulière de l’équation homogène associée \((E')\). On effectue le changement de fonction inconnue \(y=y_1z\). Reporter cette égalité dans \((E)\) et démontrer que l’on obtient une équation du premier ordre par rapport à \(z'\). En déduire une méthode d’intégration de \((E)\).
[equadiff/ex0156]
Application : intégrer sur \(\mathscr{D}=\mathbf{R}_+^*\) l’équation : \[x^3y''+xy'-y=-e^{1/x},\] en remarquant que \(y_1:x\mapsto x\) est solution de l’équation homogène associée.
[planches/ex0965] centrale PSI 2013 Soit \(F\) l’espace vectoriel des fonctions continues et bornées sur \(\left]0,+\infty\right[\). Pour \(f\in F\), on considère l’équation différentielle \((E)\) : \(x^2y''+2y'-2y=f(x)\).
[planches/ex0965]
Trouver les fonctions \(x\mapsto x^r\) solutions de l’équation homogène associée à \((E)\).
Soit \(g(x)=\displaystyle\int_0^x{-tf(t)\over3x^2}\,dt+\int_x^{+\infty}{-xf(t)\over3t^2}\,dt\). Montrer que \(g\) est bien définie sur \(\left]0,+\infty\right[\) puis vérifier que \(g\) est solution de \((E)\).
Quel est le lien entre les deux questions précédentes ?
Montrer que l’application qui envoie \(f\) sur \(g\) définit un endomorphisme de \(F\).
[examen/ex1383] polytechnique MP 2024 Pour \(f\in\mathscr{C}^\infty(\mathbf{R},\mathbf{R})\), on pose \(H(f):x\mapsto x^2f(x)-f''(x)\), \(A_-(f):x\mapsto -f'(x)+xf(x)\) et \(A_+(f):x\mapsto f'(x)+xf(x)\).
[examen/ex1383]
Déterminer \(A_-\circ A_+\) et \(A_+\circ A_-\).
Montrer qu’il existe une unique \(\varphi_0\in\mathscr{C}^\infty(\mathbf{R},\mathbf{R})\) de carré intégrable, telle que \(H(\varphi_0)=\varphi_0\) et \(\varphi_0(0)=1\).
On pose, pour \(n\in\mathbf{N}^*\), \(\varphi_n=A_-^n(\varphi_0)\).
Montrer que, pour tout \(n\in\mathbf{N}\), \(H(\varphi_n)=(2n+1)\varphi_n\).
Montrer que \(\varphi_n\) s’écrit sous la forme \(P_n\times\varphi_0\) avec \(P_n\) polynomiale.
Vous pouvez signaler le nombre d'énoncés visibles sur chaque page de résultats