Гипотеза Римана. Распределение простых чисел. Математик представил решение гипотезы Римана. Почему научное сообщество его критикует

5 декабря 2014 в 18:54

Задачи тысячелетия. Просто о сложном

• Занимательные задачки ,
• Математика

Привет, хабралюди!

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

После доказательства гипотезы (теперь уже теоремы) Пуанкаре Григорием Перельманом, основным вопросом, который заинтересовал многих, был: «А что же он собственно доказал, объясните на пальцах? » Пользуясь возможностью, попробую объяснить на пальцах и остальные задачи тысячелетия, или по крайней мере подойти в ним с другой более близкой к реальности стороны.

Равенство классов P и NP

Все мы помним из школы квадратные уравнения, которые решаются через дискриминант. Решение этой задачи относится к классу P (P olynomial time) - для нее существует быстрый (здесь и далее под словом «быстрый» подразумевается как выполняющийся за полиномиальное время) алгоритм решения, который и заучивается.

Также существуют NP -задачи (N on-deterministic P olynomial time) , найденное решение которых можно быстро проверить по определенному алгоритму. Для примера проверка методом перебора компьютером. Если вернуться к решению квадратного уравнения, то мы увидим, что в данном примере существующий алгоритм решения проверяется так же легко и быстро как и решается. Из этого напрашивается логичный вывод, что данная задача относится как к одному классу так и ко второму.

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

На просторах интернета также встретил такую интересную и прозрачную формулировку:

Допустим, что вы, находясь в большой компании, хотите убедиться, что там же находится ваш знакомый. Если вам скажут, что он сидит в углу, то достаточно будет доли секунды, чтобы, бросив взгляд, убедиться в истинности информации. В отсутствие этой информации вы будете вынуждены обойти всю комнату, рассматривая гостей.

В данном случае вопрос стоит все тот же, есть ли такой алгоритм действий, благодаря которому даже не имея информации о том, где находится человек, найти его так же быстро, как будто зная где он находится.

Данная проблема имеет большое значение для самых различных областей знаний, но решить ее не могут уже более 40 лет.

Гипотеза Ходжа

В реальности существуют множество как простых так и куда более сложных геометрических объектов. Очевидно, что чем сложнее объект тем более трудоемким становится его изучение. Сейчас учеными придуман и вовсю применяется подход, основная идея которого заключается в том, чтобы вместо самого изучаемого объекта использовать простые «кирпичики» с уже известными свойствами, которые склеиваются между собой и образуют его подобие, да-да, знакомый всем с детства конструктор. Зная свойства «кирпичиков», становится возможным подступиться и к свойствам самого объекта.

Гипотеза Ходжа в данном случае связана с некоторыми свойствами как «кирпичиков» так и объектов.

Гипотеза Римана

Всем нам еще со школы известны простые числа которые делятся только на себя и на единицу (2,3,5,7,11...) . С давних времен люди пытаются найти закономерность в их размещении, но удача до сих пор так никому и не улыбнулась. В результате ученые применили свои усилия к функции распределения простых чисел, которая показывает количество простых чисел меньше или равных определенного числа. Например для 4 - 2 простых числа, для 10 - уже 4 числа. Гипотеза Римана как раз устанавливает свойства данной функции распределения.

Многие утверждения о вычислительной сложности некоторых целочисленных алгоритмов, доказаны в предположении верности этой гипотезы.

Теория Янга - Миллса

Уравнения квантовой физики описывают мир элементарных частиц. Физики Янг и Миллс, обнаружив связь между геометрией и физикой элементарных частиц, написали свои уравнения, объединяющие теории электромагнитного, слабого и сильного взаимодействий. Одно время теория Янга-Миллса рассматривалась лишь как математический изыск, не имеющий отношения к реальности. Однако, позже теория начала получать экспериментальные подтверждения, но в общем виде она все еще остается не решенной.

На основе теории Янга-Миллса построена стандартная модель физики элементарных частиц в рамках которой был предсказан и не так давно обнаружен нашумевший бозон Хиггса.

Существование и гладкость решений уравнений Навье - Стокса

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

Гипотеза Бёрча - Свиннертон-Дайера

Для уравнения x 2 + y 2 = z 2 в свое время еще Эвклид дал полное описание решений, но для более сложных уравнений поиск решений становится чрезвычайно трудным, достаточно вспомнить историю доказательства знаменитой теоремы Ферма, чтобы убедиться в этом.

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

В доказательстве теоремы Ферма эллиптические кривые заняли одно из важнейших мест. А в криптографии они образуют целый раздел имени себя, и на них основаны некоторые российские стандарты цифровой подписи.

Гипотеза Пуанкаре

Думаю если не все, то большинство точно о ней слышали. Чаще всего встречается, в том числе и на центральных СМИ, такая расшифровка как «резиновую ленту натянутую на сферу можно плавно стянуть в точку, а натянутую на бублик - нельзя ». На самом деле эта формулировка справедлива для гипотезы Тёрстона, которая обобщает гипотезу Пуанкаре, и которую в действительности и доказал Перельман.

Частный случай гипотезы Пуанкаре говорит нам о том, что любое трехмерное многообразие без края (вселенная, например) подобно трехмерной сфере. А общий случай переводит это утверждение на объекты любой мерности. Стоит заметить, что бублик, точно так же как вселенная подобна сфере, подобен обычной кофейной кружке.

Заключение

В настоящее время математика ассоциируется с учеными, имеющими странный вид и говорящие о не менее странных вещах. Многие говорят о ее оторванности от реального мира. Многие люди как младшего, так и вполне сознательного возраста говорят, что математика ненужная наука, что после школы/института, она нигде не пригодилась в жизни.

Но на самом деле это не так - математика создавалась как механизм с помощью которого можно описать наш мир, и в частности многие наблюдаемые вещи. Она повсюду, в каждом доме. Как сказал В.О. Ключевский: «Не цветы виноваты, что слепой их не видит».

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

Математические физики заявили о продвижении в работе над 150-летней теоремой, за доказательство которой Математический институт Клэя предлагает награду в миллион долларов. Ученые представили оператор, который удовлетворяет гипотезе Гильберта-Пойя, гласящей, что существует дифференциальный оператор, чьи собственные значения в точности соответствуют нетривиальным нулям дзета-функции Римана. Статья опубликована в журнале Physical Review Letters.

Гипотеза Римана - одна из «задач тысячелетия», за доказательство которых американский Математический институт Клэя выдает премии в миллион долларов. Гипотеза Пуанкаре (теорема Пуанкаре-Перельмана), которую доказал наш соотечественник , входила именно в этот список. Гипотеза Римана, сформулированная в 1859 году, гласит, что все нетривиальные нули дзета-функции Римана (то есть значения комплекснозначного аргумента, обращающие функцию в нуль) лежат на прямой ½ + it, то есть их вещественная часть равна ½. Сама дзета-функция возникает во многих разделах математики, например, в теории чисел она связана с количеством простых чисел, меньших заданного.

Теория функций предсказывает, что множество нетривиальных нулей дзета-функции должно быть похоже на множество собственных значений («решений» для матричных уравнений) некоторой другой функции из класса дифференциальных операторов, которые часто используются в физике. Идея о существовании конкретного оператора с такими свойствами получила название гипотезы Гильберта-Пойя, хотя ни тот, ни другой не публиковали работ на эту тему. «Так как публикаций "авторов" на эту тему нет, то формулировка гипотезы меняется в зависимости от интерпретации, - поясняет один из авторов статьи Дорже Броди из лондонского Университета Брунеля. - Однако два пункта должны быть выполнены: а) необходимо найти оператор, чьи собственные значения соответствуют нетривиальным нулям дзета-функции, и б) определить, что собственные значения являются действительными числами. Основной целью нашей работы был пункт а). Для доказательства части б) необходима дальнейшая работа».

Еще одной важной гипотезой в этой области является идея Берри и Китинга, что в случае существования искомого оператора, он будет теоретически соответствовать некоторой квантовой системе с определенными свойствами. «Мы определили условия квантования гамильтониана Берри-Китинга, таким образом, доказывая гипотезу их имени, - добавляет Броди. - Возможно, это разочарует, но полученный гамильтониан, кажется, не соответствует никакой физической системе очевидным образом; по крайней мере, мы не нашли такого соответствия».

Наибольшую сложность представляет доказательство действительности собственных значений. Авторы оптимистично настроены по этому поводу, в статье присутствует подкрепляющий аргумент, основанный на PT-симметрии. Эта идея из физики частиц означает, что при замене всех направлений четырехмерного пространства-времени на обратные, система будет выглядеть так же. Природа в общем случае не PT-симметрична, однако, полученный оператор обладает этим свойством. Как показано в статье, если доказать нарушение этой симметрии для мнимой части оператора, то все собственные значения будут вещественными, таким образом завершая доказательство гипотезы Римана.

разработчик 80-го уровня 18 января 2018 в 13:05

Доказательство Гипотезы Римана

• Математика

Гипотеза Римана это математическая гипотеза, выведенная в 1859 году Бернхардом Риманом. И которая до сих пор не была решена.

Гипотеза Римана звучит так:

Все нетривиальные нули дзета-функции имеют действительную часть равную 1/2.

Мне удалось доказать это утверждение. Мои выводы основываются на резултате фон Коха 1901 года.

Если Гипотеза Римана верна, то

π(x) = Li(x) + Ο(√x∙ln x)

Гипотеза Римана имеет большое значение в квантовой механике, а также в криптографии.

Формула π(x) и Li(x)

В данном разделе я представлю две формулы с помощью которых я доказал Гипотезу Римана. Это новая формула функции π(x) и новый метод интегрирования функции 1/ln(x).

Функция π(x) показывает сколько в данном числе x простых чисел. Простые числа - это числа, которые делятся только на себя и на единицу. Например: 2 3 5 7…

Формула функции π(x).:

(1.1)
Доказательство:

Эта формула исключает из данного числа x все не простые числа, по правилам решета Эратосфена. Решето Эретосфена это метод, придуманный Эратосфеном Киренским для определения последовательности простых чисел. Алгоритм таков, если взять ряд из натуральных чисел без единицы

2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18…

И исключить из него все четные числа, кроме самой маленькой из них, т.е. двойки, получится:

2 3 5 7 9 11 13 15 17…

А потом из этой получившейся последовательности исключить все числа которые делятся на следующее простое число после двойки, это число 3, не считая ее самой. Получится:

2 3 5 7 11 13 17…

Если так делать до бесконечности, то останутся только простые числа. Моя формула работает по такому принципу. Сначала формула исключает единицу из данного числа x, а потом количество всех четных чисел, кроме 2. Далее количество чисел, которые делятся на 3, кроме тройки, а из данного количества исключаются четные числа, которые которые делятся на 3 и т.д.
fn(x) обозначает самое минимальное число, которое надо исключить из x, чтобы получилось то число которое делится на n без остатка.

График функции fn(x):

Рис.(1.1) График функции fn(x)

Область определения функции

Область значения

Каждое выражение в скобках содержит количество определенных не простых чисел не превосходящих x.

Рано или позно определенное выражение в скобках формулы π(x) будет равна нулю (1.1). Поэтому данная сумма не бесконечна.

Я не могу доказать математически формулу (1.1), но можно понять, что формула верна, исходя из того что ее функция напоминает решето Эретосфена. Можно сказать, что эта формула-аналитический вариант решета Эретосфена.

Формула функции Li(x):

(1.2)
Доказательство:

Все члены этой суммы это площадь прямоугольника под графиком функции 1/ln(x), бесконечное количество площадей прямоугольников сходятся к площади под графиком функции 1/ln(x), начиная с аргумента 2. А так как функция Li(x) это интеграл графика функции 1/ln(x), то формула (1.2) равна Li(x).

Рис.(1.2) Прямоугольники под графиком функции 1/ln(x)

Верхний правый угол всех прямоугольников лежат на определенной точке графика, а так как прямоугольников бесконечно много, то углы прямоугольников охватывают все точки графика от 1/ln(2) до 1/ln(x).

Доказательство

Итак, если Гипотеза Римана верна то

π(x) = Li(x) + Ο(√x∙ln x)

А если переделать это выражение то получится, что

То есть, если доказать это неравенство то получится что Гипотеза Римана верна.
Подставив подставив выведенные формулы в неравенство получим:

(1.3) Остаточный член

При условии что x>2.Преобразуем это выражение, для упрощения.

Из этого можно сделать вывод что, если неравенство

(1.5)

Верное, то и Гипотеза Римана верна. Проверем это. Если перенести все члены неравенства (1.5) в правую часть неравенства, то получится

(1.6)

Первая разность этого выражения, при x>2, всегда отрицательна. А вторая разность отрицательна приблизительно лишь при x>10, но это не страшно, так как нас интересуют только большие аргументы, выражение (1.6) все равно будет верное.

Неравенство (1.6) верное, значит и неравенство

Тоже верное.

Гипотеза Римана доказана.

Теги: Задачи тысячелетия, простые числа

Гипотеза Римана доказана?

Математик из Университета Пурду утверждает, что он получил доказательство гипотезы Римана, которую часто называют величайшей нерешенной математической задачей. Хотя работа этого математика еще должна пройти процедуру рецензирования.

На этой неделе профессор математики Школы естественных наук Пурду, лауреат премии Эдварда Эллиотта Луи де Бранж опубликовал 23-страничный труд со своим доказательством. Обычно математики объявляют о таких достижениях на конференциях или в научных журналах. Однако за доказательство гипотезы Римана назначен приз в $1 млн, поэтому он решил поспешить с публикацией. «Я приглашаю других математиков проверить мои выкладки, - говорит де Бранж в подготовленном заявлении. - Со временем я передам свое доказательство для официальной публикации, но ввиду обстоятельств я чувствую необходимость немедленно опубликовать свою работу в интернете».

Гипотеза относится к распределению простых чисел. Простые числа делятся только на самих себя и на единицу. В числе прочих задач простые числа используются для шифрования. В начале этого месяца было подтверждено, что обнаружено самое большое известное на сегодняшний день простое число, которое выражается двойкой в степени 24036583 за вычетом единицы и записывается 7235733 десятичными цифрами.

Как и решения многих других математических проблем, доказательство гипотезы Римана вряд ли найдет немедленное коммерческое применение, но через десятилетие его использование вполне вероятно.

Истоки гипотезы восходят к 1859 году, когда математик Бернхард Риман предложил теорию о распределении простых чисел, но в 1866 году он умер, так и не успев завершить ее доказательство. С тех пор за решение задачи брались многие. В частности, ее пытался решить Джон Нэш, математик, лауреат Нобелевской премии по экономике, история жизни которого положена в основу сюжета книги и кинофильма A Beautiful Mind («Игры разума»). В 2001 году математический институт Clay Mathematics Institute в Кембридже, штат Массачусетс, объявил за доказательство гипотезы премию в $1 млн.

Де Бранж, пожалуй, наиболее известен решением другой технической проблемы из области математики: 20 лет назад он доказал теорему Бибербаха. С тех пор ученый почти целиком посвятил себя проверке гипотезы Римана.

Предыдущие публикации:

Обсуждение и комментарии

	нц 10 Jun 2004 12:21 PM
Респект человеку, по крайней мере за то, что он пытается делать.
	Хохол 10 Jun 2004 12:24 PM
Да, нобелевка по математике это круто!!!
	torvic 10 Jun 2004 1:06 PM
"математик, обладатель Нобелевской премии" [по экономике]
	Yuri Abele 10 Jun 2004 1:17 PM
To Хохол: Джон Нэш - это действительно один из величайших математиков современности. Велик не замороченностью каких-нибудь математических вычислений, а тем вкладом, который его работа по теории игр внесла в мировую экономику. Она практически перевернула современную экономику. Если в двух словах, то он математически доказал, что конкурентам выгоднее, как это не парадоксально, сотрудничать а не конкурировать
	Maverik 10 Jun 2004 1:37 PM
2 torvic > Джон Наш, нобелевский лауреат по математике Это оригинал. Я сам чуть со стула не упал! Видно, редакоторам zdnet давно зарплату не повышали. Я уж не говорю о "гепотизе", которая светит в аннотации. Да не, тут прикол именно в том, что нобелевка по математике уже давно является бородатым историческим анекдотом.
	Qrot 10 Jun 2004 1:41 PM
> *Гипотеза* Римана доказана > доказательство *гепотизы* Римана помнится, наша учительница по русскому языку засчитывала подобное за двойную ошибку. > ... к 1859 году, когда математик Бернхард Риман предложил > теорию... в 1966 году он умер он что у вас, горец? в оригинале "but he died in 1866" тут редактор кроме сисадмина по вызову есть вообще?
	Qrot 10 Jun 2004 1:44 PM
Nobel Prize-winning mathematician != нобелевский луреат по математике. надмозги переводили?
	Maverik 10 Jun 2004 1:48 PM
Насчет даты смерти я не обратил внимания. :-) Респект!
	Михаил Елашкин - imhoelashkin.com 10 Jun 2004 2:07 PM
2 Qrot >надмозги переводили? О, вижу внимательного читателя Гоблина. Привет собрату:)
	Matros 10 Jun 2004 2:22 PM
2 Qrot: Это не надмозги, это безмозги. :)
	And 10 Jun 2004 3:22 PM
2 Yuri Abele. По-моему, совершенно очевидно, что конкурентам выгоднее сотрудничать, а не конкурировать. По-моему, такое сотрудничество имеет даже специальные названия, типа "ценовой сговор". И с таким сотрудничеством пытаются бороться всякие антимонопольные органы.
	Qrot 10 Jun 2004 4:23 PM
Михаил Елашкин: салют камраду! :)
	Yuri 10 Jun 2004 6:32 PM
Ну и знайтный же бред тут понаписали! Лажа чуть ли не в каждом слове. Это специально постараться - и то не сразу такое придумаешь. Гипотеза Римана, конечно, связана с распределением простых чисел (точно так же, как и еще со множеством других интереснейших вопросов), но пытаться объяснить ее суть, начиная с понятия простого числа - это чего-то особенного:-) А уж какое отношение к гипотезе Римана имеет обнаружение очередного простого числа, и тем более какую коммерческую выгоду можно было бы извлечь из этого доказательства, хотя бы даже и через сотни лет - это вообще загадка для пытливого ума:-)
	bravomail 10 Jun 2004 7:09 PM
коммерческая выгода одна - легкость ломки современных шифров
	Yuri 10 Jun 2004 7:29 PM
> коммерческая выгода одна - легкость ломки современных шифров Она _абсолютно_ не зависит не только от того, доказана или нет гипотеза Римана, но даже и от того, верна ли она вообще.
	Ks 10 Jun 2004 8:57 PM
Вообще говоря, гипотеза Римана касается нулей дзета-фнукции Римана, и уж если и используется в теории распределения простых чисел, то совсем неочевидным образом. Скажем так - постулат Бертрана доказывается с использованием этой самой дзета-функции, но вполне без этой гипотезы.
	Nobody 10 Jun 2004 10:51 PM
Nobel to Lunix! Windows must die!
	done 10 Jun 2004 11:24 PM
2YuriВ что Вы толкового принести в наше сообщество??
	C3Man 12 Jun 2004 4:44 AM
APOLOGY FOR THE PROOF OF THE RIEMANN HYPOTHESIS?
	Алекс 13 Jun 2004 6:15 PM
Ранее де Бранжес (это профессор, который утверждает, что доказал гипотезу Римана) доказал теорему типа -- если верно некое условие, то верна и гипотеза Римана. Потом выяснилось, что его условие не верно. В том, что висит в Инете доказательства гипотезы Римана нету (а вы бы повесили в инете 1M$?), там есть его извинения перед коллегами, о том, что его доказательство может спутать им планы исследований, его путь к доказательству и то, что бы он сделал с 1M$. В свое время Гильберт сказал, что если бы он проспал 500 лет, а потом проснулся, то первым делом он бы спросил, доказана ли гипотеза Римана.
	Алекс 14 Jun 2004 3:22 AM
Виноват, он действительно выложил доказательство. Только не на 24х страницах как вначале сообщалось, а на 124х. Мужику 72 года, а есть еще порох в пороховницах и ягоды в ягодицах.
	Вlack ibm.* 16 Jun 2004 12:05 PM
А вообще математика хороша тем что в не "КАК много может сделать " одиночка- сиди и ковыряй. про другие науки так не скажешь. ДАЖе теоритеическа физика где не нужны дорогостоящие эсперементы.. Сильно связана с эсперементаторами.. ТЕ ТЕОРФИЗИКИ только для эсперементаторов и работали(Ланндау ДА гений одиночка. НО достиг бы он такого релуьзата не взяы бы его Капица?) .. ну разве что особняком стоит Эейнштейн. МОЛОДЕЦ МУЖИК.
	Николай 13 Oct 2006 2:34 PM
Несколько год назад я "доказывал" Большую Теорему Ферма.Был ооочень рад,а потом...нашол ошибку!Уверен ли господин де Бранжес в том,что нашел настоящее доказательство?Я-нет!

8 августа 1900 года на 2-м Международном конгрессе математиков в Париже один из величайших математиков современности Давид Гильберт сформулировал двадцать три задачи, которые во многом предопределили развитие математики XX столетия. В 2000 году специалисты из Clay Mathematics Institute решили, что грешно входить в новое тысячелетие, не наметив новую программу развития, -тем более что от двадцати трех проблем Гильберта остались лишь две[Еще две считаются слишком расплывчатыми или нематематическими, еще одна была решена частично, а по поводу еще одной - знаменитой континуум-гипотезы - консенсус пока не достигнут ()].

В результате появился знаменитый список из семи задач, за полное решение любой из которых обещан миллион долларов из специально учрежденного фонда. Чтобы получить деньги, нужно опубликовать решение и подождать два года; если в течение двух лет никто его не опровергнет (будьте уверены - попытаются), вы получите миллион вожделенных зеленых бумажек.
Я попытаюсь изложить суть одной из этих задач, а также постараюсь (в меру своих скромных сил) объяснить ее сложность и важность. Настойчиво рекомендую зайти на официальный сайт конкурса www.claymath.org/millennium ; опубликованные там описания проблем полны и интересны, и именно они стали главным источником при написании статьи.

Гипотеза Римана

Однажды один из моих научных руководителей, выдающийся петербургский алгебраист Николай Александрович Вавилов, начал занятие своего спецкурса с формулы

1 + 2 + 3 + 4 + 5 + … = –1/12.

Нет, занятие не было посвящено гипотезе Римана, и узнал я о ней вовсе не от Николая Александровича. Но формула, тем не менее, имеет к гипотезе самое прямое отношение. И что удивительно - это кажущееся абсурдным равенство действительно верно. Точнее сказать, не совсем оно, но дьявол деталей тоже вскоре будет удовлетворен.

В 1859 году Бернард Риман (Bernhard Riemann) опубликовал статью (или, как тогда выражались, мемуар), которой была суждена очень долгая жизнь. В ней он изложил совершенно новый метод асимптотической оценки распределения простых чисел. В основе метода лежала функция, связь которой с простыми числами обнаружил еще Леонард Эйлер, но которая все же получила имя математика, продолжившего ее на всю комплексную плоскость: так называемая дзета-функция Римана. Определяется она очень просто:

ς (s) = 1/1 s + 1/2 s + 1/3 s + 1/3 s + … .

Любой студент, прослушавший курс математического анализа, тут же скажет, что этот ряд сходится для всякого вещественного s > 1. Более того, он сходится и для комплексных чисел, вещественная часть которых больше единицы. Еще более того, функция ς (s) - аналитическая в этой полуплоскости.

Рассматривать формулу для отрицательных s кажется дурной шуткой: ну какой смысл складывать, например, все положительные целые числа или, тем более, их квадраты или кубы? Однако комплексный анализ - упрямая наука, и свойства дзета-функции таковы, что ее можно продолжить на всю плоскость. Это и было одной из идей Римана, изложенных в мемуаре 1859 года. У полученной функции только одна особая точка (полюс): s = 1, а, например, в отрицательных вещественных точках функция вполне определена. Именно значение аналитически продолженной дзета-функции в точке –1 и выражает формула, с которой я начал этот раздел.

(Специально для патриотов и неравнодушных к истории науки людей отмечу в скобках, что, хотя мемуар Бернарда Римана внес в теорию чисел много свежих идей, он не был первым исследованием, в котором распределение простых чисел изучалось аналитическими методами. Впервые это сделал наш соотечественник Пафнутий Львович Чебышёв, 24 мая 1848 года прочитавший в петербургской Академии наук доклад, в котором изложил ставшие классическими асимптотические оценки количества простых чисел.)

Но вернемся к Риману. Ему удалось показать, что распределение простых чисел - а это центральная проблема теории чисел - зависит от того, где дзета-функция обращается в нуль. У нее есть так называемые тривиальные нули - в четных отрицательных числах (–2, –4, –6, …). Задача состоит в том, чтобы описать все остальные нули дзета-функции.

Этот орешек вот уже полторы сотни лет не могут разгрызть самые талантливейшие математики планеты.

Правда, мало кто сомневается в том, что гипотеза Римана верна. Во-первых, численные эксперименты более чем убедительны; о последнем из них рассказывает статья Хавьера Гурдона (Xavier Gourdon), название которой говорит само за себя: «Первые 10 13 нулей дзета-функции Римана и вычисление нулей на очень большой высоте» (вторая часть названия означает, что предложен метод вычисления не только первых нулей, но и некоторых, пусть и не всех, более далеких, вплоть до нулей с номером около 10 24). Эта работа пока венчает более чем столетнюю историю попыток проверки гипотезы Римана для некоторого количества первых нулей. Разумеется, контрпримеров к гипотезе Римана не найдено. Кроме того, строго установлено, что больше 40% нулей дзета-функции гипотезе удовлетворяют.

Второй аргумент напоминает одно из доказательств существования Бога, опровергнутых еще Иммануилом Кантом. Если Риман все же ошибся, то неверной станет очень много красивой и правдоподобной математики, построенной в предположении, что гипотеза Римана правильна. Да, этот аргумент не имеет научного веса, но все же… математика - это наука, где красота играет ключевую роль. Красивое, но неверное доказательство сплошь и рядом оказывается полезнее, чем верное, но некрасивое. Так, например, из неудачных попыток доказать великую теорему Ферма выросло не одно направление современной алгебры. И еще одно эстетическое замечание: теорема, аналогичная гипотезе Римана, была доказана в алгебраической геометрии. Получившаяся теорема Делиня (Deligne) по праву считается одним из самых сложных, красивых и важных результатов математики XX столетия.
Итак, гипотеза Римана, по всей видимости, верна - но не доказана. Кто знает, возможно, сейчас этот журнал читает человек, которому суждено войти в историю математики, доказав гипотезу Римана. В любом случае, как и со всеми остальными великими задачами, сразу предупреждаю: не пытайтесь повторить эти трюки дома. Иными словами, не пытайтесь решать великие проблемы, не поняв теории, которая их окружает. Сэкономите нервы и себе, и окружающим.

На десерт - еще немного интересного о дзета-функции. Оказывается, у нее есть и практические применения, и даже физический смысл. Более того, и гипотеза Римана (точнее говоря, ее обобщение, считающееся столь же сложным, сколь и она сама) имеет прямые практические следствия. Например, одной из важных вычислительных задач является проверка чисел на простоту (дано число, нужно сказать, простое оно или нет). Самый теоретически быстрый на данный момент алгоритм решения этой задачи - тест Миллера-Рабина (Miller-Rabin test) - работает за время O(log 4 n), где n - данное число (соответственно log n - длина входа алгоритма). Однако доказательство того, что он работает так быстро, опирается на гипотезу Римана.

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

Обратимся к физике. В 1948 году голландский ученый Хендрик Казимир (Hendrik Casimir) предсказал эффект, носящий теперь его имя[Эффект Казимира долгое время оставался лишь изящной теоретической идеей; однако в 1997 году Стив Ламоро (Steve K. Lamoreaux), Умар Мохидин (Umar Mohideen) и Анушри Руа (Anushri Roy) смогли провести подтверждающие предшествующую теорию эксперименты]. Оказывается, если сблизить две незаряженные металлические пластины на расстояние в несколько атомных диаметров, они притянутся друг к другу за счет флуктуаций расположенного между ними вакуума - постоянно рождающихся пар частиц и античастиц. Этот эффект чем-то напоминает притяжение подплывших слишком близко друг к другу судов в океане (еще больше он напоминает теорию Стивена Хокинга о том, что черные дыры все же излучают энергию, - впрочем, тут трудно сказать, кто кого напоминает). Расчеты физической модели этого процесса показывают, что сила, с которой притягиваются пластины, должна быть пропорциональна сумме частот стоячих волн, возникающих между пластинами. Вы уже догадались - эта сумма сводится к сумме 1+2+3+4+…. И более того - правильным значением этой суммы для расчетов эффекта Казимира является именно –1/12.

Но и это еще не все. Некоторые исследователи считают, что дзета-функция играет важную роль… в музыке! Возможно[Я пишу «возможно», потому что единственный источник, который мне удалось разыскать, это переписка в usenet-конференции sci.math . Если вы (читатели) сможете найти более авторитетные источники, мне будет очень интересно об этом услышать], максимумы дзета-функции соответствуют значениям частот, которые могут служить хорошей основой для построения музыкальной шкалы (такой, как наш нотный стан). Что ж, Герман Гессе в своей «Игре в бисер» не зря объявил Игру комбинацией математики и музыки: между ними и впрямь много общего…