Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.

(³vx) + ¹/₄? (⁴vx) + ¹/₅? (⁵vx) + …. (19.1)

Здесь «?» обозначает функцию числа простых чисел именно в том виде, как выше мы ее определили для любого вещественного числа 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 можно было на самом деле остановиться после корня седьмой степени. Вот что мы в результате имеем:

J(100) = ?(100) + ¹/₂?(10) + ¹/₃?(4,64…) + ¹/₄?(3,16…) + ¹/₅?(2,51…) + ¹/₆?(2,15…) + 0 + 0 + …,

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

J(100) = 25 + (¹/₂?4) + (¹/₃?2) + (¹/₄?2) + (¹/₅?1) + (¹/₆?1),

что дает 28⁸/₁₅ или 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 есть простое число, а значит, ?(vx) возрастает на 1. В-третьих, когда x есть точный куб простого числа (например, x = 8, что есть куб числа 2), J(x) совершает прыжок на одну треть, потому что кубичный корень из x равен простому числу, а значит, ?(³vx) возрастает на 1, и т.д.

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

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

Рисунок 19.3. Еще о функции J(x).

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

IV.

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

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

?(x) = J(x) ? ¹/₂J(vx) ? ¹/₃J(³vx) ? ¹/₅J(⁵vx) + ¹/₆J(⁶vx) ? ¹/₇J(⁷vx) + ¹/₁₀J(¹⁰vx) + …. (19.2)