Acerca del Teorema de Gershgorin

La siguiente nota se refiere al Teorema de Gershgorin y esta motivada parcial-

mente por la parte c) de dicho teorema que puede verse en las notas de Ge-
ometra y Algebra Lineal 2 de la Facultad de Ingeniera en una version incompleta,
apelando para ello a creer que las races de un polinomio varan con continuidad
con los coeficientes del mismo. Me parece que debemos intentar saber siempre un
poco mas (al menos) de lo que se nos pide en los cursos que impartimos. Muy en
particular, los ayudantes que solo estudian Ingeniera, no poseen (a partir de los
cursos que recibieron en Facultad), muchas veces, en algunos temas de Algebra
Lineal la suficiente profundidad de conocimientos y es parte de sus responsabili-
dades el cubrir los posibles deficits y la nuestra el ayudar a que eso se realice.

En estas notas se intenta completar la prueba de c) que descansa en el hecho

siguiente: Si un polinomio P () de grado n > 0 tiene raz 0 con multiplicidad
k, 0 k n, y el polinomio Q() de grado n tiene sus coeficientes cercanos
a los de P , entonces Q tiene exactamente k races cercanas a 0 (contadas con
multiplicidad).
A lo anterior se le agrega la parte b) que da mas condiciones de donde buscar
los autovalores. Para esta parte vale un analogo de la parte c). Las regiones que
aparecen en a) son crculos y en b) son lemniscatas de Bernoulli.
Me limito pues a las partes que no estan en los apuntes.
Teorema de Gershgorin
Sea A una matriz

a11 a12 ... . . . a1n
a21 a22 ... . . . a2n

A= con coeficientes aij C
I .
... ... ... ... ...
an1 an2 ... . . . ann

a) Si es un autovalor de A entonces existe i {1, 2, , n} tal que

j=n
X
| aii | fi = |aij | y existe h {1, 2, , n} tal que
j=1,j6=i

j=n
X
| ahh | ch = |ajh |
j=1,j6=h

1
b) Ademas si
Fij = {z C/ | z aii | | z ajj | fi fj }

y
Cij = {z C/ | z aii | | z ajj | ci cj }

entonces
[ [
Fij , Cij .
i,j i,j

c) Si M = Ci1 Ci2 Cim es disjunta con la union de los restantes discos Ci

entonces hay exactamente m valores propios de A (contados con su multiplicidad
como races del polinomio caracterstico) en M .
Demostracion:
La parte a) es un poco mas completa que lo de los apuntes y se basa en el he-
cho de que A y su transpuesta At tienen los mismos autovalores. La prueba es
inmediata.
La parte b) merece similares consideraciones que a). En definitiva: a veces con-
viene usar las columnas y otras las filas. Es mas, con cuidado, se pueden mezclar
las condiciones de fila con las de columna, tanto en a) como en b).
Respecto a la prueba de b) lo hacemos para Fij :
Sea x = (x1 , x2 , , xn ) un autovector asociado al autovalor .
Sea | xi |= max {| xh | / h = 1, , n} y | xj |= max {| xh | / h = 1, , n, h 6= i}.
Entonces | xi || xj || xh | para todo h = 1, , n; h =
6 i; h 6= j. Como es un
autovalor se tiene que Ax = x y por lo tanto
h=n
X k=n
X
aih xh = ( aii )xi ; aik xk = ( ajj )xj
h=1,h6=i k=1,k6=j

Multiplicando ambas expresiones entre s, tomando valores absolutos y usando

la desigualdad triangular obtenemos

h=n
X k=n
X
|aih | | xh | 1aik | | xk | (| aii || xi |) (| ajj || xj |)
h=1,h6=i k=1,k6=j

Si | xj |> 0 dividimos por | xi | | xj | obteniendo la desigualdad. Si no, si

| xj |= 0, entonces para todo h 6= i se cumple que xh = 0, mientras que xi 6= 0.
En este caso aii = y la tesis es obvia.

2
 Para la parte c) nos limitamos a probar lo que comentamos antes: Si un
polinomio P de grado n tiene raz 0 con multiplicidad k entonces dado > 0
existe > 0 tal que si los coeficientes de Q distan de los de P menos que
entonces Q tiene k races en un entorno de centro 0 y radio en el plano complejo.
Supondremos ademas que los polinomios son monicos, que es lo que pasa para
polinomios caractersticos.
Lo primero a observar es que la transformacion que a le hace corresponder +
lleva la raz 0 de multiplicidad k de P () en la raz 0 de multiplicidad k
de P ( + ) y si los coeficientes de Q() distaban poco de los de P () entonces
los de Q( + ) distaran poco de los de P ( + ) y recprocamente.
En efecto: si
P () = n + an1 n1 + + a1 + a0

y
Q() = n + bn1 n1 + + b1 + b0

entonces los terminos generales de grado n j de

P ( + ) = ( + )n + an1 ( + )n1 + + a1 ( + ) + a0

y de
Q( + ) = ( + )n + bn1 ( + )n1 + + b1 ( + ) + b0

van a ser respectivamente

(Cjn j + Cj1
n
j1 an1 + Cj2
n
j2 an2 + + anj

y
(Cjn j + Cj1
n
j1 bn1 + Cj2
n
j2 bn2 + + bnj

Si se tiene que para todo i, ai bi 0 entonces claramente lo mismo pasa

para estos coeficientes. Recprocamente, si los coeficientes transformados estan
proximos tambien lo estan los originales, esto se deduce de que los coeficientes
originales se obtienen con la transformacion que a le hace corresponder
aplicada a P ( + ) y Q( + ).
De lo anterior se concluye que alcanza con probar el resultado cuando 0 =
0. Para ello alcanza con transformar P () y Q() en P ( + 0 ) y Q( + 0 )

3
respectivamente.
Sea entonces P un polinomio de grado n con la raz 0 de multiplicidad k. Entonces

P () = k (nk + an1 nk1 + + ak )

Por su parte

Q() = k (nk + bn1 nk1 + + bk ) + bk1 k1 + + b1 + b0

De la hipotesis de que la multiplicidad de 0 es k se concluye que ak 6= 0. Podemos

suponer que |bk | > |ak |/2 y que los coeficientes bk1 , . . . , b0 son muy pequenos.

Lema 1: Existe 1 > 0 > 0 tal que P () 6= 0 para todo tal que 0 < || < 0 .
Demostracion: Hay un numero finito de races de P . De otro modo mas analtico:

|P ()| = |k (nk + an1 nk1 + + ak )|

|k |(|nk | + |an1 ||nk1 | + + |ak |)

Tomemos 0 tan chico que |nk | + |an1 ||nk1 | + + |ak+1 ||| < |ak |/16.

Lema 2: Dado > 0, < 0 con 0 como en el lema 1, existe > 0 tal que si
|bi ai | < para todo i = 0, 1, . . . , n 1 entonces Q() 6= 0 para todo tal que
|| = .
Demostracion: Si los bi estan bastante cerca de los ai podemos lograr que si || <
0 entonces |nk | + |bn1 ||nk1 | + + |bk+1 ||| < |ak |/8. Como |bk | > |ak |/2,
se tiene que

|k (nk + bn1 nk1 + + bk+1 + bk )| ||k 3|ak |/8 = 3k |ak |/8

Por otro lado

|bk1 k1 + + b1 + b0 | |bk1 |||k1 + + |b1 ||| + |b0 |

k 1 1 k
(||k1 + + || + 1) =
1 1 0
Si > 0 es suficientemente pequeno resulta entonces que

|bk1 k1 + + b1 + b0 | k |ak |/8

4
De aqu resulta que |Q()| k |ak |/4 sobre la circunferencia de centro 0 y radio
.

Lema 3: Si f (z) es una funcion analtica en , siendo un disco cerrado

R
de borde la circunferencia , entonces f (z)dz = 0. Si es una circunferencia
1 R dz
alrededor del punto a (en particular si es su centro) entonces 2i za = 1.
Demostracion: Lo primero es el Teorema de Cauchy para funciones analticas.
Lo segundo puede calcularse parametrizando la circunferencia .
Ejercicio: Probar el Lema 3 usando el teorema de Green asumiendo que si
z = x + iy y f (z) = g(x, y) + ih(x, y) las funciones g y h son de clase C
en (esto es cierto en el caso de que f (z) sea el cociente de dos polinomios y el
denominador no se anule en )

Lema 4: Si P () es un polinomio que no se anula en la circunferencia borde

del disco y esta orientada positivamente entonces
Z
1 P 0 ()
d = k Z
2i P ()
donde k es el numero de races del polinomio P en el interior de . En particular
es un numero entero.
Esto se conoce como el teorema de Rouche, que es en realidad mas completo y
se refiere a funciones meromorfas.
Demostracion: Supongamos que

P () = ( x1 )h1 ( x2 )h2 ( xs )hs a()

donde x1 , x2 , . . . , xs son todas las races de P en el disco con multiplicidad

respectiva h1 , h2 , . . . hs , mientras que a() 6= 0 en .
Entonces

P 0 () = h1 ( x1 )h1 1 ( x2 )h2 ( xs )hs a()+

+h2 ( x1 )h1 ( x2 )h2 1 ( xs )hs a() +

+hs (x1 )h1 (x2 )h2 (xs )hs 1 a()+(x1 )h1 (x2 )h2 (xs )hs a0 ()
P 0 ()
El cociente P () queda entonces

P 0 () h1 h2
= +
P () x1 x2

5
 hs a0 ()
+ +
xs a()
Al calcular Z
1 hj d
2i xj
nos da hj (lema 3) Al calcular
Z
1 a0 ()
2i a()
a0 ()
da 0 por ser analtica en la funcion a() Reuniendo toda la informacion se
obtiene la tesis.
Corolario: Si P tiene la raz 0 con multiplicidad k y y 0 son como en los lemas
1 y 2 entonces Z
1 P 0 ()
=k
2i P ()
donde = {z C/|z| = }

Proposicion: Dado

P () = k (nk + an1 nk1 + + ak )

polinomio de grado n con raz 0 de multiplicidad k y > 0 existe > 0 tal que
todo polinomio

Q() = k (nk + bn1 nk1 + + bk ) + bk1 k1 + + b1 + b0

que cumpla |aj bj | < para todo j = 0, 1, . . . , n 1 tiene en {z C/|z| < }

exactamente k races (contadas con multiplicidad).
Demostracion: Tomando = {z C/|z| = } calculamos
Z
1 Q0 ()
d
2i Q(

Va a ser un entero que si coincide con k nos dice que en el entorno de centro 0 y
radio el polinomio Q tiene k races. Esto terminara la demostracion. Para ello
calculemos Z Z
1 Q0 () 1 P 0 ()
d d
2i Q( 2i P (

6
y probemos que da 0.
Z Z
1 Q0 () 1 P 0 ()
| d d| =
2i Q() 2i P ()
Z
1 Q0 () P 0 ()
=| ( )d|
2i Q() P ()
Z
1 Q0 () P 0 ()
|( )||d| =
2 Q() P ()
Z
1 Q0 ()P () P 0 ()Q()
= |( |d|
2 Q()P ()
Z
1 Q0 ()P () P 0 ()Q()
|( |d|
2 2k |ak |2 /8
Z
1 Q0 ()P () P 0 ()Q()
|( |d|
2 2k |ak |2 /8
En cada monomio de grado j + h 1 en del numerador a integrar aparecen
terminos de la forma j(bj ah aj bh )j+h1 (aj son los coeficientes de P y bj los
de Q). Como |bj aj | < para todo j = 0, 1, . . . n 1 resulta que cada uno de
esos terminos es menor o igual en modulo que j(|ah | + |aj |)j+h1 . Si M es el
maximo de {|aj |/j = k, k + 1, . . . , n 1} entonces se tiene que cada termino como
los anteriores puede acotarse por 2jM j+h1 . Se concluye que el numerador
queda acotado por Kk1 donde en K > 0 hemos incluido todos los terminos
como el anterior a los que se les saco de factor comun k1 ya que k 1 es el
exponente mas chico que puede aparecer en si 0 es raz de orden k de P . Queda
entonces Z
1 Q0 ()P () P 0 ()Q()
| |d|
2 2k |ak |2 /8
Z
1 Kk1 8K
2k 2
|d| k
2 |ak | /8 |ak |2
donde tuvimos en cuenta que la longitud de es 2.
Si tomamos > 0 suficientemente pequeno resultara que la diferencia es menor
que 1 en valor absoluto y por tanto igual a 0 lo que concluye la demostracion.

jlvb

7
hola