Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике.
Шрифт:
Венцом триумфа Римана стало представление им на суд академии своей работы «О числе простых чисел, не превышающих данной величины». В ее первой фразе он благодарит двух людей, к этому моменту уже покойных, помощь которых (хотя и предоставившаяся намного более охотно со стороны Дирихле, чем со стороны Гаусса) позволила ему покорить высоты. Во второй фразе он демонстрирует Золотой Ключ. В третьей присваивает имя дзета-функции. Первые три предложения работы Римана 1859 года в действительности таковы:
За внимание, которое Академия выказала в мой адрес, приняв меня в качестве одного из своих членов-корреспондентов, более всего, как мне представляется, я мог бы высказать благодарность, незамедлительно воспользовавшись таким образом полученными мною привилегиями представить сообщение об исследовании частоты появления
В качестве отправной точки моего исследования я исхожу из наблюдения Эйлера о выражении произведения
где p— все простые, a n— все целые числа. Функцию комплексной переменной s, которая задается каждым из этих выражений, коль скоро они сходятся, я обозначу как (s).
Гипотеза Римана, появляющаяся на четвертой странице той работы, утверждает некий факт о дзета-функции. Чтобы продвинуться в понимании Гипотезы, нам предстоит теперь более серьезно углубиться в устройство дзета-функции.
Глава 9. Расширение области определения
Итак, мы начинаем приближаться к Гипотезе Римана. Просто чтобы освежить память, сформулируем ее еще раз:
Все нетривиальные нули дзета-функции имеют вещественную часть, равную одной второй.
И мы уже знаем, что такое дзета-функция! Если s— некоторое число, большее единицы, то дзета-функция определяется таким выражением (9.1):
или же, несколько более изысканным образом,
где слагаемые бесконечного ряда отвечают всем положительным целым числам. Мы видели, что если к этой сумме применить процедуру, напоминающую решето Эратосфена, то ее можно переписать как
то есть
где множители в бесконечном произведении отвечают всем простым числам.
Таким образом, получаем
что я и назвал Золотым Ключом.
Пока все прекрасно, но что это там говорилось насчет нетривиальных нулей? Что такое нуль функции? Что представляют собой нули дзета-функции? И когда они нетривиальны? Не переживайте, сейчас все будет!
Позабудем на время о дзета-функции. Рассмотрим бесконечную сумму совсем другого типа:
S(x) =1 + x+ x 2+ x 3+ x 4+ x 5+ x 6 + ….Сходится ли она вообще когда-нибудь? Без сомнения. Если xравно 1/ 2,то сумма представляет собой просто-напросто выражение 1.1 из главы 1.iv, поскольку ( 1/ 2) 2= 1/ 4, ( 1/ 2) 3= 1/ 8и
Однако если xравен 1, то S(1) есть 1 + 1 + 1 + 1 + …, а этот ряд расходится. При xравном 2 расходимость еще более явная: 1 + 2 + 4 + 8 + 16 + …. Когда xравен -1, происходит странная вещь: по правилу знаков сумма принимает вид 1 - 1 + 1 - 1 + 1 - 1 + …. Такая сумма равна нулю, если взять четное число членов, и единице, если нечетное. Данное выражение определенно не убегает на бесконечность, но оно и не сходится. Математики рассматривают такое поведение как некоторый вид расходимости. Ситуация с x= -2 еще хуже: сумма 1 - 2 + 4 - 8 + 16 - … ведет себя так, словно убегает на бесконечность сразу по двум направлениям. Такая ситуация определенно далека от сходимости, и если вы скажете, что здесь налицо расходимость, то никто с вами спорить не будет.
Короче говоря, функция S(x)имеет значения, только когда xлежит в границах между -1 и 1, не включая сами границы. В других случаях у нее значений нет. В таблице 9.1 приведены значения функции S(x)для аргументов xмежду -1 и 1.
| x | S(x) |
|---|---|
| – 1 или меньше | (нет значений) |
| – 0,5 | 0,6666… |
| – 0,333… | 0,75 |
| 0 | 1 |
| 0,333… | 1,5 |
| 0,5 | 2 |
| 1 или больше | (нет значений) |
Таблица 9.1.Значения функции S(x) =1 + x+ x 2+ x 3+ ….
Вот и все, что можно извлечь из бесконечной суммы. График этой функции показан на рисунке 9.1; на этом графике у функции нет вообще никаких значений к западу от -1 и к востоку от 1. Используя профессиональную терминологию, можно сказать, что область определенияэтой функции заключена строго между -1 и 1.