Помимо Пуанкаре и новых исследователей теории хаоса, были и другие математики и физики, которые в те времена (мы говорим о последних годах XIX — начале XX века) изучали труды французского математика о задаче трех тел скорее в порядке исключения. Эти исследователи хаоса услышали призыв Пуанкаре заняться решением нелинейных задач и совершили ряд открытий в смежных областях.
Одним из этих ученых был Жак Адамар. Хотя различные примеры хаотических систем были известны давно, он в 1898 году первым математически доказал, что в некоторых динамических системах небольшое изменение начальных условий вызывает значительные изменения в последующем развитии системы (мы называем это явление эффектом бабочки). Французский математик изучил особую разновидность бильярда, в которой стол имел форму седловой поверхности, а траектории шаров были крайне неустойчивыми: два шара, расположенные рядом, после удара, приводившего их в движение, удалялись очень далеко друг от друга (по экспоненциальному закону). Адамар доказал, что для этой и аналогичных систем справедлива теорема о чувствительности к начальным условиям.
* * *
ВИВА, ЛАС ВЕГАС!
Два студента-физика, Дойн Фармер и Норман Паккард, в конце 1970-х основали небольшую группу под названием «Эвдемонисты». Их целью было найти способ выиграть в рулетку и направить вырученные средства на поддержку научного сообщества. Изучив купленную рулетку, члены группы сформулировали уравнение, включавшее период вращения рулетки и период вращения шарика на ней. Так как решить полученное уравнение было крайне сложно, студенты решили сконструировать микрокомпьютер, который бы предсказывал, в какой из восьми секторов упадет шарик. Компьютер помещался в каблуке туфли. Информация о том, на какой сектор следует ставить, передавалась с помощью сигнала от трех вибрирующих соленоидов, закрепленных на груди, под одеждой.
В 1978 году группа отправилась в Лас-Вегас, намереваясь обыграть казино. Наблюдатель вводил данные в компьютер, а девушка, которая делала ставку, получала указания от соленоидов, спрятанных под юбкой. Средний выигрыш составил 44 % от общей суммы ставок. Однако не обошлось без неожиданностей. Как-то раз изоляция повредилась, девушка получила сильные ожоги, но стоически продолжала игру. В итоге общий выигрыш группы составил почти 10000 долларов. Заветная цель была достигнута: с помощью методов статистики ученым удалось предсказать, в какую часть колеса рулетки будет падать шарик.
Но будьте внимательны: найденный алгоритм совсем не прост, и его нельзя применить к любой рулетке. В идеальных условиях, когда шарик представляет собой идеальную сферу, а колесо рулетки — идеальную окружность, предсказать результат было бы невозможно. «Эвдемонисты» смогли спрогнозировать, в какую часть колеса рулетки упадет шарик, только потому, что они внимательно изучили дефекты конкретной рулетки. Достоверность прогноза в краткосрочном периоде достигалась за счет несовершенства самой рулетки и шарика.
Компьютер «эвдемон истов», спрятанный в туфле.
* * *
Намного позже, в 1970-е, советский математик Яков Синай (род. 1935) вновь изучил результаты, полученные Адамаром, и рассмотрел уже не криволинейный бильярдный стол, а движение шаров на плоском квадратном столе, где располагались различные препятствия в форме дисков. Он доказал, что этот бильярд обладает теми же свойствами, что и бильярд Адамара, так как дискообразные препятствия приводят к хаотическому распределению шаров.
Хаотическая траектория бильярдного шара на бильярде Синая.
Еще один важный результат получил однокурсник Жака Адамара — французский физик Пьер Дюгем (1861–1916). Он был убежденным католиком и ставил религиозную философию выше научной, с чем убежденный рационалист Пуанкаре не мог согласиться. Дюгем обратился к важным философским последствиям результатов, полученных им и Пуанкаре, и смог разглядеть их революционный характер.
В главе «Пример математического вывода, никогда не применимого» своего труда «Физическая теория. Ее цель и строение» (1906) Дюгем замечает, что долгосрочное прогнозирование траектории шаров в бильярде Адамара не имеет смысла, поскольку любая, даже самая малая неточность при измерении начального положения и скорости шара приведет к ошибочному прогнозу. Прогнозная траектория не будет иметь ничего общего с реальной. Процитируем книгу Дюгема:
«Очень хороший пример такого вывода, всегда бесполезного, представляют изыскания Адамара. Мы заимствуем его из наиболее простых проблем, составляющих предмет исследования наименее сложной из физических теорий, а именно механики. Материальная масса скользит вдоль некоторой поверхности. На нее не действует никакая тяжесть, никакая сила; нет также никакого трения, которое изменяло бы ее движение. Если наша материальная точка движется по какой-нибудь произвольной поверхности, то она описывает линию, которую наши математики называют геодезической линией данной поверхности. Исследования Адамара касались специально геодезических линий многократно пересекающихся плоскостей противоположной кривизны. Если дано первоначальное положение нашей материальной точки и направление ее первоначальной скорости, геодезическая линия, которая должна быть описана, вполне определена. Другое дело, когда начальные условия даны не математически, а практически. Пусть начальное положение нашей материальной точки есть не определенная точка на поверхности, а какая-то точка внутри небольшого пятна. Пусть направление начальной скорости не есть вполне определенная прямая линия, а одна какая-то из прямых линий, образующих пучок, сечение которого есть небольшое пятно. Несмотря на тесные границы, в которых сжаты геометрические данные, соответствующие нашим практическим данным, можно эти геометрические данные всегда выбрать таким образом, чтобы геодезическая линия удалилась от геодезической линии, выбранной заранее. Можно произвольно увеличить точность, с которой определены практические данные, можно уменьшить пятно, в котором находится первоначальное положение материальной точки, можно сжать пучок, в котором находится направление начальной скорости, но все же никогда не удастся геодезическую линию, остающуюся на конечном расстоянии, выделить из пучка ее неверных подруг, которые удаляются на бесконечность. Если начальные данные не определены математически, а при помощи физических методов, как бы они ни были точны, поставленный вопрос остается без ответа и всегда останется таковым».
* * *
ДЕДУШКА АДАМАР
Жак Адамар (1865–1963), блестящий ученый еврейского происхождения, которому арифметика в детстве давалась с большим трудом, после смерти Пуанкаре занял его место во Французской академии наук. Адамар был патриархом парижской математики, сначала он занимал должность преподавателя в институте (известно, что студенты не понимали его лекций и высказывали недовольство), затем — университетского профессора (здесь, как правило, темы его исследований также интересовали прежде всего его самого).
Рассеянность Адамара была легендарной: во время Второй мировой войны, когда нацисты оккупировали Францию, профессор забыл дома американскую визу. Когда он переехал в США, то должен был как-то зарабатывать на жизнь, и в свои 79 лет он направился в университет. Ученого принял профессор, не расслышавший имени Адамара, и тот тогда показал на свой портрет, висевший на стене: «Смотрите, это я». Неделей позже Адамар вновь пришел в университет, но его портрет бесследно исчез со стены, а сам ученый получил отказ. По своим взглядам Адамар был близок к коммунистам, и некоторые полагают, что именно ему принадлежало авторство теорем, которые позднее были опубликованы в СССР и приписывались Карлу Марксу.
* * *
Далее Дюгем рассматривает другую задачу, очевидно схожую с той, что рассмотрел Адамар — задачу трех тел. Упомянув исследования Пуанкаре, Дюгем указывает: сплетение устойчивых и неустойчивых траекторий может означать, что мы не способны однозначно определить, является ли траектория планет устойчивой. Он пишет:
«Проблема трех тел остается еще для математиков страшной загадкой. Тем не менее, если в какой-нибудь данный момент известны с математической точностью положение и скорость каждой из звезд, образующих систему, то можно утверждать, что с этого момента каждая звезда будет описывать вполне определенную траекторию.
На этом основании математик может задаться следующим вопросом: будут ли эти звезды и впредь продолжать свое вращательное движение вокруг Солнца? Не произойдет ли, напротив, такая вещь, что одна из этих звезд отдалится от своих подруг, чтобы удалиться в бесконечность? Этот вопрос образует проблему устойчивости системы. Лаплас полагал, что он решил эту проблему, но только стараниями современных математиков, и в особенности Пуанкаре, обнаружена была чрезвычайная трудность ее решения. Но может случиться так, что практические указания, которые астроном дает математику, представляют для последнего бесчисленное множество теоретических данных, граничащих друг с другом, но тем не менее различных. Возможно, что среди этих указаний окажутся такие, по которым все звезды вечно должны оставаться на конечном расстоянии, но, может быть, окажутся и такие, по которым некоторые из этих небесных тел должны удалиться в бесконечность. Если бы здесь обнаружилось обстоятельство, аналогичное тому, с которым мы познакомились в проблеме Адамара, то для физика всякий математический вывод относительно устойчивости Солнечной системы оказался бы выводом никогда не применимым».