Exercice 1 : Diagonalisation et polynômes annulateurs
🌐 Énoncé du problème / Cadre d’étude
Section titled “🌐 Énoncé du problème / Cadre d’étude”Soit un -espace vectoriel de dimension finie , où ou . Soit un endomorphisme de . L’objectif de ce problème est d’étudier les liens entre les projecteurs spectraux d’un endomorphisme diagonalisable, ses polynômes annulateurs, et d’appliquer ces résultats à la résolution d’une équation différentielle opérationnelle.
On rappelle qu’un polynôme est dit annulateur de si . L’ensemble des polynômes annulateurs de est un idéal de , engendré par un unique polynôme unitaire, noté , appelé polynôme minimal de .
❓ Questions progressives
Section titled “❓ Questions progressives”-
Préalable sur les projecteurs associés à un polynôme minimal scindé Soit . On suppose que le polynôme minimal de , , est scindé sur et s’écrit : où les sont les valeurs propres distinctes de , et des entiers strictement positifs. Pour tout , on note le sous-espace caractéristique associé à . Rappeler pourquoi et justifier que est diagonalisable si et seulement si, pour tout , .
-
Décomposition spectrale (Cas diagonalisable) On suppose désormais que est diagonalisable. Ses valeurs propres distinctes sont notées . Pour tout , on définit le polynôme d’interpolation de Lagrange : On pose . Montrer que la famille est une famille de projecteurs orthogonaux au sens de la composition (i.e., ) et que .
-
Expression de et fonctions d’endomorphisme
- En déduire que .
- Plus généralement, soit une fonction quelconque. Comment définir naturellement l’endomorphisme à l’aide des projecteurs ? Calculer pour .
-
Application à une équation différentielle vectorielle Soit .
- Déterminer le polynôme minimal de .
- En déduire sans calculs matriciels fastidieux l’expression explicite de pour tout .
- Résoudre le système différentiel où .
-
Analyse critique du modèle Dans le calcul pratique des puissances d’une matrice ou de son exponentielle, l’utilisation des projecteurs spectraux (méthode de Dunford-Lagrange) est-elle toujours préférable à la diagonalisation par blocs ou à la réduction de Jordan ? Discuter en fonction de la complexité algorithmique et de la connaissance exacte des valeurs propres.
💡 Pistes & Indications méthodologiques
Section titled “💡 Pistes & Indications méthodologiques”- Q1 : Penser au théorème de décomposition noyaux (Lemme des noyaux) et à la caractérisation de la diagonalisabilité par l’ordre de multiplicité des racines du polynôme minimal.
- Q2 : Étudier le polynôme produit modulo (qui vaut ). Évaluer l’endomorphisme associé en .
- Q3 : Utiliser la relation et l’identité .
- Q4 : Pour le polynôme minimal, calculer le polynôme caractéristique puis tester les diviseurs ou chercher une relation simple de type .
📋 Corrigé détaillé pas à pas
Section titled “📋 Corrigé détaillé pas à pas”Corrigé de la Question 1
Section titled “Corrigé de la Question 1”D’après le théorème de Cayley-Hamilton et la définition du polynôme minimal, divise , donc les racines de sont exactement les valeurs propres de . Le lemme des noyaux s’applique car les facteurs premiers de , à savoir , sont premiers entre eux deux à deux. On a donc : L’endomorphisme est diagonalisable si et seulement si chaque sous-espace caractéristique est égal au sous-espace propre associé , ce qui équivaut à pour tout .
Corrigé de la Question 2
Section titled “Corrigé de la Question 2”Soit . Le polynôme possède les propriétés suivantes :
- Si , le produit contient tous les facteurs pour . Par conséquent, divise . Comme , on en déduit que .
- Si , s’annule en toutes les valeurs propres . Ainsi, divise , ce qui implique . Les sont donc des projecteurs deux à deux disjoints.
De plus, considérons le polynôme . Le degré de est strictement inférieur à (car ). Or, pour tout , . Le polynôme admet racines distinctes () alors que son degré est au plus . Il est donc nécessairement nul. Par suite, , ce qui donne en évaluant en :
Corrigé de la Question 3
Section titled “Corrigé de la Question 3”Considérons le polynôme . De même, pour tout , . Comme et qu’il possède racines, est le polynôme nul. Ainsi : En évaluant en , on obtient immédiatement :
Pour une fonction , on définit naturellement : Puisque les sont des projecteurs orthogonaux (), on a par récurrence immédiate pour tout : (avec en convention, donnant l’identité pour ).
Corrigé de la Question 4
Section titled “Corrigé de la Question 4”Soit .
- Le polynôme caractéristique de est .
- Les valeurs propres de sont et . Le polynôme minimal divise et possède les mêmes racines simples, donc .
- Les projecteurs spectraux s’obtiennent via les polynômes de Lagrange :
- donc .
- donc .
- Pour tout , on a :
- La solution du système différentiel est donnée par . Avec la formule fonctionnelle : . On calcule alors :
Corrigé de la Question 5 (Analyse critique du modèle)
Section titled “Corrigé de la Question 5 (Analyse critique du modèle)”L’utilisation des projecteurs spectraux (via la décomposition de Dunford ou les polynômes de Lagrange) présente l’avantage théorique d’éviter le calcul explicite de matrices de passage et leur inversion, ce qui est particulièrement lourd en calcul formel.
Cependant, sur le plan algorithmique et numérique :
- Connaissance exacte des valeurs propres : Calculer les polynômes de Lagrange nécessite de connaître exactement les racines du polynôme minimal (ou caractéristique). En pratique numérique, l’évaluation des racines d’un polynôme de degré élevé est sujette à des instabilités numériques majeures.
- Coût de construction : Former les matrices demande des multiplications matricielles successives, dont la complexité surpasse souvent la simple diagonalisation par blocs ou l’utilisation de méthodes de Schur/Householder. Ainsi, cette méthode est idéale et élégante en dimension faible () ou lorsque les valeurs propres sont évidentes, mais devient sous-optimale pour des matrices de grande taille en calcul scientifique.