Lyapunov estabilidad de órbitas circulares

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

tu ( r ) = r α , 2 α <
yo se que la respuesta es α = 2 pero no puedo averiguar por qué. Conozco la definición de estabilidad de Lyapunov (la solución φ ( t ) definido en ella, por ejemplo, intervalo máximo derecho de existencia, j φ + = [ τ , + ) , con condición inicial ( τ , ξ ) para un sistema autónomo Lyapunov es estable si ε , d ( ε ) tal que si ξ η < d la solución ψ ( t ) con condición inicial ( τ , η ) se define en j ψ + = j φ + y ψ ( t ) φ ( t ) < ϵ , t [ τ , + ) ) y también sé cómo usar la función de Lyapunov para probar esta propiedad. El problema es que no puedo encontrar una función de Lyapunov adecuada ni probar la estabilidad de Lyapunov usando los valores propios de la solución del sistema. Tampoco puedo entender la diferencia entre esta condición y la condición de estabilidad que puedo encontrar con pequeñas desviaciones de la condición. r ¨ = 0 . De hecho (suponiendo que METRO es el momento angular para el sistema y la masa metro =1) tenemos que:
r ¨ METRO 2 r 3 = tu ( r ) r = F ( r )
y para r ¨ = 0 tenemos las órbitas circulares para el sistema donde el radio r C está dada por la relación
METRO 2 r C 3 = tu ( r ) r | r = r C = F ( r C )
Para pequeñas salidas r C + ε sustituyendo en la ecuación anterior y usando la expansión de Taylor tenemos
F ( r C + ε ) = ε ¨ METRO 2 ( r C + ε ) 3 ε ¨ = ( F ( r C ) + 3 F ( r C ) r C ) ε
Ahora bien, si el término entre paréntesis es negativo, tengo la ecuación de un oscilador armónico y, por lo tanto, las órbitas circulares son estables en este sentido. Con el potencial en forma tu ( r ) = r α esta condición es α > 3 . Resumiendo, mis preguntas son:

  • ¿Cuál es la diferencia entre estos dos tipos de estabilidad?
  • ¿Es Lyapunov uno más fuerte y en qué sentido lo es?
  • ¿Cómo puedo probar que si α = 2 ¿Las órbitas circulares son Lyapunov estables?

Respuestas (1)

Permítanme llamar estabilidad radial a la estabilidad de r alrededor r 0 , dónde r 0 es el radio de la órbita circular. La diferencia entre ésta y la estabilidad de Lyapunov es que esta última no sólo busca r 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 λ ( t ) en el espacio de fase Lyapunov es estable si permanece arbitrariamente cerca de la órbita λ 0 ( t ) (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 tu = r 1 . 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

T pag 2 a 3 .
Desde a > r 0 , este período es mayor que el período T 0 de la órbita circular. Esto implica que la diferencia entre los ángulos de las dos órbitas, | θ pag ( t ) θ 0 ( t ) | crece indefinidamente con el tiempo. No permanecen cerca uno del otro, por lo que esta órbita no es estable para Lyapunov. Sin embargo, es radialmente estable, como acaba de mostrar en la pregunta.

Ahora considere un oscilador armónico isotrópico, tu = r 2 . 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 | θ pag ( t ) θ 0 ( t ) | 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, tu r norte , norte > 3 , y luego demuestre que solo para norte = 2 el período de la órbita perturbada es igual al período de la órbita circular.

Esta es la mejor respuesta que he leído en SE en mucho tiempo. Gracias por responderla y no solo regalarla.