Я изучаю классическую механику по книге Арнольда «Математические методы классической механики». В задаче меня просят найти, для чего круговые орбиты в задаче центрального поля устойчивы по Ляпунову с потенциалом в виде
Позвольте мне назвать радиальную устойчивость стабильностью вокруг , где - радиус круговой орбиты. Отличие этой устойчивости от устойчивости по Ляпунову состоит в том, что последняя смотрит не только на но и к полярному углу (для центральной силы) и их сопряженные импульсы. Так что в этом смысле я бы сказал, что Ляпунов сильнее.
В основном орбита на фазовом пространстве устойчива по Ляпунову, если она остается сколь угодно близкой к орбите (круговая орбита) до тех пор, пока мы делаем начальные условия обоих случаев произвольно близкими. Если теперь этот критерий Ляпунова ограничить только радиальной координатой, то он совпадает с критерием радиальной устойчивости.
Я не буду доказывать результат, заявленный Арнольдом, но могу дать вам некоторую интуицию. Рассмотрим, например, силу обратного квадрата притяжения, потенциал которой равен . Возмущенная (вокруг круговой) орбита представляет собой эллипс. По третьему закону Кеплера период этой возмущенной орбиты равен
Теперь рассмотрим изотропный гармонический осциллятор, . Орбита может быть получена суперпозицией двух гармонических движений с одинаковой частотой, расположенных ортогонально на плоскости. Поскольку период каждого гармонического движения не зависит от амплитуды, период изотропного осциллятора также не зависит от амплитуды. Разница поэтому постоянна, и ее можно сделать сколь угодно малой, выбирая сколь угодно близкие начальные условия. Изотропный осциллятор устойчив по Ляпунову.
Я думаю, что доказательством утверждения Арнольда было бы предложение привлекательных и радиально устойчивых степенных потенциалов, , , а затем показать, что только для период возмущенной орбиты равен периоду круговой орбиты.
Джерри Ширмер