Теперь примемся за знак сигмы, где надо суммировать эти точки (каждая из которых — просто комплексное число) по всем возможным нетривиальным нулям дзета-функции. Для этого сначала вспомним один момент, который мы до сих пор практически игнорировали. Для каждого нетривиального нуля, расположенного на северной половине критической прямой, имеется соответствующий нуль на ее южной части. Если, например, ¹/₂ + 14,134725i — нуль дзета-функции, то нулем должно быть и число ¹/₂ ? 14,134725i. На чисто математическом языке можно сказать, что если z — нуль, то и его комплексное сопряжение z' также есть нуль. (Мы помним, что z' произносится как «зет-с-чертой».^{2} Сейчас может оказаться нелишним взглянуть на рисунок 11.2 и освежить в памяти основные факты о комплексных числах.)

При выполнении суммирования южная часть критической полосы играет ключевую роль. На рисунках 21.2 и 21.3 были показаны лишь первые несколько нулей вдоль северной половины критической прямой. Для создания более полной картины, включающей и южную половину этой прямой, в самой левой части рисунка 21.4 показана плоскость комплексных чисел с отмеченной критической полосой от ¹/₂ ? 15i до ¹/₂ + 15i. Этого достаточно, чтобы был виден первый нуль при ¹/₂ + 14,134725i, а также его комплексное сопряжение ¹/₂ ? 14,134725i. Они отмечены буквами ? и ?'.

Рассматривая эту плоскость как плоскость аргумента для функции 20^z, мы получаем на средней части рисунка 21.4 картинку типа «сюда» в плоскости значений — окружность радиуса v20, где, как и на рисунке 21.2, отмечено 20^?, а наряду с этим отмечено еще и 20^?'. Заметим, что, когда аргументы комплексно сопряжены друг другу, сопряжены и значения функции. Такое происходит не со всеми функциями, но, по счастью, происходит с функцией 20^z. Если мы применим функцию Li, на этот раз используя в качестве ее плоскости аргумента среднюю часть рисунка 21.4, то мы увидим, что критическая прямая, которая намоталась на эту окружность бесконечное число раз под действием функции 20^z, теперь разматывается в симпатичную двойную спираль в правой части рисунка. (Рисунок 21.3 представлял собой «наезд камеры» на верхнюю часть этой спирали.) И по-прежнему, когда аргументы комплексно сопряжены друг другу, сопряжены и значения.

Осталось заметить еще только одну вещь перед тем, как мы приступим к сумме ?_?Li(20^?). Показанная спираль — что лучше всего видно из рисунка 21.3 — стремится к точке своего назначения не слишком быстро. Скорость, с которой она сходится, по сути дела гармоническая: если представить себе, что муравей Арг шагает на север по критической прямой, а на его приборчике выставлена функция Li(20^?), то муравей Знач будет двигаться по спирали, постепенно приближаясь к точке ?i — приближаясь на расстояние, обратно пропорциональное высоте, на которую забрался муравей Арг. Если последний вскарабкался на высоту T, то муравей Знач будет находиться от точки ?i примерно на расстоянии, пропорциональном 1/T.

Имея это в виду, мы теперь готовы взяться за сумму ?_?Li(20^?). Сложению подлежат комплексные числа, соответствующие всем нашим точкам на спирали, изображенной на рисунке 21.3, а также их комплексно сопряженным точкам на соответствующей южной части спирали. Поскольку для каждой точки северной спирали имеется ее зеркальное отображение на южной, все мнимые части сократят друг друга: для каждого a + bi найдется соответствующее a ? bi, так что при их сложении получится просто 2a. Ну и отлично, потому что J(x) — вещественное число, и решительно не годится иметь мнимые слагаемые в правой части выражения (21.1)! Это и вправду хорошая новость, потому что она означает, что складывать надо только вещественные (т.е. западно-восточные) части точек на рисунке 21.3. Вклад южного полушария сводится просто к тому, что ответ удваивается, т.е. (a + bi) + (a ? bi) = 2а.

Остальные новости похуже. Точки, раскиданные по спирали на рисунке 21.3, как уже было замечено, сходятся к числу ?i — а их вещественные части, стало быть, сходятся к нулю — с гармонической скоростью. Сложение вещественных частей всех этих точек, следовательно, чревато опасностью, что мы будем складывать нечто вроде гармонического ряда, который, как мы помним из главы 1, расходится. Откуда нам знать, что сумма ?_?Li(20^?) сходится?

Делу помогает тот факт, что вещественные части этих точек то положительны, то отрицательны. На самом деле наша сумма похожа не на гармоническую сумму, а на ее близкого родственника, с которым мы бегло встречались в главе 9.vii:

Слагаемые здесь приближаются к нулю гармонически: 1, ¹/₂, ¹/₃, ¹/₄, ¹/₅, …, но чередующиеся знаки плюс и минус означают, что каждый следующий член до некоторой степени сокращает предыдущий, что и приводит к сходимости. Но эта сходимость, если использовать введенную в главе 9.vii терминологию, лишь условна. Она зависит от суммирования всех членов в правильном порядке.

Так же обстоит дело и с рядом ?_?Li(20^?). Если мы желаем обеспечить сходимость к правильному числу, то нам следует проявлять осторожность относительно порядка суммирования. Так каков же правильный порядок? Он ровно такой, как вы и подумали. Берем нули один за другим, двигаясь вверх по критической прямой, и прибавляем к каждому его комплексно-сопряженный нуль из южной части.

Итак, для вычисления суммы ?_?Li(20^?) мы сначала складываем каждый нуль дзета-функции с его зеркальным образом (т.е. с комплексным сопряжением) из южной половины плоскости аргумента. Далее эти пары надо сложить в порядке возрастания положительных мнимых частей. Таким образом, мы складываем нули в следующем порядке: