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

Тем читателям, которые до сих пор не потеряли нить, этот пассаж должен быть понятен хотя бы отчасти. Я надеюсь, что все целиком приобретет смысл, когда мы доберемся до конца книги. Сейчас главное для нас — тот факт, что Гипотеза Римана рассматривалась как один из 23 больших и сложных вопросов, стоящих перед математиками в XX столетии, и именно так ее рассматривал Давид Гильберт— вероятно, величайший среди математиков, активно работавших в 1900 году. [105]

В главе 10.iii мы кратко упомянули причину, определявшую важность Гипотезы Римана на рубеже столетия. Основным фактором было то, что Теорема о распределении простых чисел была к этому моменту доказана. С 1896 года с математической точностью было известно, что π(N) ~ Li (N) , и всеобщее внимание было приковано к этому значку «волны» посередине. Да, по мере того как N неограниченно растет, делаясь все больше и больше, π(N) пропорциональным образом становится все ближе и ближе к Li (N) . Но какова природа этой близости? Нельзя ли указать лучшее приближение? И вообще, насколько приближенно это приближение? Каков «остаточный член»?

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

Математическая суть дела будет проясняться по мере нашего продвижения вперед, но, думается, вы вовсе не удивитесь, узнав, что все эти нули — комплексные числа. В 1900 году о расположении этих нетривиальных нулей (имеется в виду расположение на комплексной плоскости) с математической точностью было известно следующее.

• Существует бесконечно много нулей дзета-функции, причем все они имеют вещественную часть, заключенную в пределах от 0 до 1 (не включая границы). Чтобы наглядно это представить, математики используют комплексную плоскость (рис. 12.1) и говорят, что все нетривиальные нули лежат в критической полосе . В Гипотезе Римана делается более сильное утверждение: что все они лежат на линии, вещественная часть которой равна одной второй — т.е. на критической прямой . «Критическая полоса» и «критическая прямая» — распространенные термины при обсуждении Гипотезы Римана, и мы отныне будем свободно ими пользоваться.

Рисунок 12.1.Критическая полоса (затемнена) и критическая прямая (показана штрихами).

Все нетривиальные нули дзета-функции лежат на критической прямой.

• Нули появляются сопряженными парами. Другими словами, если a + bi — один из нулей, то нулем является и a − bi . Или еще по-другому, если z — один из нулей, то нулем будет и результат его комплексного сопряжения z' . Мы определили «комплексное сопряжение» и обозначения «зет-с-чертой» в главе 11.v. И еще одним способом скажем так: если имеется нуль сверху от вещественной прямой, то его зеркальное отображение снизу от вещественной прямой также будет нулем (верно, разумеется, и обратное).

• Вещественные части нулей симметричны относительно критической прямой, т.е. нуль или имеет вещественную часть, равную 1/ 2(в духе Гипотезы Римана), или же представляет собой один из элементов пары с вещественными частями 1/ 2 + α и 1/ 2 − α для некоторого вещественного числа α , заключенного между 0 и 1/ 2, и с одинаковыми мнимыми частями. Примерами могли бы служить вещественные части 0,43 и 0,57 или же вещественные части 0,2 и 0,8. Другой способ сказать то же самое таков: если предположить, что имеется нетривиальный нуль не на критической прямой, то его зеркальный образ при отражении относительно критической прямой также должен быть нулем. Это следует из той формулы в главе 9.vi. Если одна сторона формулы равна нулю, то другая также должна равняться нулю. Не будем рассматривать целые значения буквы s (при которых другие члены в той формуле или ведут себя плохо, или обращаются в нуль); тогда эта формула сообщает, что если ζ(s) равна нулю, то ζ( 1 − s) также равна нулю. Тем самым, если ( 1/ 2 + α ) + it представляет собой нуль дзета-функции, то нулем является и ( 1/ 2 − α ) − it , а значит, в соответствии с предыдущим пунктом и результат его сопряжения ( 1/ 2 − α ) + it.