Consideremos el sistema autonomo

y supongamos que tiene un punto crtico aislado; sea (0, 0) dicho punto crtico (un punto
crtico (x0, y0) se puede llevar al orgen mediante la traslacion de coordenadas x = u x0, y =
v y0).

Sea (x(t), y(t)) una trayectoria de (8.32) y consideremos la funcion E(x, y) continua y con
primeras derivadas parciales continuas en una region que contiene a la trayectoria. Si un
punto (x, y) se mueve a lo largo de las trayectorias de acuerdo a las ecuaciones x = x(t) y y =
y(t), entonces

es una funcion de t sobre , su razon de cambio es

Esta formula es la idea principal de Liapunov.

Definicin:

Supongamos que E(x, y) es continua y tiene primeras derivadas parciales continuas en una
region que contiene al origen. Si E(0, 0) = 0

Si E(x, y) > 0 para todo (x, y) 6= (0, 0), decimos que E es definida positiva.

Si E(x, y) < 0 para todo (x, y) 6= (0, 0), decimos que E es definida negativa.

Si E(x, y) 0 para todo (x, y) 6= (0, 0), decimos que E es semidefinida positiva.

Si E(x, y) 0 para todo (x, y) 6= (0, 0), decimos que E es semidefinida negativa.

Definicion 8.6 (funcion de Liapunov): Decimos que E(x, y) es una funcin de Liapunov para el
sistema (8.32), si:

E(x, y) es continua, con primeras derivadas parciales continuas en una region que contiene al
orgen.

E(x, y) es definida positiva.

Existe la derivada de E a lo largo de las trayectorias u orbitas del sistema (8.32) y sea menor o
igual que cero sobre la trayectoria, es decir, que exista la siguiente derivada
Cuando decimos que E(x,y) es una
funcin de Liapunov estricta

Teorema 1(criterio de Liapunov)

a. Si existe una funcin de Liapunov para el sistema (8.32) entonces el punto crtico (0, 0)
es estable.
b. b. Si existe una funcin de Liapunov estricta para el sistema (8.32) entonces el punto
crtico (0, 0) es asintticamente estable.
c. c. Si E 0 (x, y) es definida positiva entonces (0, 0) es un punto crtico inestable.

Ejemplo :

La E.D. de una masa m sujeta a un resorte de constante k, en un medio que ofrece un

amortiguamiento de coeficiente C es

donde C 0, k > 0. Analizar la estabilidad de su punto crtico.

Solucin:

El sistema autnomo equivalente es:

Su nico punto critico es (0.0)l la energa cinetica es y la energa potencial es

Luego la energa total la cual es definida como positiva como

Luego, E(x, y) es una funcin Liapunov para el sistema y por tanto (0, 0) es estable. Se sabe que
si C > 0 el punto crtico (0, 0) es asintticamente estable, pero la funcin Liapunov no detecta
este hecho.
Teorema 2

La funcin es :

Definida positiva si y solo si

Semidefinida positiva si y solo si

Definida negativa si y solo si

Semidefinida negativa si y solo si

Demostracin:

Veamos la primera parte.

Si y=0 entonces

Si

Y si a> 0, el polinomio cuadrtico en x/y es positivo para todo x/y si y solo si