Книга Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике, страница 26 – Джон Дербишир

Такое нелегко себе представить. Функции (ln x)^N растут быстро — и даже очень быстро. И тем не менее, если на рисунке 5.3 отойти достаточно далеко на восток, то рано или поздно, при некотором впечатляюще большом аргументе, каждая из них опустится ниже кривой x^0,3, x^0,2, x^0,1 и вообще любой кривой из этого семейства, какую вы только потрудитесь нарисовать. Придется отправиться на восток в окрестность точки x = 7,9414×10³⁹⁵⁹, прежде чем (ln x)¹⁰⁰ опустится ниже, чем x^0,3; и однако же это случится.

V.

Кое-что из сказанного понадобится нам прямо сейчас, а кое-что останется на потом. Но все сказанное важно для понимания Гипотезы Римана, и я призываю вас проконтролировать некоторые основные моменты — проверить, как вы их понимаете, прежде чем двигаться дальше. Для этого сгодится карманный калькулятор. Можете, например, найти ln 2 (он равен 0,693147…) и ln 3 (равный 1,098612…) и удостовериться, что при сложении их действительно получается ln 6 (равный 1,791759…). Но только обратите, пожалуйста, внимание, что (как я уже упоминал) прежде использовались логарифмы по основанию 10, так что клавиша «log» на многих карманных калькуляторах вычисляет именно десятичные логарифмы. Тот единственный логарифм, который нас здесь интересует, — логарифм по основанию e — на калькуляторе, как правило, вычисляется с помощью альтернативной клавиши, помеченной ln x. Вот эта клавиша вам и нужна. (Буква n указывает на «натуральный» логарифм; логарифм по основанию e по всем правилам называется «натуральный логарифм».)

Ну а теперь вернемся к базельской задаче.

VI.

Эйлерово решение базельской задачи прекрасно иллюстрирует сделанное в разделе I этой главы замечание, что поиск решений в замкнутом виде расширяет понимание, позволяя проникнуть в суть вещей. Эйлерово решение дало не только замкнутое выражение для ряда из обратных квадратов, но в качестве побочного продукта еще и замкнутые выражения для рядов

Когда N равно двум, ряд сходится к π²/6, как уже было сказано; когда N равно 4, ряд сходится к π⁴/90; когда N равно 6, ряд сходится к π⁶/945 и т.д. Метод Эйлера дает ответ для каждого четного N. В более поздней публикации он сам добрался до N = 26, когда ряд сходится к числу 1 315 862π²⁶/11 094 481 976 030 578 125.

А что, если N нечетное? Полученный Эйлером результат ничего про это не говорит. Как не говорит и ни один другой результат, полученный за последующие 260 лет. Нет никаких идей относительно замкнутого выражения (если таковое вообще существует) ни для

Итак, к середине XVIII века немало математиков задумывались над бесконечным рядом из выражения (5.1). Точные значения — замкнутый вид — были известны для всех четных чисел N, тогда как для нечетных можно было получать приближенные значения, беря сумму достаточного числа членов. Не будем забывать, что, когда N равно 1, соответствующий ряд становится просто гармоническим рядом, который расходится. В таблице 5.1 приведены значения выражения (5.1) (которое, напомним, есть

Эта таблица похожа на один из тех «мгновенных снимков» некоторой функции, которые мы рассматривали в главе 3.iv. Так примерно дело и обстоит. Вспомним утверждение Гипотезы Римана, приведенное во вступлении.