Величайшие математические задачи

Некоторые частные случаи этой задачи удавалось решить. В 1767 г. Эйлер обнаружил решения, в которых все три тела лежат на вращающейся прямой. В 1772 г. Лагранж нашел аналогичные решения для случая, когда тела образуют вращающийся равносторонний треугольник, который может расширяться или сжиматься. Оба решения оказались периодическими: тела повторяли одну и ту же последовательность движений до бесконечности. Однако даже кардинальное упрощение не позволяло получить хоть что-нибудь более общее. Можно было считать, что масса одного из тел пренебрежимо мала или что другие два тела движутся вокруг общего центра масс по идеальным окружностям (версия, известная как «ограниченная задача трех тел»), но найти точное решение уравнений все равно не удавалось.

В 1860 и 1867 гг. астроном и математик Шарль-Эжен Делоне пытался решить задачу для конкретного случая — системы Солнце — Земля — Луна — с использованием теории возмущений. Эта теория рассматривает действие солнечного притяжения на Луну как небольшие добавки, которые накладываются на действие земного притяжения. Делоне вывел приближенные формулы в виде сумм бесконечных рядов: результата сложения множества последовательных членов. Он опубликовал свои результаты в виде двух томов по 900 страниц в каждом. Эти тома были заполнены преимущественно формулами. В конце 1970-х гг. его расчеты были проверены с использованием компьютерной алгебры и подтвердились почти полностью: в них обнаружились всего две незначительные ошибки.

Это был поистине героический расчет, но ряд у Делоне сходился к своему пределу слишком медленно, чтобы этими выкладками можно было пользоваться на практике. Однако работа Делоне подтолкнула других математиков к поиску рядов, которые сходились бы быстрее. Она также вскрыла серьезное техническое препятствие, с которым неизменно встречается подобный подход: это препятствие — малые знаменатели. Некоторые члены последовательности представляют собой дроби, и знаменатель этих дробей вблизи резонанса (состояния, в котором периоды тел кратны друг другу) становится очень маленьким. К примеру, у трех внутренних спутников Юпитера — Ио, Европы и Ганимеда — периоды обращения вокруг планеты составляют 1,77, 3,55 и 7,15 суток, т. е. относятся один к другому почти точно как 1:2:4. Особенно мешает вычислениям секулярный резонанс, при котором кратны друг другу скорости поворота осей двух почти эллиптических орбит, — здесь при вычислении дроби с малым знаменателем погрешность становится очень большой.

Если задача трех тел сложна, то задача n тел, т. е. произвольного числа точечных масс, движущихся под действием ньютонового тяготения, безусловно, еще сложнее. Тем не менее природа представляет нам наглядный и очень важный пример: Солнечную систему. В нее входят восемь планет, несколько карликовых планет, таких как Плутон, и тысячи астероидов, в том числе довольно крупных. Это не говоря о спутниках планет, некоторые из которых — Титан, к примеру, — превосходят по размеру планету Меркурий. Таким образом, Солнечная система — это задача 10, или 20, или 1000 тел в зависимости от степени детализации.

Для краткосрочных прогнозов вполне достаточно численных аппроксимаций (в астрономии 1000 лет — это немного), а вот понять, как будет развиваться Солнечная система в ближайшие несколько сотен миллионов лет, — совсем другое дело. Но есть один серьезный вопрос, ответ на который зависит от подобных долгосрочных прогнозов: речь идет о стабильности Солнечной системы. Планеты в ней, судя по всему, обращаются по относительно стабильным, почти эллиптическим орбитам. Эти орбиты слегка изменяются, когда их возмущают другие планеты, так что период обращения и размеры эллипса могут чуть-чуть меняться. Можем ли мы быть уверены, что и в будущем не будет происходить ничего, кроме этого мягкого влияния? И так ли вела себя Солнечная система в прошлом, особенно на ранних стадиях развития? Останется ли она стабильной или какие-нибудь две ее планеты могут когда— нибудь столкнуться? Наконец, может ли планета оказаться выброшенной из системы прочь, на просторы Вселенной?