гипотеза римана что это такое

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

Гипо́теза Ри́мана о распределении нулей дзета-функции Римана была сформулирована Бернхардом Риманом в 1859 году.

В то время как не найдено какой-либо закономерности, описывающей распределение простых чисел среди натуральных, Риман обнаружил, что количество простых чисел, не превосходящих , — функция распределения простых чисел, обозначаемая — выражается через распределение так называемых «нетривиальных нулей» дзета-функции.

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

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

Содержание

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

Дзета-функция Римана определена для всех комплексных и имеет нули в отрицательных чётных .

Из функционального уравнения и явного выражения при 1″ border=»0″ />, где — функция Мёбиуса, следует, что все остальные нули, называемые «нетривиальными», расположены в полосе симметрично относительно так называемой «критической линии» .

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

Гипотеза Римана утверждает, что:

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

Обобщённая гипотеза Римана

Обобщённая гипотеза Римана состоит из того же самого утверждения для обобщений дзета-функций, называемых L-функциями Дирихле.

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

В 1901 году Хельге фон Кох показал, что гипотеза Римана эквивалентна следующему утверждению о распределении простых чисел:

при

Ещё несколько эквививалентных формулировок:

История

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

В 1900 году Давид Гильберт включил гипотезу Римана в список 23 нерешённых проблем как часть восьмой проблемы, совместно с гипотезой Гольдбаха.

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

Некоторые нетривиальные нули располагаются экстремально близко друг к другу. Это свойство известно как «явление Лемера». [10]

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

На 2004 год проверены более 10 13 первых нулей. [11]

Группа математиков Университета Пердью (США) под руководством Луи де Бранжа (Louis De Branges de Bourcia) предложила доказательство гипотезы Римана, [12] которое, однако, оказалось неверным. [1]

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

В обзорных работах (Bombieri 2000, Conrey 2003, Sarnak 2008) отмечается, что данные в пользу истинности гипотезы Римана сильны, но оставляют место для обоснованных сомнений. Отдельные авторы, однако, убеждены в ложности гипотезы (в частности, так считал Джон Литлвуд).

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

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

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

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

В 1914 году Годфри Харольд Харди доказал, [15] что функция имеет бесконечно много вещественных нулей.

Пусть есть количество вещественных нулей, а количество нулей нечётного порядка функции , лежащих на интервале .

Две гипотезы Харди и Литлвуда [16] (о расстоянии между вещественными нулями и о плотности нулей на интервалах при достаточно большом 0″ border=»0″ />, и как можно меньшем значении 0″ border=»0″ />, где 0″ border=»0″ /> сколь угодно малое число), определили два направления в исследовании дзета-функции Римана:

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

В 1942 году Атле Сельберг исследовал проблему Харди-Литтлвуда 2 и доказал, что для любого 0″ border=»0″ /> существуют 0″ border=»0″ /> и 0″ border=»0″ />, такие что для и справедливо неравенство .

В свою очередь, Атле Сельберг высказал гипотезу, [17] что можно уменьшить показатель степени для величины .

Оценки А. Сельберга и А. А. Карацубы являются неулучшаемыми по порядку роста при .

В 1992 году А. А. Карацуба доказал, [21] что аналог гипотезы Сельберга справедлив для «почти всех» промежутков , , где — сколь угодно малое фиксированное положительное число. Метод, разработанный Карацубой, позволяет исследовать нули дзета-функции Римана на «сверхкоротких» промежутках критической прямой, то есть на промежутках , длина которых растёт медленнее любой, даже сколь угодно малой, степени . В частности, он доказал, что для любых заданных чисел , с условием почти все промежутки при содержат не менее нулей функции . Эта оценка весьма близка к той, что следует из гипотезы Римана.

Источник

masterok

Мастерок.жж.рф

Хочу все знать

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

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

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

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

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

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

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

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

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

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

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

Источник

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

Гипо́теза Ри́мана о распределении нулей дзета-функции Римана была сформулирована Бернхардом Риманом в 1859 году.

Функция определена для всех комплексных , и имеет нули для отрицательных целых . Из функционального уравнения , и явного выражения при 1>» /> следует, что все остальные нули, называемые «нетривиальными», расположены в полосе симметрично относительно так называемой «критической линии» . Гипотеза Римана утверждает что:

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

Обобщённая гипотеза Римана состоит из того же самого утверждения для обобщений дзета-функций, называемых L-функциями Дирихле.

Большинство математиков верят, что гипотеза верна. На 2004 год проверены более 10 13 первых решений. [1]

История

Как известно, не существует простой закономерности, описывающей распределение простых чисел среди натуральных. Риман обнаружил, что число простых чисел, не превосходящих x, выражается через распределение нетривиальных нулей дзета-функции.

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

В 1900 Давид Гильберт включил гипотезу Римана в список 23 нерешённых проблем как часть восьмой проблемы совместно с гипотезой Гольдбаха.

В 1901 Хельге фон Кох показал, что гипотеза Римана эквивалентна следующему утверждению о распределении простых чисел:

при

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

Некоторые нетривиальные нули располагаются экстремально близко друг к другу. Это свойство известно как «явление Лемера (Lehmer)».

Гипотеза Римана является одной из семи « проблем тысячелетия », за её доказательство Институт математики Клея (Clay Mathematics Institute, Кембридж, Массачусетс) выплатит приз в 1 млн. долларов. К рассмотрению принимаются решения, которые были опубликованы в известном математическом журнале, причём не ранее, чем через 2 года после публикации (для всестороннего рассмотрения математическим сообществом). http://www.claymath.org/millennium/

Группа математиков Университета Пардье (Purdue University, USA) под руководством Луи де Бранж де Бурсиа (Louis De Branges de Bourcia) предложила доказательство гипотезы Римана, которое позднее было опровергнуто: [2]

Интересные факты

Знаменит ответ Гильберта на вопрос о том, каковы будут его действия, если он по какой-то причине проспит пятьсот лет и вдруг проснется. Математик ответил, что самым первым делом он спросит, была ли доказана гипотеза Римана.

ar:فرضية ريمان bg:Хипотеза на Риман ca:Hipòtesi de Riemann he:השערת רימן hu:Riemann-sejtés lt:Rymano hipotezė nl:Riemann-hypothese pl:Hipoteza Riemanna sv:Riemannhypotesen

Источник

Проблемы 2000 года: гипотеза Римана

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

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

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

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

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

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

Источник

Доступное объяснение гипотезы Римана

Посвящается памяти Джона Форбса Нэша-младшего

Вы ведь помните, что такое «простые числа»? Эти числа не делятся ни на какие другие, кроме самих себя и 1. А теперь я задам вопрос, которому уже 3000 лет:

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

Введение

Свойства простых чисел изучались многими великими людьми в истории математики. С первого доказательства бесконечности простых чисел Евклида до формулы произведения Эйлера, связавшей простые числа с дзета-функцией. От формулировки теоремы о простых числах Гаусса и Лежанра до её доказательства, придуманного Адамаром и Валле-Пуссеном. Тем не менее, Бернхард Риман до сих пор считается математиком, сделавшим единственное крупнейшее открытие в теории простых чисел. В его опубликованной в 1859 году статье, состоявшей всего из восьми страниц, были сделаны новые, ранее неизвестные открытия о распределении простых чисел. Эта статья по сей день считается одной из самых важных в теории чисел.

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

Сколько всего простых чисел?

Давайте начнём с простого. Все мы знаем, что число является или простым, или составным. Все составные числа состоят из простых и могут быть разложены на их произведения (a x b). В этом смысле простые числа являются «строительными блоками» или «фундаментальными элементами» чисел. В 300 году до нашей эры Евклид доказал, что их количество бесконечно. Его изящное доказательство имеет следующий вид:

Предположим, что множество простых чисел не бесконечно. Создадим список всех простых чисел. Тогда P пусть будет произведением всех простых чисел списка (перемножим все простые числа из списка). Прибавим к результату 1: Q = P +1. Как и все числа, это число Q должно быть или простым, или составным:

— Если Q простое, то мы нашли простое число, которого нет в нашем «списке всех простых чисел».

— Если Q не простое, то оно составное, т.е. составлено из простых чисел, одно из которых, p, будет делителем Q (потому что все составные числа являются произведениями простых). Каждое простое p, из которого составлено P, очевидно является делителем P. Если p является
делителем и для P, и для Q, то оно должно быть и делителем для их разности, то есть единицы. Ни одно простое число не является делителем 1, поэтому число p не может находиться в списке — ещё одно противоречие тому, что список содержит все простые числа. Всегда будет существовать ещё одно простое p, не находящееся в списке и являющееся делителем Q. Следовательно, простых чисел бесконечно много.

Почему простые числа так сложно понять?

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

Мы хорошо понимаем составные числа. Это все числа, не являющиеся простыми. Они состоят из простых чисел, но мы можем с лёгкостью написать формулу, прогнозирующую и/или генерирующую составные числа. Такой «фильтр составных чисел» называется решетом. Самым знаменитым примером является так называемое «решето Эратосфена», придуманное примерно в 200 году до нашей эры. Его работа заключается в том, что оно просто помечает значения, кратные каждому простому числу вплоть до заданной границы. Допустим, возьмём простое число 2, и пометим 4,6,8,10, и так далее. Затем возьмём 3, и пометим 6,9,12,15, и так далее. В результате у нас останутся только простые числа. Хоть его очень легко понять, решето Эратосфена, как вы можете представить, не особо эффективно.

Одной из функций, серьёзно упрощающих нашу работу, будет 6n ± 1. Эта простая функция выдаёт все простые числа, за исключением 2 и 3, и удаляет все числа, кратные 3, а также все чётные числа. Подставим n = 1,2,3,4,5,6,7 и получим следующие результаты: 5,7,11,13,17,19,23,25,29,31,35,37,41,43. Единственными не простыми числами, сгенерированными функцией, являются 25 и 35, которые можно разложить на множители 5 x 5 и 5 x 7. Следующими не простыми числами, как вы могли догадаться, будут, 49 = 7 x 7, 55 = 5 x 11, и так далее. Всё легко, правда?

Для визуального отображения этого я использовал то, что называю «лестницей составных чисел» — удобный способ показать, как расположены и сочетаются сгенерированные функцией составные числа. В первых трёх столбцах показанного ниже изображения мы видим, как красиво поднимаются по каждой лестнице составных чисел простые числа 5, 7 и 11, вплоть до значения 91. Хаос, возникающий в четвёртом столбце, показывающем, как решето убрало всё, кроме простых чисел — отличная иллюстрация того, почему простые числа так сложно понять.

Фундаментальные ресурсы

Как же это всё связано с понятием, о котором вы могли слышать — с «гипотезой Римана»? Ну если говорить просто, то чтобы больше понять о простых числах, математики в 19-м веке перестали пытаться спрогнозировать местонахождение простых чисел с абсолютной точностью, и вместо этого начали рассматривать феномен простых чисел в целом. Мастером этого аналитического подхода стал Риман, и в рамках такого подхода была создана его знаменитая гипотеза. Однако прежде чем я начну её объяснять, необходимо познакомиться с некоторыми фундаментальными ресурсами.

Гармонические ряды

Гармонические ряды — это бесконечные ряды чисел, которые впервые исследовал в 14-м веке Николай Орем. Его имя связано с концепцией музыкальных гармоник — обертонов, которые выше частоты основного тона. Ряды имеют следующий вид:

Первые члены бесконечного гармонического ряда

Орем доказал, что эта сумма является несходящейся (то есть не имеющей конечного предела; она не приближается и не стремится к какому-то определённому числу, а устремлена в бесконечность).

Дзета-функции

Гармонические ряды являются особым случаем более общего типа функций под названием дзета-функция ζ(s). Вещественная дзета-функция задаётся для двух вещественных чисел r и n:

Если подставить n = 1, то мы получим гармонический ряд, который расходится. Однако при всех значениях n > 1 ряд сходится, то есть сумма при увеличении r стремится к некому числу, а не уходит в бесконечность.

Формула произведения Эйлера

Первая связь между дзета-функциями и простыми числами была установлена Эйлером, когда он показал, что для двух натуральных (целочисленных и больше нуля) чисел n и p, где p является простым, справедливо следующее:

Произведение Эйлера для двух чисел n и p, где оба больше нуля, а p является простым.

Это выражение впервые появилось в статье 1737 года под названием Variae observationes circa series infinitas. Из выражения следует, что сумма дзета-функции равна произведению величины, обратной единице, минус величина, обратная простым числам в степени s. Эта потрясающая связь заложила фундамент современной теории простых чисел, в которой с тех пор дзета-функция ζ(s) начала использоваться как способ изучения простых чисел.

Доказательство формулы — это одно из самых любимых моих доказательств, поэтому я изложу его, хоть для наших целей это и не обязательно (но настолько же оно прекрасно!):

Доказательство формулы произведения Эйлера

Эйлер начинает с общей дзета-функции

Сначала он умножает обе части на второй член:

Дзета-функция, умноженная на 1/2 s

Затем он вычитает получившееся выражение из дзета-функции:

Он повторяет этот процесс, далее умножая обе стороны на третий член

А затем вычитает получившееся выражение из дзета-функции

Если повторять этот процесс до бесконечности, в конце концов у нас останется выражение:

1 минус все величины, обратные простым числам, умноженное на дзета-функцию

Если этот процесс вам знаком, то это потому, что Эйлер по сути создал решето, очень похожее на решето Эратосфена. Он отфильтровывает из дзета-функции числа, не являющиеся простыми.

Затем разделим выражение на все его члены, являющимися обратными простым числам величинами, и получим:

Функциональная связь дзета-функции с простыми числами для первых простых чисел 2,3,5,7 и 11

Упростив выражение, мы показали следующее:

Формула произведения Эйлера — равенство, показывающее связь между простыми числами и дзета-функцией

Разве это было не красиво? Подставим s = 1, и найдём бесконечный гармонический ряд, повторно доказав бесконечность простых чисел.

Функция Мёбиуса

Август Фердинанд Мёбиус переписал произведение Эйлера, создав новую сумму. Кроме величин, обратных простым числам, функция Мёбиуса также содержит каждое натуральное число, являющееся произведением чётного и нечётного количества простых множителей. Числа, исключённые из его ряда — это такие числа, которые делятся на какое-то простое число в квадрате. Его сумма, обозначаемая как μ(n), имеет следующий вид:

Функция Мёбиуса — изменённая версия произведения Эйлера, заданная для всех натуральных чисел

Сумма содержит величины, обратные:

Ниже показаны первые члены:

Ряд/сумма единиц, разделённых на дзета-функцию ζ(s)

Сумма не содержит те обратные величины, которые делятся на квадрат одного из простых чисел, например, 4,8,9, и так далее.

Три возможных значения функции Мёбиуса μ(n)

Хотя впервые эта хитрая сумма впервые была формально определена Мёбиусом, примечательно, что за 30 лет до него об этой сумме писал в заметках на полях Гаусс:

«Сумма всех первообразных корней (простого числа p) или ≡ 0 (когда p-1 делится на квадрат), или ≡ ±1 (mod p) (когда p-1 является произведением неравных простых чисел); если их количество чётно, то знак положителен, но если количество нечётно, то знак отрицателен».

Функция распределения простых чисел

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

Именно эту задачу выполняет предложенная Гауссом функция распределения простых чисел π(x): она даёт нам количество простых чисел, меньших или равных заданному вещественному числу. Поскольку мы не знаем формул для нахождения простых чисел, формула распределения простых чисел известна нам только как график, или ступенчатая функция, увеличивающаяся на 1, когда x является простым числом. На графике ниже показана функция до x = 200.

Функция распределения простых чисел π(x) до значения x = 200.

Теорема о распределении простых чисел

Теорема о распределении простых чисел, сформулированная Гауссом (и независимо от него Лежанром), гласит:

Теорема о распределении простых чисел

Обычным языком это можно изложить так: «При движении x к бесконечности функция распределения простых чисел π(x) будет приближаться к функции x/ln(x)». Другими словами, если забраться достаточно далеко, и график распределения простых чисел поднимется до очень высокого числа x, то при делении x на натуральный логарифм x соотношение этих двух функций будет стремиться к 1. Ниже на графике показаны две функции для x = 1000:

Функция распределения простых чисел π(x) и приблизительная оценка по теореме распределения простых чисел до x = 1000

С точки зрения вероятностей, теорема о распределении простых чисел гласит, что если случайным образом выбрать натуральное число x, то вероятность P(x) того, что это число будет простым, примерно равно 1 / ln(x). Это означает, что средний разрыв между последовательными простыми числами среди первых x целочисленных значений приблизительно равен ln(x).

Интегральный логарифм

Функция Li(x) определена для всех положительны вещественных чисел, за исключением x = 1. Она задаётся интегралом от 2 до x:

Интегральное представление функции интегрального логарифма

Построив график этой функции рядом с функцией распределения простых чисел и формулой из теоремы о распределении простых чисел, мы видим, что Li(x) на самом деле является лучшим приближением, чем x/ln(x):

Интегральный логарифм Li(x), функция рапределения простых чисел π(x) и x/ln(x) на одном графике

Чтобы узнать, насколько лучше это приближение, мы можем построить таблицу с большими значениями x, количеством простых чисел до x и величиной погрешности между старой (теорема о распределении простых чисел) и новой (интегральный логарифм) функциями:

Количество простых чисел до заданной степени десятки и соответствующие погрешности для двух приближений

Как легко можно заметить, интегральный логарифм намного лучше в приближении, чем функция из теоремы о распределении простых чисел, он «ошибся» в большую сторону всего на 314 890 простых чисел для x = 10 в степени 14. Тем не менее, обе функции сходятся к функции распределения простых чисел π(x). Li(x) сходится гораздо быстрее, но при стремлении x к бесконечности соотношение между функцией распределения простых чисел и функциями Li(x) и x/ln(x) приближается к 1. Покажем это наглядно:

Схождение соотношений двух приближенных значений и функции распределения простых чисел к 1 при x = 10 000

Гамма-функция

Гамма-функция Γ(z) стала важным объектом для изучения с тех пор, когда в 1720-х годах Даниил Бернулли и Христиан Гольдбах исследовали задачу обобщения функции факториала на нецелые аргументы. Это обобщение функции факториала n! (1 x 2 x 3 x 4 x 5 x …. n), сдвинутое вниз на 1:

Гамма-функция, определённая для z

Её график очень любопытен:

Гамма-функция Γ(z) определена для всех комплексных значений z больше нуля. Как вы наверно знаете, комплексные числа — это класс чисел с мнимой частью, записываемых как Re(z) + Im(z), где Re(z) — это вещественная часть (обычное вещественное число), а Im(z) — мнимая часть, обозначаемая буквой i. Комплексное число обычно записывается в виде z = σ + it, где сигма σ — вещественная часть, а i — мнимая. Комплексные числа полезны тем, что они позволяют математикам и инженерам работать с задачами, недоступными обычным вещественным числам. В графическом виде комплексные числа расширяют традиционную одномерную числовую прямую в двухмерную числовую плоскость, называемую комплексной плоскостью, в которой вещественная часть комплексного числа откладывается по оси x, а мнимая — по оси y.

Чтобы гамма-функцию Γ(z) можно было использовать, её обычно переписывают в виде

Функциональная связь гамма-функции Γ(z)

С помощью этого равенства мы можем получить значения для z ниже нуля. Однако оно не даёт значений для отрицательных целых чисел, потому что они не определены (формально они являются вырожденностями или простыми полюсами).

Дзета и гамма

Связь между дзета-функцией и гамма-функцией задаётся следующим интегралом:

Дзета-функция Римана

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

Немецкий математик Бернхард Риман родился в 1826 году в Брезеленце. Будучи студентом Гаусса, Риман опубликовал работу в области математического анализа и геометрии. Считается, что наибольший вклад он внёс в области дифференциальной геометрии, где заложил фундамент языка геометрии, позже использованного Эйнштейном в общей теории относительности.

Его единственный труд в теории чисел, статья 1859 года Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse («О простых числах меньше заданной величины») считается самой важной статьёй в этой области математики. Всего на четырёх страницах он изложил:

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

Дзета-функция Римана

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

Риман первым рассмотрел дзета-функцию ζ(s) для комплексной переменной s, где s = σ + it.

Дзета-функция Римана для n, где s = σ + it — это комплексное число, в котором σ и t являются вещественными числами.

Этот бесконечный ряд, названный дзетой-функцией Римана ζ(s), является аналитическим (то есть имеет определяемые значения) для всех комплексных чисел с вещественной частью больше 1 (Re(s) > 1). В этой области определения он сходится абсолютно.

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

Переписанный вид дзета-функции Римана, где = x — |x|

Это новое определение дзета-функции аналитично в любой части полуплоскости Re(s) > 0, за исключением s = 1, где она является вырожденностью/простым полюсом. В этой области определения она называется мероморфной функцией, потому что она голоморфна (комплексно дифференцируема в окрестности каждой точки в области её определения), за исключением простого полюса s = 1. Кроме того, она является превосходным примером L-функции Дирихле.

В своей статье Риман на этом не остановился. Он перешёл к аналитическому продолжению своей дзета-функции ζ(s) на всю комплексную плоскость, воспользовавшись гамма-функцией Γ(z). Чтобы не усложнять пост, я не буду приводить эти вычисления, но крайне рекомендую вам посмотреть их самостоятельно, чтобы убедиться в удивительной интуиции и мастерстве Римана.

В его методе используется интегральное представление гаммы Γ(z) для комплексных переменных и тета-функции Якоби ϑ(x), которые можно переписать таким образом, чтобы появилась дзета-функция. Решая относительно дзета, получаем:

Функциональное уравнение дзеты для всей комплексной плоскости за исключением двух вырожденностей при s = 0 и s = 1

В таком виде мы замечаем, что член ψ(s) уменьшается быстрее чем любая степень x, а значит, интеграл сходится ко всем значениям s.

Зайдя ещё дальше, Риман заметил, что первый член в скобках (-1 / s(1 — s) ) является инвариантом (не меняется), если заменить s на 1 — s. Благодаря этому Риман ещё больше расширил полезность уравнения, устранив два полюса в s=0 и s=1, и задав кси-функцию Римана ξ(s) без вырожденностей:

Кси-функция Римана ξ(s)

Нули дзета-функции Римана

Корни/нули дзета-функции, когда ζ(s)=0, можно разделить на два вида, которые называются «тривиальными» и «нетривиальными» нулями дзета-функции Римана.

Существование нулей с вещественной частью Re(s) 1

Из формулировки дзеты Эйлера мы можем мгновенно увидеть что дзета ζ(s) не может быть нулём в области с вещественной частью s больше 1, потому что сходящееся бесконечное произведение может быть нулём только если равен нулю один из его множителей. Доказательство бесконечности простых чисел отрицает это.

Формула произведения Эйлера

Существование нулей с вещественной частью 0 ≤ Re(s) ≤ 1

Мы нашли тривиальные нули дзеты в отрицательной полуплоскости, когда Re(s) 1 не может быть нулей.

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

Источник