Сначала возводим 20 в степень 1/2 + 14,134725i. В результате получаем точку, которая на рисунке 21.2 помечена как 1 и численно выражается как −0,302303 − 4,46191i. Интегральный логарифм от этого — т.е. функция Li — дает самую западную точку на рисунке 21.3, выражаемую числом −0,105384 + 3,14749i. Теперь разберемся с сопряженным членом из этой пары нулей. Возводим 20 в степень 1/2 − 14,134725i. Результат равен −0,302303 + 4,46191i. Он показан на средней картинке на рисунке 21.4. Это зеркальный образ точки, помеченной на рисунке 21.2 как 1, относительно вещественной оси. Берем интегральный логарифм и получаем ответ −0,105384 − 3,14749i — точку, лежащую глубоко на юге в правой части рисунка 21.4. Складывая два ответа, получаем −0,210768. Мнимые части, разумеется, сократились. Вот и все с первой парой сопряженных нулей.
Повторим все это для второй пары, 1/2 + 21,022040i и 1/2 − 21,022040i. На этот раз окончательный ответ будет равен 0,0215632. Для третьей пары он равен −0,0535991. С тремя парами мы разобрались, но впереди бесконечность!
После 50 таких вычислений получаем (таблицу следует читать по колонкам):
Первое значение представляет собой некоторую аномалию, поскольку самая западная точка на рисунке 21.3 отстоит от вертикальной оси более чем в два раза дальше, чем остальные. Однако затем числа в таблице уменьшаются по мере того, как значения, соответствующие северной половине критической прямой, по спирали приближаются к πi. И взгляните на их знаки — имеется примерно равное число положительных и отрицательных.[199] Это хорошая новость, потому что, хотя ответы и становятся меньше, они делают это не очень быстро, и нам потребуется вся возможная помощь, которую могут нам оказать сокращения между положительными и отрицательными значениями. Не будем забывать, что все это происходит под знаком суммы — эти 50 чисел предстоит еще сложить друг с другом. (Сумма равна −0,343864, что, кстати, составляет не более 8 процентов от полной бесконечной суммы. Не так плохо для всего лишь 50 слагаемых.)
Рисунок 21.5. Первые 50 значений, полученных путем взятия нетривиального нуля и его комплексно сопряженного, вычисления значений функции Li(20z)и их последующего суммирования.
Из рисунка 21.5 видно, почему Риман назвал эти компоненты вторичного члена «периодическими». Они изменяются нерегулярным образом (что означает, если уж быть совсем скрупулезным, что они не строго «периодические», а только «колебательные») вверх и вниз от положительных к отрицательным значениям и обратно.[200] Причина этого совершенно ясна из рисунка 21.3. Колебательная природа вторичных членов связана с тем, что, как видно из рисунка 21.3, функция Li(xρ) скручивает критическую прямую во все более и более плотную спираль. Значения функции, соответствующие нулям дзета-функции, могут при этом оказаться где угодно на этой спирали; определяющая причина состоит в том, что для больших x критическая прямая чрезвычайно сильно растягивается перед закручиванием. Закручивание настолько плотное, что высоко расположенный отрезок критической прямой отображается в нечто очень близкое по форме к окружности. В силу этого получается, что значения функции Li(xρ) в нулях дзета-функции выглядят примерно как точки, раскиданные по окружности. Если вы немного знакомы с тригонометрией, то вам известно, что это приводит нас в мир синусов и косинусов, волновых функций, колебаний, вибраций… музыки. Именно отсюда и взялось введенное сэром Майклом Берри понятие «музыка простых чисел».
По мере прибавления новых членов сами они убывают, а положительные и отрицательные до некоторой степени сокращают друг друга при суммировании, так что мы зарабатываем сходимость. Эта сходимость, правда, страшно медленная. Для получения результата с точностью в три значащие цифры приходится складывать более 7000 членов; в четыре цифры — более 86 000. На графике на рисунке 21.6 показаны первые 1000 результатов (хотя некоторые из самых левых при выбранном масштабе оказались за пределами рисунка); на этот раз не делается никаких попыток соединить точки между собой. Видно, что члены под знаком суммы действительно уменьшаются, хотя и делают это с достаточной ленцой.