Простая одержимость: Бернхард Риман и величайшая нерешенная проблема в математике - [116]
Вспомним о статье Литлвуда 1914 года (см. главу 14.vii), где он доказал, что неверно утверждение, что Li(x) всегда превосходит π(x). Это означает, что разность рано или поздно станет положительной. Поскольку главные члены очень быстро убывают по величине, а функция Мебиуса делает несколько первых из них отрицательными, включая и по-настоящему большие (при N = 2, N = 3 и N = 5), нелегко представить себе, как же эти главные члены вообще могут внести в разность какой-нибудь иной вклад, кроме как большое отрицательное число. Если в итоге разность должна оказаться положительной (а Литлвуд доказал, что такое рано или поздно случится), то это отрицательное число должно поглотиться большими, положительными, вторичными членами. Чтобы такое произошло, вторичные члены — нули дзета-функции — должны серьезным образом выйти из-под контроля. Судя по всему, так они и делают.
Чтобы еще глубже разобраться в смысле остаточного члена, снова взглянем на двойную спираль в правой части рисунка 21.4. Она представляет нам функцию Li(x>критическая прямая) при x = 20. Критическая прямая — испещренная, если ГР верна, всеми нетривиальными нулями дзета-функции — отображается под действием функции Li(20>z) в спираль. Что будет, если вместо 20 мы возьмем какое-нибудь большее значение х? Какой вид примут соответствующие спирали?
Общее представление о том, что при этом происходит, дается на рисунке 21.7. Там представлены три функции: Li(10>крит. прямая), Li(100>крит. прямая) и Li(1000>крит. прямая). Во всех трех случаях показано, как отображается один и тот же отрезок критической прямой — отрезок от >1/>2 − 5i до >1/>2 + 5i.
Рисунок 21.7. Li(x>критическая прямая) при x = 10, 100 и 1000. Отображаемая часть критической прямой представляет собой отрезок от >1/>2 − 5i до >1/>2 + 5i.
Как видно, при увеличении x от 10 до 100 и далее до 1000 происходят следующие явления.
• Спирали растут в размере, но при этом по-прежнему сходятся к тем же двум точкам −πi и πi.
• Отрезок критической прямой, который мы отображаем (длина его равна 10 единицам), все сильнее и сильнее растягивается, накручиваясь все большее и большее число раз вокруг точек −πi и πi.
• Верхняя и нижняя спирали приближаются друг к другу, «целуются» при каком-то значении x между 100 и 1000, а после этого пересекаются (спирали в действительности «целуются», когда x = 399,6202933538…).
Выбранный нами отрезок критической прямой слишком короткий для того, чтобы достичь первой пары нулей при >1/>2 ± 14,134725i. Поскольку сама прямая растягивается, а спирали при этом, наматываясь все более и более вокруг точек −πi и πi, растут в размере, возникает интересный вопрос. Не случится ли так, что растяжение прямой и намотка спиралей удержат нули дзета-функции на небольшом удалении от точек −πi и πi независимо от того, сколь сильно увеличились спирали? Ответ — нет; по мере роста x нули дзета-функции отображаются в точки, расположенные сколь угодно далеко. Когда ρ равняется первому нулю дзета-функции (это нуль при >1/>2 + 14,134725i), а аргумент x достигает скромного триллиона, функция Li(x>ρ) добирается до вещественных частей, превышающих 2200.
В главе 14.vii упоминался недавний результат, полученный Бейсом и Хадсоном, — первое литлвудово нарушение (когда π(x) впервые оказывается больше чем Li(x)) происходит до, а весьма вероятно, что и при x = 1,39822×10>316. Представим себе, что нам надо повторить весь процесс, с помощью которого мы вычислили π(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. Это означает, что верхняя и нижняя спирали в сильной степени накладываются друг на друга — настолько сильно, что на рисунке их невозможно было бы различить. А критическая прямая, испещренная сидящими на ней нулями (если ГР верна!), колоссально растянута. Тогда на рисунке, аналогичном рисунку
