Problème type Concours : Étude locale d une fonction de $\mathcal{C}^2$ sur $\mathcal{M}_n(\mathbb{R})$
🌐 Énoncé du problème / Cadre d’étude
Section titled “🌐 Énoncé du problème / Cadre d’étude”Soit un entier. On note l’espace vectoriel des matrices carrées réelles de taille , muni du produit scalaire canonique, dit produit scalaire de Frobenius, défini par : où désigne la trace d’une matrice. On note la norme euclidienne associée.
On considère l’application définie par :
L’objectif de ce problème est de déterminer les points critiques de et de classifier ces points à l’aide de la hessienne (ou de la différentielle seconde).
❓ Questions progressives
Section titled “❓ Questions progressives”- Topologie et différentiabilité : Justifier que l’application est de classe (puis ) sur .
- Calcul de la différentielle : Soit et . Calculer la différentielle première en utilisant un développement limité à l’ordre 1 ou la notion de dérivée directionnelle.
- Gradient : En déduire l’expression du gradient dans le cadre du produit scalaire de Frobenius.
- Points critiques : Déterminer l’ensemble des points critiques de sous la forme de matrices commutant avec une matrice diagonale simple, ou caractériser ces matrices par leur spectre.
- Différentielle seconde : Calculer la différentielle seconde pour des matrices .
- Nature des extrema : Étudier la nature des points critiques trouvés à la question 4.
💡 Pistes & Indications méthodologiques
Section titled “💡 Pistes & Indications méthodologiques”- Pour la question 1 : Exprimez à l’aide d’applications multilinéaires (produits matriciels) et de la trace, qui sont des fonctions polynomiales des coefficients de la matrice.
- Pour la question 2 : Évitez de tout développer en coordonnées. Utilisez la linéarité de la trace et effectuez un développement à l’ordre 1 en écrivant et en extrayant les termes linéaires en .
- Pour la question 3 : Rappelez-vous la définition du gradient via le produit scalaire : .
- Pour la question 4 : Traduisez l’annulation du gradient. Utilisez éventuellement une réduction de la matrice dans un cas général, ou remarquez que .
- Pour la question 5 : Procédez de même par un développement à l’ordre 2, ou calculez la différentielle de l’application gradient .
📋 Corrigé détaillé pas à pas
Section titled “📋 Corrigé détaillé pas à pas”Question 1 : Différentiabilité
Section titled “Question 1 : Différentiabilité”L’application est obtenue par composition de produits matriciels. Le produit matriciel dans est une application bilinéaire, donc de classe . La fonction trace est linéaire, donc de classe . Par conséquent, est une combinaison linéaire de compositions d’applications , ce qui en fait une fonction de classe (et même polynomiale en les coefficients de la matrice) sur .
Question 2 : Calcul de la différentielle première
Section titled “Question 2 : Calcul de la différentielle première”Soit et . Calculons : Développons : Par cyclicité de la trace (), on a : Ainsi, .
De même, pour le terme quadratique : En regroupant le tout : L’application est linéaire et continue (car l’espace est de dimension finie). Par unicité de la différentielle :
Question 3 : Expression du gradient
Section titled “Question 3 : Expression du gradient”Par définition du gradient associé au produit scalaire de Frobenius , on cherche tel que : En identifiant avec l’expression de (la trace étant invariante par transposition, ), on obtient :
Question 4 : Recherche des points critiques
Section titled “Question 4 : Recherche des points critiques”Un point est critique si et seulement si son gradient est nul : L’ensemble des points critiques est donc constitué des matrices annulant le polynôme annulateur . D’après le lemme des noyaux (ou par diagonalisation si est diagonalisable), les points critiques sont les matrices telles que l’espace total se décompose en somme directe des sous-espaces propres associés à et . Autrement dit, les points critiques de sont exactement les matrices projecteurs obliques (ou de projection) à homothétie près, c’est-à-dire les matrices semblables à une matrice diagonale dont les coefficients diagonaux sont tous ou . En particulier, la matrice nulle et la matrice sont des points critiques.
Question 5 : Calcul de la différentielle seconde (Hessienne)
Section titled “Question 5 : Calcul de la différentielle seconde (Hessienne)”La différentielle seconde s’obtient en différentiant l’application . Puisque , faisons varier en : Développons : Par identification, la différentielle seconde est la forme bilinéaire symétrique :
Question 6 : Nature des extrema
Section titled “Question 6 : Nature des extrema”Regardons la forme quadratique associée .
-
Cas où : . Pour , . La hessienne est strictement négative-définie. Conclusion: est un maximum local strict.
-
Cas où : . Pour , . La hessienne est strictement positive-définie. Conclusion: est un minimum local strict.
-
Cas d’un point critique intermédiaire (où a des valeurs propres valant 0 et 2, avec ) : La hessienne change de signe selon les directions de perturbation (certaines directions agissent comme dans le cas , d’autres comme dans le cas ). Conclusion: Ces autres points critiques sont des points de selle.