[planches/ex0956] centrale MP 2013 Soit \(q\in\mathscr{C}^1(\mathbf{R},\mathbf{C})\) \(\pi\)-périodique. Pour \(\omega\in\mathbf{R}\), on considère l’équation différentielle \((E_\omega)\) : \(x''+(\omega^2-q)x=0\) et on note \(S(\omega)\) l’ensemble de ses solutions.
[planches/ex0956]
Établir l’existence de \(x_1\) et \(x_2\) dans \(S(\omega)\) telles que : \[(x_1(0),x'_1(0))=(1,0)\quad\hbox{et}\quad(x_2(0),x'_2(0))=(0,1).\] Montrer que \((x_1,x_2)\) est libre.
Calculer le wronskien de \((x_1,x_2)\).
Soit \(T\) qui à \(x\in S(\omega)\) associe \(T(x):t\mapsto x(t+\pi)\). Montrer que \(T\) est un automorphisme de \(S(\omega)\). Donner la matrice de \(T\) dans la base \((x_1,x_2)\).
On pose \(\Delta=\mathop{\mathchoice{\hbox{tr}}{\hbox{tr}}{\mathrm{tr}}{\mathrm{tr}}}\nolimits(T)/2\). Montrer que \(\chi_T=X^2-2\Delta X+1\).
Si \(|\Delta|>1\), montrer que \((E_\omega)\) possède des solutions non bornées. Si \(|\Delta|<1\), montrer que les solutions de \((E_\omega)\) sont bornées.
Montrer que : \[\begin{aligned} x_1(t)&=&\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(\omega t)+\int_0^tx_1(u)q(u)\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(\omega(t-u))\,du,\cr x_2(t)&=&{\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(\omega t)\over t}+\int_0^tx_2(u)q(u)\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(\omega(t-u))\,du. \end{aligned}\] On fait désormais varier \(\omega\).
Montrer que, lorsque \(\omega\rightarrow+\infty\), \(\Delta_\omega=\mathop{\mathchoice{\hbox{cos}}{\hbox{cos}}{\mathrm{cos}}{\mathrm{cos}}}\nolimits(\omega\pi)+O(1/\omega)\).
On appelle intervalle de divergence tout intervalle \(I\) de \(\mathbf{R}\) tel que : \(\forall\omega\in I\), \(|\Delta_\omega|>1\).
Soit \(\varepsilon>0\). Établir l’existence de \(X\in\mathbf{R}_+\) tel que, pour tout intervalle de divergence \(I\subset\left[X,+\infty\right[\), il existe un entier \(n\) tel que \(I\subset[n-\varepsilon,n+\varepsilon]\).
[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\).
[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}\).
[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/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]\).
[concours/ex2392] mines M 1995 Soit \(f:\mathbf{R}_+\rightarrow\mathbf{R}\) une fonction continue telle que \(\displaystyle\int_0^{+\infty}f^2(t)\,dt\) converge. Montrer que toute solution de \(x''(t)+(1+f(t))x(t)=0\) est bornée.
[concours/ex2392]
[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\).
[concours/ex4044] polytechnique pox P 1990 Soit \(f(x)=\displaystyle{\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits x\over x}\).
[concours/ex4044]
Trouver une équation différentielle linéaire, d’ordre \(2\), à coefficients polynomiaux, satisfaite par \(f\).
Résoudre cette équation.
[oraux/ex4962] ens PC 2012 Soit \(a\in{\cal C}^\infty(\mathbf{R},\mathbf{R})\). On suppose qu’il existe \((A,B)\in\mathbf{R}\) tels que : \(\forall x\in\mathbf{R}\), \(0<A\leqslant a(x)\leqslant B\).
[oraux/ex4962]
Soit \(\varphi\in{\cal C}^\infty(\mathbf{R},\mathbf{R})\) non nulle et telle que \(\varphi ''=a\varphi\). Que dire de l’ensemble des zéros de \(\varphi\) ?
Soit \(\varphi\in{\cal C}^\infty(\mathbf{R},\mathbf{R})\) non nulle et telle que \(\varphi ''=-a\varphi\). Que dire de l’ensemble des zéros de \(\varphi\) ?
[oraux/ex4930] ens lyon MP 2012 On note \(E\) l’ensemble des \(f\in{\cal C}^1([-1,1],\mathbf{R})\) vérifiant \(f(-1)=-1\) et \(f(1)=1\). On considère \(J : f \in E \mapsto \displaystyle\int_{-1}^1 \left(x\, f'(x)\right)^2\,dx\). La fonction \(J\) possède-t-elle un minimum ?
[oraux/ex4930]
[planches/ex0929] polytechnique MP 2013 Soit \(q\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) intégrable. Étudier les solutions bornées de \(y''-(1+q)y=0\).
[planches/ex0929]
[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[\).
[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}\) ?
[concours/ex3343] centrale M 1993 On considère l’équation différentielle \((E)\) : \[y''+y'+p(x)y=0.\] Trouver \(p(x)\) pour que \((E)\) admette deux solutions \(y_1\), \(\mu y_2\) non identiquement nulles et telles que \(y_2=y_1^2\). Résoudre alors \((E)\).
[concours/ex3343]
[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/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 ?
[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]
[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}\).
[oraux/ex3140] polytechnique MP 2011 Soient \(q\in\mathscr{C}^0(\mathbf{R},\mathbf{R}_-^*)\), \((E)\) l’équation différentielle \(y''+q(t)y=0\) et \((\varphi,\psi)\) le couple formé des solutions de \((E)\) sur \(\mathbf{R}\) vérifiant \((\varphi(0)=1,\ \varphi'(0)=0)\) et \((\psi(0)=0,\ \psi'(0)=1)\). Montrer que : \(\forall x\in\mathbf{R}_+\), \(\varphi(x)\geqslant 1\) et \(\psi(x)\geqslant x\).
[oraux/ex3140]
[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/ex3187] centrale PC 2011 (avec Maple)
[oraux/ex3187]
Maple
Soit, pour \(a\in\mathbf{R}\), \((E_a)\) : \((x-1)y''(x)-y'(x)+4a(x-1)^3y(x)=0\).
Donner une condition nécessaire et suffisante sur \(a\) pour qu’il existe une solution non nulle de \((E_a)\) s’annulant en 0 et en 1. On note \((a_k)_{k\geqslant 0}\) la suite strictement croissante des réels ainsi trouvés.
Soit, pour \(k\in\mathbf{N}\), \(\varphi_k:x\mapsto\mathop{\mathchoice{\hbox{sin}}{\hbox{sin}}{\mathrm{sin}}{\mathrm{sin}}}\nolimits(\sqrt{a_k}x(x-2))\).
Si \((f,g)\in\mathscr{C}^0([0,1],\mathbf{R})^2\), on pose \(\langle f,g\rangle=\displaystyle\int_0^12(1-x)f(x)g(x)\,dx\). Montrer que cette application définit un produit scalaire sur \(\mathscr{C}^0([0,1],\mathbf{R})\). Calculer \(\langle\varphi_k,\varphi_j\rangle\) pour \((j,k)\in\mathbf{N}^2\).
Soit \((b_n)_{n\geqslant 0}\in\mathbf{R}^\mathbf{N}\). On suppose que la série de terme général \(b_n\) est absolument convergente. Soit \(F:x\mapsto\displaystyle\sum\limits_{k=0}^{+\infty}b_k\varphi_k(x)\). Montrer que \(F\) est définie et continue sur \(\mathbf{R}\). Exprimer les \(b_k\) à l’aide d’une intégrale faisant intervenir \(F\) et les \((\varphi_n)_{n\geqslant 0}\).
[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\).
[oraux/ex2894] centrale MP 2005 Soit \(q\) une fonction continue et positive définie sur \(\mathbf{R}\). On note \((E)\) l’équation différentielle : \(y''-qy=0\).
[oraux/ex2894]
Montrer qu’une solution non nulle de \((E)\) ne s’annule qu’au plus une fois.
Désormais \(q(t)=e^t\). Montrer que les solutions de \((E)\) sont développables en série entière.
Donner l’allure des solutions \(f\) et \(g\) de \(y''-e^ty=0\) vérifiant les conditions initiales \(f(0)=1\), \(f'(0)=0\), \(g(0)=0\) et \(g'(0)=1\).
[oraux/ex2981] centrale MP 2008 (avec Maple)
[oraux/ex2981]
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/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.
[planches/ex0923]
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)\).
[oraux/ex2974]
On suppose : \(\forall x\in\mathbf{R}\), \(f(x)>0\). Montrer que \(f\) est non bornée.
On suppose qu’il existe un unique \(a\in\mathbf{R}\) tel que \(f(a)=0\). Montrer que \(f\) est non bornée.
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]\).
[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/ex1110] centrale MP 2016 Soit \((E)\) l’équation différentielle : \((1-x)^3y''(x)=y(x)\).
[planches/ex1110]
Déterminer la structure de l’ensemble des solutions de \((E)\) sur \(\left]-\infty,1\right[\). Montrer que toutes ces solutions sont de classe \(\mathscr{C}^\infty\) sur \(\left]-\infty,1\right[\).
Soient \(y\) une solution de \((E)\) sur \(\left]-\infty,1\right[\) et, pour \(n\) dans \(\mathbf{N}\), \(a_n=\displaystyle{y^{(n)}(0)\over n\,!}\). Trouver une relation de récurrence satisfaite par \((a_n)_{n\geqslant 0}\).
Montrer que les solutions de \((E)\) sur \(\left]-\infty,1\right[\) sont développables en série entière au voisinage de 0.
Soit \(y\) la solution de \((E)\) sur \(\left]-\infty,1\right[\) telle que \(y(0)=0\), \(y'(0)=1\). Que dire de \(y(x)\) lorsque \(x\) tend vers 1 ?
[oraux/ex4963] ens PC 2012 Soient \((E)\) : \(y''+(1+e^{-t}) y=0\) et \((F)\) : \(y''+y=0\). Soient \(f\) une solution non nulle de \((E)\) et \(g\) une solution non nulle de \((F)\).
[oraux/ex4963]
Montrer qu’entre deux zéros de \(g\) il y a au moins un zéro de \(f\).
Montrer que \(f\) possède une infinité de zéros sur \(\mathbf{R}^+\). On note \((x_n)_{n\geqslant 0}\) la suite ordonnée des zéros de \(f\) sur \(\mathbf{R}^+\).
Montrer que \(x_{n+1}-x_n\rightarrow \pi\).
Donner un équivalent de \(x_n\) quand \(n\rightarrow +\infty\).
Le clic droit sur un énoncé ou sur une référence d'exercice permet d'examiner cet exercice sur une page dédiée