Ляпуновская устойчивость круговых орбит

Я изучаю классическую механику по книге Арнольда «Математические методы классической механики». В задаче меня просят найти, для чего α круговые орбиты в задаче центрального поля устойчивы по Ляпунову с потенциалом в виде

U ( р ) "=" р α , 2 α <
Я знаю, что ответ α "=" 2 но я не могу узнать, почему. Я знаю определение устойчивости по Ляпунову (решение ф ( т ) определенный на ней, например, правый максимальный интервал существования, Дж ф + "=" [ т , + ) , с начальным условием ( т , ξ ) для автономной системы устойчива по Ляпунову, если ε , дельта ( ε ) такой, что если ξ η < дельта решение ψ ( т ) с начальным условием ( т , η ) определяется на Дж ψ + "=" Дж ф + и ψ ( т ) ф ( т ) < ϵ , т е [ т , + ) ) и я также знаю, как использовать функцию Ляпунова для доказательства этого свойства. Проблема в том, что я не могу ни найти правильную функцию Ляпунова, ни доказать устойчивость по Ляпунову, используя собственные значения решения системы. Я также не могу понять разницу между этим условием и условием устойчивости, которое я могу найти с небольшими отклонениями от условия р ¨ "=" 0 . В самом деле (если предположить, что М - угловой момент системы и масса м =1) имеем:
р ¨ М 2 р 3 "=" U ( р ) р "=" ф ( р )
и для р ¨ "=" 0 мы имеем круговые орбиты для системы, где радиус р с определяется соотношением
М 2 р с 3 "=" U ( р ) р | р "=" р с "=" ф ( р с )
Для небольших вылетов р с + ε подставляя в предыдущее уравнение и используя разложение Тейлора, мы имеем
ф ( р с + ε ) "=" ε ¨ М 2 ( р с + ε ) 3 ε ¨ "=" ( ф ( р с ) + 3 ф ( р с ) р С ) ε
Теперь, если член в скобках отрицателен, у меня есть уравнение гармонического осциллятора, и, таким образом, круговые орбиты стабильны в этом смысле. С потенциалом в виде U ( р ) "=" р α это условие α > 3 . Подводя итоги, мои вопросы:

  • В чем разница между этими двумя типами стабильности?
  • Сильнее ли Ляпунов и в каком смысле?
  • Как я могу доказать, что если α "=" 2 круговые орбиты устойчивы по Ляпунову?

Ответы (1)

Позвольте мне назвать радиальную устойчивость стабильностью р вокруг р 0 , где р 0 - радиус круговой орбиты. Отличие этой устойчивости от устойчивости по Ляпунову состоит в том, что последняя смотрит не только на р но и к полярному углу θ (для центральной силы) и их сопряженные импульсы. Так что в этом смысле я бы сказал, что Ляпунов сильнее.

В основном орбита λ ( т ) на фазовом пространстве устойчива по Ляпунову, если она остается сколь угодно близкой к орбите λ 0 ( т ) (круговая орбита) до тех пор, пока мы делаем начальные условия обоих случаев произвольно близкими. Если теперь этот критерий Ляпунова ограничить только радиальной координатой, то он совпадает с критерием радиальной устойчивости.

Я не буду доказывать результат, заявленный Арнольдом, но могу дать вам некоторую интуицию. Рассмотрим, например, силу обратного квадрата притяжения, потенциал которой равен U "=" р 1 . Возмущенная (вокруг круговой) орбита представляет собой эллипс. По третьему закону Кеплера период этой возмущенной орбиты равен

Т п 2 а 3 .
С а > р 0 , этот период больше периода Т 0 круговой орбиты. Это означает, что разница между углами двух орбит, | θ п ( т ) θ 0 ( т ) | неограниченно растет со временем. Они не остаются близкими друг к другу, поэтому эта орбита не является устойчивой по Ляпунову. Однако он радиально стабилен, как вы только что показали в вопросе.

Теперь рассмотрим изотропный гармонический осциллятор, U "=" р 2 . Орбита может быть получена суперпозицией двух гармонических движений с одинаковой частотой, расположенных ортогонально на плоскости. Поскольку период каждого гармонического движения не зависит от амплитуды, период изотропного осциллятора также не зависит от амплитуды. Разница | θ п ( т ) θ 0 ( т ) | поэтому постоянна, и ее можно сделать сколь угодно малой, выбирая сколь угодно близкие начальные условия. Изотропный осциллятор устойчив по Ляпунову.

Я думаю, что доказательством утверждения Арнольда было бы предложение привлекательных и радиально устойчивых степенных потенциалов, U р н , н > 3 , а затем показать, что только для н "=" 2 период возмущенной орбиты равен периоду круговой орбиты.

Это лучший ответ, который я читал на SE за долгое время. Спасибо, что ответили, а не просто отдали.