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

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

«Когда пытаешься описать фигуру, образованную этими двумя кривыми и их бесконечными пересечениями, каждое из которых соответствует дважды асимптотическому решению, то эти пересечения образуют своего рода сеть, паутину или бесконечно тонкое сито… Поражает сложность этой фигуры, которую я даже не пытаюсь нарисовать».

Сегодня мы называем его картину гомоклинным («замкнутым на себя») плетением (см. рис. 31). Благодаря новым топологическим идеям, высказанным в 1960-е гг. Стивеном Смейлом, мы сегодня видим в этой структуре старого друга. Главное, что она помогла нам понять, — это то, что динамика хаотична. Хотя в уравнениях нет выраженного элемента случайности, их решения очень сложны и нерегулярны. В чем-то они похожи на по-настоящему случайные процессы. К примеру, существуют орбиты — более того, к этому типу относится большинство орбит, — движение которых в точности имитирует многократное случайное бросание монетки. Открытие того факта, что детерминистская система (т. е. система, будущее которой всецело и однозначно определяется ее текущим состоянием) может тем не менее обладать случайными чертами — замечательное достижение, оно изменило многие области науки. Мы уже не можем считать, что простые правила порождают простое поведение. Речь идет о том, что в обиходе часто называют теорией хаоса, и все это восходит непосредственно к Пуанкаре и его работе на приз короля Оскара.

Ну, почти все. На протяжении многих лет историки математики рассказывали об этом именно так. Но примерно в 1990 г. Джун Бэрроу-Грин обнаружила в недрах Института Миттага-Леффлера в Стокгольме печатный экземпляр работы Пуанкаре; пролистав его, она поняла, что он отличается от того варианта, который можно обнаружить в бесчисленных математических библиотеках по всему миру. Это оказалась официальная пояснительная записка к заявке Пуанкаре на приз, и в ней была ошибка. Подавая работу на конкурс, Пуанкаре упустил из виду хаотические решения. Он заметил ошибку прежде, чем работа была опубликована, доработал ее, выведя все, что было необходимо, — а именно хаос, — и заплатил (надо сказать, больше, чем стоил приз) за то, чтобы оригинальная версия была уничтожена, а в печать пошел исправленный вариант. Но по какой-то причине в архиве Института Миттага-Леффлера сохранился экземпляр первоначально ошибочной версии, хотя сама история забылась, пока Бэрроу-Грин не откопала ее и не опубликовала свое открытие в 1994 г.

Пуанкаре, судя по всему, считал, что хаотические решения несовместимы с разложениями в ряд, но это тоже оказалось ошибкой. Прийти к такому выводу было несложно: ряды казались слишком регулярными, чтобы представлять хаос, — на это способна только топология. Хаос — это сложное поведение, определяемое простыми правилами, так что это умозаключение небесспорно, но структура задачи трех тел определенно не допускает простых решений того рода, которые Ньютон вывел для двух тел. Задача двух тел интегрируема. Это означает, что в уравнениях достаточно сохраняющихся величин, таких как энергия, импульс и момент импульса, для однозначного определения орбиты. «Сохраняющихся» означает, что эти величины не меняют своего значения при движении тел по своим орбитам. Но задача трех тел неинтегрируема.