Рисунок 19.1. Функция, считающая простые числа.
Теперь введем другую функцию — также ступенчатую, но при этом слегка более хитрую, чем π(x). В статье 1859 года Риман называет ее просто «функция f», но мы вслед за Хэролдом Эдвардсом будем называть ее «функцией J». Со времен Римана математики привыкли использовать f для обозначения функции вообще: «Пусть f — произвольная функция…» — так что они могут слегка напрячься, увидев f в роли некоторой конкретной функции.
Итак, определим функцию 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 можно было на самом деле остановиться после корня седьмой степени. Вот что мы в результате имеем:
и если теперь сосчитать число простых, то это равно
что дает 288/15 или 28,53333…. При извлечении корней из любого числа рано или поздно значения падают ниже 2, и начиная с этого места все члены в выражении для функции J равны нулю. Поэтому для любого аргумента x значение функции J(x) можно получить, вычисляя конечную сумму — существенное улучшение по сравнению с некоторыми из функций, что нам встречались!
Как уже говорилось, функция J ступенчатая. На рисунке 19.2 показано, как она выглядит при аргументах до 10. Как видно, функция J совершает прыжок от одного значения к другому, остается на новом значении на некоторое время, потом совершает новый прыжок. Что это за прыжки? Какой закон за ними стоит?
Рисунок 19.2. Функция J(x).
Вглядевшись очень внимательно в выражение (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 равен простому числу, а значит, π(3√x) возрастает на 1, и т.д.