Acerca del Teorema de Gershgorin

La siguiente nota se refiere al Teorema de Gershgorin y esta motivada parcialmente por la parte c) de dicho teorema que puede verse en las notas de Geometra y Algebra Lineal 2 de la Facultad de Ingeniera en una versi
on 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 responsabilidades 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

A=

a11 a12
a21 a22
... ...
an1 an2

...
...
...
...

. . . a1n
. . . a2n
... ...
. . . ann

I .
con coeficientes aij C

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

| aii | fi =

j=n
X

|aij | y existe h {1, 2, , n} tal que

j=1,j6=i

| ahh | ch =

j=n
X
j=1,j6=h

|ajh |

b) Ademas si
Fij = {z C/ | z aii | | z ajj | fi fj }
y
Cij = {z C/ | z aii | | z ajj | ci cj }
entonces

Fij ,

i,j

Cij .

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 hecho 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 conviene 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

aih xh = ( aii )xi ;

h=1,h6=i

k=n
X

aik xk = ( ajj )xj

k=1,k6=j

Multiplicando ambas expresiones entre s, tomando valores absolutos y usando

la desigualdad triangular obtenemos

h=n
X

h=1,h6=i

|aih | | xh |

k=n
X

1aik | | xk | (| aii || xi |) (| ajj || xj |)

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.

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
n
n
(Cjn j + Cj1
j1 an1 + Cj2
j2 an2 + + anj

y
n
n
(Cjn j + Cj1
j1 bn1 + Cj2
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 )

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 peque
nos.
Lema 1: Existe 1 > 0 > 0 tal que P () 6= 0 para todo tal que 0 < || < 0 .
Demostracion: Hay un n
umero 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 |
1 k
k 1

1
1 0
Si > 0 es suficientemente peque
no resulta entonces que
(||k1 + + || + 1) =

|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
de borde la circunferencia , entonces

f (z)dz = 0. Si es una circunferencia

alrededor del punto a (en particular si es su centro) entonces

1 R dz
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
1
2i

P 0 ()
d = k Z
P ()

donde k es el n
umero de races del polinomio P en el interior de . En particular
es un n
umero 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 ()
El cociente

P 0 ()
P ()

queda entonces
P 0 ()
h1
h2
=
+

P ()
x1 x2
5

 +
Al calcular

hs
a0 ()
+
xs
a()

1
2i

hj d
xj

nos da hj (lema 3) Al calcular

Z

1
2i

a0 ()
a()

da 0 por ser analtica en la funcion

a0 ()
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
1
2i

P 0 ()
=k
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
1
2i

Q0 ()
d
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

1
2i

Q0 ()
1
d
Q(
2i

P 0 ()
d
P (

y probemos que da 0.
|

1
2i

Q0 ()
1
d
Q()
2i

1
=|
2i
1
2

1
2
1
2

1
2

|(

P 0 ()
d| =
P ()

Q0 () P 0 ()

)d|
Q()
P ()

Q0 () P 0 ()

)||d| =
Q()
P ()

|(

Q0 ()P () P 0 ()Q()
|d|
Q()P ()

|(

Q0 ()P () P 0 ()Q()
|d|
2k |ak |2 /8

|(

Q0 ()P () P 0 ()Q()
|d|
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 com
un 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

1
2

Q0 ()P () P 0 ()Q()
|d|
2k |ak |2 /8
Z

Kk1
8K
|d| k
2k
2
|ak | /8
|ak |2

donde tuvimos en cuenta que la longitud de es 2.

Si tomamos > 0 suficientemente peque
no resultara que la diferencia es menor
que 1 en valor absoluto y por tanto igual a 0 lo que concluye la demostracion.

jlvb

hola