О том, чего мы не можем знать. Путешествие к рубежам знаний - Маркус Дю Сотой

Если вы теперь в отчаянии недоумеваете, можем ли мы знать хоть что-нибудь о будущем, вас, возможно, утешит то обстоятельство, что математика не вполне безнадежна в том, что касается предсказаний. Есть одно событие, наступление которого через 5 миллиардов лет уравнения могут гарантировать, но событие это не радостное. Математические расчеты утверждают, что к этому моменту Солнце исчерпает запасы топлива и превратится в красного гиганта, поглотив в процессе Землю и другие планеты Солнечной системы. Но до тех пор, пока взрыв Солнца не поглотит Солнечную систему, мы обречены на попытки решить хаотические уравнения, чтобы узнать, какие планеты к моменту возникновения этого красного гиганта все еще останутся на своем месте.

А значит, если мы хотим узнать, что произойдет, то, как и в случае прогнозов погоды, мы вынуждены обсчитывать модели, варьируя точные значения положений и скоростей планет. Иногда такие прогнозы бывают довольно пугающими. В 2009 г. французские астрономы Жак Ласкар и Микаэль Гастино обработали несколько тысяч моделей будущего развития Солнечной системы. Их эксперименты выявили потенциальную бабочку: ею оказался Меркурий.

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

Например, размеры эллиптической орбиты Меркурия известны астрономам с точностью до нескольких метров. Ласкар и Гастино обсчитали 2501 модель, изменяя эти размеры в диапазоне величиной менее сантиметра. Даже такие малые возмущения привели к потрясающим различиям в будущей судьбе Солнечной системы.

Можно было бы ожидать, что, если уж Солнечная система и будет разорвана на части, виновником этого окажется одна из больших планет, скажем Юпитер или Сатурн. Однако орбиты газовых гигантов чрезвычайно стабильны. Неприятностей следует ожидать от скалистых планет земного типа. В 1 % проведенных ими имитационных экспериментов наибольшая опасность была связана именно с маленьким Меркурием. Модели показывают, что орбита Меркурия может начать расширяться в результате некоего резонанса с Юпитером, причем существует возможность столкновения Меркурия с его ближайшим соседом, Венерой. В одной из имитаций чуть было не случившегося столкновения оказалось достаточно, чтобы вывести Венеру из равновесия, в результате чего Венера столкнулась с Землей. Даже прохождение вблизи других планет может привести к возникновению таких приливных сил, воздействие которых будет катастрофично для жизни на нашей планете.

Речь тут не идет о простом случае абстрактных математических рассуждений. Свидетельства таких столкновений наблюдались на планетах, обращающихся вокруг двойной звезды Ипсилон Андромеды. Странность их нынешних орбит можно объяснить только выбросом какой-то невезучей планеты, произошедшим когда-то в прошлом этой звезды. Но не спешите убегать и прятаться: согласно этим моделям, момент, в который Меркурий может начать свои шалости, наступит еще через несколько миллиардов лет.

Каковы же наши шансы предсказать результаты броска кости, лежащей передо мной? Лаплас сказал бы, что если мне известны размеры кубика, распределение его атомов, скорость, с которой он брошен, и его взаимодействие с окружающей средой, то вычисление точки его остановки теоретически возможно.

Открытия Пуанкаре и тех, кто пришел после него, обнаружили, что различия в нескольких знаках после запятой могут определить, упадет ли кость шестеркой или двойкой. Хотя возможных исходов броска игральной кости существует всего шесть, начальные данные могут варьироваться в потенциально непрерывном диапазоне значений. Тогда, очевидно, должны существовать точки, в которых чрезвычайно малое изменение переключает результат броска с шестерки на двойку. Но какова природа таких переходов?

Компьютерные модели могут производить прекрасные визуальные представления, позволяющие составить понятие о чувствительности различных систем к начальным условиям. Рядом с игральной костью из Лас-Вегаса у меня стоит классическая настольная игрушка, в которую я могу играть часами. Она состоит из металлического маятника, который притягивают три магнита, выкрашенные в белый, черный и серый цвет. Анализ динамики этой игрушки дает картинку, которая отражает конечное положение маятника при движении из всех точек квадратного основания игрушки. Покрасим точку белым, если маятник, запущенный из этой точки, в конце концов оказывается притянут к белому магниту. Точно так же покрасим серым или черным точки, из которых маятник попадает на серый или черный магнит. Получится вот такая картинка:

Как и в случае популяционной динамики, тут есть совершенно предсказуемые области. Если движение маятника начинается вблизи одного из магнитов, к этому магниту маятник и притягивается. Но по мере приближения к краям картинки мы оказываемся на гораздо менее предсказуемой почве. И действительно, такая картинка дает нам пример фрактала.

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

Одномерный пример такой картинки можно соорудить следующим образом. Начертим отрезок единичной длины и для начала закрасим одну его половину черным, а другую – белым. Затем возьмем половинный участок между точками 0,25 и 0,75 и перевернем его. Теперь возьмем половину перевернутого участка, расположенную в его середине, и перевернем ее еще раз. Если повторять эту операцию до бесконечности, предсказанное поведение вокруг точки 0,5 становится чрезвычайно чувствительно к малым изменениям. Не существует такого участка, содержащего точку 0,5, который был бы закрашен одним цветом.

Существует более замысловатый вариант этой картинки. Возьмем снова отрезок единичной длины. Сотрем центральную треть отрезка. У нас остались два черных отрезка, разделенные белым промежутком. Сотрем теперь центральную треть каждого из черных отрезков. Получаем черный отрезок длиной 1/9, белый отрезок длиной 1/9, черный отрезок длиной 1/9, затем белый отрезок длиной 1/3, который был стерт на первом шаге, а потом опять: белый – черный – белый.

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