Estabilidad de Sistemas Lineales

Consideremos un problema de
Cauchy para un sistema lineal:

(t) = A(t)x(t) +b(t)

x(t
0
) = x
0
con A y b funciones continuas
t [a, ).
Como sabemos, esto basta para asegurar que existe una solucin nica a cualquier problema de
Cauchy con condicin inicial x(t
0
) = x
0
x
0
IR
n
, t
0
[a, ). Esta solucin est, adems,
denida t [a, ) (Teorema de Picard-Lindelf). Para discutir la estabilidad a la derecha de
la solucin de este problema nos basta, por tanto, compararla con las soluciones con condicin
inicial prxima. Sean los problemas:

(t) = A(t)x(t) +b(t)

x(t
0
) = x
0

(t) = A(t)x(t) +b(t)

x(t
0
) = x

0
Si (t) es la matriz fundamental que cumple (t
0
) = I, las soluciones de estos dos problemas
son:
x(t) = (t)x
0
+ (t)

t
t
0

1
(s)b(s)ds x

(t) = (t)x

0
+ (t)

t
t
0

1
(s)b(s)ds
y su diferencia:
||x(t) x

(t)|| = ||(t)x
0
(t)x

0
|| = ||(t) (x
0
x

0
) || t [a, )
Aunque est fuera de los objetivos de este curso, es fcil demostrar que ||(t) (x
0
x

0
) ||
||(t)|| || (x
0
x

0
) ||, es decir:
El carcter de estabilidad de una solucin solo depende del comportamiento de ||(t)||.
En particular, todas las soluciones de un sistema lineal tienen el mismo carcter
de estabilidad.
Este carcter no depende de la funcin b.
Como consecuencia de lo anterior, basta con estudiar el carcter de estabilidad de
la solucin x = 0 del problema homogneo asociado para conocer el de cualquier
solucin.
Criterios
El carcter de estabilidad, segn se comporte la norma de (t) es:
Si ||(t)||
t
Cte = 0 = Soluciones estables (no asintticamente)
Si ||(t)||
t
0 = Soluciones asintticamente estables
Si ||(t)||
t
= Soluciones inestables
1
Haciendo uso de las propiedades de la norma de una matriz y su relacin con el determinante
podemos demostrar el
Criterio 1 Si det[(t)]
t
= Soluciones inestables
Si det[(t)]
t
0 = Soluciones no asintticamente estables
Y como consecuencia de ste y de la identidad de Jacobi:
Criterio 2 Si tr[A(s)]
t
+ = Soluciones inestables
Si tr[A(s)]
t
= Soluciones no asintticamente estables
En lo que se reere a la estabilidad a la izquierda basta con cambiar en lo anterior el intervalo
[a, ) por (, b] y los lmites t a t .
Coecientes constantes
Sea el sistema x

(t) = A(x(t) +b(t) con A M

n
(IR).
Dada la forma de las soluciones de los sistemas lineales de coecientes constantes como combi-
naciones de exponenciales por polinomios, es fcil demostrar el siguiente
Teorema:
Si todos los autovalores de A tienen parte real negativa el sistema es asintticamente
estables (es decir, lo son todas sus soluciones)
Si todos los autovalores de A tienen parte real menor o igual a 0 y todo autovalor con
Re() = 0 tiene multiplicidades aritmtica y geomtrica iguales, el sistema es estable no
asintticamente.
En cualquier otro caso el sistema es inestable.
Existen criterios para saber si las races de un polinomio tienen parte real negativa o no. Los ms
potentes sern objeto de estudio en asignaturas posteriores (Ppio. del argumento, Nyquist). Por
el momento bastar en muchos casos aplicar la lgica.
Ejemplo: Sea x

(t) = Ax(t) +b(t) con A =

0 1 2 3 5
1 3 7 4 e
7 3 9 0 4
1 2 0 2 3
4 9 3 7 1

Por ser la traza de una matriz un invariante bajo cambios de base, la suma de los autovalores de
A es igual a tr[A] = 3 > 0 por lo que al menos uno de ellos tiene parte real positiva. Concluimos,
por tanto, que todas las soluciones del sistema son inestables
2
Ejemplo: Sea la matriz A =

0 1 0
0 0 1
1 1 0

Su polinomio caracterstico es
p
A
() =
3
1
A la vista del polinomio caracterstico est claro que 0 no es autovalor. Sin embargo, la suma de
los autovalores es 0, por lo que, como en el caso anterior, al menos uno de ellos tiene parte real
positiva (hay al menos un autovalor real por ser la dimensin impar).
Concluimos que las soluciones de cualquier sistema que tenga a Apor matriz, x

(t) = Ax(t)+b(t)
son inestables.
Jos Olarrea Busto
3