Gerschgorin-Kreis

Sei ${\displaystyle A}$  eine quadratische Matrix mit Einträgen aus ${\displaystyle \mathbb {C} }$  (also ${\displaystyle A\in \mathbb {C} ^{n\times n}}$ ), dann ist der zum ${\displaystyle i}$ -ten Diagonalelement ${\displaystyle a_{ii}}$  gehörende Gerschgorin-Kreis folgendermaßen definiert:

${\displaystyle {\bar {S}}_{i}:={\bar {S}}\left(a_{ii},\sum _{j=1,j\neq i}^{n}\left|a_{ij}\right|\right)}$  für ${\displaystyle i=1,\ldots ,n}$ 

wobei ${\displaystyle {\bar {S}}(x,r)}$  die abgeschlossene Kreisscheibe mit Radius ${\displaystyle r=\sum _{j=1,j\neq i}^{n}\left|a_{ij}\right|}$  um den Punkt ${\displaystyle x\in \mathbb {C} }$  bezeichnet.

Da die Menge der Eigenwerte (das Spektrum) von ${\displaystyle A}$  identisch mit der von ${\displaystyle A^{T}}$  ist, kann eine weitere Familie von Kreisen mit denselben Eigenschaften auch spaltenweise bestimmt werden:

${\displaystyle {\bar {S}}_{j}:={\bar {S}}\left(a_{jj},\sum _{i=1,i\neq j}^{n}\left|a_{ij}\right|\right)}$  für ${\displaystyle j=1,\ldots ,n}$ 

Es gilt:

• Das Spektrum von ${\displaystyle A}$  ist eine Teilmenge von ${\displaystyle \textstyle \bigcup _{i=1}^{n}{\bar {S}}_{i}}$ 
• Falls es eine Teilmenge ${\displaystyle I}$  von ${\displaystyle \{1,\ldots ,n\}}$  gibt, sodass:

${\displaystyle \bigcup _{i\in I}{\bar {S}}_{i}\cap \bigcup _{i\notin I}{\bar {S}}_{i}=\emptyset }$ 

dann beinhaltet ${\displaystyle \textstyle \bigcup _{i\in I}{\bar {S}}_{i}}$  genau ${\displaystyle \left|I\right|}$  Eigenwerte (samt Vielfachheiten) der Matrix ${\displaystyle A}$ .

Oder einprägsamer: Jede Zusammenhangskomponente der Vereinigung aller Gerschgorin-Kreisscheiben enthält genauso viele Eigenwerte wie Diagonalelemente der Matrix ${\displaystyle A}$ .

Durch die Möglichkeit, die Kreise sowohl zeilen- als auch spaltenweise zu berechnen (die Eigenwerte der transponierten Matrix sind dieselben), können bei nichtsymmetrischen Matrizen zwei Abschätzungen pro Diagonalelement gefunden werden.

Zu der Matrix

${\displaystyle A={\begin{pmatrix}2&1&0.5\\0.2&5&0.7\\1&0&6\end{pmatrix}}}$ 

gibt es folgende Gerschgorin-Kreise (spalten- und zeilenweise):

• ${\displaystyle {\bar {S}}(2,1.2)}$  und ${\displaystyle {\bar {S}}(2,1.5)}$  zum Diagonalelement ${\displaystyle a_{11}}$ 
• ${\displaystyle {\bar {S}}(5,1)}$  und ${\displaystyle {\bar {S}}(5,0.9)}$  zum Diagonalelement ${\displaystyle a_{22}}$ 
• ${\displaystyle {\bar {S}}(6,1.2)}$  und ${\displaystyle {\bar {S}}(6,1)}$  zum Diagonalelement ${\displaystyle a_{33}}$ 

Da der Mengendurchschnitt ${\displaystyle {\bar {S}}(2,1.2)\cap {\bigl (}{\bar {S}}(5,1)\cup {\bar {S}}(6,1.2){\bigr )}=\emptyset }$  leer ist, befindet sich in ${\displaystyle {\bar {S}}(2,1.2)}$  genau ein Eigenwert und in ${\displaystyle {\bar {S}}(5,0.9)\cup {\bar {S}}(6,1)}$  befinden sich genau zwei.

Die tatsächlichen Eigenwerte der Matrix ${\displaystyle A}$  sind gerundet 1,8692, 4,8730 und 6,2578 und tatsächlich in den oben angegebenen Gebieten enthalten.

Die Matrix

${\displaystyle B={\begin{pmatrix}8&0&1\\0&7&0\\1&0&5\\\end{pmatrix}}}$ 

ist symmetrisch und reell, somit sind alle Eigenwerte reell und es gibt folgende reelle Intervalle (Gerschgorin-Kreise):

• ${\displaystyle \lbrack 7,9\rbrack ={\bar {S}}(8,1)}$  zum Diagonalelement ${\displaystyle b_{11}}$ 
• ${\displaystyle \lbrack 7,7\rbrack ={\bar {S}}(7,0)}$  zum Diagonalelement ${\displaystyle b_{22}}$ 
• ${\displaystyle \lbrack 4,6\rbrack ={\bar {S}}(5,1)}$  zum Diagonalelement ${\displaystyle b_{33}}$ 

Da in der zweiten Spalte und Zeile dieser Matrix nur das Diagonalelement ${\displaystyle b_{22}}$  verschieden von Null ist, kann ein Eigenwert mit ${\displaystyle b_{22}=7}$  leicht bestimmt werden, die beiden anderen liegen in den Intervallen ${\displaystyle \lbrack 7,9\rbrack }$  und ${\displaystyle \lbrack 4,6\rbrack }$ , somit kann ${\displaystyle B}$  direkt als positiv definit identifiziert werden. Die tatsächlichen Eigenwerte der Matrix ${\displaystyle B}$  sind ${\displaystyle \{7,\,{\tfrac {13\pm {\sqrt {13}}}{2}}\}}$ , also ungefähr 4,6972, 7 und 8,3028.

Die Gerschgorin-Kreise bieten in der Numerik eine einfache Möglichkeit, Eigenschaften von Matrizen zu bestimmen. Enthält z. B. kein Gerschgorin-Kreis den Nullpunkt, so ist die Matrix invertierbar. Diese Eigenschaft wird im Begriff der strikt diagonaldominanten Matrix zusammengefasst. Genauso lässt sich bei symmetrischen bzw. hermiteschen Matrizen die Definitheit oftmals mithilfe der Gerschgorin-Kreise grob abschätzen.

• Satz von Gerschgorin: Anwendung auf Polynomnullstellen
• Satz von Courant-Fischer: alternative Charakterisierung der Eigenwerte symmetrischer oder hermitescher Matrizen

• Gerschgorin, S. Über die Abgrenzung der Eigenwerte einer Matrix. Izv. Akad. Nauk. UdSSR Otd. Fiz.-Mat. Nauk 6, Seite 749–754, 1931 [1]
• Varga, R. S. Geršgorin and His Circles. Springer, Berlin 2004. ISBN 3540211004. Errata (PDF; 37 kB).