Sie sind auf Seite 1von 6

.

1931

BULLETIN" D E L ' A C A D M I E D E S S C I E N C E S D E L'URSS

Classe des sciences mathmatiques et naturelles

BER DIE ABGRENZUNG DEB EIGEN WEBTE EINER


Von S. GERSCHGORIN
(Prsent par A Krylov, membre . de VAcadmie des Sciences)

1. Haben wir eine Matrix

22i

' ' '

2n

(1)

A =

wo die Elemente a beliebige komplexe Zahlen sein drfen, und bezeichnen wir durch 8 (Jc= 1, 2, . . . n) ihre Eigenwerte, d. h. die "Wurzeln der Gleichung
i]c h Cl

ll

i2'
Cl

' in
Z

21->

22

->

(2)
L

= 0,

so gilt nach Bendixson und Hirsch* die Ungleichung

wo a den Maximalwert aller Zahleil \a \ bedeutet. Wir wollen im folgenden zeigen, dass man im allgemeinen viel schr fere Aussagen ber die Lage der Eigenwerte machen kann.
ih

* Sur les racines d'une quation fondamentale. Acta Mathematica, t; 25 (1900).

750

S. GERSCHGOMN

Wir beweisen zunchst den folgenden Satz, der einem von L. Levy * ber Matrizen mit reellen Elementen ausgesprochenen vllig analog ist. Satz L Sind in der Matrix (1) die Bedingungen (8) i**i>2'i *i'**
Je
a

' "

erfllt (wobei das Ungleichheitszeichen mindestens fr einen Wert von i gilt), so ist die Determinante A dieser Matrix gewiss von 0 verschieden. Zum Beweis betrachten wir das zu der Matrix (1) zugehrige homogene Gleichungssystem
a^x^a^x^ ^ ~
21 22 2

i - \ ^ = , i-a
2 n

x =0,
n

(4)

Sollte entgegen der gemachten Annahme = 0 sein, so hat das System (4) eine nichtverschwindende Lsung a^ , x , . .. x (wobei diese Werte auch nicht alle einander gleich sein knnen). Sei \xj?\ die grsste unter den Zahlen | # / | , so dass
0 2 n

(5)

\\<\\

(t = l , . . . n ) .

Wir betrachten nun die fx-te der Gleichungen (4), welche lautet

Aus den Ungleichungen (3) und (5) folgt aber

was mit der Gleichung (6) unvereinbar ist. Damit ist der Satz bewiesen.***
* Sur la possibilit de l'quilibre lectrique. . R. de l'Acadmie des Sciences, t. XCII
(1881).

** 2
' l

bedeutet die Summation ber alle Werte'von % ausser 7c = L

*** Eine analoge berlegung wurde sebon frher von R. Kusmin zum Beweis des L. Lvy'schen Satzes verwendet.

BER DIE ABGRENZUNG DER EIGENWERTE EINER MATRIX

751

2* Verwenden wir den eben gefundenen Satz zur Matrix


. .in
a

21\

22~

(7)

so finden wir, dass die zugehrige Determinante von 0 verschieden ist, falls die Bedingungen (8)

a*i^2'i

(*=1,...)

(wo das Ungleichheitszeichen mindestens fr ein i gilt) erfllt sind. Die geometrische Interpretation dieses Resultates fhrt uns auf den folgenden Satz. Satz I L Die Eigenwerte | , . . . z der Matrix (1) liegen nur innerhalb des abgeschlossenen Gebietes 6r, das aus allen Kreisen K (i= 1, . . . n) der #-Ebene mit den Mittelpunkten a und zugehrigen Badien
x n i i{

i=2 i^

besteht. Es kann vorkommen, dass m von den Kreisen {m = 1, . . , n) zu einem zusammenhngenden Gebiet ff zusammenfallen, wobei alle brigen Kreise ausserhalb dieses Gebietes liegen. ber die Verteilung der Eigenwerte unter verschiedenen so definierten Gebieten H kann der folgende Satz ausgesprochen werden. Satz HL In jedem Gebiet # liegen genau m Eigenwerte der Matrix (1). Es sei H aus den Kreisen
(m) (m) ( m ) (m)

-, KJ , . . . Kgebildet. Wir betrachten neben der Matrix eine andere Matrix \ bei welcher alle nicht in der Diagonale stehende Elemente der Zeilen

752

S. GEESCHGOEIN

verschwinden, die brigen aber denjenigen der Matrix A gleich sind. Die Matrix A hat sicher die Eigenwerte
1

Nun fangen wir an die oben erwhnten verschwindenden Elemente der Matrix von 0 bis zu ihren Werten in der Matrix A so stetig zu verndern, dass ihre absoluten Betrge monoton wachsen. Die Kreise

wachsen dabei stetig, bleiben jedoch immer von den brigen festen Kreisen K der ^-Ebene getrennt. Da die Eigenwerte der Matrix stetig von ihren Ele menten abhngen, folgt daraus, dass in den Kreisen
I

immer m Eigenwerte liegen mssen. Die Zahl der Eigenwerte in H kann nicht m berschreiten, da ihre gesamte Anzahl in allen Gebieten H genau n gleich sein muss. Damit ist unser Satz bewiesen.* Liegen alle Kreise getrennt voneinander, was durch die Bedin gungen
(m)

im)

(9)

*">2'

1***1

2'
h

' " * ^

J = 2,...;

j>i)

ausgedrckt werden kann, so sind alle Eigenwerte voneinander abgegrenzt. Da eine Gleichung mit reellen Koeffizienten nur paarweise konjugierte komplexe Wurzeln besitzen kann, folgt daraus unter anderen der folgende Satz. Satz IV. Sind alle Elemente der Matrix (1) reel und bestehen die Relationen (9), so sind die smtlichen Eigenwerte dieser Matrix reel. 3. In allen vorstehenden Stzen kann man statt der Zeilen die Spalten heranziehen. Wir gelangen in dieser Weise im allgemeinen zu einem neuen System G von Kreisen JV, welche auch zur Abgrenzung der Wurzeln dienen knnen. Wir knnen auch mehrere solche Kreissysteme bekommen, indem wir unsere Matrix verschiedenen Transformationen unterwerfen, bei
!

* Der Satz bleibt auch dann richtig, wenn sich ) mit den brigen Kreisen von aussen berhrt, so dass man bei Bestimmung der Gebiete ) solche Berhrungen ausser acht lassen kann.

BEE DIE ABGEENZTJNG DEE EIGEN WEETE EI NEE

753

denen das Spektrum sich nicht ndert. Man gelangt dabei im allgemeinen zu einer besseren Abgrenzung der Eigenwerte, da die letzteren nur in denjenigen Punkten liegen drfen, welche smtlichen Kreissystemen gehren. Genauer: es seien die Kreissysteme G ( X = l , . . J ) vorhanden, von denen jedes aus den Kreisen Q ( = 1, . . . n) besteht. Wir stellen uns vor, dass die Kreise von G in n (n <iri) voneinander getrennte zusammenhngende Gebiete
x (X) x x x

?,

...
2
k) ? x

.1 n\ zerfallen. Zu jedem Gebiet Hj (j= 1 . . . n ) soll mf von den Kreisen gehren. Wir bezeichnen weiter durch Sj fl ein Gebiet, welches allen Gebieten ( ) , ... .
(l) (2)

1'

gemeinsam ist (wo j - bestimmte Zahlen < bedeuten). Dann liegen im Gebiet & - (es kann auch nicht zusammenhngend sein) genau mA

>1> 31

? * *Jl
v

Eigenwerte, wo

. . die kleinste der Zahlen


7

(1)
3l
5

(2) ?2
5

(?)

ist. Wir knnen diese berlegung in folgender Weise verwenden. Es seiT ein aus den Kreisen
w

.^--> (<)

bestehendes zusammenhngendes Gebiet, welches von den anderen Kreisen getrennt liegt. Wir unterwerfen unsere Matrix A einer Transformation mit Hilfe der Matrix ^ = jt%J|, wo s = 0
iJc

I
1 1 ?

OC

(=

1 ;

i , . . .%)
2

1 ?

i ,...i )^
2 m

Die Zahl 0 < a < 1 ist noch spter genauer zu definieren. Die trans formierte Matrix SAS" entsteht 'aus A durch Multiplikation der Reihen i \ , . . mit a und Division der entsprechenden Spalten durch . Wir knnen so whlen, dass die Kreise

754
im)

S. GERSCHGORIN

des Bereiches H verkleinert werden, ohne die brigen Kreise welche sich dabei vergrssern, zu schneiden (es darf hchstens eine Berhrung von aussen eintreten). Damit erreichen wir eine bessere Abgrenzung "der.in liegenden Eigenwerte. Wir wollen nher auf den Fall m 1 eingehen. Es sei K ein isoliert liegender Kreis. Die Bedingungen fr a lauten dann
) {

(10)

f> ^

I I

I 1

.^S" I 1 ^

=>

wobei "V" die Summation ber alle k mit Ausnahme k = i und Jc=j . bedeutet. Man kann, wie leicht zu ersehen .ist, allen ber a gestellten Bedingungen gengen, indem wir setzen *

\ u jj\2"
a

/ ^

a u

~~ #' ~ 2" ) \ \ 2' i rti


l
1

= max

Je

V
2

2'*1

Wir kommen damit zum folgenden Resultat. Satz V. Ist Kj ein isoliert liegender Kreis des Gebietes 6r, so liegt der zugehrige Eigenwert innerhalb des zu K konzentrischen kleineren Kreises E- mit dem Radius
{

R.'==aB.=

fc

Je

* Das Zeichen max bedeutet das Maximum der nachstehenden Grsse fr aUe Werte von j ausser j = i.