Skip to content

Optimisation au concours : Mathématiques MPI

🎯 Objectif du module & Exigences des Jurys

Section titled “🎯 Objectif du module & Exigences des Jurys”

En tant que président de jury et concepteur de sujets pour les concours scientifiques (filière MPI), je ne saurais trop insister sur un point fondamental : la rigueur logique et l’exactitude de la rédaction font toute la différence entre une note de passage et une note d’admissibilité dans les grandes écoles (X-ENS, Mines-Ponts, Centrale-Supélec).

En mathématiques pour la filière MPI, l’algorithmique, la structure algébrique et l’analyse se croisent. Les questions d’optimisation et d’algébrisation (réduction) ne sont pas de simples applications de cours : ce sont des instruments de mesure de votre capacité à structurer un raisonnement.

Ce guide a pour unique but de vous armer face aux exigences des barèmes de correction. Suivez scrupuleusement les méthodes canoniques et les modèles de rédaction proposés ci-dessous.


📌 Question Type 1 : Réduction des endomorphismes et calcul du polynôme annulateur/minimal

Section titled “📌 Question Type 1 : Réduction des endomorphismes et calcul du polynôme annulateur/minimal”

💡 Méthode canonique & Étapes de rédaction

Section titled “💡 Méthode canonique & Étapes de rédaction”

Face à un problème de réduction d’endomorphisme où intervient un polynôme annulateur ou le calcul du polynôme minimal d’une matrice A∈Mn(K)A \in \mathcal{M}_n(\mathbb{K}), le candidat doit procéder avec méthode :

  1. Recherche d’un polynôme annulateur initial : Utiliser le théorème de Cayley-Hamilton (PA(A)=0P_A(A) = 0) ou exploiter des relations géométriques/algébriques issues de l’énoncé (par exemple, A2=AA^2 = A ou Ak=InA^k = I_n).
  2. Identification des candidats diviseurs : Le polynôme minimal πA\pi_A divise tout polynôme annulateur PP. Par conséquent, les racines de πA\pi_A sont nécessairement des valeurs propres de AA.
  3. Exploitation de la diagonalisabilité : Rappeler le théorème fondamental : AA est diagonalisable si et seulement si son polynôme minimal est scindé à racines simples sur K\mathbb{K}.
  4. Calcul effectif (si nécessaire) : Tester les diviseurs potentiels de degrés croissants, ou utiliser les sous-espaces caractéristiques et le lemme des noyaux pour expliciter πA\pi_A.

📋 Exemple de sujet & Rédaction modèle type Concours

Section titled “📋 Exemple de sujet & Rédaction modèle type Concours”

Sujet d’étude : Soit A∈Mn(R)A \in \mathcal{M}_n(\mathbb{R}) telle que A3−3A2+2A=0A^3 - 3A^2 + 2A = 0 et A≠0A \neq 0 et A≠InA \neq I_n. Déterminer le polynôme minimal de AA et discuter de sa diagonalisabilité.

Rédaction modèle type /20 :

Soit P(X)=X3−3X2+2XP(X) = X^3 - 3X^2 + 2X. L’énoncé indique que P(A)=0P(A) = 0. Par conséquent, PP est un polynôme annulateur de la matrice AA.

Factorisons le polynôme PP dans R[X]\mathbb{R}[X] : P(X)=X(X2−3X+2)=X(X−1)(X−2)P(X) = X(X^2 - 3X + 2) = X(X - 1)(X - 2)

Notons πA\pi_A le polynôme minimal de AA. D’après le théorème de division euclidienne dans R[X]\mathbb{R}[X], πA\pi_A divise tout polynôme annulateur de AA, et en particulier πA\pi_A divise PP. Les racines de πA\pi_A sont donc nécessairement à chercher parmi l’ensemble {0,1,2}\{0, 1, 2\}.

Les diviseurs unitaires non constants de PP sont :

  • De degré 11 : XX, X−1X-1, X−2X-2.
  • De degré 22 : X(X−1)X(X-1), X(X−2)X(X-2), (X−1)(X−2)(X-1)(X-2).
  • De degré 33 : X(X−1)(X−2)X(X-1)(X-2).

Comme A≠0A \neq 0, AA n’annule pas XX. Comme A≠InA \neq I_n, AA n’annule pas X−1X-1 (et de même pour les autres diviseurs de degré 11 ou 22 selon les hypothèses complémentaires du problème). Supposons par exemple que ni AA, ni A−InA-I_n, ni A−2InA-2I_n ne soient nuls, et que A(A−In)≠0A(A-I_n) \neq 0. Alors, nécessairement, le polynôme minimal πA\pi_A est égal à PP tout entier, soit πA(X)=X(X−1)(X−2)\pi_A(X) = X(X-1)(X-2).

Les racines de πA\pi_A sont 00, 11 et 22. Ce sont des racines simples et le polynôme πA\pi_A est scindé sur R\mathbb{R}. Par le théorème de caractérisation spectrale, la matrice AA est diagonalisable dans Mn(R)\mathcal{M}_n(\mathbb{R}).

⚠️ Les pièges majeurs soulignés dans les rapports de jury

Section titled “⚠️ Les pièges majeurs soulignés dans les rapports de jury”
  • Confondre polynôme caractéristique et polynôme minimal : Cayley-Hamilton assure que PA(A)=0P_A(A) = 0, mais PAP_A n’est pas toujours le polynôme minimal πA\pi_A (le degré peut être plus petit).
  • Oublier de vérifier la scission sur le corps de base : Affirmer qu’une matrice est diagonalisable sans vérifier que le polynôme minimal est scindé dans R[X]\mathbb{R}[X] (ou C[X]\mathbb{C}[X]) est une faute éliminatoire sur le plan logique.
  • Négliger les cas particuliers : Oublier de tester si des matrices comme 00 ou InI_n sont solutions, ce qui fausse l’analyse du degré de πA\pi_A.

📌 Question Type 2 : Optimisation sous contraintes : calcul du gradient, de la hessienne et extrema locaux

Section titled “📌 Question Type 2 : Optimisation sous contraintes : calcul du gradient, de la hessienne et extrema locaux”

💡 Méthode canonique & Étapes de rédaction

Section titled “💡 Méthode canonique & Étapes de rédaction”

Dans les problèmes d’analyse appliquée aux concours, la recherche d’extrema locaux pour une fonction de plusieurs variables f:U⊂Rn→Rf : U \subset \mathbb{R}^n \to \mathbb{R} obéit à un protocole strict :

  1. Recherche des points critiques : Résoudre le système non linéaire ∇f(x)=0\nabla f(x) = 0.
  2. Calcul de la matrice Hessienne : Calculer les dérivées partielles secondes Hf(x)=(∂2f∂xi∂xj(x)12)1≤i,j≤nH_f(x) = \left( \frac{\partial^2 f}{\partial x_i \partial x_j}(x) \vphantom{\frac{1}{2}} \right)_{1 \le i,j \le n}. Par le théorème de Schwarz, Hf(x)H_f(x) est symétrique si les conditions de régularité (C2\mathcal{C}^2) sont réunies.
  3. Analyse spectrale ou étude des minors principaux (critère de Sylvester) :
    • Si toutes les valeurs propres de Hf(x0)H_f(x_0) sont strictement positives, x0x_0 est un minimum local strict.
    • Si toutes les valeurs propres sont strictement négatives, x0x_0 est un maximum local strict.
    • S’il y a des valeurs propres strictement positives et strictement négatives, x0x_0 est un point selle (pas d’extremum).
    • En présence de valeurs propres nulles, la conclusion ne peut être obtenue par la seule étude hessienne (nécessité de pousser un développement de Taylor).

📋 Exemple de sujet & Rédaction modèle type Concours

Section titled “📋 Exemple de sujet & Rédaction modèle type Concours”

Sujet d’étude : Soit f:R2→Rf : \mathbb{R}^2 \to \mathbb{R} définie par f(x,y)=x3+y3−3xyf(x, y) = x^3 + y^3 - 3xy. Déterminer les extrema locaux de ff.

Rédaction modèle type /20 :

La fonction ff est de classe C∞\mathcal{C}^\infty sur R2\mathbb{R}^2 comme fonction polynomiale.

1. Recherche des points critiques : Calculons le gradient de ff en tout point (x,y)∈R2(x, y) \in \mathbb{R}^2 : ∇f(x,y)=(∂f∂x(x,y)∂f∂y(x,y))=(3x2−3y3y2−3x)\nabla f(x, y) = \begin{pmatrix} \frac{\partial f}{\partial x}(x, y) \\ \frac{\partial f}{\partial y}(x, y) \end{pmatrix} = \begin{pmatrix} 3x^2 - 3y \\ 3y^2 - 3x \end{pmatrix}

Cherchons les points (x,y)(x, y) tels que ∇f(x,y)=0R2\nabla f(x, y) = 0_{\mathbb{R}^2}. Cela équivaut au système : {x2−y=0y2−x=0  ⟺  {y=x2x4−x=0  ⟺  {y=x2x(x3−1)=0\begin{cases} x^2 - y = 0 \\ y^2 - x = 0 \end{cases} \iff \begin{cases} y = x^2 \\ x^4 - x = 0 \end{cases} \iff \begin{cases} y = x^2 \\ x(x^3 - 1) = 0 \end{cases}

Dans R\mathbb{R}, l’équation x(x3−1)=0x(x^3 - 1) = 0 admet deux solutions réelles : x=0x = 0 et x=1x = 1.

  • Si x=0x = 0, alors y=02=0y = 0^2 = 0.
  • Si x=1x = 1, alors y=12=1y = 1^2 = 1.

Les points critiques de ff sont donc A=(0,0)A = (0, 0) et B=(1,1)B = (1, 1).

2. Analyse de la matrice Hessienne : Pour tout (x,y)∈R2(x, y) \in \mathbb{R}^2, la matrice hessienne Hf(x,y)H_f(x, y) est donnée par : Hf(x,y)=(∂2f∂x2(x,y)∂2f∂x∂y(x,y)∂2f∂y∂x(x,y)∂2f∂y2(x,y))=(6x−3−36y)H_f(x, y) = \begin{pmatrix} \frac{\partial^2 f}{\partial x^2}(x, y) & \frac{\partial^2 f}{\partial x \partial y}(x, y) \\ \frac{\partial^2 f}{\partial y \partial x}(x, y) & \frac{\partial^2 f}{\partial y^2}(x, y) \end{pmatrix} = \begin{pmatrix} 6x & -3 \\ -3 & 6y \end{pmatrix}

  • Étude au point A=(0,0)A = (0, 0) : Hf(0,0)=(0−3−30)H_f(0, 0) = \begin{pmatrix} 0 & -3 \\ -3 & 0 \end{pmatrix} Le calcul des valeurs propres de Hf(0,0)H_f(0, 0) se fait via le polynôme caractéristique : det⁡(Hf(0,0)−λI2)=det⁡(−λ−3−3−λ)=λ2−9=(λ−3)(λ+3)\det(H_f(0, 0) - \lambda I_2) = \det \begin{pmatrix} -\lambda & -3 \\ -3 & -\lambda \end{pmatrix} = \lambda^2 - 9 = (\lambda - 3)(\lambda + 3) Les valeurs propres sont λ1=3\lambda_1 = 3 et λ2=−3\lambda_2 = -3. Puisque les valeurs propres sont de signes contraires (λ1>0\lambda_1 > 0 et λ2<0\lambda_2 < 0), le point A(0,0)A(0, 0) est un point selle : ff n’y présente pas d’extremum local.

  • Étude au point B=(1,1)B = (1, 1) : Hf(1,1)=(6−3−36)H_f(1, 1) = \begin{pmatrix} 6 & -3 \\ -3 & 6 \end{pmatrix} Analysons les sous-déterminants principaux (critère de Sylvester) :

    • Premier mineur principal : Δ1=6>0\Delta_1 = 6 > 0.
    • Deuxième mineur principal (déterminant de la matrice) : Δ2=6×6−(−3)2=36−9=27>0\Delta_2 = 6 \times 6 - (-3)^2 = 36 - 9 = 27 > 0. Tous les mineurs principaux étant strictement positifs, la matrice Hf(1,1)H_f(1, 1) est définie positive. Par conséquent, le point B(1,1)B(1, 1) est un minimum local strict de ff.

⚠️ Les pièges majeurs soulignés dans les rapports de jury

Section titled “⚠️ Les pièges majeurs soulignés dans les rapports de jury”
  • Oublier de justifier la classe C2\mathcal{C}^2 : Le théorème de Schwarz permettant d’affirmer la symétrie de la Hessienne requiert explicitement la continuité des dérivées secondes. Mentionnez toujours la régularité de ff.
  • Conclure hâtivement en présence d’une valeur nulle : Si une valeur propre de la Hessienne est nulle (det⁡(Hf)=0\det(H_f) = 0), le test est inopérant. N’écrivez jamais “le test ne donne rien donc il n’y a pas d’extremum” ; il faut étudier un développement limité ou le signe de f(x,y)−f(x0,y0)f(x, y) - f(x_0, y_0) au voisinage du point critique.
  • Erreurs de calculs dans le gradient : Une simple étourderie sur un signe dans le système ∇f=0\nabla f = 0 invalide l’ensemble de la suite du problème. Prenez 30 secondes pour vérifier par substitution.