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

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

На этой неделе профессор математики Школы естественных наук Пурду, лауреат премии Эдварда Эллиотта Луи де Бранж опубликовал 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
Несколько год назад я "доказывал" Большую Теорему Ферма.Был ооочень рад,а потом...нашол ошибку!Уверен ли господин де Бранжес в том,что нашел настоящее доказательство?Я-нет!

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

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

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

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

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

Российский математик нашел доказательство Гипотезы Римана January 3rd, 2017

Бернхард Риман

Помните, я вам рассказывал про . Так вот, среди них была гипотеза Римана.

В 1859 году немецкий математик Бернхард Риман взял давнюю идею Эйлера и развил ее совершенно по-новому, определив так называемую дзета-функцию. Одним из результатов этой работы стала точная формула для количества простых чисел до заданного предела. Формула представляла собой бесконечную сумму, но специалистам по анализу к этому не привыкать. И это не было бесполезной игрой ума: благодаря этой формуле удалось получить новые подлинные знания о мире простых чисел. Мешала только одна маленькая неувязка. Хотя Риман мог доказать, что его формула точна, самые важные потенциальные следствия из нее полностью зависели от одного простого утверждения, касающегося дзета-функции, и вот это то простое утверждение Риман никак не мог доказать. Полтора столетия спустя, мы все еще не сумели сделать это.

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

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

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

Гипотеза Римана входит в список семи «проблем тысячелетия», за решение каждой из которых Математический институт Клэя (Clay Mathematics Institute, Кембридж, Массачусетс) выплатит награду в один миллион долларов США.

Таким образом, доказательство гипотезы может обогатить российского математика.

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

Также отметим, что если найденное Игорем Туркановым доказательство Гипотезы Римана будет признано верным, то на счет российских математиков будет записано решение уже двух из семи «проблем тысячелетия». Одну из этих проблем - «гипотезу Пуанкаре» в 2002 году . При этом он отказался от полагавшейся ему премии в $1 млн от института Клэя.

В 2015 году Профессор математики Опиеми Энох (Opeyemi Enoch) из Нигерии заявил о том, что он смог решить гипотезу Римана, но в Математическом институте Клэя пдо сегодняшнего момента считали гипотезу Римана недоказанной. По словам представителей института, для того, чтобы достижение было зафиксировано, его необходимо опубликовать в авторитетном международном журнале, с последующим подтверждением доказательства научным сообществом.

источники

Энциклопедичный YouTube

1 / 5

✪ #170. ГИПОТЕЗА РИМАНА - ПРОБЛЕМА ТЫСЯЧЕЛЕТИЯ!

✪ Science show. Выпуск 30. Гипотеза Римана

✪ Гипотеза Римана. Решена проблема тысячелетия (но это не точно) | трушин ответит #031 +

✪ Гипотеза Римана. Решена проблема тысячелетия (но это не точно). Часть II | трушин ответит #032 +

✪ Что доказал Григорий Перельман?

Субтитры

Если натуральное число имеет только два делителя - само себя и единицу, то его называют простым. Наименьшее простое число - это два, тройка тоже делится лишь на саму себя и на единичку, а вот дважды-два - четыре, и это число составное, из пяти квадратиков можно лишь составить прямоугольник со сторонами 5 и 1, а вот шесть квадратиков можно выстроить не только в один ряд, но еще и прямоугольником 2х3. Интерес к простым числам появился еще в древности: первые записи по теме, известные нам, относятся ко второму тысячелетию до нашей эры - древние египтяне знали толк в математике. В Античные времена Евклид доказал, что простых чисел - бесконечно много, а, кроме того, у него было представление об основной теореме арифметики. Эратосфен в свою очередь придумал (или по крайней мере зафиксировал) алгоритм поиска простых чисел. Это очень крутая штука, называемая решетом Эратосфена, смотрите: сейчас мы быстро с его помощью определим в первой сотне натуральных чисел все простые. Единичка не является простым по определению, двойка - первое простое: вычеркиваем все числа кратные ей, ведь они обязательно составные. Ну вот, кандидатов уже вдвое меньше! Берем следующее простое число - три, вычеркиваем все числа, кратные трем. Заметьте, пятерка выбивает не так уж и много чисел, ведь многие уже оказались кратны двум или трем. Но что самое удивительное - наш алгоритм можно закончить на числе семь! Подумайте, почему это так! И если догадались, напишите в комментариях, на каком числе можно закончить процедуру при работе с первом десятком тысяч натуральных чисел! Итак, всего в первой сотне у нас оказалось двадцать пять простых чисел. Хм… а сколько простых чисел в первой тысяче или, скажем, миллионе? Этот вопрос потревожил самые светлые умы человечества не на шутку, никому тогда даром не нужны была практическая польза криптографии: математика - это скорее разговор с Богом или, во всяком случае, один из способов его услышать. Ну а простые числа - это как в химии атомы и как в литературе алфавит. Ладно, ближе к теме! Эстафету древнегреческих ученых спустя века принимает вся Европа: разрабатывает теорию чисел Пьер Ферма, огромный вклад вносит Леонард Эйлер, ну и, конечно, кем только не составляются огромные таблицы простых чисел. Однако закономерность появления наших особых нумеров среди составных обнаружить не удается. И только лишь в конце 18-го века Гауссом и Лежандром выдвигается предположение, что замечательнейшая функция π(x), которая подсчитывала бы количество простых чисел, меньших либо равных действительному числу x, устроена следующим образом π(x)=x/lnx. Кстати, у нас в первой сотне сколько чисел оказалось простых? Двадцать пять, правильно? Даже для таких малых значений функция выдает на выходе адекватный к истине результат. Хотя речь, скорее о пределе отношения π(x) и x/lnx: на бесконечности он равен единице. Вот это утверждение и есть теорема о распределении простых чисел. Существенный вклад в ее доказательство внес наш соотечественник Пафнутий Львович Чебышёв, а покончить с темой целиком можно было бы, сообщив вам напоследок, что эта теорема была доказана независимо Жаком Адамаром и Валле-Пуссеном еще в 1896 году. Ага…если бы не одно «но»! В своих рассуждениях они опирались на тезис одного коллеги-предшественника. И этим ученым с учетом того, что Эйнштейн еще не родился, был Бернхард Риман. Вот вам кадр с оригиналом рукописи Римана. Знаете, почему именно с этой темой он выступил: причина стара как наша образовательная система: простыми числами занимался научный руководитель Римана - Карл Фридрих Гаусс, король математики, между прочим! Вот здесь старая печатная версия доклада на немецком. Мне посчастливилось найти русский перевод, но даже стряхнув с него пыль, некоторые формулы трудно разглядеть, поэтому мы воспользуемся английским вариантом. Смотрим! Бернхард отталкивается от результатов Эйлера: справа с помощью заглавной греческой буквы сигма записана сумма всех натуральных чисел, а слева посредством заглавной и не менее греческой буквы Пи обозначено произведение, притом малая буква p пробегает все простые числа. Это очень красивое соотношение - призадумайтесь! Далее вводится дзета-функция и развиваются идеи, связанные с ней. А затем повествование посредством тернистой дороги математического анализа идет к заявленной теореме о распределении простых чисел, хотя и несколько с другого ракурса. А теперь взглянем сюда: уравнение, в котором слева - кси-функция, тесно связанная с дзетой, а справа -нолик. Риман пишет: «Вероятно все нули кси-функции действительные, во всяком случае было бы желательно найти строгое доказательство этого предложения». Затем добавляет, что после нескольких напрасных, не очень настойчивых попыток разыскать таковое, он временно от них отказался, так как для дальнейшей цели в этом надобности нет. Ну вот, так и родилась гипотеза Римана! На современный лад и со всеми уточнениями она звучит следующим образом: все нетривиальные нули дзета-функции имеют действительную часть, равную ½. Есть, конечно, и другие эквивалентные формулировки. В 1900-ом году Давид Гильберт включил гипотезу Римана в знаменитый список 23 нерешенных проблем. Кстати, вам не кажется странным, что Гильберт работал на той же кафедре Гёттингенского университета, что и Риман в свое время. Если это было проявление землячества, то с чистой совестью еще раз добавляю сюда последовательно кадры березки и Чебышёва. Отлично! Можем двигаться дальше. В 2000-ом году институт Клэя включил гипотезу Римана в список семи открытых проблем тысячелетия, и теперь за ее решение полагается 10⁶ ($). Да-а, понимаю, что вас, как настоящих математиков, деньги не сильно манят, но все-таки это хороший повод осознать суть гипотезы Римана. Поехали! Все очень легко и понятно! Во всяком случае было таковым для Римана. Вот дзета-функция в явном виде. Как и всегда, мы бы смогли увидеть нули функции, если бы нарисовали ее график. Хм… Ладно, попробуем это сделать! Если взять вместо аргумента s двоечку, получим знаменитую базельскую проблему - нужно будет вычислить сумму ряда обратных квадратов. Но это не беда, с задачай давным-давно справился Эйлер: ему сразу стало очевидно, что эта сумма равна π²/6. Хорошо, тогда возьмем s=4 - а, впрочем, Эйлер посчитал и это! Очевидно, π⁴/90. В общем, вы уже поняли, кто вычислил значения дзета-функции, в точках 6, 8, 10 и так далее. Так, а это что такое? Дзета-функция Римана от единички? Давайте посмотрим! А-а-а, так это же гармонический ряд! Итак, как вы думаете, чему равна сумма вот такого вот ряда? Слагаемые маленькие-маленькие, но все-таки побольше, чем в ряде обратных квадратов, правда? Кликните паузу, подумайте немного и дайте ваше оценочное значение. Ну сколько здесь? Два? Или, может быть, три? Барабанная дробь… гармонический ряд расходится! В бесконечность улетает эта сумма, понимаете, нет?! Вот смотрите, берем ряд, у которого каждое из слагаемых не превосходит соответствующих членов гармонического ряда. И видим: ½, затем еще ½, снова ½ и так далее до бесконечности! Это я к чему клоню? Дзета-функция от единички не определена! Ну что ж, теперь, кажется, понятно, как выглядит график дзеты. Одно только непонятно, где же нули дзета-функции? Ну покажите мне, где нетривиальные нули дзета-функции, а еще действительная часть, равная одной второй! Ведь если мы возьмем аргументом дзета-функции ½, то все члены полученного ряда будут не меньше гармонического, а значит, грусть, расходимость, бесконечность. То есть вообще при любом действительном s меньшем или равном единице, ряд расходится. И уж, конечно, при s=-1 дзета предстанет суммой всех натуральных чисел и не поравняется ни с каким конкретным числом. Ага… есть только одно «но»! Если моего смекалистого дружка попросить вычислить дзета-функцию в точке -1, то он, будучи бездушной железякой, выдаст значение -1/12. Да и вообще, дзета у него определена для любых аргументов, кроме единички, притом и нули достигаются - в четных отрицательных значениях! Да-а-а, приехали, с чем же это может быть связано? О, хорошо, что под рукой есть учебник по теории функции комплексного переменного: тут наверняка найдется ответ. Так и есть, так и есть! Оказывается, у некоторых функций есть аналитическое продолжение! Речь идет о функциях, которые дифференцируются сколь угодно много раз, в ряд Тейлора раскладываются, помните такие? Они имеют продолжение в виде некоторой другой функции, кстати говоря, единственной. И в частности нашу родную дзета-функцию для действительного аргумента, коль скоро под все условия она подходит, можно расширить на всю комплексную плоскость по принципу аналитического продолжения. И Риман с этим справился на ура! Сразу скажу, что всевозможные значения комплексного аргумента можно было бы изобразить только на плоскости. Но если аргумент пробегает точки плоскости, то как изобразить значения функции? На плоскости можно ограничиться нулями функции, а можно взять на вооружение третье измерение, хотя по-хорошему для дзеты их нужно четыре. Ну а еще можно попробовать использовать цвет. Сами смотрите! По оси абсцисс откладывается действительная часть аргумента, по оси ординат -мнимая. Ну что ж, теперь держите ухо востро: все нетривиальные нули дзета-функции имеют действительную часть, равную ½. Тут уж и сказке конец, а кто слушал - молодец! Домашнее задание - доказать или опровергнуть гипотезу Римана, и не вздумайте списывать у Атьи! Мыслите критически, занимайтесь математикой, счастливо! [Играет музыка]

Формулировка

Эквивалентные формулировки

Соображения об истинности гипотезы

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

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

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

Связанные проблемы

Две гипотезы Харди-Литтлвуда

1. Для любого ε > 0 {\displaystyle \varepsilon >0} существует T 0 = T 0 (ε) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon)>0} , такое что при и H = T 0 , 25 + ε {\displaystyle H=T^{0{,}25+\varepsilon }} интервал содержит нуль нечётного порядка функции .
2. Для любого ε > 0 {\displaystyle \varepsilon >0} существуют такие T 0 = T 0 (ε) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon)>0} и c = c (ε) > 0 {\displaystyle c=c(\varepsilon)>0} , что при T ⩾ T 0 {\displaystyle T\geqslant T_{0}} и справедливо неравенство N 0 (T + H) − N 0 (T) ⩾ c H {\displaystyle N_{0}(T+H)-N_{0}(T)\geqslant cH} .

Гипотеза А. Сельберга

В 1942 году Атле Сельберг исследовал проблему Харди-Литтлвуда 2 и доказал, что для любого ε > 0 {\displaystyle \varepsilon >0} существуют T 0 = T 0 (ε) > 0 {\displaystyle T_{0}=T_{0}(\varepsilon)>0} и c = c (ε) > 0 {\displaystyle c=c(\varepsilon)>0} , такие что для T ⩾ T 0 {\displaystyle T\geqslant T_{0}} и H = T 0 , 5 + ε {\displaystyle H=T^{0{,}5+\varepsilon }} справедливо неравенство N (T + H) − N (T) ⩾ c H log ⁡ T {\displaystyle N(T+H)-N(T)\geqslant cH\log T} .

В свою очередь, Атле Сельберг высказал гипотезу, что можно уменьшить показатель степени a = 0 , 5 {\displaystyle a=0{,}5} для величины H = T 0 , 5 + ε {\displaystyle H=T^{0{,}5+\varepsilon }} .

В 1984 году А. А. Карацуба доказал , что при фиксированном с условием 0 < ε < 0,001 {\displaystyle 0<\varepsilon <0{,}001} , достаточно большом T {\displaystyle T} и H = T a + ε {\displaystyle H=T^{a+\varepsilon }} , a = 27 82 = 1 3 − 1 246 {\displaystyle a={\tfrac {27}{82}}={\tfrac {1}{3}}-{\tfrac {1}{246}}} промежуток (T , T + H) {\displaystyle (T,T+H)} содержит не менее c H ln ⁡ T {\displaystyle cH\ln T} вещественных нулей дзета-функции Римана ζ (1 2 + i t) {\displaystyle \zeta {\Bigl (}{\tfrac {1}{2}}+it{\Bigr)}} . Тем самым он подтвердил гипотезу Сельберга.

Оценки А. Сельберга и А. А. Карацубы являются неулучшаемыми по порядку роста при T → + ∞ {\displaystyle T\to +\infty } .

В 1992 году А. А. Карацуба доказал, что аналог гипотезы Сельберга справедлив для «почти всех» промежутков (T , T + H ] {\displaystyle (T,T+H]} , H = T ε {\displaystyle H=T^{\varepsilon }} , где ε {\displaystyle \varepsilon } - сколь угодно малое фиксированное положительное число. Метод, разработанный Карацубой, позволяет исследовать нули дзета-функции Римана на «сверхкоротких» промежутках критической прямой, то есть на промежутках (T , T + H ] {\displaystyle (T,T+H]} , длина H {\displaystyle H} которых растёт медленнее любой, даже сколь угодно малой, степени T {\displaystyle T} . В частности, он доказал, что для любых заданных чисел ε {\displaystyle \varepsilon } , ε 1 {\displaystyle \varepsilon _{1}} с условием 0 < ε , ε 1 < 1 {\displaystyle 0<\varepsilon ,\varepsilon _{1}<1} почти все промежутки (T , T + H ] {\displaystyle (T,T+H]} при H ⩾ exp ⁡ { (ln ⁡ T) ε } {\displaystyle H\geqslant \exp {\{(\ln T)^{\varepsilon }\}}} содержат не менее H (ln ⁡ T) 1 − ε 1 {\displaystyle H(\ln T)^{1-\varepsilon _{1}}} нулей функции ζ (1 2 + i t) {\displaystyle \zeta {\bigl (}{\tfrac {1}{2}}+it{\bigr)}} . Эта оценка весьма близка к той, что следует из гипотезы Римана.

См. также

Примечания

1. Weisstein, Eric W. Riemann Hypothesis (англ.) на сайте Wolfram MathWorld .
2. Rules for the Millennium Prizes
3. Что несколько необычно, так как lim sup n → ∞ σ (n) n log ⁡ log ⁡ n = e γ . {\displaystyle \limsup _{n\rightarrow \infty }{\frac {\sigma (n)}{n\ \log \log n}}=e^{\gamma }.}
   Неравенство нарушается при n = 5040 и некоторых меньших значениях, но Гай Робин в 1984 году показал, что оно соблюдается для всех бóльших целых, тогда и только тогда, когда гипотеза Римана верна.

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 степени - так называемых эллиптических кривых и по сути является единственным относительно простым общим способом вычисления ранга, одного из важнейших свойств эллиптических кривых.

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

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

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

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

Заключение

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

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

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