Артур Уиггинс - Пять нерешенных проблем науки

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

Одно из следствий детерминизма состоит в том, что будущее поведение системы легко предугадать, определяя состояние системы в какой — то предшествующий момент. Это предыдущее состояние именуют начальными условиями. На рис. 5.3 подобный процесс представлен в упрощенном виде; с помощью графика можно описывать дальность полета снаряда в зависимости от угла возвышения. При изменении угла в пределах нескольких градусов дальность колеблется в весьма существенных границах. Для получения большей точности попадания разброс угла возвышения необходимо уменьшить.

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

Рис. 5.3. Точность предсказания будущего состояния зависит от точности знания начальных условий

В 1887 году шведский король Оскар II [(1829–1907), король Швеции в 1872–1907 годах и Норвегии в 1872–1905 годах] в ознаменование своего 60-летия пообещал денежную премию тому, кто математически докажет устойчивость орбит планет Солнечной системы. Победитель, Жюль-Анри Пуанкаре, не решил полностью поставленной задачи, но проделанной работы хватило для получения премии. В 1889 году он опубликовал статью «О задаче трех тел и об уравнениях динамики» (Acta Mathematica. 1890. № 13). [17] Шведский математик Ларc Эдвард Фрагмен обнаружил в готовящейся к печати статье ошибку, и на издание отложенной на год исправленной статьи Пуанкаре пришлось выложить 3585 крон, зато ошибка помогла математику обнаружить аттрактор (гомоклинические точки), что заложило фундамент теории хаоса (катастроф). Пуанкаре столкнулся с необычным положением, когда «небольшие расхождения в начальных условиях ведут к огромным различиям у наблюдаемых в итоге явлений». Будучи выдающимся математиком, он сумел показать, что при достижении системой определенной степени сложности получение точных результатов потребует предельно точных начальных условий. Некоторое время соображения Пуанкаре казались математическим курьезом. Но, как мы вскоре увидим, спустя 70 лет они дадут знать о себе.

Пока же вернемся к прогнозу погоды. Любопытное событие произошло во время Первой мировой войны. Льюис Фрай Ричардсон работал в различных научных учреждениях, включая Метеорологическую службу Британии. С началом войны он смог найти себе применение, не поступаясь своими пацифистскими убеждениями: водил санитарную машину во Франции. В часы досуга он строил математическую модель предсказания погоды, основанную на разделении земной поверхности на ячейки, получении данных о погоде в каждой из них и последующем прогнозе погоды посредством математического приема, известного как исчисление конечных разностей. Его модель так и не заработала, но он представил в 1 922 году используемый им математический прием в ставшей знаменитой книге «Предсказание погоды с помощью численного процесса». Ричардсон отнес неудачу модели на счет недостаточного количества данных и трудностей ведения громоздких вычислений вручную. [18] Численный прогноз погоды всего на 6 часов, сделанный Ричардсоном, оказался не просто плох — было предсказано появление фантастической бури, а реальная погода оказалась вполне нормальной. Причину ошибки отыскали через несколько лет. А Ричардсон честно, не испугавшись насмешек, опубликовал и результат, и алгоритм расчета. Оказывается, шаг по времени may не должен быть произвольно большим, он ограничивается отношением длины шага по пространству к максимальной скорости. Более полные модели (например, система, которую использовал Ричардсон) описывают процессы с различными скоростями; в частности, нужно учесть и скорость звука. Ограничение на may (условие Куранта — Фридрихса — Леви) быто получено спустя пять лет после публикации книги Ричардсона. В разностной схеме Ричардсона условие КФЛ нарушалось, и она быта неустойчивой.