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

Снова посмотрев на набор графиков, можно заметить кое-что еще: ?(s) равна нулю всегда, когда s — отрицательное четное число. А если при каком-то аргументе значение функции равно нулю, то этот аргумент называется нулем данной функции. Итак, верно следующее:

А взглянув на утверждение Гипотезы Римана, мы увидим, что в ней говорится про «все нетривиальные нули дзета-функции». Неужели мы у цели? Увы, нет: отрицательные четные числа и в самом деле нули дзета-функции, но все они до единого — тривиальные нули. Чтобы добраться до нетривиальных нулей, нам надо нырнуть поглубже.

В качестве добавления к этой главе еще чуть разовьем наш анализ, применив к выражению (9.2) два результата из тех, что были сформулированы в главе 7. Выпишем это выражение снова:

Все, что я собираюсь сделать, — это проинтегрировать обе части. Поскольку интеграл от 1/x равен ln x, я надеюсь, что не слишком злоупотреблю вашим доверием, если скажу (не останавливаясь на доказательстве), что интеграл от 1/(1 ? x) равен ?ln(1 ? x). С правой частью равенства все еще проще. Можно просто интегрировать один член за другим, используя правила интегрирования степеней, сформулированные в таблице 7.2. Результат (впервые полученный сэром Исааком Ньютоном) имеет вид:

Будет чуть удобнее, если обе части умножить на ?1:

Несколько странно, хотя для наших целей и несущественно, что выражение (9.3) верно при x = ?1, тогда как выражение (9.2), с которого мы начали, при этом неверно. Действительно, при x = ?1 выражение (9.3) дает следующий результат:

Отметим сходство с гармоническим рядом. Гармонический ряд… простые числа… дзета-функция…. Во всей этой области господствует логарифмическая функция.

Правая часть выражения (9.4) несколько своеобразна, хотя этого и не заметить невооруженным взглядом. Она в действительности является стандартной (из учебников) иллюстрацией того, насколько хитрой вещью являются бесконечные ряды. Этот ряд сходится к ln 2, что составляет 0,6931471805599453…, но только если складывать члены именно в этом порядке. Если складывать в другом порядке, ряд может сойтись к чему-нибудь другому — или может даже вообще не сойтись! [76]

Рассмотрим, например, такую перестановку членов ряда: 1 ? ¹/₂ ? ¹/₄ + ¹/₃ ? ¹/₆ ? ¹/₈ + ¹/₅ ? ¹/₁₀ ? …. То же самое, но с расставленными скобками: (1 ? ¹/₂) ? ¹/₄ + (¹/₃ ? ¹/₆) ? ¹/₈ + (¹/₅ ? ¹/₁₀) ? …, т.е. ¹/₂(1 ? ¹/₂ + ¹/₃ ? ¹/₄ + ¹/₅ ? …). Сумма ряда с переставленными членами равна половине сумм исходного ряда! [77]

Ряд из выражения (9.4) — не единственный, обладающий таким настораживающим свойством. Сходящиеся ряды разбиваются на две категории: те, у которых есть такое свойство, и те, у которых его нет. Ряды, подобные рассмотренному, сумма которых зависит от порядка суммирования, называются «условно сходящимися». Ряды, ведущие себя получше и сходящиеся к одному и тому же пределу независимо от того, как переставлены слагаемые, называются «абсолютно сходящимися». Большая часть важных в анализе рядов сходятся абсолютно. Тем не менее для нас первоочередной интерес будет представлять еще один ряд, сходящийся лишь условно, подобно ряду из выражения (9.4). Мы встретимся с ним в главе 21.

Глава 10. Доказательство и поворотная точка

Работа 1859 года «О числе простых чисел, не превышающих данной величины» была единственной публикацией Бернхарда Римана по теории чисел, а также единственной из всех написанных им работ, которая вовсе не содержала никаких геометрических идей.

Эта блестящая и основополагающая статья была, однако, неудовлетворительна в некоторых отношениях. Прежде всего, имелась сама великая Гипотеза, которую Риман оставил висеть в воздухе (где она пребывает и поныне). Его собственные слова после формулировки утверждения, эквивалентного Гипотезе, были такими:

Вполне разумно. Поскольку Гипотеза не имела решающего значения для развиваемых им идей, Риман оставил ее без доказательства. Но это был наименьший из недостатков той статьи. Некоторые другие вещи в ней утверждаются, но их тщательного доказательства не приводится — причем это относится и к основному результату работы! (Сам этот результат мы рассмотрим в одной из последующих глав.)

Бернхард Риман являл собой весьма чистый случай интуитивного математика. Это требует пояснений. Личность математика состоит из двух главных компонент: логической и интуитивной. Обе присутствуют в каждом хорошем математике, но при этом или одна, или другая значительно преобладает. Типичным примером исключительно логического математика является немецкий аналитик Карл Вейерштрасс (1815-1897), создавший свои великие работы в третьей четверти XIX века. Чтение работ Вейерштрасса подобно наблюдению за скалолазом. Каждый шаг, прежде чем будет предпринят последующий, твердо закрепляется доказательством. Пуанкаре говорил, что ни одна из вейерштрассовых книг не содержит ни одного рисунка. На этот счет на самом деле имеется одно исключение, но так или иначе логически выверенное построение работ Вейерштрасса весьма характерно именно для логического математика: каждый тщательно обоснован перед тем, как осуществляется переход к следующему, и при этом не делается никаких воззваний к геометрической интуиции.

Риман воплощал в себе полную противоположность. Если Вейерштрасс — это скалолаз, методично отвоевывающий у утеса каждый дюйм, то Риман — скорее акробат на трапеции, бесстрашно взлетающий в воздух в уверенности (которая зрителю может показаться опасным самообманом), что, когда он достигнет точки своего назначения где-то посреди неба, там будет за что ухватиться. Совершенно ясно, что Риман обладал прекрасно развитым зрительным воображением, а также и то, что его мозг совершал прыжки к результатам настолько мощным, элегантным и плодотворным, что он не мог заставить себя остановиться для доказательства. Он живо интересовался философией и физикой, и набор концепций, накопленных им в результате длительного знакомства с этими двумя дисциплинами, — поток ощущений через наши органы чувств, организация этих ощущений в формы и понятия, поток электричества через проводник, движения жидкостей и газов — просматривается за фасадом его математики.