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

Карл Людвиг Зигель, сын берлинского почтальона, преподавал во Франкфуртском университете. Состоявшийся ученый, специалист по теории чисел, он прекрасно понимал (как это должен был понимать и любой читавший ее математик), что статья Римана 1859 года представляла собой, в терминологии Эрвинга Гоффмана, с которым мы встречались в главе 4.ii, всего лишь фасад намного более масштабной конструкции, сжатое изложение для публикации гораздо большей по объему работы, проходившей, по-видимому, «за сценой». Поэтому он постарался выкроить как можно больше времени, чтобы провести его в Геттингене, просматривая относящиеся к тому периоду личные математические записи Римана и надеясь найти какие-нибудь зацепки, указывающие на ход мыслей Римана во время его работы над той статьей.

Зигель был вовсе не первым, предпринявшим такую попытку. В 1895 году Генрих Вебер закончил работу над вторым изданием «Собрания трудов» Римана, после чего отдал его бумаги на хранение в университетскую библиотеку. Когда там появился Зигель, бумаги пролежали среди архивов в Геттингене (где они находятся и по сей день, см. главу 22.i) уже 30 лет. Разные исследователи неоднократно предпринимали попытки изучить эти записи, но все в конце концов отступали перед фрагментарным и неорганизованным стилем черновиков Римана, или же, вполне вероятно, им просто не хватало математической квалификации для понимания этих записей.

Зигель был сделан из более крутого теста. Он не отступил и продолжал изучать толстые кипы небрежно исписанных листков и в результате сделал потрясающее открытие, которое и опубликовал в 1932 году в статье под названием «О Nachlass [146]Римана, относящихся к аналитической теории чисел». Это одна из ключевых работ в истории Гипотезы Римана. Чтобы объяснить суть сделанного Зигелем открытия, нам надо вернуться к вычислительной линии повествования — другими словами, к попыткам реально вычислить нули дзета-функции и проверить Гипотезу Римана экспериментально.

IV.

В нашем рассказе о вычислительном направлении в главе 12 мы остановились на Йоргене Граме, который в 1903 году опубликовал результаты вычисления 15 первых нетривиальных нулей. Работа в этом направлении не прекращается по сей день. В 1996 году на конференции по Гипотезе Римана в Сиэтле Эндрю Одлыжко представил историю вопроса, которая показана в таблице 16.1.

Исследователь(и)		Дата опубликования	Число нулей с вещественной частью 1/ 2
Й. Грам		1903	15
Р.Дж. Бэклунд		1914	79
Дж. И. Хатчинсон		1925	138
Э.Ч. Титчмарш и др.		1935-1936	1041
А.М. Тьюринг		1953	1054
Д.Х. Лемер		1956	25 000
Н.А. Меллер		1958	35 337
Р.Ш. Леман		1966	250 000
Дж. Б. Россер и др.		1969	3 500 000
Р.П. Бренти др.		1979	81 000 001
X. те Риле, Я. ван де Луне и др.		1986	1 500 000 001

Таблица 16.1.Вычисление нулей дзета-функции.

В конце 2000 года ван де Луне довел вычисления до 5 миллиардов нулей дзета-функции Римана, а в октябре 2001 года — до 10 миллиардов. Тем временем в августе 2001 года Себастьян Веденивски, использовав свободные процессорные мощности на 550 офисных персональных компьютерах корпорации IBM в Германии, инициировал проект по дальнейшему развитию этих вычислений. Последний опубликованный результат Веденивски датируется 1 августа 2002 года; число нетривиальных нулей с вещественной частью одна вторая доведено до 100 миллиардов.

Здесь на самом деле происходит несколько вещей сразу, и важно четко их разделять.

Во-первых, не следует смешивать а) высоту вдоль критической прямойи б) число нулей. «Высота» означает просто мнимую часть комплексного числа: высота числа 3 + 7 iравна 7. При рассмотрении нулей дзета-функции принято обозначать высоту буквой tили T. (Поскольку мы знаем, что нули симметричны относительно вещественной оси, мы интересуемся только положительными t). Имеется формула для числа нулей вплоть до высоты T:

N(T) =

^T/ ₂•ln ( ^T/ ₂) - ^T/ ₂+ (ln  T)

Это на самом деле очень хорошая формула (первые два слагаемых в ней принадлежат Риману): она дает превосходное приближение уже для достаточно малых значений T. Если не обращать внимания на член с большим [147], то для T, равного 100, 1000 и 10 000 она дает соответственно 28,127, 647,741 и 10 142,090. Истинное же число нулей на этих высотах составляет 29, 649 и 10 142. Чтобы получить значение N(T)величиной в 100 миллиардов, как у Веденивски, требуется взять Tравным 29 538 618 432,236… — до такой высоты Веденивски и добрался в своих исследованиях.