Édition de feuilles d'exercices

[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)\).

1. Déterminer \(A_-\circ A_+\) et \(A_+\circ A_-\).

2. 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)\).

3. Montrer que, pour tout \(n\in\mathbf{N}\), \(H(\varphi_n)=(2n+1)\varphi_n\).

4. Montrer que \(\varphi_n\) s’écrit sous la forme \(P_n\times\varphi_0\) avec \(P_n\) polynomiale.

[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)\).

1. Trouver les fonctions \(x\mapsto x^r\) solutions de l’équation homogène associée à \((E)\).

2. 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)\).

3. Quel est le lien entre les deux questions précédentes ?

4. Montrer que l’application qui envoie \(f\) sur \(g\) définit un endomorphisme de \(F\).

[oraux/ex4961] ens PC 2012 Soient \(a,b,c,d\) dans \({\cal C}^2(\mathbf{R}^+,\mathbf{R})\). On suppose : \(a>0\), \(c<0\) et \(d>0\). Soit \((E)\) l’équation différentielle : \(ay''+by'+cy=d\), \(y(0)=0\).

1. Si \(y'(0)=0\), montrer que : \(\forall t\in\mathbf{R}^{+*}\), \(y(t)>0\).

2. On suppose qu’il existe \(t_1>0\) tel que \(y(t_1)>0\). Montrer : \(\forall t\geqslant t_1\), \(y(t)\geqslant 0\).

[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)\).

1. Montrer qu’entre deux zéros de \(g\) il y a au moins un zéro de \(f\).

2. 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}^+\).

3. Montrer que \(x_{n+1}-x_n\rightarrow \pi\).

4. Donner un équivalent de \(x_n\) quand \(n\rightarrow +\infty\).

[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\).

Indication : Considérer \(g:x\longmapsto f(x)e^{x^2/2}\).