ENS Mathématiques PC 2000Sujet et corrigé
Téléchargements
- Rapport du jury : non disponible
Présentation du sujet
Exponentielle de matrice, décomposition polaire et groupes polairesAfficher ou masquer la section
Présentation du sujet
Ce problème commun aux ENS Ulm, Lyon et Cachan construit progressivement la notion d'exponentielle d'une matrice diagonalisable, l'applique aux matrices symétriques définies positives pour définir leur racine carrée et la décomposition polaire, puis étudie une famille de sous-groupes de matrices dits polaires, stables par transposition et par racine carrée, avant d'en donner deux exemples concrets liés aux groupes orthogonaux par blocs.
- 1Fonctions de matricesDéfinit un calcul fonctionnel sur les matrices diagonalisables via un polynôme interpolateur, puis construit l'exponentielle d'une matrice et étudie sa dérivabilité.
- 2Matrices symétriques définies positivesÉtudie les matrices symétriques définies positives, définit leur racine carrée par calcul fonctionnel et établit la décomposition polaire d'une matrice inversible.
- 3Structure des groupes polairesDéfinit les sous-groupes polaires de GL_n(R), stables par transposition et par racine carrée, et montre qu'ils sont paramétrés par un sous-groupe orthogonal et l'exponentielle d'un sous-espace de matrices symétriques.
- 4Exemple 1 et Exemple 2Applique la théorie précédente à deux choix explicites de la matrice J, faisant apparaître respectivement le produit O(p) x O(q) et un groupe de matrices par blocs de type symplectique.
Ces sujets peuvent vous intéresser
Lecture du sujet en ligne
L'énoncé complet, avec les formules et les figures, sans ouvrir le PDF.Afficher ou masquer la section
Lecture du sujet en ligne
Filière Physique - Chimie
MATHÉMATIQUES
Notations
Fonctions de matrices
2. En déduire que, si
Matrices symétriques définies positives
2. Si
3. Soit
4. Soit
5. Soit
- Montrer qu'il existe
P ∈ O(n) et une matrice diagonaleD , réelle avecd_(ii) > 0 pour touti , telles queM = PDP^(− 1) . - Soit
p un polynôme réel tel quep(λ) = √λ pour toute valeur propreλ deM . Montrer que la matriceN = p(M) ne dépend pas du choix dep et satisfaitN^2 = M .
On appelleN la racine carrée deM et on noteN = √M . - Montrer que
√M ∈ S^+(n) . En déduire queN ↦ N^2 est une bijection deS^+(n) dans lui-même. - Montrer que
√(M^(− 1)) = √M^(− 1) .
- Montrer que
M ∈ S^+(n) . - Soit
N = √M , puisP = AN^(− 1) . Montrer queP ∈ O(n) .
3. Montrer que la décomposition polaire de
Structure des groupes polaires
-
G est stable par transposition :A ∈ G implique^t A ∈ G , - si
M ∈ G ∩ S^+(n) , alors√M ∈ G .
Tournez la page S.V.P.
- Montrer que
G est un sous-groupe deGL_n(ℝ) et quedetA = ± 1 pour toutA ∈ G . - Montrer que
G est stable par transposition. - Soit
M ∈ S^+(n) . NotantU l'ensemble formé par les valeurs propresλ_j deM et leurs inverses1/λ_j , montrer qu'il existe un polynômep ∈ ℝ[X] tel quep(λ) = √λ pour toutλ ∈ U . En déduire quep(M) = √M etp(M^(− 1)) = √M^(− 1) . - Soit
M ∈ G ∩ S^+(n) . Montrer queq(M^(− 1))J = Jq(M) pour tout polynômeq ∈ ℝ[X] (on pourra commencer par le cas des monômes). - En déduire que
G est un groupe polaire.
2. Soit
3. Réciproquement, soit
- Soit
N la matrice symétique réelle telle queexpN = M . Sit ∈ ℝ , montrer qu'il existe un polynômer ∈ ℝ[X] tel quer(M) = exp(tN) etr(M^(− 1)) = exp(− tN) . - En déduire que
exp(tN) ∈ G pour toutt ∈ ℝ . - Conclure que
exp : G^ ∩ S(n) → G ∩ S^+(n) est une bijection.
- Calculer la dimension de
V . - Montrer que l'application
Exemple 2: De même, si
- Calculer la dimension de
V . - Montrer que
H est l'ensemble des matrices de la forme
Questions fréquentes
4 questionsSur quels chapitres porte le sujet de mathématiques ENS PC 2000 ?Afficher ou masquer la section
Questions fréquentes
4 questionsSur quels chapitres porte le sujet de mathématiques ENS PC 2000 ?
Il porte sur la réduction des endomorphismes, le calcul fonctionnel sur les matrices diagonalisables (exponentielle, racine carrée), les matrices symétriques définies positives et la structure des sous-groupes de matrices dits polaires.
Quelles parties de ce sujet ENS PC 2000 sont indépendantes ?
Le problème est progressif : les fonctions de matrices de la première partie servent à construire la racine carrée et la décomposition polaire de la deuxième partie, elles-mêmes utilisées pour étudier les groupes polaires puis les deux exemples finaux.
Quels résultats de cours faut-il connaître pour traiter ce sujet de mathématiques ENS PC 2000 ?
Il faut maîtriser la diagonalisation des matrices, les polynômes d'interpolation, les matrices symétriques réelles et les formes quadratiques associées, ainsi que la structure de groupe du groupe orthogonal.
Ce sujet ENS PC 2000 sur les groupes polaires est-il faisable en première année de prépa ?
Non, il mobilise des notions de deuxième année comme la diagonalisation, le calcul fonctionnel sur les matrices et la structure de groupe des matrices orthogonales.
Pas de description pour le moment
