$$\newcommand{\mtn}{\mathbb{N}}\newcommand{\mtns}{\mathbb{N}^*}\newcommand{\mtz}{\mathbb{Z}}\newcommand{\mtr}{\mathbb{R}}\newcommand{\mtk}{\mathbb{K}}\newcommand{\mtq}{\mathbb{Q}}\newcommand{\mtc}{\mathbb{C}}\newcommand{\mch}{\mathcal{H}}\newcommand{\mcp}{\mathcal{P}}\newcommand{\mcb}{\mathcal{B}}\newcommand{\mcl}{\mathcal{L}} \newcommand{\mcm}{\mathcal{M}}\newcommand{\mcc}{\mathcal{C}} \newcommand{\mcmn}{\mathcal{M}}\newcommand{\mcmnr}{\mathcal{M}_n(\mtr)} \newcommand{\mcmnk}{\mathcal{M}_n(\mtk)}\newcommand{\mcsn}{\mathcal{S}_n} \newcommand{\mcs}{\mathcal{S}}\newcommand{\mcd}{\mathcal{D}} \newcommand{\mcsns}{\mathcal{S}_n^{++}}\newcommand{\glnk}{GL_n(\mtk)} \newcommand{\mnr}{\mathcal{M}_n(\mtr)}\DeclareMathOperator{\ch}{ch} \DeclareMathOperator{\sh}{sh}\DeclareMathOperator{\th}{th} \DeclareMathOperator{\vect}{vect}\DeclareMathOperator{\card}{card} \DeclareMathOperator{\comat}{comat}\DeclareMathOperator{\imv}{Im} \DeclareMathOperator{\rang}{rg}\DeclareMathOperator{\Fr}{Fr} \DeclareMathOperator{\diam}{diam}\DeclareMathOperator{\supp}{supp} \newcommand{\veps}{\varepsilon}\newcommand{\mcu}{\mathcal{U}} \newcommand{\mcun}{\mcu_n}\newcommand{\dis}{\displaystyle} \newcommand{\croouv}{[\![}\newcommand{\crofer}{]\!]} \newcommand{\rab}{\mathcal{R}(a,b)}\newcommand{\pss}[2]{\langle #1,#2\rangle} $$
Bibm@th

Disques de Gershgorin

Le théorème de Gershgorin permet, étant donnée une matrice carrée $A,$ de construire un domaine contenant toutes les valeurs propres de $A.$

Théorème : Soit $A=(a_{i,j})\in\mathcal M_n(\mathbb C).$ On appelle disques de Gershgorin associés à $A$ les $n$ disques de $\mathbb C$ définis par $$\left\{z\in\mathbb C: |z-a_{i,i}|\leq \sum_{j\neq i}|a_{i,j}|\right\}$$ où $i\in\{1,\dots,n\}$. Si $\lambda$ est une valeur propre de $A$, alors elle appartient à au moins l'un des disques de Gershgorin de $A$.

En appliquant ce résultat à $A^T,$ qui a les mêmes valeurs propres que $A,$ on trouve que les valeurs propres de $A$ se trouvent dans la réunion des disques de Gershgorin associés aux colonnes de $A,$ c'est-à-dire à la réunion des disques $$\left\{z\in\mathbb C: |z-a_{j,j}|\leq \sum_{i\neq j}|a_{i,j}|\right\}$$ où $j\in\{1,\dots,n\}$.

La preuve de ce résultat est étonnament simple. Prenons en effet $x$ un vecteur propre (non nul) associé à la valeur propre, et soit $i$ tel que $|x_i|$ soit maximum. Puisque $x$ est vecteur propre pour $\lambda$, on a $$(\lambda-a_{i,i})x_i=\sum_{j\neq i}a_{i,j}x_j.$$ On divise ensuite par $x_i$ (qui n'est pas nul car $x$ est non nul), on prend le module et on utilise l'inégalité triangulaire. On obtient donc : $$|\lambda-a_{i,i}|\leq \sum_{j\neq i}|a_{i,j}|\cdot \frac{|x_j|}{|x_i|}.$$ qui à son tour donne le résultat, puisque $|x_j|/|x_i|\leq 1$.

C'est un résultat très intéressant, car la recherche de valeurs propres est en général un problème compliqué (il faut trouver les racines d'un polynôme). Le théorème de Gershgorin donne des informations précieuses sur leur localisation.

Recherche alphabétique
Recherche thématique