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

Автор книги: Джон Дербишир

сообщить о нарушении

Текущая страница: 22 (всего у книги 26 страниц)

IX.

Чтобы еще глубже разобраться в смысле остаточного члена, снова взглянем на двойную спираль в правой части рисунка 21.4. Она представляет нам функцию Li( x ^{критическая прямая}) при x= 20. Критическая прямая – испещренная, если ГР верна, всеми нетривиальными нулями дзета-функции – отображается под действием функции Li(20 ^z ) в спираль. Что будет, если вместо 20 мы возьмем какое-нибудь большее значение х? Какой вид примут соответствующие спирали?

Общее представление о том, что при этом происходит, дается на рисунке 21.7. Там представлены три функции: Li(10 ^{крит. прямая}), Li(100 ^{крит. прямая}) и Li(1000 ^{крит. прямая}). Во всех трех случаях показано, как отображается один и тот же отрезок критической прямой – отрезок от ¹/ ₂− 5 iдо ¹/ ₂+ 5 i.

Рисунок 21.7.Li( x ^{критическая прямая}) при x= 10, 100 и 1000. Отображаемая часть критической прямой представляет собой отрезок от ¹/ ₂− 5 iдо ¹/ ₂+ 5 i.

Как видно, при увеличении xот 10 до 100 и далее до 1000 происходят следующие явления.

• Спирали растут в размере, но при этом по-прежнему сходятся к тем же двум точкам −πiи πi.

• Отрезок критической прямой, который мы отображаем (длина его равна 10 единицам), все сильнее и сильнее растягивается, накручиваясь все большее и большее число раз вокруг точек −πiи πi.

• Верхняя и нижняя спирали приближаются друг к другу, «целуются» при каком-то значении xмежду 100 и 1000, а после этого пересекаются (спирали в действительности «целуются», когда x = 399,6202933538…).

Выбранный нами отрезок критической прямой слишком короткий для того, чтобы достичь первой пары нулей при ¹/ ₂± 14,134725 i. Поскольку сама прямая растягивается, а спирали при этом, наматываясь все более и более вокруг точек −πiи πi, растут в размере, возникает интересный вопрос. Не случится ли так, что растяжение прямой и намотка спиралей удержат нули дзета-функции на небольшом удалении от точек −πiи πiнезависимо от того, сколь сильно увеличились спирали? Ответ – нет; по мере роста xнули дзета-функции отображаются в точки, расположенные сколь угодно далеко. Когда ρравняется первому нулю дзета-функции (это нуль при ¹/ ₂+ 14,134725 i), а аргумент xдостигает скромного триллиона, функция Li (x ^ρ)добирается до вещественных частей, превышающих 2200.

В главе 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]201
  Заметим, что 639:1050 = 0,6085714…. Для больших чисел Nвероятность того, что Nсвободно от квадратов, равна ~ 6/ π ², т.е. 0,60792710…. Вспоминая из главы 5 найденное Эйлером решение базельской задачи, можно заметить, что эта вероятность равна 1/ ζ(2). Это верно и в общем случае. Вероятность того, что положительное целое число N, выбранное случайным образом, не делится на п-ю степень никакого целого числа, равна ~ 1/ ζ(n).Например, среди всех чисел, не превышающих 1000 000, в действительности 982 954 не делятся ни на какую шестую степень; при этом 1/ ζ(6) равняется 0,98295259226458….


[Закрыть]

Изображенные на рисунке 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]202
  На домашней страничке Ульрике на веб-сайте Ульмского университета вывешена фотография, на которой она стоит рядом с надгробным камнем Бернхарда Римана в итальянской Селаске.


[Закрыть], во времена Римана деление на математиков и физиков было не слишком отчетливым. А незадолго до того оно не проводилось вовсе.

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

Джонатан Китинг [203]203
  Джонатан Китинг —профессор прикладной математики в Бристольском университете в Англии. Он тесно сотрудничал с сэром Майклом Берри в исследовании физических аспектов ГР.


[Закрыть]рассказывает следующую историю – на мой взгляд, имеющую легкий оттенок сверхъестественного:

Я отдыхал в горах Гарца вместе с несколькими коллегами. Двое из нас решили, что стоит проехать 30 миль, отделявших нас от Геттингена, чтобы взглянуть на черновики Римана, хранящиеся там в библиотеке. Лично мне было интересно посмотреть на заметки, относящиеся примерно ко времени написания работы 1859 года о дзета-функции.

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

Мы добрались до библиотеки, и я попросил, чтобы мне показали заметки по теории чисел, а мой коллега – по теории возмущений. Библиотекарь что-то проверила, а потом вернулась и сказала, что нам обоим нужна одна и та же подшивка черновиков Римана. Он работал над этими двумя задачами одновременно.

Разумеется, добавляет Джонатан, в распоряжении Римана не было операторной алгебры XX столетия, которая помогла бы ему в задаче о возмущениях и дала бы ему все возможные частоты вибраций в виде спектра собственных значений. Ему приходилось продираться сквозь дифференциальные уравнения, создавая специально для своих целей некоторый зачаток теории операторов. И все же трудно поверить, что ум столь острый и столь проницательный, как у Римана, не заметил бы аналогии между нулями дзета-функции, нанизанными на критическую прямую, и спектром частот в теории возмущений – аналогии, которая при столь драматических обстоятельствах высветилась за чашкой вечернего чая в Фалд-Холл 113 лет спустя!

II.

Мне довелось услышать этот рассказ Китинга в Институте Куранта при Нью-Йоркском университете в начале лета 2002 года. Поводом была четырехдневная серия лекций и дискуссий, организованная Американским математическим институтом (АМИ). Называлось все это мероприятие «Рабочее совещание о дзета-функциях и связанных с ними гипотезах Римана».

На эту конференцию были приглашены многие знаменитости. Показался и сам Атле Сельберг, нисколько не потерявший прежнюю остроту ума в свои 84 года. (В ходе самого первого выступления он поддел Питера Сарнака по поводу одного факта из истории математики. Во время обеденного перерыва я отправился в великолепную библиотеку Курантовского института и проверил, как оно на самом деле. Сельберг оказался прав.) Присутствовали многие из тех, чьи имена мы упоминали в предшествующих главах, включая обоих открывателей закона Монтгомери-Одлыжко. Среди других участников был нынешняя математическая супер-звезда Эндрю Уайлс, ставший знаменитым после того, как доказал Последнюю теорему Ферма, Хэролд Эдвардс, автор несколько раз упоминавшейся самой надежной книги о дзета-функции, и Дэниел Бамп – одно из двух имен, связанных с самым неординарным на слух из всех результатов, имеющих отношение к ГР, – теоремой Бампа-Нг. [204]204
  «Нули преобразования Меллина от функции Эрмита имеют вещественную часть одна вторая» (1986). Соавтором Бампа по доказательству был некто Е.К.-С. Нг, о котором мне больше ничего не известно.


[Закрыть]

В последние годы АМИ превратился в значительную силу, направленную на штурм ГР. Конференция в Курантовском институте была третьей из спонсировавшихся АМИ конференций по проблемам, связанным с ГР. Первая состоялась в университете штата; Вашингтон в Сиэтле в августе 1996 года и была приурочена к 100-летию доказательства Теоремы о распределении простых чисел, данного Адамаром и де ля Валле Пуссеном. Вторая проводилась в 1998 году в Институте Эрвина Шредингера в Вене. В целом АМИ вовсе не ограничивает свою деятельность исследованиями Гипотезы Римана – ни даже просто теорией чисел. Например, недавно АМИ поддержал проект по исследованиям в области общей теории относительности. Но в отношении ГР они сделали очень много, чтобы собрать вместе исследователей из различных областей, развивающих различные, уже упоминавшиеся нами подходы: алгебраический, аналитический, вычислительный и физический.

АМИ был основан в 1994 году Джеральдом Александерсоном – крупной фигурой в американской математике (кстати, Александерсон – автор очень хорошей книги о Джордже Пойа) и Джоном Фраем – калифорнийским бизнесменом. Фрай происходит из семьи предпринимателей. Его родителям принадлежала пользующаяся успехом сеть супермаркетов в Калифорнии. Джон еще в юности влюбился в математику и в 1970-х годах учился математике в университете Санта-Клары, где в то время работал Александерсон. После окончания университета Джону пришлось решать, продолжать ли семейную традицию в бизнесе или поступать в аспирантуру. Джон сделал выбор в пользу бизнеса и вместе с двумя братьями основал сеть магазинов электроники (Fry's Electronics), сначала только в Калифорнии, а в последнее время выросшей до масштабов всей страны.

Джон Фрай и Джерри Александерсон не теряли друг друга из виду. Их общим интересом было коллекционирование редких математических книг и оригинальных статей. В начале 1990-х годов они загорелись идеей основать математическую библиотеку, в которой хранилось бы их собрание. Это постепенно развилось в план устройства математического института. Они привлекли еще Брайана Конри – одногруппника Джона в университете Санта-Клары, получившего относительную известность в области теории чисел и чрезвычайно успешно руководившего факультетом в университете штата Оклахома.

В течение нескольких первых лет своего существования АМИ почти целиком финансировался из личных пожертвований Джона Фрая, доходивших до 300 000 долларов в год. Это был тот самый случай, когда добрые дела творятся втихую. Джон – сдержанный и склонный к уединению человек, не выставляющий напоказ того, что он делает. Когда я впервые услышал об АМИ, я принялся искать портрет Фрая в Интернете; но портретов там не нашлось. В своей собственной среде, однако, т.е. среди математиков и людей, любящих математику, до Джона добраться несложно. В ходе конференции в Курантовском институте в Нью-Йорке он пригласил нескольких человек, включая и меня, на ланч. Высокий живой человек с лицом, которое загорается, когда он начинает говорить о математике. Я хотел осторожно поинтересоваться, не приходилось ли ему жалеть о своем решении пойти в бизнес, а не по академической стезе, но все-таки решил, что вопрос не слишком уместный, и я не воспользовался представившейся мне возможностью.

Побывав за несколько дней до конференции в Курантовском институте в штаб-квартире АМИ, я выяснил, что она располагается во вполне рядовых офисных помещениях, соединенных с магазином Фрая в Пало-Альто в Калифорнии. Однако в 2001 году АМИ подал заявку в National Science Foundation [205]205
  Независимое федеральное агентство в США, созданное по решению Конгресса США в 1950 г.; среди его целей первой названа цель способствовать развитию науки. (Примеч. перев.)


[Закрыть]на поддержку финансирования центра для конференций на зеленом 200-акровом участке к югу от Сан-Хосе в Калифорнии. Средства были выделены, и исследовательские программы будут осуществляться по новому адресу с декабря 2002 года.

Начало другому предприятию, финансируемому, подобно АМИ, из частных источников, было положено на Восточном побережье Соединенных Штатов в 1998 году, когда бостонский бизнесмен Лэндон Т. Клей и гарвардский математик Артур Джаффе организовали Математический институт Клея (МИК). Если первое крупное мероприятие, проведенное АМИ, было посвящено столетию Теоремы о распределении простых чисел, то в МИК решили отметить годовщину доклада Гильберта на Парижском конгрессе 1900 года.

Для этого в мае 2000 года МИК организовал двухдневное мероприятие, в Коллеж де Франс в Париже, в ходе которого было объявлено о создании фонда в семь миллионов долларов – по миллиону в качестве награды за решение каждой из семи великих математических проблем. Естественно, ГР была включена и значилась как проблема номер 4. (Выбранный порядок определялся длиной фразы, в которой проблема формулируется, чтобы объявление об установленных наградах выглядело приятнее.) Не знаю, как там с шестью остальными проблемами, но миллион долларов нельзя считать значительным дополнительным стимулом, чтобы доказать или опровергнуть Гипотезу. К началу XXI века она твердо заняла свое место в качестве нерешенной проблемы в математике, так что любой, кто бы ни решил ее, в довершение к непреходящей славе получил бы еще и финансовую выгоду в размере, намного превышающем миллион долларов, за одни только лекции, интервью и авторские отчисления. [206]206
  Мне, по крайней мере, так кажется. Однако один профессиональный математик, познакомившийся с рукописью этой книги, выразил по этому поводу искреннее недоверие. Математикам исключительно сложно всерьез принять мысль о том, что занятиями математикой можно зарабатывать серьезные деньги.


[Закрыть]

III.

Так каковы же перспективы доказательства или опровержения ГР? Высказывать прогнозы по предметам подобного рода – прекрасный способ выставить себя дураком. Это остается верным даже и в том случае, если вы великий математик, каковым я, понятно, не являюсь. Семьдесят пять лет назад, читая лекцию нематематической аудитории, Давид Гильберт расположил три задачи в порядке возрастания сложности.

• Гипотеза Римана.

• Последняя теорема Ферма.

• «Седьмая» – другими словами, проблема номер 7 в списке из 23 проблем, которые Гильберт огласил на конгрессе 1900 года. В явной формулировке: если aи b– алгебраические числа, то a ^bтрансцендентно (см. главу 11.ii), за исключением тех случаев, когда это не так по очевидным и тривиальным причинам.

Гильберт утверждал, что ГР будет решена в течение его жизни, а Последняя теорема Ферма будет доказана в течение жизни младшего поколения из тех, кто присутствовал в аудитории, но «никто в этом зале не доживет до доказательства Седьмой». На самом деле Седьмая проблема была доказана менее 10 лет назад Александром Гельфондом и Теодором Шнайдером, которые работали независимо. Насчет Последней теоремы Ферма Гильберт был с некоторой натяжкой прав – ее доказал Эндрю Уайлс в 1994 году, когда младшим из слушателей Гильберта должно было стукнуть девяносто с небольшим. Однако он радикально ошибся насчет ГР. Если ГР сыграет и со мной злую шутку – если все то, что я собираюсь сказать, обесценится и «умножится на нуль» из-за того, что доказательство ГР появится в тот момент, когда эта книга будет лежать уже в переплетном цехе, – если такое случится, то я, по крайней мере, буду утешаться тем, что окажусь в неплохой компании.

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

Мое впечатление о состоянии дел на данный момент (середина 2002 года) – хотя надо оговориться, что это лишь впечатление наблюдателя, который сам в бою не участвует, – таково, что исследователи находятся в патовой ситуации. В битве наступило затишье. Мощнейший взрыв интереса, вызванный доказательством гипотез Вейля, предложенным Делинем в 1973 году, и продвижениями Монтгомери-Одлыжко в период с 1972 по 1987 год, как мне кажется, исчерпался.

В мае 2002 года я провел три дня в офисе АМИ в Пало-Альто, занимаясь тем, что просматривал видеозапись конференции 1996 года в Сиэтле. А через месяц после этого я был на рабочем совещании в Институте Куранта. Вычитание числа 1996 из числа 2002 дает шесть лет. «Вычитание» содержания конференции в Сиэтле из курантовского совещания показывает, что математики, собравшиеся в Институте Куранта, смогли показать не так много нового. Вообще-то это не слишком неожиданное заявление, и я никоим образом не придаю ему пренебрежительного или уничижительного оттенка. Деятельность, о которой идет речь, исключительно трудна. Прогресс в ней дается не быстро, а шесть лет – срок в истории математики небольшой. (Доказательство Последней теоремы Ферма потребовало 357 лет!) И кроме того, на совещании в Курантовском институте былияркие доклады молодых математиков, таких как Иван Фесенко.

Но основное впечатление все же свелось к тому, что наблюдается патовая ситуация. Как будто бы ГР представляла собой гору, на которую совершается восхождение, но с какого направления к ней ни подбираешься, рано или поздно застреваешь у края широкой и бездонной расселины. Я сбился со счета, пытаясь прикинуть, сколько раз, будь то в 1996 или в 2002 году, докладчик заканчивал свое выступление, буквально разводя руками: «Это, конечно, очень важное достижение, однако неясно, удастся ли перекинуть отсюда мостик к доказательству классической Гипотезы Римана…»

Сэр Майкл Берри, который знает толк в словах, ввел в обращение концепцию «кларитона», который он определяет как «элементарную частицу внезапного понимания». [207]207
  От англ . clarity– ясность, прозрачность. (Примеч. перев.)


[Закрыть]В области ГР в настоящее время ощущается дефицит кларитонов.

Эндрю Одлыжко: «Сказано, что, кто бы ни доказал истинность Теоремы о распределении простых чисел, тот достигнет бессмертия. И верно: и Адамар, и де ля Валле Пуссен дожили до девяноста с лишним лет. Возможно, ГР не верна; но если кто нибудь сумеет доказатьее ложность – найти нуль вне критической прямой, – то он умрет на месте и о его результате никто никогда не узнает».

IV.

Если оставить в стороне вопрос о поиске доказательства, то каковы ощущенияматематиков насчет ГР? Что им подсказывает их интуиция? Верна ГР или нет? Что они по этому поводу думают? Я специально спрашивал всех математиков, с которыми удавалось поговорить, верят ли они в справедливость Гипотезы. Ответы образовали широкий спектр с довольно разнообразным набором собственных значений.

Для тех математиков, кто верит в ее справедливость (сюда относится, например, Хью Монтгомери), определяющую роль играет совокупная убедительность свидетельств в ее пользу. Но всем профессиональным математикам известно, что веские свидетельства и указания могут сыграть злую шутку. Имелись веские основания полагать, что Li (x)всегда превосходит π(x), пока Литлвуд не показал в 1914 году, что это не так. Верно, скажут вам те, кто верует в ГР, но ведь то были всего лишь свидетельства, затрагивающие только одну нить, ведущую к ГР. Численные свидетельства вкупе с неподкрепленным предположением, что второй член – т.е. член с интегральным логарифмом − ¹/ ₂Li (x ^1/2 ) – будет и далее доминировать в разности, которая в силу этого будет оставаться отрицательной. А к самой Гипотезе ведет большее число нитей. На Гипотезе Римана основано огромное количество результатов, большинство из которых весьма разумны и – если использовать слово, которое особенно нравится математикам, – изящны. Имеются сотни теорем, которые начинаются словами «В предположении, что Гипотеза Римана верна…». Если ГР окажется ложной, то все они рассыплются. Это, понятно, было бы нежелательным, так что тех, кто верует, можно упрекнуть в выдавании желаемого за действительное, и, однако же, дело не в нежелании потерять все эти результаты, а в факте их существования. В веских свидетельствах.

Другие математики полагают (как полагал Алан Тьюринг), что ГР, скорее всего, не верна. Мартин Хаксли [208]208
  Мартин Хаксли– профессор чистой математики из университета Уэльса в Кардиффе.


[Закрыть]– один из неверующих наших дней. Его неверие основано исключительно на интуитивных посылках – если процитировать аргумент, впервые выдвинутый Литлвудом, «Остающаяся длительное время не доказанной гипотеза из анализа, как правило, оказывается ложной. Остающаяся длительное время не доказанной гипотеза из алгебры, как правило, оказывается истинной».

Ответ, который мне нравится больше всех, принадлежит Эндрю Одлыжко. Ему я на самом деле задал этот вопрос впервые – он был первым математиком, к кому я обратился, когда вынашивал планы написания этой книги. Мы отправились ужинать в ресторан в городок Саммит в Нью-Джерси. Эндрю в то время работал в Белловских лабораториях (сейчас он в университете Миннесоты). Я в то время был новичком во всем, что касалось ГР, и мне приходилось много всего изучать. Покончив с превосходной итальянской едой и проведя два часа за серьезным разговором о математике, мы подошли к моменту, когда у меня больше не осталось, о чем спрашивать; тогда я сказал:

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

Э.О.Она или верна, или нет.

Дж.Д.Да ладно, Эндрю, у вас же должно быть какое-то ощущение по этому поводу. Ну скажите мне, какова вероятность. Скажем, восемьдесят процентов, что она верна, и двадцать, что нет. Или сколько?

Э.О.Она или верна, или нет.

Кроме этого мне ничего не удалось из него вытянуть. Он просто не желал связывать себя никаким утверждением. В другом разговоре, состоявшемся позднее и в другом месте, я спросил Эндрю, имеются ли веские математические причины полагать, что Гипотеза не верна. Да, сказал он, некоторые имеются. Например, можно разбить дзета-функцию на различные части, каждая из которых будет вам говорить что-то свое о поведении дзета-функции. Одна из этих частей – так называемая S-функция ( никакого отношенияне имеющая к функции, которую мы обозначали как S(x)в главе 9.ii). Во всем интервале, в котором до сих была изучена дзета-функция, – т.е. для аргументов на критической прямой до высоты около 10 ²³– Sв основном барражирует между −1 и +1. Наибольшее известное ее значение равно примерно 3,2. Имеются серьезные основания думать, что если Sсумеет в какой-то момент добраться до величины около 100, то ГР может оказаться в беде. Ключевое слово здесь – «может»; достижение функцией Sзначений около 100 – это необходимоеусловие для того, чтобы с Гипотезой Римана случилась беда, но не достаточное.

Могут ли значения функции Sкогда-нибудь вообще стать столь большими? Представьте себе, могут. На самом деле Атле Сельберг в 1946 году доказал, что Sнеограничена; другими словами, рано или поздно, если только забраться достаточно высоко по критической прямой, значение этой функции превысит любое заранее выбранное число! Скорость роста функции Sстоль чудовищно мала, что соответствующие высоты находятся за пределами воображения, но тем не менее нет сомнений, что Sв конце концов дойдет до 100. Докуда надо будет исследовать критическую прямую, чтобы увидеть, как Sдостигнет такой величины? Эндрю: «Возможно, до T, равного ». Это намного больше, чем современные вычислительные возможности, да? «О да. Серьезнобольше».

V.

Вопрос, который всегда задают читатели-нематематики, вопрос, который возникает всякий раз, когда математики обращаются к аудитории из простых людей: какая от всего этого польза? Предположим, что Гипотезу Римана доказали или опровергли. Какие практические следствия отсюда произойдут? Станем ли мы от этого здоровее, повысится ли наш комфорт, станет ли наша жизнь более безопасной? Изобретут ли новые устройства? Сможем ли мы быстрее путешествовать? Получим ли более разрушительное оружие? Колонизируем ли Марс?

Пожалуй, мне пора снять маску и предстать перед вами в образе чистого математика sans mélange [209]209
  Без примесей, чистокровный (франц.). (Примеч. перев.)


[Закрыть], которого вообще не интересуют подобные вопросы. Для большинства математиков – как и для большинства физиков-теоретиков – стимулом является не какая бы то ни было идея об улучшении здоровья или повышении комфорта человеческой расы, но чистая радость открытия и удовольствие от преодоления сложных проблем. Математикам, в общем, приятно, когда их результаты находят какое-нибудь практическое применение (во всяком случае, если это применение в мирных целях), но мысли о таких вещах не часто проникают в ту сферу их жизни, которая связана с работой. На конференции в Курантовском институте я просидел четыре дня с 9:30 до 18:00 вечера на докладах, где рассказывалось о вопросах, связанных с ГР, и ни разу не слышал, чтобы упоминались практические приложения.

Вот что по этому поводу говорил Жак Адамар в своей книге «Исследование психологии процесса изобретения в области математики»:

Ответ возникает перед нами еще до того, как возник вопрос <…> Практическое приложение обнаруживается, когда его не ищут, и можно сказать, что весь прогресс человечества зиждется на этом принципе <…> Практические вопросы чаще всего удается разрешить с помощью уже существующих теорий <…> Редко случается так, что важные математические изыскания предпринимаются непосредственноввиду той или иной практической пользы; мотивировкой их является то же стремление, которое служит основой всякой научной деятельности, – стремление узнать и понять.

Г.X. Харди на заключительных страницах своей странной «Апологии» высказался по этому поводу более резко и откровенно:

Я никогда не делал ничего «полезного». Ни одно из моих открытий не произвело и не имеет шансов произвести, будь то явным или неявным образом, к добру или ко злу, ни малейшей перемены в удобствах жизни <…> При оценке по стандартам практики значение моей математической жизни равно нулю.

В отношении теории простых чисел применимо высказывание Адамара «Ответ возникает перед нами еще до того, как возник вопрос», а заявление Харди уже не верно. С конца 1970-х годов простые числа стали приобретать все большее значение в создании методов шифровки – как в военных, так и в гражданских целях. Способы, позволяющие проверить, является ли данное большое число простым, способы разложения больших чисел на простые множители, способы производства простых чисел огромной величины – все эти вопросы действительно приобрели исключительно e практическое звучание в последние два десятилетия XX века. Теоретические результаты, включая и несколько из тех, что получил Харди, сыграли существенную роль на пути к этим достижениям, которые, среди прочего, позволяют использовать кредитную карту для покупки товаров через Интернет. Разрешение вопроса о ГР, несомненно, повлекло бы дальнейшее развитие в этой области, переведя в разряд истинных все те бессчетные теоремы о простых числах, которые начинаются словами «В предположении, что Гипотеза Римана верна…», и подстегнув дальнейшие открытия. [210]210
  Гипотеза Римана эквивалентна, в частности, ряду утверждений о делителях натуральных чисел, например, такому утверждению: «Для всякого натурального числа n≥ 5041 сумма его делителей меньше величины e ^γn ln(ln  n)». Здесь γ– упоминавшееся число Эйлера-Маскерони, в России чаще называемое просто постоянной Эйлера. (Примеч. перев.)


[Закрыть]

И конечно, если физики и правда преуспеют в идентификации «римановой динамики», то это изменит наше понимание физического мира.

К сожалению, невозможно предсказать, к чему приведет такое изменение. Даже умнейшие люди не в состоянии высказывать подобные предсказания, а тем, кто их все же высказывает, доверять не следует. Вот математик за работой всего около 100 лет назад:

Каждое утро я сажусь перед чистым листом бумаги. В течение дня, с коротким обеденным перерывом, я все смотрю и смотрю на чистый лист. Порой, когда наступает вечер, он все еще пуст. Два лета – 1903 и 1904 годов – останутся в моей памяти как период полного интеллектуального тупика <…>. Вполне вероятно, что весь остаток моей жизни может пройти за разглядыванием этого чистого листа бумаги.

Это из автобиографии Бертрана Рассела. Терзавшая его проблема состояла в попытке найти определение «числа» на языке чистой логики. В самом деле, что именно обозначает «три»? Немецкий логик Готлоб Фреге ранее предложил ответ, но Рассел нашел изъян в рассуждениях Фреге и искал способ заделать дыру.

Если бы вы спросили Рассела в течение одного из этих летних периодов отчаяния, мог ли предмет его затруднений привести к каким-нибудь практическим приложениям, то он бы разразился смехом. Его занятия являли собой чистейший образец чистейшего интеллекта – до такой степени, что даже сам Рассел, математик по образованию, временами недоумевал, чего ради он этим занимается. «Казалось, что негоже взрослому человеку проводить свое время за такими никчемными вещами…» – замечал он. На самом деле работа Рассела в конце концов привела к появлению Principia Mathematica– ключевого момента в современных исследованиях оснований математики. Среди плодов этого исследования к настоящему времени числятся и победа во Второй мировой войне (или, во всяком случае, победа меньшей ценой, чем это в противном случае произошло бы), и машины, подобные той, на которой я набираю эту книгу. [211]211
  Цепь событий в наикратчайшем изложении такова. Метод, принятый в Principia Mathematica,не давал гарантии от ошибок, подобных той, на которую Рассел обратил внимание в работе Фреге. Программа «метаматематики» Гильберта ставила целью объять и логику, и математику в единый четкий формализм. Это послужило мотивировкой исследований Курта Геделя и Алана Тьюринга. Гедель доказал ряд важных теорем путем построения соответствия между символами типа гильбертовых и числами; Тьюринг закодировал и инструкции, и данные в виде чисел в своей идее «машины Тьюринга». Ухватившись за эту идею, Джон фон Нейман развил концепцию хранящейся в памяти программы – концепцию, на которой основано все современное программное обеспечение и согласно которой и код, и данные можно единообразно представить в памяти компьютера…


[Закрыть]