Facultad Regional Concepcin del Uruguay o Universidad Tecnolgica Nacional o

Ing. Pereira 676 - E3264BTD C. del Uruguay (ER) - ARGENTINA (++54) 3442 423 803 http://www.frcu.utn.edu.ar

Clculo Avanzado 2010 a

FRCU UTN

Teoremas de Gerschgorin
V ERSION 1.0 May 9, 2012

1.

Introduccin o

En 1931 el matem tico ruso Semyon Aranovich Gerschgorin public el artculo Uber die Abgrena o zung der Eigenwerte einer matrix, Akademia Nauk SSSR, Mathematics and Natural Sciences, 7: pp. 749-754, en el que se describe de qu manera obtener todos los autovalores de una matriz compleja. e este resultado puede usarse tanto para encontrar los autovalores como para derivar resultados de perturbaci n. o

2.

Resultados

T EOREMA 1. [Gerschgorin] Todos los autovalores de la matriz A Cnn yacen en la uni n de los o D ISCOS DE G ERSCHGORIN en el plano complejo D = {z| |z a | r } , P RUEBA .
n

r =

j=1, j=

|ai |,

i = 1, 2, . . . , n.

(1)

Si es un autovalor de A, entonces existe un autovector x = 0 tal que Ax = x, i.e.

n

( a )x = Eligiendo tal que |x | = x

j=1, j=

a jx j,

= 1, 2, . . . , n.

se tiene entonces
n

| a |

j=1, j=

|a j | |x j | r . |x |

(2)

El Teorema de Gerschgorin es muy util para la estimaci n de autovalores de matrices, y puede o tambi n utilizarse para dar una estimaci n precisa de autovalores de matrices pr ximas a una matriz e o o diagonal. Puesto que A y AT tienen los mismos autovalores, se puede en el caso no Hermtico, obtener informaci n acerca de la localizaci n de los autovalores aplicando este resultados a AT . o o De (2) se sigue que si la - sima componente del autovector es maximal, entonces est en el disco e a - simo. Por otra parte, el Teorema de Gerschgorin no dice en cual de los discos est el autovalor. A e a veces es posible dar alguna precisi n como lo muestra en el siguiente resultado: o T EOREMA 2. Si la uni n M de k discos D de Gerschgorin es disjunta de los dem s, entonces M o a contiene precisamente k autovalores de A.

Clculo Avanzado 2010 - O.R. Faure & V.C. Rougier a

Teoremas de Gerschgorin

P RUEBA .

Consid rese para t [0, 1] la familia de matices e A(t) = tA + (1 t)DA , donde DA = diag a .

Los coecientes en los polinomios caractersticos son funciones continuas de t, y por lo tanto tambi n e lo ser n los autovalores (t) de A(t) como funciones de t. Puesto que A(0) = DA y A(1) = A se tiene a que (1) = . Para t = 0 hay exactamente k autovalores de M . Debido a la continiudad, un autovalor no puede saltara un subconjunto que no tenga una conecci n continua con a para t = 1. Por lo o tanto k autovalores de A = A(1) yacen en M . E JEMPLO 3. La matriz 2 0.1 1 A = 0.1 0.05 0.1 0.05 0.2 1

con autovalores 1 = 0.8634, 2 = 1.1438 y 3 = 1.9928, tiene los discos de Gerschgorin siguientes: D1 D2 D3 = {z| |z 2| 0.15}; = {z| |z 1| 0.3}; = {z| |z 1| 0.15};

Dado que D1 es disjunto de los dem s discos, debe contener procisamente un autovalor de A. El resto a de los autovalores deben encontrarse en D2 D3 = D2 .

Clculo Avanzado 2010 - O.R. Faure & V.C. Rougier a