[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\).
[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/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 ?
[planches/ex1597] ens PSI 2017 Si \(x\) est un nombre réel, on note \(\{x\}=x-\lfloor x\rfloor\) la partie fractionnaire de \(x\). Soient \(\theta\in\mathbf{R}\setminus\mathbf{Q}\) et \(f:\mathbf{N}\rightarrow\left[0,1\right[\), \(n\mapsto\{n\theta\}\).
[planches/ex1597]
Montrer que \(f\) est injective.
Montrer que : \(\forall\varepsilon>0\), \(\exists(m,n)\in\mathbf{N}^2\), \(m\neq n\) et \(0<f(m)-f(n)<\varepsilon\).
En déduire que \(\{x\in\mathbf{R},\ \exists(a,b)\in\mathbf{Z}^2,\ x=a+b\theta\}\) est dense dans \(\mathbf{R}\).
On considère l’équation différentielle \((E)\) : \(y''+2y'+2y=f\) où \(f\in\mathscr{C}^0(\mathbf{R},\mathbf{R})\) est non constante. On suppose que \((E)\) possède deux solutions périodiques \(y_1\) et \(y_2\) de périodes respectives \(T_1\) et \(T_2\). On se propose de montrer que \(y_1=y_2\).
Montrer que \(T_1/T_2\) est un nombre rationnel.
Montrer que la fonction \(y_2-y_1\) est bornée.
Montrer que \(y_2=y_1\).
[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]\).
[oraux/ex3138] ens PC 2011 Soit \(\varphi\) une solution non identiquement nulle de \(y''=xy\).
[oraux/ex3138]
Montrer que \(\varphi\) possède au plus un zéro sur \(\mathbf{R}_+\).
Montrer que \(\varphi\) possède une infinité de zéros sur \(\mathbf{R}_-\).
[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]
[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/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}\).
[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]
[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/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 ?
[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]
[concours/ex6304] ens cachan MP 2006
[concours/ex6304]
Soit \(f:\mathbf{R}_+\rightarrow\mathbf{R}_+\) continue. On suppose que pour un certain \(c\geqslant 0\), pour tout \(t\geqslant 0\), \(tf(t)\leqslant c+\displaystyle\int_0^tf(u)\,du\). Montrer que \(f\) est bornée.
Soit \(g:\mathbf{R}_+\rightarrow\mathbf{R}\) de classe \(C^2\), solution de \(y''+ty=0\). Montrer que \(g\) est bornée.
[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]
[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/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/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.
Vous pouvez pré-filtrer l'affichage des exercices, en imposant par exemple des exercices d'une année en particulier