Простая одержимость

В главе 14.vii упоминался недавний результат, полученный Бейсом и Хадсоном, — первое литлвудово нарушение (когда π(x) впервые оказывается больше чем Li(x)) происходит до, а весьма вероятно, что и при x = 1,39822×10³¹⁶. Представим себе, что нам надо повторить весь процесс, с помощью которого мы вычислили π(1000 000), но для указанного числа (назовем его числом Бейса-Хадсона) вместо 1000 000. Какая арифметика была бы тут задействована?

Ясно, что пришлось бы взять не 13, а большее число значений функции J. Корень 1050-й степени из числа Бейса-Хадсона равен 2,0028106…, а корень 1051-й степени равен 1,99896202…, так что надо будет взять корни первой, второй, …, 1050-й степени из этого числа и вычислить функцию J при всех этих аргументах. Это не так уж страшно, потому что многие числа между 1 и 1050 делятся на точные квадраты, а потому функция Мебиуса для них равна нулю. Сколь многие? На самом деле таких чисел 411, так что остается посчитать 639 значений функции J.[201]

Изображенные на рисунке 21.7 двойные спирали пересекают положительную часть вещественной оси последовательно все далее на восток — в точках 2,3078382, 6,1655995 и 13,4960622. Если бы мы проводили вычисления для числа Бейса-Хадсона, то двойная спираль пересекла бы вещественную ось при гораздо большем значении, определяемом числом, которое начинается как 325 771 513 660 и далее содержит еще 144 цифры до запятой. Спирали при этом невообразимо широкие, но, несмотря на это, все равно сходятся к πi и −πi. Это означает, что верхняя и нижняя спирали в сильной степени накладываются друг на друга — настолько сильно, что на рисунке их невозможно было бы различить. А критическая прямая, испещренная сидящими на ней нулями (если ГР верна!), колоссально растянута. Тогда на рисунке, аналогичном рисунку 21.3, в центре была бы значительно большая дыра — хотя все равно с центром в πi, — а спираль триллионы раз наматывалась бы между двумя последовательными нулями с малыми номерами, весьма эффективно разбрасывая их координаты по комплексной плоскости, так что вещественные части колебались бы между чудовищно большими отрицательными и чудовищно большими положительными числами. И все это относится только к первым из 639 строк в таблице для вычисления π(число Бейса-Хадсона). Вторичные члены и правда разошлись не на шутку.

Во всех вычислениях, проводившихся в данной главе, предполагалось (о чем мы время от времени напоминали), что ГР верна. Если она не верна, то наши изящные окружности и спирали представляют собой не более чем приближение, а где-то на большой высоте вдоль критической прямой — для значений ρ где-то далеко-далеко в той бесконечной сумме по вторичным членам — логика нашего рассмотрения рассыпается. В теории, касающейся остаточного члена, ГР занимает центральное место.

X.

Мы достигли главной цели, поставленной перед математической частью этой книги, — показать глубокую связь между распределением простых чисел, воплощенным в функции π(x), и нетривиальными нулями дзета-функции, которые дают значительный (а по теореме Литлвуда — временами и доминантный) вклад в разность между π(x) и Li(x), т.е., другими словами, в остаточный член в ТРПЧ.

Все это открылось нам в блестящей работе Бернхарда Римана 1859 года. Сегодня, конечно, мы знаем намного больше, чем было известно в 1859 году. Однако великая головоломка, впервые сформулированная в той работе, по-прежнему остается нерешенной — она противостоит атакам лучших умов планеты так же твердо, как когда Риман писал о своих «недолгих бесплодных попытках» доказать ее в далекие времена, когда аналитическая теория чисел только-только родилась. Каковы же перспективы на сегодняшний день, когда усилия расколоть орешек ГР прилагаются уже пятнадцатое десятилетие?

Глава 22. Она или верна, или нет

I.

Можно находить известное удовлетворение в наличии некоторой симметрии, выражающейся в том, что после стодвадцатилетнего пребывания среди математиков Гипотеза Римана (ГР) привлекла внимание и физиков. Как отмечалось в главе 10.i, сам Риман в большой степени обладал воображением, присущим ученому-физику. «Четыре из девяти работ, которые он успел сам опубликовать, относятся к физике» (Лаугвитц). Кроме того, как мне напомнила специалист по теории чисел Ульрике Форхауер[202], во времена Римана деление на математиков и физиков было не слишком отчетливым. А незадолго до того оно не проводилось вовсе.

Гаусс был первоклассным физиком в той же мере, что и первоклассным математиком, и его немало озадачила бы идея рассматривать эти две дисциплины по отдельности.

Джонатан Китинг[203] рассказывает следующую историю — на мой взгляд, имеющую легкий оттенок сверхъестественного: