Том 32. Бабочка и ураган. Теория хаоса и глобальное потепление | страница 16



За несколько лет до проведения конкурса, в 1878 году, американский астроном Джордж Уильям Хилл привлек всеобщее внимание к важности периодических решений (замкнутых кривых) задачи об устойчивости Солнечной системы. Периодическое (то есть повторяющееся) движение очень полезно при изучении устойчивости: при таком движении тело никогда не сойдет с орбиты, не столкнется с другим телом и не улетит бесконечно далеко. Хилл нашел периодическое решение задачи трех тел для случая, когда масса одного из них пренебрежимо мала по сравнению с остальными.

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

У Пуанкаре оставался последний шанс — метод возмущений. Применив его, он нашел решения в виде бесконечных степенных рядов. Тем не менее ничто не указывало, что эти ряды (аналогичные ряды ранее получили Эйлер, Лагранж и Линдстедт) сходились, пусть они и удовлетворяли уравнениям задачи трех тел. В конечном счете Пуанкаре оставил попытки найти аналитическое решение задачи.

Лишь в 1909 году, то есть более чем 20 лет спустя, математик Карл Зундман (1873–1949) наконец представил общее решение задачи трех тел в виде сходящегося ряда. Искомый ряд сходился крайне медленно, а решение Зундмана было настолько сложным, что на практике оказалось совершенно бесполезным, но если бы он добился своего результата 20 годами ранее, то, возможно, получил бы премию от короля Оскара II.

Пуанкаре, оставив анализ, обратился к топологии, решив, что если он рассмотрит вопрос с другой стороны, то докажет существование периодических решений.

Так как устойчивость решений нельзя было оценить путем изучения рядов, Пуанкаре решил использовать свою качественную теорию дифференциальных уравнений: описывают ли эти решения замкнутые кривые, то есть являются ли они периодическими? Если движущееся тело описывает замкнутую кривую, то есть цикл, то рано или поздно его движение повторится, следовательно, движение тела будет периодическим. Вооружившись своей новой теорией, в которой были объединены анализ и топология, Пуанкаре показал: существует бесконечно много замкнутых кривых, а следовательно, бесконечно много периодических решений.