Lyapunov Stabilität von Kreisbahnen

Ich studiere Klassische Mechanik zu Arnolds „Mathematischen Methoden der Klassischen Mechanik“. Bei einem Problem werde ich gebeten, wofür zu finden a die kreisförmigen Bahnen im zentralen Feldproblem sind stabil mit dem Potential in der Form Lyapunov

U ( R ) = R a , 2 a <
Ich weiß, dass die Antwort ist a = 2 aber ich kann nicht herausfinden warum. Ich kenne die Definition der Lyapunov-Stabilität (die Lösung φ ( T ) auf ihr definiert, zum Beispiel rechtes maximales Existenzintervall, J φ + = [ τ , + ) , mit Anfangsbedingung ( τ , ξ ) für ein autonomes System ist Lyapunov stabil, wenn ε , δ ( ε ) so dass wenn ξ η < δ die Lösung ψ ( T ) mit Anfangszustand ( τ , η ) definiert ist J ψ + = J φ + Und ψ ( T ) φ ( T ) < ϵ , T [ τ , + ) ) und ich weiß auch, wie man die Lyapunov-Funktion verwendet, um diese Eigenschaft zu beweisen. Das Problem ist, dass ich weder eine richtige Lyapunov-Funktion finden noch die Lyapunov-Stabilität beweisen kann, indem ich die Eigenwerte der Lösung des Systems verwende. Ich kann auch den Unterschied zwischen dieser Bedingung und der Stabilitätsbedingung nicht verstehen, die ich mit kleinen Abweichungen von der Bedingung finden kann R ¨ = 0 . Tatsächlich (vorausgesetzt, das M ist der Drehimpuls für das System und die Masse M =1) wir haben das:
R ¨ M 2 R 3 = U ( R ) R = F ( R )
und für R ¨ = 0 Wir haben die Kreisbahnen für das System, wo der Radius R C ist durch die Relation gegeben
M 2 R C 3 = U ( R ) R | R = R C = F ( R C )
Für kleine Abfahrten R C + ε Einsetzen in die vorherige Gleichung und Verwenden der Taylor-Entwicklung, die wir haben
F ( R C + ε ) = ε ¨ M 2 ( R C + ε ) 3 ε ¨ = ( F ' ( R C ) + 3 F ( R C ) R C ) ε
Wenn nun der Term in Klammern negativ ist, habe ich die Gleichung eines harmonischen Oszillators und die Kreisbahnen sind somit in diesem Sinne stabil. Mit dem Potenzial in Form U ( R ) = R a dieser Zustand ist a > 3 . Zusammenfassend sind meine Fragen:

  • Was ist der Unterschied zwischen diesen beiden Arten von Stabilität?
  • Ist Lyapunov einer der Stärkeren und in welchem ​​Sinne?
  • Wie kann ich das beweisen, wenn a = 2 Kreisbahnen sind Lyapunov stabil?

Antworten (1)

Lassen Sie mich radiale Stabilität die Stabilität von nennen R um R 0 , Wo R 0 ist der Radius der Kreisbahn. Der Unterschied zwischen dieser und der Lyapunov-Stabilität besteht darin, dass letztere nicht nur zuschaut R sondern auch zum Polarwinkel θ (für eine zentrale Kraft) und ihre konjugierten Impulse. In diesem Sinne würde ich also sagen, dass Lyapunov stärker ist.

Im Grunde eine Umlaufbahn λ ( T ) auf dem Phasenraum ist Lyapunov stabil, wenn er beliebig nahe an der Umlaufbahn bleibt λ 0 ( T ) (die Kreisbahn), solange wir die Anfangsbedingungen beider Fälle willkürlich nahe bringen. Wenn wir nun dieses Lyapunov-Kriterium nur auf die radiale Koordinate beschränken, dann stimmt es mit den radialen Stabilitätskriterien überein.

Ich werde das von Arnold behauptete Ergebnis nicht beweisen, aber ich kann Ihnen etwas Intuition geben. Betrachten Sie zum Beispiel die attraktive inverse quadratische Kraft, deren Potenzial ist U = R 1 . Eine gestörte (um die kreisförmige) Umlaufbahn ist eine Ellipse. Nach Keplers drittem Gesetz haben wir, dass die Periode dieser gestörten Umlaufbahn ist

T P 2 A 3 .
Seit A > R 0 , dieser Zeitraum ist größer als der Zeitraum T 0 der Kreisbahn. Dies impliziert, dass die Differenz zwischen den Winkeln der beiden Bahnen, | θ P ( T ) θ 0 ( T ) | wächst mit der Zeit unendlich. Sie bleiben nicht nahe beieinander, daher ist diese Umlaufbahn nicht Lyapunov stabil. Es ist jedoch radial stabil, wie Sie gerade in der Frage gezeigt haben.

Betrachten Sie nun einen isotropen harmonischen Oszillator, U = R 2 . Die Umlaufbahn kann durch Überlagerung zweier harmonischer Bewegungen mit gleicher Frequenz erhalten werden, die orthogonal auf der Ebene angeordnet sind. Da die Periode jeder harmonischen Bewegung amplitudenunabhängig ist, ist auch die Periode des isotropen Oszillators amplitudenunabhängig. Der Unterschied | θ P ( T ) θ 0 ( T ) | ist also konstant und kann durch Wahl beliebig enger Anfangsbedingungen beliebig klein gemacht werden. Der isotrope Oszillator ist Lyapunov-stabil.

Ich denke, ein Beweis für Arnolds Behauptung wäre, attraktive und radial stabile Potenzgesetzpotentiale vorzuschlagen, U R N , N > 3 , und zeige das dann nur für N = 2 die Periode der gestörten Bahn ist gleich der Periode der Kreisbahn.

Dies ist die beste Antwort, die ich seit langem auf SE gelesen habe. Vielen Dank, dass Sie darauf geantwortet und es nicht einfach preisgegeben haben.