Usando la definición de δδ\delta-εε\varepsilon para probar la estabilidad del sistema autónomo

Quiero probar que un punto de equilibrio de un sistema autónomo simple es estable usando el d - ε definición. Por 'sistema autónomo' me refiero a un sistema que no depende explícitamente del tiempo, es decir, F ( t , X ) = F ( X ) .

Mi criterio de estabilidad (en el sentido de Lyapunov) es:

ε > 0 , d > 0 : X ( 0 ) < d t R + X ( t ) < ε

Considere un sistema 1D simple de la forma:

X ˙ = X + X 2
que tiene dos puntos de equilibrio, a saber X mi , 1 = 0 y X mi , 2 = 1 , al resolver X ˙ = 0 .

quiero mostrar eso X mi , 1 es estable encontrando un d = d ( ε ) que satisface mis criterios de estabilidad. Al graficar el sistema con varias condiciones iniciales sé que X mi , 1 también es atractivo, pero ¿adónde debo ir desde aquí? ¿Cómo podría encontrar un derecho? d ( ε ) ?

Esta definición de estabilidad tiene más sentido en dimensiones más altas, por ejemplo en 2D con la métrica euclidiana y un sistema ODE que tiene espirales "elípticas" hacia el punto de equilibrio, de modo que el radio a lo largo de una trayectoria no es monótono, oscila con amplitud decreciente.

Respuestas (1)

La solución al problema del valor inicial

X ˙ = X + X 2 , X ( 0 ) = X 0
es
X ( t ) = 1 1 ( 1 1 / X 0 ) mi t .
su derivada es
X ˙ ( t ) = ( 1 1 / X 0 ) mi t ( 1 ( 1 1 / X 0 ) mi t ) 2 .
Tenga en cuenta que el denominador de esta fracción no puede ser igual a cero si t 0 .

Dejar X 0 ( 1 , 1 ) { 0 } . Tenemos 1 1 X 0 < 0 si X 0 ( 0 , 1 ) y 1 1 X 0 > 0 si X 0 ( 1 , 0 ) , de este modo X ˙ ( t ) es positivo ( X ( t ) es monótonamente creciente) si X 0 ( 1 , 0 ) y X ˙ ( t ) es negativo ( X ( t ) es monótonamente decreciente) si X 0 ( 0 , 1 ) . Dado que la solución al problema de valor inicial no puede cruzar el punto de equilibrio X = 0 , su norma X ( t ) disminuye monótonamente para todos t 0 y X 0 ( 1 , 1 ) { 0 } . Esto significa que podemos elegir d ( ε ) = min ( ε , 1 ) en la definición de estabilidad.