Version interactive avec LaTeX compilé
Centrale Mathématiques 1 PSI 2024
Notez ce sujet en cliquant sur l'étoile
0.0(0 votes)
Algèbre bilinéaire et espaces euclidiensPolynômes et fractionsIntégrales généraliséesIntégrales à paramètresFonctions (limites, continuité, dérivabilité, intégration)
Notations
- On note
l'ensemble des polynômes à coefficients dans . - Tout au long du sujet, un polynôme de
sera identifié à sa fonction polynomiale. - Une fonction de
dans continue est dite intégrable sur si et seulement si converge. - Pour une famille de polynômes
, on appelle l'espace vectoriel engendré par cette famille, c'est à dire :
Le sujet illustre des applications du calcul de l'intégrale de Gauss dans différents domaines.
La partie I est consacrée au calcul de cette intégrale.
La partie II est consacrée à la résolution d'une équation différentielle du second ordre à l'aide des séries entières. Elle utilise le résultat final de la partie I. Elle est totalement indépendantes des deux parties suivantes.
La partie I est consacrée au calcul de cette intégrale.
La partie II est consacrée à la résolution d'une équation différentielle du second ordre à l'aide des séries entières. Elle utilise le résultat final de la partie I. Elle est totalement indépendantes des deux parties suivantes.
La partie III est consacrée à l'étude d'un endomorphisme autoadjoint de
et d'une suite de polynômes orthogonaux associés à cet endomorphisme. Elle est indépendante de la partie II.
La partie IV est consacrée à montrer des propriétés sur la famille de polynômes construite à la partie III. Le but est d'établir que c'est une famille totale d'un espace préhilbertien. Ce résultat est en fait un résultat général dans la théorie des espaces de Hilbert.
I Partie I: Intégrale de Wallis et Intégrale de Gauss
Q1. Étudier la monotonie de la suite (
Q 2. Montrer que
Q 3. Montrer que
Q 4. En déduire que
Q 5. Justifier l'existence de
Q 6. Montrer que
Q 7. En utilisant le changement de variable
, après avoir justifié qu'il est licite, montrer que pour tout
:
Q 8. En déduire la valeur de
puis de
.
II Partie II : Autour d'une équation différentielle
On considère l'équation différentielle définie sur
par
II.A -
Q 9. Déterminer les solutions développables en série entière de II. 1 sur
.
Q 10. Démontrer qu'il existe une unique solution développable en série entière, notée , telle que
.
II. On définit,
.
Q 10. Démontrer qu'il existe une unique solution développable en série entière, notée
II.
Q 11. Montrer que
est définie sur
et de classe
sur
.
Q 12. Montrer que est solution de II. 1 sur
.
Q 13. Montrer que .
Q 12. Montrer que
Q 13. Montrer que
III Partie III: Étude d'un endomorphisme sur un espace préhilbertien
III.A - Les polynômes d'Hermite.
On note
l'application de
dans
, de classe
, définie pour tout
par
. Pour tout
, on note
l'application de
dans
définie pour tout
par
, où
désigne la dérivée
-ième de
.
En particulier :
.
Q 14. Calculer, pour tout .
Q 15. Montrer, pour tout et tout
:
Q 14. Calculer, pour tout
Q 15. Montrer, pour tout
Q 16. En déduire que, pour tout
est un polynôme de degré
dont vous déterminerez la parité.
Q 17. Déterminer, pour tout , le coefficient dominant de
.
Q 17. Déterminer, pour tout
III.B - Un produit scalaire.
On note
l'ensemble des applications
de
dans
continues et telles que
converge.
Q 18. Montrer que est un
espace vectoriel contenant
.
Q 19. On note .
dans
qui à tout
associe
. Montrer que
.
.
Q 18. Montrer que
Q 19. On note
On notera ||.|| la norme euclidienne associée à ce produit scalaire.
III.C - Lien entre le produit scalaire et les polynômes d'Hermite
Q 20. Montrer, pour tout
et tout
:
Q 21. En déduire, pour tout
et tout
.
Q 22. Montrer que, pour tout , la famille
est une base orthogonale de
.
Soit .
Q 23. Montrer : .
Q 24. En déduire la valeur de .
Q 22. Montrer que, pour tout
Soit
Q 23. Montrer :
Q 24. En déduire la valeur de
III.D - Étude d'un endomorphisme autoadjoint
On note
les applications définies de
dans
, pour tout
, par :
Q 25. Montrer que
est un endomorphisme de
et que
est stable par
.
Par la suite, on notera l'endomorphisme induit par
sur
.
On admet que et
sont aussi des endomorphismes de
, et on note Id l'application identique de
.
Q 26. Etablir : et
.
Q 27. En déduire: .
Q 28. Montrer que, pour tout et tout
, si
, alors
.
Q 29. Montrer que est un vecteur propre de
et déterminer la valeur propre associée.
Q 30. Soit . Justifier que
est diagonalisable sur
.
Q 31. Établir, pour tout :
Par la suite, on notera
On admet que
Q 26. Etablir :
Q 27. En déduire:
Q 28. Montrer que, pour tout
Q 29. Montrer que
Q 30. Soit
Q 31. Établir, pour tout
Soit
.
Q 32. Montrer que est un endomorphisme autoadjoint de
.
Q 33. Justifier, d'une deuxième manière, que est diagonalisable sur
dans une base orthonormée de
formée de vecteurs propres de
.
Q 32. Montrer que
Q 33. Justifier, d'une deuxième manière, que
Q 34. Donner une base orthonormale de
constituée de vecteurs propres de
.
IV Partie IV : Une famille totale
Dans cette partie, nous conservons les notations de la partie III. L'espace
muni de son produit scalaire et la famille
précédemment construite. Nous allons montrer que
. On dit dans ce cas là que la famille
est totale dans l'espace préhilbertien
ou encore que c'est une base hilbertienne de
.
Q 35. Soit
. Pour
, montrer que
est intégrable sur
.
On pourra écrire .
On pourra écrire
On définit ainsi
Q 36. Montrer que, pour tout entier naturel
, la fonction
est intégrable sur
.
On note . Déterminer la valeur de
.
Q 37. Soit . Justifier que
On note
Q 37. Soit
Q 38. Montrer que
est développable en série entière sur
.
Dans la suite de la partie, on suppose que . Le but est de montrer que
est la fonction nulle.
Dans la suite de la partie, on suppose que
Q 39. Montrer que
.
Q 40. En déduire que est la fonction nulle.
Q 41. Conclure.
Q 40. En déduire que
Q 41. Conclure.
