Итак, определим функцию J. Для любого неотрицательного числа x значение функции J равно

Здесь «π» обозначает функцию числа простых чисел именно в том виде, как выше мы ее определили для любого вещественного числа x.

Заметим, что приведенная сумма — не бесконечная. Чтобы убедиться в этом, возьмем любое фиксированное число x, скажем, x = 100. Квадратный корень из 100 равен 10; кубический корень равен 4,641588…; корень четвертой степени равен 3,162277…; корень пятой степени 2,511886…; корень шестой степени 2,154434…; корень седьмой степени 1,930697…; корень восьмой степени 1,778279…; корень девятой степени 1,668100… и корень десятой степени равен 1,584893…. Можно было бы, конечно, вычислить и корни одиннадцатой, двенадцатой, тринадцатой степени и т.д., сколько вам заблагорассудится, но в этом нет необходимости, потому что функция числа простых чисел обладает таким очень приятным свойством: если x меньше 2, то π(x) равна нулю — просто потому, что нет никаких простых чисел, меньших 2! Таким образом, при вычислении корней из 100 можно было на самом деле остановиться после корня седьмой степени. Вот что мы в результате имеем:

и если теперь сосчитать число простых, то это равно

что дает 28⁸/₁₅ или 28,53333…. При извлечении корней из любого числа рано или поздно значения падают ниже 2, и начиная с этого места все члены в выражении для функции J равны нулю. Поэтому для любого аргумента x значение функции J(x) можно получить, вычисляя конечную сумму — существенное улучшение по сравнению с некоторыми из функций, что нам встречались!

Как уже говорилось, функция J ступенчатая. На рисунке 19.2 показано, как она выглядит при аргументах до 10. Как видно, функция J совершает прыжок от одного значения к другому, остается на новом значении на некоторое время, потом совершает новый прыжок. Что это за прыжки? Какой закон за ними стоит?

Вглядевшись очень внимательно в выражение (19.1), мы увидим следующую закономерность. Во-первых, когда x — простое число, функция J(x) совершает прыжок на высоту 1, потому что π(x) — число простых чисел, не превышающих x, — при этом увеличивается на 1. Во-вторых, когда x является точным квадратом простого числа (например, x = 9, что есть квадрат числа 3), J(x) совершает прыжок на одну вторую, потому что квадратный корень из x есть простое число, а значит, π(√x) возрастает на 1. В-третьих, когда x есть точный куб простого числа (например, x = 8, что есть куб числа 2), J(x) совершает прыжок на одну треть, потому что кубичный корень из x равен простому числу, а значит, π(³√x) возрастает на 1, и т.д.

Попутно заметим, что функция J обладает тем же свойством, которым мы снабдили функцию π(x): в точке, где реально происходит прыжок, она принимает значение, лежащее посередине между теми значениями, от которого и до которого она прыгает.

Для полноты представления функции J на рисунке 19.3 изображен график J(x) при аргументах до 100. Самый маленький прыжок здесь совершается при x = 64 — это число представляет собой шестую степень (64 = 2⁶), так что функция J прыгает при x = 64 на одну шестую.

Какую пользу может принести подобная функция? Терпение, терпение. Сначала придется совершить один из тех логических скачков, о которых я предупреждал в начале главы.

Напоминаю в который уже раз, что у математиков есть масса способов обращать соотношения. Дали нам выражение для P через Q — отлично, посмотрим, не найдется ли способа выразить Q через P. В течение столетий в математике был развит целый инструментарий для того, чтобы совершать обращения, — он включает набор приемов для использования в самых разных условиях и обстоятельствах. Один из таких приемов носит название мебиусова обращения, и оно-то нам сейчас и нужно.

Не буду пытаться объяснить мебиусово обращение в общем виде. Оно описано в любом хорошем учебнике по теории чисел (см., например, раздел 16.4 в классической монографии «Теория чисел» Харди и Райта), а кроме того, поиск в Интернете наведет вас на множество ссылок. Подражая до некоторой степени самим функциям π и J, я вместо того, чтобы уныло тащиться от одной точки в моих рассуждениях к другой, перескочу сразу к следующему факту: применение мебиусова обращения к выражению (19.1) дает такой результат:

Можно заметить, что некоторые члены (четвертый, восьмой, девятый) здесь отсутствуют. А из тех, что присутствуют, некоторые (первый, шестой, десятый) входят со знаком плюс, тогда как другие (второй, третий, пятый, седьмой) — со знаком минус. Ничего не напоминает? Здесь спрятана функция Мебиуса из главы 15. На самом деле

(где ¹√x как и в других местах в книге, есть, конечно, просто x). Почему, как вам теперь кажется, это назвали мебиусовым обращением?

Итак, мы записали функцию π(x), выразив ее через J(x). Это чудесно, потому что Риман нашел способ, как выразить J(x) через ζ(x).

Прежде чем расстаться с выражением (19.2), надо еще упомянуть, что, подобно выражению (19.1), это не бесконечная сумма, а конечная. Это происходит из-за того, что функция J, как и функция π, равна нулю, когда x меньше 2 (взгляните на график!), а если последовательно извлекать корни из какого-нибудь числа, то результат рано или поздно упадет ниже 2 и там останется. Например,