Шрифт:
При возведении вещественного числа xв комплексную степень а + biправила комплексной арифметики предписывают следующее. Модульрезультата — т.е. расстояние до нуля, измеряемое по прямой, — есть x a. Буква bна модуль никак не влияет. Зато фазарезультата — насколько он повернут и в каком секторе комплексной плоскости лежит — зависит от xи b, но aна фазу не влияет.
При возведении вещественного числа xв степень 1/ 2+ ti, таким образом, модуль результата есть xв степени 1/ 2, т.е. x.Фаза при этом может оказаться какой угодно — результат может угодить в любой сектор комплексной плоскости, при условии только, что расстояние от нуля равно x. Иными словами, если при заданном xвычислять значения выражения x для множества различных нулей дзета-функции, то получаемые числа будут разбросаны по окружности радиуса xв комплексной плоскости с центром в нуле (при условии, что ГР верна!).
На рисунке 21.2 отмечены точки, представляющие собой результат возведения числа 20 в степень, определяемую первым, вторым, третьим, …, двадцатым нулем дзета-функции. Видно, что результаты разбросаны по окружности радиуса 20 (что равно 4,47213…) в комплексной плоскости, причем без особого порядка. Это происходит потому, что функция 20 s отображает критическую прямую в окружность радиуса 20 таким образом, что критическая прямая (вместе со всеми нанесенными на нее нулями дзета-функции) наматывается и наматывается на эту окружность, делая это бесконечное число раз. На математическом языке данная окружность в плоскости значений задается как 20 критическая прямая.
Рисунок 21.2.Плоскость значений для функции w= 20 z . Показаны значения wдля первых двадцати нетривиальных нулей дзета-функции.
Представим себе, что наш приятель муравей Арг топает на север по критической прямой в плоскости аргумента, а на его приборчике выставлена функция 20 s ; тогда его брат-близнец, муравей Знач, отслеживая соответствующие значения в плоскости значений, нарезает круги по нашей окружности. Он продвигается против часовой стрелки, и к тому моменту, как муравей Арг доберется до первого нуля дзета-функции, муравей Знач одолеет уже почти три четверти своего седьмого круга. [197]
197
Муравей Арг начинает свой путь из точки 1/ 2на вещественной оси (а не приходит, например, из «далекого юга» вдоль критической прямой). (Примеч. перев.)
А теперь мы найдем, одно за одним, значения функции Li во всех этих точках — во всем бесконечном числе этих точек. К сожалению, это комплексные числа, а мы определили функцию Li только для вещественных чисел — как площадь под кривой. Имеется ли способ определить Li также и для комплексных чисел? Что из себя представляют интегралы для комплексных чисел? Да, способ определить эту функцию есть; и, кроме того, да, существует способ интегрировать, когда в этом деле участвуют комплексные числа. Интегрирование на самом деле представляет собой один из важнейших элементов комплексного анализа, объект самых прекрасных и мощных теорем во всем этом разделе. Не вдаваясь в подробности, я скажу только, что, да, функция Li (z)определена [198] для комплексных чисел z.
198
Хотя в определении и есть некоторый произвол, для преодоления которого нет общего рецепта. Например, в программе Mathematica 4 функция Li (x)реализована как одна из встроенных функций, Loglntegral[х]. Для вещественных чисел она ровно такая, как я ее описал, — собственно, ее я и использовал для построения графика Li (x)в главе 7.viii. Однако для комплексных чисел определение интеграла, реализованное в Mathematica, слегка отличается оттого, которое использовал Риман. Поэтому для своих комплексных вычислений я не использовал определение Loglntegral[х] из Mathematica, а определил там Li (x 1/2+ ir )как ExpIntegralEi[(1/2 + Ir)Log[x]].
На рисунке 21.3 показано, куда функция Li отображает первые 10 точек, изображенных на рисунке 21.2 . Другими словами, (точнее, ее отрезок от 1/ 2+ 14 iдо 1/ 2+ 50 i). Как видно, эта функция отображает критическую прямую в спираль, идущую против часовой стрелки и приближающуюся к числу iпо мере того, как аргумент взбирается вверх по критической прямой. Там, где функция 20 z бесконечно много раз наматывала и наматывала критическую прямую на окружность радиуса 20, применение функции Li разматывает ее в изящную спираль; на ней по-прежнему нарисованы точки, изображающие нули.
Рисунок 21.3.Функция Li(20 z ) для отрезка критической прямой.
Теперь примемся за знак сигмы, где надо суммировать эти точки (каждая из которых — просто комплексное число) по всем возможным нетривиальным нулям дзета-функции. Для этого сначала вспомним один момент, который мы до сих пор практически игнорировали. Для каждого нетривиального нуля, расположенного на северной половине критической прямой, имеется соответствующий нуль на ее южной части. Если, например, 1/ 2+ 14,134725 i— нуль дзета-функции, то нулем должно быть и число 1/ 2– 14,134725 i. На чисто математическом языке можно сказать, что если z —нуль, то и его комплексное сопряжение z'также есть нуль. (Мы помним, что z'произносится как «зет-с-чертой». {2} Сейчас может оказаться нелишним взглянуть на рисунок 11.2 и освежить в памяти основные факты о комплексных числах.)
При выполнении суммирования южная часть критической полосы играет ключевую роль. На рисунках 21.2 и 21.3 были показаны лишь первые несколько нулей вдоль северной половины критической прямой. Для создания более полной картины, включающей и южную половину этой прямой, в самой левой части рисунка 21.4 показана плоскость комплексных чисел с отмеченной критической полосой от 1/ 2– 15 iдо 1/ 2+ 15 i. Этого достаточно, чтобы был виден первый нуль при 1/ 2+ 14,134725 i, а также его комплексное сопряжение 1/ 2– 14,134725 i. Они отмечены буквами и '.