Йэн Стюарт - Математика космоса [Как современная наука расшифровывает Вселенную]

Законы движения и гравитации — это законы особого рода, законы, выражаемые так называемыми дифференциальными уравнениями. Такие уравнения задают скорость, с которой те или иные величины изменяются с течением времени. Скорость — это быстрота изменения положения тела; ускорение — это быстрота изменения скорости. Знание скорости, с которой в настоящее время изменяется та или иная величина, позволяет вам спроецировать эту величину в будущее. Если машина едет со скоростью 10 метров в секунду, то через секунду она сдвинется на 10 метров. Однако для того, чтобы считать таким способом, нужно, чтобы скорость была постоянной. Если же машина ускоряется, то за секунду она отъедет от вас более чем на 10 метров. Чтобы обойти эту проблему, в дифференциальных уравнениях указывается мгновенная быстрота изменения. По существу, они работают с очень короткими промежутками времени, так что быстроту изменения на этом промежутке можно считать постоянной. На самом деле математикам потребовалось несколько столетий, чтобы довести эту идею до полной логической строгости, поскольку никакой конечный интервал времени нельзя считать мгновенным, если он не равен нулю, а за нулевой интервал времени ничто не меняется.

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

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

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

Даже сегодня математики и физики продолжают открывать новые неожиданные следствия из закона всемирного тяготения Ньютона. В 1993 году Крис Мур при помощи численных методов показал, что три тела с идентичными массами могут вечно гоняться друг за другом по одной и той же орбите в форме восьмерки, а в 2000-м Карлес Симо также численно показал, что эта орбита стабильна с точностью, возможно, до медленного дрейфа. В 2001 году Ален Ченсинер и Ричард Монтгомери привели строгое доказательство существования такой орбиты на основе принципа наименьшего действия — фундаментальной теоремы классической механики. Симо открыл множество подобных «хореографий», в которых несколько тел одинаковой массы преследуют друг друга, двигаясь все время по одному и тому же (сложному) пути.