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

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

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

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

Это потребовало немалой ловкости. Оператор необходимо снабдить чем-то, на что он может действовать. Операторы того типа, о которых говорилось выше, действуют на пространствах. Плоское двумерное пространство может послужить иллюстрацией общего принципа, если в качестве наглядного пособия взять лист миллиметровки, хотя при этом и придется представлять себе, что он продолжается по всем направлениям до бесконечности. Предположим, что мы повернули это пространство на 30 градусов против часовой стрелки, так что каждая точка в нем тем самым переместилась в некоторую другую точку (за единственным исключением точки, вокруг которой происходит вращение, — она-то остается на месте). Это вращение дает пример оператора. Характеристический многочлен этого конкретного оператора имеет вид x 2− √3 x + 1 [182], а собственные значения равны 1/ 2√3 + 1/ 2 i и 1/ 2√3 − 1/ 2 i .

При желании для описания каждой точки в нашем пространстве можно ввести систему координат: для этого надо провести горизонтальную ось x и вертикальную ось y , пересекающиеся в точке вращения, и, как обычно, отложить расстояния в дюймах или сантиметрах вдоль этих осей. Тогда можно заметить, что наш оператор вращения отправляет точку (x, y) в новую точку с другими координатами — которые в действительности равны ( 1/ 2√3 x + 1/ 2 y , 1/ 2√3 x − 1/ 2 y ). Для оператора самого по себе это, впрочем, большого значения не имеет — оператор существует и отправляет точки на плоскости в новые точки независимо от какой бы то ни было системы координат. Вращение остается вращением, даже если мы забыли нарисовать пару осей.

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