Однако последующие расчеты в еще более высоком порядке теории возмущений, выполненные в 1897 г. Хиллом, показали, что и Леверье был не прав. Сохраняя все больше членов разложения, мы получаем новые частоты, сильно отличающиеся от прежних. В таком случае говорят, что ряд теории возмущения не сходится.
Анализ всей проблемы заново провел Пуанкаре. В трехтомном труде «Новые методы небесной механики», опубликованном в 1892 – 1897 гг., он показал, что задача трех тел, движущихся впод действием сил взаимного тяготения, не интегрируется (т.е. не может быть решена аналитически). Пуанкаре доказал, что безусловно, можно искать решение в виде ряда теории возмущений, но все равно ряд не может описать реальное движение планет. Оказывается, получаемые ряды являются, как говорят математики, асимптотическими. Свойство таких рядов заключается в том, что учет первых нескольких членов приводит к сходящемуся результату (каждая следующая поправка меньше предыдущей), однако сумма ряда расходится. Решения, получаемые обрыванием асимптотических рядов, могут с хорошей точностью описать поведение системы на конечном отрезке времени, однако оказываются совершенно непригодными при анализе устойчивости системы за большой промежуток времени.
Совсем недавно, в 60-х гг. нашего столетия, была создана теория КАМ (по именам выдающихся современных математиков Колмогорова, Арнольда и Мозера), позволившая уточнить результаты Пуанкаре. Метод теории возмущений заключается в поиске таких замен переменных, которые позволяют привести систему к интегрируемой и искать малые отклонения от нее, т.е. свести движение к суперпозиции (почти) равномерных движений по окружностям. Теория КАМ показывает, что при некоторых начальных условиях общее движение действительно является квазипериодическим, как и в случае интегрируемых систем. Однако при других значениях начальных условий появляются области неустойчивости (области хаотического движения), в которых происходят значительно более сложные явления, и методы теории возмущений оказываются неприменимыми. Чем меньше параметр e, тем ближе движение к квазипериодическому и тем меньше области неустойчивости. В этом случае теория возмущений хорошо работает, приводя к приближенным результатам, очень близким к реальности.
В случае систем с двумя степенями свободы Пуанкаре предложил очень полезный метод, позволяющий отличить квазипериодическую траекторию от хаотической. Вместо того, чтобы изучать саму траекторию в фазовом пространстве, изучают последовательные пересечения этой траектории с должным образом выбранной плоскостью (или – в общем случае – с поверхностью).
Что же такое фазовая траектория? Рассмотрим для определенности одномерный гармонический осциллятор – колебательную систему, образом которой может служить груз на горизонтальной плоскости без трения, соединенный с упругой пружиной жесткостью k. Груз совершает колебания по закону:
X = Acos(wt + j), следовательно, скорость груза V= - Awsin(wt + j) и импульс p = - mAwsin(wt + j). Как известно, упругая потенциальная энергия сжатой пружины U = kX2 /2. Полная энергия груза равна E=mV2 /2 + kX2 /2 = p2 /(2m) + kX2 /2. Если на плоскости построить график зависимости импульса груза p от координаты х, это и будет фазовая траектория. Благодаря закону сохранения энергии в случае одномерного движения задача определения формы фазовой траектории решается просто, так как формулу закона сохранения энергии можно переписать в виде:
Это есть уравнение эллипса на плоскости (р,х). Каждому значению энергии Е, определяемому начальными условиями, отвечает единственная фазовая траектория осциллятора.
Чтобы изучить фазовую траекторию системы с двумя степенями свободы (размерность фазового пространства равна тогда 4), следует рассмотреть сечения фазового пространства должным образом выбранной плоскостью А, отвечающей фиксированному моменту времени. В результате получается сечение Пуанкаре. В некоторых случаях удается точно найти преобразование координат плоскости, позволяющее переходить от одного сечения к другому. Существует стандартный вид такого преобразования, задаваемого формулами:
x’ = x + asin(x + y),
y’ = x + y
где подразумевается, что штрихованные координаты вычислены по модулю 2p.
Иногда удается найти преобразование переменных, позволяющее переходить от одной точки в фазовом пространстве к другой. В этом случае можно изучить поведение системы за длительный период времени, используя ЭВМ. Простой пример таких преобразований показан на рис.6, где в сильно упрощенном виде показаны разные типы возможных траекторий.
Рис. 6 |