Théorème min-max de Courant-Fischer — Wikipédia

En algèbre linéaire et en analyse fonctionnelle, le théorème min-max de Courant^[1]-Fischer^[2] donne une caractérisation variationnelle des valeurs propres d'une matrice hermitienne. Il permet donc de caractériser les valeurs singulières d'une matrice complexe quelconque. Il s'étend aux opérateurs compacts autoadjoints sur un espace de Hilbert, ainsi qu'aux opérateurs autoadjoints bornés inférieurement.

Énoncé

Soit $A$ une matrice hermitienne $n \times n$ , de valeurs propres $λ 1 \geq \dots \geq λ n$ (répétées selon leur multiplicité). Notons, pour tout $k$ de $1$ à $n$ , $G k$ l'ensemble des sous-espaces vectoriels de dimension $k$ de ℂⁿ et pour tout vecteur $x$ non nul, $R (A, x)$ le quotient de Rayleigh $〈 Ax, x 〉 / 〈 x, x 〉$ , où $〈∙, ∙〉$ désigne le produit scalaire hermitien canonique. Alors,

\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop x\neq 0}R(A,x)=\min _{W\in G_{n-k+1}}\max _{y\in W \atop y\neq 0}R(A,y)

ou encore, par homogénéité :

\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\min _{W\in G_{n-k+1}}\max _{y\in W \atop \|y\|=1}\langle Ay,y\rangle .

Si $A$ est de plus réelle (donc symétrique), on a les mêmes égalités en remplaçant $G k$ par l'ensemble des sous-espaces de dimension $k$ de ℝⁿ^[3].

Démonstration

Comme $A$ est normale, il existe une base orthonormée $(u 1, \dots , u n)$ formée de vecteurs propres pour $A$ , associés (dans cet ordre) aux $λ i$ .

D'après la formule de Grassmann, tout sous-espace $V$ de dimension $k$ contient au moins un vecteur unitaire du sous-espace engendré par $(u k, \dots , u n)$ . Un tel vecteur s'écrit

$x=\sum _{i=k}^{n}x_{i}u_{i}\quad {\rm {avec}}\quad \sum |x_{i}|^{2}=1$

donc vérifie

$\langle Ax,x\rangle =\sum _{i=k}^{n}\lambda _{i}|x_{i}|^{2}\leq \lambda _{k},$

ce qui prouve que

$\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle \leq \lambda _{k}$

(il s'agit bien d'un minimum car la borne inférieure est atteinte, par compacité et continuité).

Pour $V$ égal au sous-espace engendré par $(u 1, \dots , u k)$ , ce minimum est atteint pour $x = u k$ et est égal au majorant $λ k$ , ce qui achève la preuve de la première égalité. La seconde se démontre de même, ou se déduit de la première appliquée à $- A$ .

Applications

Caractérisation des valeurs singulières

Soit $M$ une matrice complexe $m \times n$ avec $n \leq m$ . Les valeurs singulières $σ 1 \geq \dots \geq σ n$ de $M$ sont les racines carrées des valeurs propres de la matrice positive $M * M$ . Un corollaire immédiat du théorème de Courant-Fischer est donc^[4] :

\sigma _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\|Mx\|=\min _{W\in G_{n-k+1}}\max _{y\in W \atop \|y\|=1}\|My\|.

Théorème d'entrelacement de Cauchy

Articles détaillés : Théorème de séparation de Poincaré (en) et Inégalité de Weyl.

Soient $A$ une matrice hermitienne $n \times n$ et $B$ une matrice m × m déduite de $A$ par compression (en) ( $B = P * AP$ , où $P$ est une matrice $n \times m$ telle que $P * P = I m$ ). Alors, les valeurs propres $α 1 \geq \dots \geq α n$ de $A$ et $β 1 \geq \dots \geq β m$ de $B$ vérifient^[5] : pour tout $k \leq m$ ,

\alpha _{k}\geq \beta _{k}\geq \alpha _{n-m+k}.

Démonstration

Soit $(b 1, \dots, b m)$ une base orthonormée de ℂ^m formée de vecteurs propres pour $B$ , associés (dans cet ordre) aux $β j$ et soit $V k$ le sous-espace engendré par $(b 1, \dots, b k)$ . D'après la démonstration ci-dessus,

$\beta _{k}=\min _{z\in V_{k} \atop \|z\|=1}\langle P^{*}APz,z\rangle =\min _{z\in V_{k} \atop \|z\|=1}\langle APz,Pz\rangle =\min _{x\in P(V_{k}) \atop \|x\|=1}\langle Ax,x\rangle \leq \max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\alpha _{k},$

ce qui démontre la première inégalité. La seconde se démontre de même, ou se déduit de la première appliquée à $- A$ et $- B$ .

En particulier si $m = n - 1$ alors^[6] $α 1 \geq β 1 \geq α 2 \geq \dots \geq β n -1 \geq α n$ , d'où le nom d'entrelacement.

Opérateurs compacts

Soit $H$ un espace de Hilbert. Tout opérateur autoadjoint sur $H$ se décompose canoniquement en la différence de deux opérateurs positifs (en) de produit nul (par calcul fonctionnel continu, en lui appliquant les fonctions partie positive et partie négative).

Soit $A$ un opérateur compact positif sur $H$ . Ses valeurs propres non nulles sont de multiplicité finie et forment une suite décroissante $λ 1 \geq λ 2 \geq \dots$ et l'on a encore (en notant $G k$ l'ensemble des sous-espaces vectoriels de dimension $k$ de $H$ )^[7] :

\lambda _{k}=\max _{V\in G_{k}}\min _{x\in V \atop \|x\|=1}\langle Ax,x\rangle =\min _{U\in G_{k-1}}\max _{y\in U^{\bot } \atop \|y\|=1}\langle Ay,y\rangle .

Démonstration

Comme $A$ est normal, il existe une suite orthonormée $(u 1, u 2, \dots)$ de vecteurs propres associés aux $λ i$ . Notons $N$ l'adhérence du sous-espace engendré par $(u k, u k +1, \dots)$ . La codimension de $N$ est $k - 1$ donc pour tout sous-espace $V$ de $H$ de dimension $k$ , $k-\dim(V\cap N)=\dim(V/(V\cap N))=\dim((V+N)/N)\leq \dim(H/N)=k-1$ (d'après le deuxième théorème d'isomorphisme, adapté aux espaces vectoriels). Par conséquent, $V$ contient au moins un vecteur unitaire de $N$ .

La fin de la preuve de la première égalité est identique à celle du § « Démonstration », en remplaçant la somme finie (de $k$ à $n$ ) par une série (de $k$ à l'infini).

Pour la seconde, notons $V$ le sous-espace engendré par $(u 1, \dots , u k)$ et $U$ un sous-espace de $H$ de dimension $k - 1$ . Son orthogonal $N$ est alors de codimension $k - 1$ donc, par le même raisonnement que ci-dessus, il contient au moins un vecteur unitaire $y$ de $V$ . De la même façon que pour la première égalité, on en déduit que $\lambda _{k}\leq \max _{y\in U^{\bot } \atop \|y\|=1}\langle Ay,y\rangle ,$ puis on conclut en considérant le sous-espace $U$ particulier engendré par $(u 1, \dots , u k -1)$ et le vecteur $y = u k$ .

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Min-max theorem » (voir la liste des auteurs).

↑ (de) Ernst Fischer, « Über quadratische Formen mit reellen Koeffizienten », Monatshefte für Mathematik und Physik, vol. 16,‎ 1905, p. 234-249.
↑ (de) Richard Courant, « Über die Eigenwerte bei den Differentialgleichungen der mathematischen Physik », Math. Z., vol. 7, n^os 1-4,‎ 1920, p. 1-57.
↑ Alain Yger et Jacques-Arthur Weil, Mathématiques appliquées L3, Pearson Education France, 2009 (ISBN 978-2-74407352-6, lire en ligne), p. 70.
↑ (en) Carl D. Meyer, Matrix Analysis and Applied Linear Algebra, SIAM, 2000 (lire en ligne), p. 555.
↑ (en) Rajendra Bhatia (en), Matrix Analysis, Springer, coll. « GTM » (n^o 169), 1997 (lire en ligne), p. 59-60.
↑ Pour une autre preuve dans ce cas, voir (en) Steve Fisk, « A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices », Amer. Math. Monthly, vol. 112, n^o 2,‎ 2005, p. 118 (arXiv math/0502408).
↑ (en) D. H. Griffel, Applied Functional Analysis, Dover, 2012 (1^re éd. 1981) (lire en ligne), p. 287 ne mentionne que la seconde expression.

Voir aussi

Articles connexes

Bibliographie

(en) M. Reed (en) et B. Simon, Methods of Modern Mathematical Physics IV: Analysis of Operators, Academic Press, 1977
(en) Elliott H. Lieb et Michael Loss (en), Analysis, AMS, coll. « GSM » (n^o 14), 2001, 2^e éd. (1^re éd. 1997) (lire en ligne)
(en) Gerald Teschl, Mathematical Methods in Quantum Mechanics, AMS, coll. « GSM » (n^o 99), 2009 (lire en ligne)

Portail de l'analyse

[1] (de) Ernst Fischer, « Über quadratische Formen mit reellen Koeffizienten », Monatshefte für Mathematik und Physik, vol. 16,‎ 1905, p. 234-249.

[2] (de) Richard Courant, « Über die Eigenwerte bei den Differentialgleichungen der mathematischen Physik », Math. Z., vol. 7, n^os 1-4,‎ 1920, p. 1-57.

[3] Alain Yger et Jacques-Arthur Weil, Mathématiques appliquées L3, Pearson Education France, 2009 (ISBN 978-2-74407352-6, lire en ligne), p. 70.

[4] (en) Carl D. Meyer, Matrix Analysis and Applied Linear Algebra, SIAM, 2000 (lire en ligne), p. 555.

[5] (en) Rajendra Bhatia (en), Matrix Analysis, Springer, coll. « GTM » (n^o 169), 1997 (lire en ligne), p. 59-60.

[6] Pour une autre preuve dans ce cas, voir (en) Steve Fisk, « A very short proof of Cauchy's interlace theorem for eigenvalues of Hermitian matrices », Amer. Math. Monthly, vol. 112, n^o 2,‎ 2005, p. 118 (arXiv math/0502408).

[7] (en) D. H. Griffel, Applied Functional Analysis, Dover, 2012 (1^re éd. 1981) (lire en ligne), p. 287 ne mentionne que la seconde expression.

[1]

[2]

[3]

[4]

[5]

[6]

[7]