Beweisarchiv: Lineare Algebra: Endomorphismen: Kreisesatz von Gerschgorin

Beweisarchiv: Lineare Algebra: TOPNAV Das Kreisesatz von Gerschgorin oder auch Kreissatz von Gerschgorin bzw. Satz von Gerschgorin, in englischsprachigen Quellen auch Gershgorin circle theorem genannt, ist ein Lehrsatz des mathematischen Teilgebiets der Linearen Algebra. Der Satz ist benannt nach dem weißrussischen Mathematiker Semjon Aronowitsch Gerschgorin und gibt Aufschluss über die Lage der Eigenwerte komplexwertiger Matrizen innerhalb der gaußschen Zahlenebene .

Formulierung des Satzes

Der Satz besagt folgendes:

Es sei

$A=(a_{jk}{)}_{j,k=1,\dots ,n}\in {ℂ}^{n\times n}$

eine komplexwertige Matrix $n\times n$-Matrix zu einer natürlichen Zahl $n$ . Dabei sei für jeden der Indizes $j=1,\dots ,n$

$c_j=\sum _{\genfrac{}{}{0ex}{}{k=1,\dots ,n}{k\ne j}}|a_{jk}|$

und dazu

$D_j=\overline{U_{c_j}(a_{jj})}=\{z\in ℂ:|a_{jj}-z|\le c_j\}$

die abgeschlossene Kreisscheibe mit Radius $c_j$ und Mittelpunkt $a_{jj}$.

Dann gilt:

Zu jedem komplexen Eigenwert $\lambda$ der Matrix $A$ gibt es eine Kreisscheibe $D_j(j=1,\dots ,n)$, die $\lambda$ enthält.

Beweis des Satzes

Der Darstellung von Ortega und Rheinboldt folgend lässt sich der Beweis führen wie folgt:

Sei

$\lambda \in ℂ$

Eigenwert der Matrix

$A\in {ℂ}^{n\times n}$

und sei

$x\in {ℂ}^n\setminus \{0\}$

ein zugehöriger Eigenvektor und

$B=A-\lambda I_n$

mit

$I_n\in {ℂ}^{n\times n}$

als komplexwertiger $n\times n$-Einheitsmatrix.

Dann gilt einerseits

$Bx=0$

und andererseits wegen $x\ne 0$ für einen Index $m\in \{1,\dots ,n\}$

$|x_m|=\underset{k=1,\dots ,n}{\max }|x_k|>0$.

Man hat also

$0=\sum _{k=1,\dots ,n}{b}_{mk}{x}_k$

und dann weiter

$|x_m|\cdot |b_{mm}|=|b_{mm}{x}_m|=|-\sum _{\genfrac{}{}{0ex}{}{k=1,\dots ,n}{k\ne m}}{b}_{mk}{x}_k|\le |x_m|\cdot \sum _{\genfrac{}{}{0ex}{}{k=1,\dots ,n}{k\ne m}}|b_{mk}|$.

und damit

$|x_m|\cdot |a_{mm}-\lambda |\le |x_m|\cdot \sum _{\genfrac{}{}{0ex}{}{k=1,\dots ,n}{k\ne m}}|a_{mk}|=|x_m|\cdot c_m$ .

Folglich ist

$|a_{mm}-\lambda |\le c_m$

und daher

$\lambda \in D_m$   ,

was die Behauptung des Satzes beweist.

Quellen und Hintergrundliteratur

• Vorlage:Literatur
• Vorlage:Literatur MR1744713
• Vorlage:Literatur MR2093409