2026-Ens-MPC-Corrigé

Écoles normales supérieures — MP et MPI — 2026 — Mathématiques C

On travaille dans {\mathbb R^n}, {n\geq1}, muni du produit scalaire canonique {\langle\cdot,\cdot\rangle} et de la norme euclidienne {\|\cdot\|}. La transposée d’une matrice est notée {A^\top}.

Une fonction {f} est convexe si {f(\lambda x+(1-\lambda)x')\leq\lambda f(x)+(1-\lambda)f(x')} pour {0\leq\lambda\leq1}. Une application {F} est {L}-lipschitzienne si {\|F(x')-F(x)\|\leq L\|x'-x\|}. Un point fixe vérifie {F(x^*)=x^*}.

Partie I — Inégalités variationnelles et projection sur un convexe fermé

A — Inégalités variationnelles

Soit {G:\mathbb R^n\to\mathbb R^n} et {C} un convexe fermé non vide. Un point {x^*\in C} est une solution forte si {\langle G(x^*),x-x^*\rangle\geq0} pour tout {x\in C}, et une solution faible si {\langle G(x),x-x^*\rangle\geq0} pour tout {x\in C}.

L’opérateur {G} est monotone si {\langle G(x')-G(x),x'-x\rangle\geq0} pour tous {x,x'}.

1) Si {G} est monotone, montrer que toute solution forte est faible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

2) On suppose {G} monotone et continu, et {x^*} solution faible. Pour {x\in C} et {0\lt \lambda\leq1}, on pose {x_\lambda=x^*+\lambda(x-x^*)}.

2. a) Montrer que {\langle G(x_\lambda),x-x^*\rangle\geq0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
2. b) En déduire que {x^*} est une solution forte.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

3) On suppose {n=1}.

3. a) Si {G} est continue et {C} convexe compact non vide, montrer l’existence d’une solution forte.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
3. b) Donner un exemple continu sur un convexe compact non vide de {\mathbb R} sans solution faible.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. a) Pour {n=1}, si {G} est monotone et {C} convexe compact non vide, montrer l’existence d’une solution faible, sans supposer {G} continue.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
4. b) Pour tout {n\geq1}, donner un convexe compact non vide et un opérateur monotone sans solution forte.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

B — Projection sur un convexe fermé

Soit {C\subset\mathbb R^n} convexe fermé non vide. On pose {d_C(y)=\inf_{x\in C}\|x-y\|}.

5) Montrer que, pour tout {y}, il existe {x\in C} tel que {d_C(y)=\|y-x\|}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

On admet l’unicité du minimiseur, noté {\Pi_C(y)}, ainsi que sa caractérisation : c’est l’unique point {x\in C} tel que {\langle x'-x,y-x\rangle\leq0} pour tout {x'\in C}.

6) Pour {x=\Pi_C(y)} et {x'=\Pi_C(y')}, montrer que {0\leq\|x\|^2-\|x'\|^2-2\langle y',x-x'\rangle\leq\|y'-y\|^2.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie II — Existence et théorème du minimax de von Neumann

On suppose {C} convexe compact non vide et {G} monotone continu.

Pour {\eta>0}, on définit {y_1=0}, {x_1=\Pi_C(y_1)}, puis {y_j=-\eta\sum_{i=1}^{j-1}G(x_i),\quad x_j=\Pi_C(y_j).}On pose {B_j=\|x_j\|^2-\|x_{j+1}\|^2-2\langle y_{j+1},x_j-x_{j+1}\rangle,}et, pour {x\in C}, {D_j(x)=\|x\|^2-\|x_j\|^2-2\langle y_j,x-x_j\rangle.}

7) Montrer que {\begin{array}{rl}2\eta\langle G(x),x_j-x\rangle&\leq2\eta\langle G(x_j),x_j-x\rangle\\[8pt]&=D_j(x)-D_{j+1}(x)+B_j\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
8) Montrer que, pour tout {\varepsilon>0}, il existe {\widetilde x_\varepsilon\in C} tel que {\langle G(x),\widetilde x_\varepsilon-x\rangle\leq\varepsilon} pour tout {x\in C}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
9) En déduire l’existence d’une solution forte de {G} sur {C}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Pour {p\geq1}, on note {\Delta_p=\{x\in(\mathbb R_+)^p:\sum\limits_ix_i=1\}}. Soit {A\in\mathcal M_{m,n}(\mathbb R)} et {G(a,b)=(-Ab,A^\top a)} sur {\mathbb R^m\times\mathbb R^n}.

10. a) Montrer que {G} est un opérateur monotone continu.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
10. b) En déduire {\sup_{a\in\Delta_m}\inf_{b\in\Delta_n}\langle a,Ab\rangle=\inf_{b\in\Delta_n}\sup_{a\in\Delta_m}\langle a,Ab\rangle.}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie III — Itérations de Krasnoselskii–Mann

11) Donner une application {1}-lipschitzienne sur un {\mathbb R^m} sans point fixe.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
12) Donner une application {1}-lipschitzienne admettant un point fixe, mais dont une suite d’itérations {x_{k+1}=F(x_k)} ne converge pas.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Soit désormais {F:\mathbb R^n\to\mathbb R^n} {1}-lipschitzienne avec un point fixe {x^*}. On fixe {0\lt \theta\lt 1}, {x_1\in\mathbb R^n}, et on pose {x_{k+1}=(1-\theta)x_k+\theta F(x_k)}.

13) Montrer que {(\|x_k-x^*\|)} est décroissante.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
14) Montrer que {\begin{array}{l}\|x_{k+1}-x^*\|^2+\theta(1-\theta)\|F(x_k)-x_k\|^2\\[8pt]=(1-\theta)\|x_k-x^*\|^2+\theta\|F(x_k)-x^*\|^2.\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
15) Montrer que {\|x_{k+1}-x_k\|\to0}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
16) Montrer que {(x_k)} converge vers un point fixe de {F}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

Partie IV — Théorème de Baillon–Haddad et descente de gradient

Soit {f:\mathbb R^n\to\mathbb R} de classe {\mathcal C^1}, convexe, et admettant un point {x^*} tel que {\nabla f(x^*)=0}. On note {I} l’application identité et on fixe {L>0}. Si elle existe, la hessienne est notée {\nabla^2f}.

17) Montrer que {f} atteint son minimum en {x^*}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
18) Si {f\in\mathcal C^2}, montrer que {\nabla^2f(x)} est symétrique positive pour tout {x}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

On considère la propriété {(P)}{f(x')-f(x)-\langle\nabla f(x),x'-x\rangle\leq\!\frac L2\|x'-x\|^2}

19. a) Montrer que {\nabla f} {L}-lipschitzienne implique {(P)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
19. b) Si {(P)} est vraie, montrer que {\|\nabla f(x)\|^2\leq2L(f(x)-f(x^*))}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
19. c) Sous {(P)}, montrer que {\begin{array}{rl}f(x')&\geq f(x)+\langle\nabla f(x),x'-x\rangle\\[8pt]&\quad\displaystyle+\frac1{2L}\|\nabla f(x')-\nabla f(x)\|^2\end{array}}
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
19. d) Conclure l’équivalence entre {(P)} et le caractère {L}-lipschitzien de {\nabla f}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
20) Pour {f\in\mathcal C^2}, montrer l’équivalence entre : (i) {\nabla f} est {L}-lipschitzienne ; (ii) {LI_n-\nabla^2f(x)} est symétrique positive pour tout {x} ; (iii) les valeurs propres de {\nabla^2f(x)} sont dans {[0,L]}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :

On ne suppose plus {f} de classe {\mathcal C^2}, mais on suppose désormais son gradient {L}-lipschitzien.

21) Montrer que {I-(2/L)\nabla f} est {1}-lipschitzienne.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :
22) Pour {x_{k+1}=x_k-\nabla f(x_k)/L}, montrer que {(x_k)} converge et que {f(x_k)\to\inf_{x\in\mathbb R^n}f(x)}.
Cliquer ici pour voir (ou cacher) la réponse
Pour voir la suite de ce contenu, vous devez : Pour poursuivre votre exploration, vous pouvez :