[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]\).
[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.
[planches/ex9979] mines MP 2023
[planches/ex9979]
Soient \(A\in\mathbf{R}^+\), \(f\), \(g:\mathbf{R}^+\rightarrow\mathbf{R}^+\) continues. On suppose que : \[\forall x\geqslant 0,\quad f(x)\leqslant A+\int_0^xf(t)\,g(t)\,\mathrm{d}t.\] Montrer que \(\forall x\geqslant 0\), \(f(x)\leqslant A\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\displaystyle\int_0^xg(t)\,\mathrm{d}t\right)\).
Soit \((*)\) l’équation différentielle \(x''(t)+a(t)x(t)=b(t)\) avec \(a\) et \(b\) continues sur \(\mathbf{R}^+\), \(b\) et \(t\mapsto t\,a(t)\) intégrables sur \(\mathbf{R}^+\). Soit \(x\) solution de \((*)\).
Montrer que : \[\forall t\geqslant 1,\quad x(t)=x(1)+(t-1)x'(1)-\int_1^t(t-u)\,a(u)\,x(u)\,\mathrm{d}u+\int_1^t(t-u)\,b(u)\,\mathrm{d}u.\]
On pose, pour \(t\geqslant 1\), \(y(t)=\displaystyle\frac{|x(t)|}{t}\). Montrer l’existence de \(K\) tel que : \[\forall t\geqslant 1,\quad y(t)\leqslant K\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\int_1^tu\,|a(u)|\,\mathrm{d}u\right)\leqslant K\mathop{\mathchoice{\hbox{exp}}{\hbox{exp}}{\mathrm{exp}}{\mathrm{exp}}}\nolimits\left(\int_1^{+\infty}u\,|a(u)|\,\mathrm{d}u\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)\).
[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 ?
[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\).
[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/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}_-\).
[oraux/ex3136] ens PC 2011 Soit \(g\in\mathscr{C}^\infty(\mathbf{R}_+,\mathbf{R})\). On suppose qu’il existe \((\alpha,\beta)\in(\mathbf{R}_+^*)^2\) tel que : \(\forall x\in\mathbf{R}_+\), \(|g(x)|\leqslant\alpha e^{-\beta x}\). Montrer que l’équation différentielle \(u''-(1+g)u=0\) possède une solution non nulle ayant pour limite 0 en \(+\infty\).
[oraux/ex3136]
Indication : Considérer une suite de fonctions \((u_n)_{n\geqslant 0}\) telle que : \(\forall n\in\mathbf{N}\), \(u_{n+1}''-u_{n+1}=gu_n\).
[planches/ex0996] polytechnique MP 2014 Soit \(q:\mathbf{R}_+\rightarrow\mathbf{R}\) une fonction continue telle que \(t\mapsto tq(t)\) soit intégrable sur \(\mathbf{R}_+\). Soit \(y:\mathbf{R}_+\rightarrow\mathbf{R}\) une fonction deux fois dérivable telle que \(y''+qy=0\). Montrer successivement :
[planches/ex0996]
que \(t\mapsto\displaystyle{y(t)\over t}\) est bornée au voisinage de \(+\infty\) ;
que \(y'\) a une limite finie en \(+\infty\) ;
que \(t\mapsto\displaystyle{y(t)\over t}\) a une limite finie en \(+\infty\).
Vous pouvez paramétrer titre, entête et pied de page, fonte, ordre des exercices lors de la production des PDF