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

Подсчитав число интервалов величиной от 0 до 0,1, от 0,1 до 0,2 и т.д. и нанеся полученные результаты на гистограмму, масштаб которой выбран так, что полная площадь равна 9999, получаем рисунок 18.5.

Рисунок 18.5.Закон Монтгомери-Одлыжко (распределение расстояний между нулями дзета-функции от 90 001-го до 100 000-го).

Там показано распределение интервалов между выбранными корнями и для сравнения — кривая, предсказываемая теорией ГУА. Совпадение не слишком хорошее, но и наша выборка не так уж велика или находится недостаточно высоко на критической прямой. Тем не менее соответствие достаточно хорошее, вполне в пределах отклонений, допускаемых случайностью; разумеется, совпадения в статье Одлыжко намного лучше. [177]

Итак: да, судя по всему, нетривиальные нули дзета-функции и собственные значения случайных эрмитовых матриц некоторым образом связаны друг с другом. Это ставит нас перед довольно серьезным вопросом, который все время висел в воздухе с момента встречи Хью Монтгомери и Фримена Дайсона в Фалд-Холл в 1972 году.

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

А теперь попытаемся проникнуть в самую сердцевину работы Римана 1859 года. Это по необходимости подразумевает знакомство с некоторым довольно продвинутым математическим аппаратом, который использовал сам Риман. Мне придется без лишних слов перескакивать через по-настоящему трудные места, преподнося их как faits accomplis [178]; я просто попытаюсь описать логические этапы в рассуждениях Римана, говоря при этом нечто вроде: «У математиков есть способ перейти от этого к этому», не объясняя, в чем же этот способ состоит и как он работает.

Я надеюсь, что у читателя в итоге сложится впечатление по крайней мере насчет общей логической канвы тех шагов, которым следовал Риман. Но даже и это не удастся без небольшой толики анализа, существенные моменты которого уже изложены в главе 7.vi-vii. Несколько следующих разделов могут показаться вам сложными. Но наградой будет результат столь же мощный, сколь и прекрасный, из которого вытекает все — сама Гипотеза, ее значение и ее связь с распределением простых чисел.

Для начала выскажу нечто противоречащее тому, что было сказано в главе 3.iv. Ну, вроде как противоречащее. Там мы говорили, что не слишком интересно рисовать график функции π(N) , которая подсчитывает для нас простые числа. В том месте книги так и было. А теперь это не так.

Однако сначала кое-что подкорректируем. Вместо того чтобы писать π(N) , что на глаз математика выглядит как «число простых чисел, не превышающих натурального числа N », будем писать π(x) , что должно означать «число простых чисел, не превышающих вещественного числа x ». Ничего особенного мы не сделали. Разумеется, число простых чисел, не превышающих 37,51904283, есть просто число простых чисел, не превышающих 37 (и равно двенадцати: это 2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37). Но нам предстоит познакомиться с некоторым объемом дифференциального и интегрального исчисления, и поэтому желательно находиться в царстве всех, а не одних только целых чисел.

И еще одна корректировка. При постепенном приближении к аргументу x в пределах некоторого интервала значений функция π(x) внезапно совершает прыжки. Пусть, например, x постепенно переходит от числа 10 к числу 12. Число простых чисел, не превышающих 10, равно 4 (это 2, 3, 5 и 7), так что значение функции равно 4, когда x = 10 и, равным образом, разумеется, когда x = 10,1, 10,2, 10,3 и т.д. Но при аргументе 11 это значение внезапно совершает прыжок к 5; и для 11,1, 11,2, 11,3, … оно твердо стоит на 5. Математики называют такое «ступенчатой функцией». И здесь нам потребуется корректировка, которую используют довольно часто, когда имеют дело со ступенчатыми функциями. Ровно в той точке, где π(x) совершает прыжок, присвоим ей значение, лежащее посередине между значениями, от которого и до которого она прыгает. Так, при аргументе 10,9, или 10,99, или 10,999999 функция имеет значение 4; при аргументе 11,1, или 11,01, или 11,000001 функция имеет значение 5; но при аргументе 11 это будет 4,5. Сожалею, если это представляется вам немного необычным, но это важно для наших целей. Если мы так сделаем, то все рассуждения из этой главы и из главы 21 будут иметь силу; а если нет, то они не будут работать.