Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике - Джон Дербишир

К концу XIX столетия стало ясно, что ответы таковы: «нет, не можем» и «нет, задача неинтегрируема». Единственный способ получить решение — использовать численные расчеты на компьютере, которые неизбежно носят приближенный характер.

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

Согласно распространенному мнению, работа Пуанкаре знаменует собой рождение современной теории хаоса. В течение нескольких десятилетий в теории хаоса не происходило ничего особенного, главным образом потому, что у математиков просто не было средств для обращения с числами — средств для перемалывания чисел в масштабах, требуемых при анализе хаоса. Ситуация изменилась, когда стали доступными компьютеры, и теория хаоса пережила второе рождение в 1960-х годах в трудах метеоролога Эда Лоренца, работавшего в Массачусетсом технологическом институте.[180] Теория хаоса в настоящее время представляет собой обширный предмет, охватывающий много различных более частных дисциплин из физики, чистой математики и вычислительной математики.

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

III.

При первом появлении современной теории хаоса физики восприняли ее как чисто классический предмет, не имеющий никакого отношения к квантовой теории. Хаос возникает из явлений, подобных тем, какие происходят в задаче трех тел, вследствие того, что начальные условия задаются вещественными числами, числами для измерения, которые можно дробить до бесконечности; их можно изменить на 1 процент, или на 0,1 процента, или на 0,001 процента… Поскольку условия можно варьировать бесконечно, возникает бесконечно много возможных вариантов движения системы. В квантовой же теории, наоборот, начальные условия можно варьировать на 1, 2 или 3 единицы, но не на 11/2 или 2,749. Получается так, что в квантовой теории для хаоса «не должно быть места». Верно, что в квантовой механике имеется некоторая степень неопределенности, но управляющие всем уравнения тем не менее линейны. Малые возмущения приводят к малым последствиям, как это имеет место и для классического уравнения vis viva в задаче двух тел.

И все же в динамических системах квантового масштаба можно наблюдать некоторую степень хаоса. Упорядоченную структуру уровней энергии для электронов на орбите вокруг атомного ядра, например, можно «взболтать», приведя в нерегулярное состояние путем наложения достаточно сильного магнитного поля. (Это, кстати, одна из динамических систем, моделируемых операторами ГУА.) После этого поведение атома становится хаотичным — оно будет радикально другим уже при самом легком изменении начальных условий.

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

Еще в 1971 году физик Мартин Гутцвиллер[181] нашел способ связать хаотические системы в классическом масштабе с подобными системами в квантовом мире путем взятия предела в уравнениях квантовой механики, когда квантовый множитель — постоянная Планка — стремится к нулю. Таким образом получается «квазиклассическая» система, а периодические орбиты, лежащие в основе классических хаотических систем, отвечают собственным значениям оператора, задающего эту систему.

Майкл Берри показал, что если риманов оператор существует, то он моделирует одну из этих квазиклассических хаотических систем, причем его собственные значения — мнимые части нулей дзета-функции — являются уровнями энергии этой системы. Периодические орбиты в аналогичной классической хаотической системе отвечали бы… — простым числам! (Строго говоря, их логарифмам). Кроме того, он показал, что у этой квазиклассической системы не было бы свойства «симметрии относительно обращения времени» — другими словами, если представить себе, что все скорости всех частиц в системе мгновенно и одновременно заменяются на противоположные, то система не вернется к своему начальному состоянию. (Хаотические системы могут допускать, а могут и не допускать обращение времени. Те, которые его допускают, моделируются не операторами типа операторов ГУА, а операторами другого вида, принадлежащими другому ансамблю — ГОА, т.е. гауссову ортогональному ансамблю.) Работа Берри (в значительной ее части — в сотрудничестве с его коллегой из Бристоля Джонатаном Китингом) представляет собой тонкое и глубокое исследование. Например, он очень детально проанализировал формулу Римана-Зигеля с целью глубоко проникнуть в природу нулей и их влияния друг на друга на различных отрезках их существования. На момент написания книги он пока не отождествил динамическую систему, отвечающую оператору Римана, но если такой оператор существует, то благодаря его работе мы распознаем его немедленно, как только он попадется нам на глаза.{A5}

IV.

Альтернативный подход развил другой исследователь — Ален Конн, профессор математики из парижского Коллеж де Франс. Вместо того чтобы выискивать, оператор какого типа мог бы иметь своими собственными значениями нули дзета-функции, он просто взял и построил такой оператор.