Resumen. Demostramos el teorema de los cı́rculos de Gershgorin y da-
mos ejemplos de aplicación.
Definición. Sea A = [aij ] ∈ Cn×n . Para cada i = 1, 2, . . . , n consideremos
los cı́rculos cerrados del plano complejo X Di = D(aii , ri ) = {z ∈ C : |z − aii | ≤ ri } con ri = |aij | . j6=i
A tales cı́rculos se les llama cı́rculos de Gershgorin. Cada cı́rculo Di tiene
su centro en el elemento aii de la diagonal principal y su radio es la suma de los módulos de los restantes elementos de la fila i. Teorema (De los cı́rculos de Gershgorin). Cada valor propio de A pertenece a algún cı́rculo de Gershgorin. Demostración. Sea λ un valor propio de A y sea 0 6= x = (xj ) un vector propio asociado a λ. Llamemos xi a la coordenada de x de mayor módulo. Claramente |xi | > 0 pues en otro caso serı́a x = 0. Se verifica Ax = λx, es decir a11 a12 . . . a1n x1 x1 a21 a22 . . . a2n x2 x2 .. .. = λ .. .. . . . . an1 an2 . . . ann xn xn o bien, n X aij xj = λxi ∀i = 1, . . . , n. j=1 P De forma equivalente j6=i aij xj = λxi −aii xi y dividiendo ambos miembros entre xi y tomando módulos P j6=i aij xj X aij xj X
|λ − aii | = ≤ xi ≤ |aij | = ri . xi j6=i j6=i
Es decir, λ ∈ D(aii , ri ).
Key words and phrases. teorema, cı́rculos, Gershgorin .
1 2 FERNANDO REVILLA
1 2 Ejemplo 1. Consideremos la matriz A = y hallemos sus valores 1 −1 propios: √ χ(λ) = λ2 − 3 = 0, λ = ± 3. Los cı́rculos de Gershgorin son D1 = D(1, 2),D2 = D(−1, 1). √ √ Con un sencillo gráfico podemos verificar √ que √− 3 ∈ D2 y que 3 ∈ D1 . En éste caso, ocurre además que − 3 ∈/ D1 y 3 ∈ / D2 .
1 −1 Ejemplo 2. Consideremos la matriz A = y hallemos sus valores 2 −1 propios: χ(λ) = λ2 + 1 = 0, λ = ±i. Los cı́rculos de Gershgorin son D1 = D(1, 1), D2 = D(−1, 2). Con un sencillo gráfico podemos verificar que −i ∈ D2 , i ∈ D2 . Sin embar- go, D1 no contiene a ningún valor propio de A. Nótese que el teorema de Gershgorin asegura que todo valor propio pertenece a algún cı́rculo, pero puede que algún cı́rculo no contenga valores propios. Ejemplo 3. Para toda matriz diagonal A = diag (λ1 , λ2 , . . . , λn ) ∈ Cn×n sus valores propios son λ1 , λ2 , . . . , λn y sus cı́rculos de Gershgorin D1 (λ1 , 0) = {λ1 }, D2 (λ2 , 0) = {λ2 }, . . . , Dn (λn , 0) = {λ2 } con lo cual, λi ∈ Di (λi , 0) para todo i = 1, 2, . . . , n. Ejemplo 4. Dado que toda matriz A y su traspuesta AT tienen los mismos valores propios, el teorema de Greshgorin sigue siendo válido si consideramos los discos X Di0 = D(aii , ri0 ) = {z ∈ C : |z − aii | ≤ ri0 } con ri0 = |aji | . j6=i
Es decir, cada cı́rculo Di0
tiene su centro en el elemento aii de la diagonal principal y su radio es la suma de los módulos de los restantes elementos de la columna i.
Department of Mathematics, UAX University, Villanueva de la Cañada,
Madrid and Head of the Department of Mathematics, IES Santa Teresa de Jesús, Ministry of Education, Spain. Current address: Retired E-mail address: frej0002@ficus.pntic.mec.es