Estoy estudiando mecánica clásica en "Métodos matemáticos de mecánica clásica" de Arnold. En un problema me piden encontrar para qué las órbitas circulares en el problema del campo central son Lyapunov estables con el potencial en la forma
Permítanme llamar estabilidad radial a la estabilidad de alrededor , dónde es el radio de la órbita circular. La diferencia entre ésta y la estabilidad de Lyapunov es que esta última no sólo busca sino también al ángulo polar (para una fuerza central) y sus momentos conjugados. Entonces, en este sentido, diría que Lyapunov es más fuerte.
Básicamente una órbita en el espacio de fase Lyapunov es estable si permanece arbitrariamente cerca de la órbita (la órbita circular) siempre que hagamos arbitrariamente cercanas las condiciones iniciales de ambos casos. Ahora bien, si restringimos este criterio de Lyapunov solo para la coordenada radial, entonces coincide con el criterio de estabilidad radial.
No voy a probar el resultado que afirma Arnold, pero puedo darte alguna intuición. Considere, por ejemplo, la fuerza atractiva del cuadrado inverso cuyo potencial es . Una órbita perturbada (alrededor de la circular) es una elipse. Por la tercera ley de Kepler tenemos que el periodo de esta órbita perturbada es
Ahora considere un oscilador armónico isotrópico, . La órbita se puede obtener por una superposición de dos movimientos armónicos, con la misma frecuencia, colocados ortogonalmente en el plano. Dado que el período de cada movimiento armónico es independiente de la amplitud, el período del oscilador isotrópico también es independiente de la amplitud. La diferencia es por lo tanto constante y puede hacerse arbitrariamente pequeño eligiendo condiciones iniciales arbitrariamente cercanas. El oscilador isotrópico es Lyapunov estable.
Creo que una prueba de la afirmación de Arnold sería proponer potenciales de ley de potencia atractivos y radialmente estables, , , y luego demuestre que solo para el período de la órbita perturbada es igual al período de la órbita circular.
jerry schirmer