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

31 марта 1952 года Тьюринг предстал перед судом по 12 обвинениям в «крайне непристойном поведении», поскольку в то время в Британии гомосексуальные акты по взаимному согласию были уголовно наказуемы. В конечном итоге он не попал в тюрьму: его признали виновным, однако дали условный срок с оговоркой, что он согласится на медицинское вмешательство. «В Британии 1952 года не было, — пишет Ходжес, — понятия о праве на сексуальное самовыражение».

Есть и другие истории. Эдвард Титчмарш — ученик Харди (кстати, учеником Харди был и Тьюринг) — получил свои 1041 нулей [152], используя для этого работающие с перфокартами машины, арендованные у Британского адмиралтейства, где с их помощью составляли таблицы приливов. На основании этих результатов Титчмарш написал классический математический текст по дзета-функции. [153] {A7} Разумеется, с появлением электронных компьютеров после Второй мировой войны вся эта «механическая» вычислительная деятельность подошла к своему концу.

Есть еще истории… однако я слишком отклонился от темы. [154]Я собирался рассказать о формуле Римана-Зигеля.

Первые три строки в таблице 16.1— это вклады Грама, Бэклунда и Хатчинсона, полученные как результат упорного труда с карандашом, бумагой и томами математических таблиц. Это был тяжелый вычислительный труд — значения дзета-функции посчитать нелегко. Основной метод, называемый «суммированием Эйлера-Маклорена», был развит около 1740 года Леонардом Эйлером и, независимо от него, шотландским математиком Колином Маклореном. Он основан на аппроксимации интегралов длинными и сложными суммами. Несмотря на свою чрезвычайную трудоемкость, этот метод оставался наилучшим из всех предложенных. Грам сам в течение примерно года пробовал работать с несколькими другими методами, но без большого успеха.

Суть открытия, которое сделал Карл Зигель, изучая Nachlass Римана в геттингенской библиотеке, такова: в ходе исследований, приведших к статье 1859 года Бернхард Риман разработал гораздо лучший метод вычисления нулей и, более того, применил его и сам нашел первые три нуля! Никаких следов этого в статье 1859 года не видно. Все осталось скрытым в Nachlass.

Вот что пишет Хэролд Эдвардс: «Риман в действительности обладал средствами, позволявшими вычислять ζ ( 1/ 2+ ti ) с впечатляющей точностью». [155]Однако Риман удовлетворился достаточно грубыми вычислениями, поскольку точное знание о положении нулей не играло существенной роли в его работе. Он получил мнимую часть первого нуля (см. выше) равной 14,1386 и проверил, что это действительно первый нуль; второй и третий он вычислил с точностью до одной или двух сотых.

Открытие формулы Римана, которая после обработки и опубликования ее Зигелем стала формулой Римана-Зигеля, сильно упростило работу по получению нулей. На этой формуле держались все значимые исследования до середины 1980-х годов. Например, классическая статья Эндрю Одлыжко 1987 года «О распределении интервалов между нулями дзета-функции», о которой еще много будет сказано в главе 18.v, опиралась на формулу Римана-Зигеля. На основе этой работы Одлыжко и Арнольд Шонхаге позднее развили и реализовали некоторый улучшенный алгоритм, но все тем не менее основано на формуле Римана-3игеля. [156]

Карл Зигель, кстати, не был евреем, и его напрямую не задевали ограничительные законы в начальный период нацизма. Однако он не терпел нацистов и уехал из Германии в 1940 году, начав работать в Институте высших исследований в Принстоне. Он вернулся в Германию в 1951 году и завершил карьеру в качестве профессора в том самом Геттингене, где за двадцать лет до того архивы позволили ему увидеть, как яркую вспышку, невероятную мощь ума, скрывавшегося за тихой застенчивостью Бернхарда Римана.

Этой книге следовало бы содержать куда больше алгебры, чем в конце концов в ней оказалось. Мы уделяли основное внимание Бернхарду Риману и его работе о простых числах и дзета-функции. Эта работа относится к теории чисел и анализу, и поэтому в нашем рассказе преобладали именно эти темы. Однако современная математика, как уже отмечалось, стала довольно алгебраической. В данной главе читателю предлагаются алгебраические сведения, которые могут потребоваться для понимания двух важных подходов к Гипотезе Римана.

Как и главы 7 и 15, эта глава состоит из двух частей. В разделах II и III обсуждаются основы теории полей, а оставшаяся часть главы посвящена теории операторов. Теория полей важна потому, что она уже позволила доказать нечто, сильно напоминающее Гипотезу Римана. Многие исследователи полагают, что теория полей предлагает наиболее многообещающее направление исследования исходной, классической Гипотезы Римана. Теория операторов приобрела важность после знаменательных и даже романтических событий, о которых будет рассказано в следующей главе. [157]Но сначала о теории полей.

B математике слово «поле» имеет весьма конкретный смысл. Множество элементов образует поле, если эти элементы можно складывать, вычитать, перемножать и делить в согласии с обычными правилами арифметики — например, с правилом a×(b + c) = ab + ac. Результаты всех этих действий должны оставаться в поле.

Например, Nне является полем. Если попробовать из 7 вычесть 12, то получится результат, не лежащий в N. Аналогично обстоит дело и с Z— если поделить 12 на 7, то ответ не будет лежать в Z. Это не поля.

Но Q, Rи C— поля. Если складывать, вычитать, перемножать или делить друг на друга два рациональных числа, то получится другое рациональное число. То же самое с вещественными и комплексными числами. Они дают нам три примера поля. Ясно, что каждое из этих полей содержит бесконечное число элементов.

Несложно построить и другие бесконечные поля. Рассмотрим семейство всех чисел вида а + b √2, где a и b — рациональные числа. Здесь b или равно нулю, или нет. Если b не равно нулю, то, поскольку число √2 не является рациональным, число а + b √2 также не рациональное. Следовательно, это семейство содержит все рациональные числа (при нулевом b ) и тучу весьма специальных иррациональных. Такие числа образуют поле. Сложение числа а + b √2 с числом c + d √2 дает (a + c) + (b + d) √2, их вычитание дает (a − c) + (b − d) √2, результат умножения есть (ac + 2 bd) + (ad + bc) √2, а деление с использованием приема, подобного тому, который применяется при делении комплексных чисел, приводит к (ac − 2bd)/(c 2 − 2d 2) + ((bc − ad)/(c 2 − 2d 2)) √2. Поскольку a и b могут быть вообще любыми рациональными числами, в этом поле бесконечно много элементов.