Loading AI tools
математическая гипотеза о том, что дзета-функция Римана принимает нулевые значения только в отрицательных чётных числах Из Википедии, свободной энциклопедии
Гипо́теза Ри́мана — сформулированная немецким математиком Бернхардом Риманом в 1859 году математическая гипотеза о том, что дзета-функция Ри́мана (введённая Эйлером в 1737 году) принимает нулевые значения только в отрицательных чётных числах: (где эти простые нули называются «тривиальными» нулями дзета-функции), и комплексных числах с вещественной частью («нетривиальные» нули дзета-функции Римана) . Гипотеза Римана касается расположения этих нетривиальных нулей и утверждает, что :
Все нетривиальные нули дзета-функции имеют вещественную часть, равную .
Таким образом, если гипотеза верна, все нетривиальные нули дзета-функции Римана (число которых бесконечно) лежат на критической прямой , состоящей из комплексных чисел , где — действительное число, а — мнимая единица.
Особое значение гипотезы Римана состоит в (предположительной) взаимосвязи рисунка распределения на критической прямой нетривиальных нулей дзета-функции Римана с асимптотикой распределения простых чисел. Этот вопрос имеет значение как для чистой математики (в теории чисел), так и для прикладной математики (например, для криптографии). Хотя не было найдено какой-либо закономерности в распределении простых чисел среди натуральных, Риман обнаружил, что количество простых чисел, не превосходящих , — функция распределения простых чисел — выражается через распределение нетривиальных нулей дзета-функции. Гипотеза стала основой для дальнейшего доказательства Адамаром и Валле-Пуссеном (1896) теоремы о распределении простых чисел .
Также были выдвинуты гипотезы о возможной связи статистических свойств нетривиальных нулей дзета-функции Римана (а значит — и простых чисел) с явлениями квантовой физики, в частности — с квантовым хаосом .
Гипотеза Римана часто рассматривается в качестве важнейшей нерешённой математической проблемы[1][2][3]. Сама гипотеза, в совокупности с гипотезой Гольдбаха, составляют восьмую проблему Гильберта — одну из немногих недоказанных по состоянию на 2023 год проблем Гильберта. Также гипотеза Римана — единственная из проблем Гильберта, включённая в 2000 году в список семи «Задач тысячелетия», за решение каждой из которых Математическим институтом Клэя обещана награда в один миллион долларов США. Несмотря на множество предпринимавшихся (периодически публикуемых) попыток доказательства гипотезы, ни одно из них так и не было признано научным сообществом[4].
Существует множество математических проблем, доказанных в предположении верности гипотезы Римана, так что её доказательство или опровержение будет иметь далеко идущие последствия для теории чисел, особенно в области распределения простых чисел[5][6].
На 2004 год численными методами было подтверждено, что более 1013 (десяти триллионов) первых нетривиальных нулей дзета-функции Римана удовлетворяют этой гипотезе, что является хорошим аргументом в пользу истинности этой гипотезы, но не гарантирует её .
Дзета-функция Римана определена для всех комплексных и имеет нули в отрицательных чётных, то есть , такие нули называются тривиальными.
Из функционального уравнения и явного выражения при , где — функция Мёбиуса, следует, что все остальные нули (называемые «нетривиальными»), расположены в полосе симметрично относительно так называемой «критической линии» .
Гипотеза Римана утверждает, что[7][8]:
то есть являются комплексными числами, расположенными на прямой .
Обобщённая гипотеза Римана — аналог гипотезы Римана для обобщений дзета-функций, называемых L-функциями Дирихле.
В 1859 году Бернхард Риман опубликовал работу «О числе простых чисел, не превышающих данной величины»[англ.][9]. В рамках предположения о верности гипотезы Риман писал (для удобства работая, в основном, с зависимой кси-функцией[англ.])[10]:
... Весьма вероятно, что все [нули кси-функции] действительны. Хотелось бы, конечно, иметь строгое доказательство этого факта, но после нескольких бесплодных попыток я отложил поиск такого доказательства, поскольку этого не требуется для непосредственных целей моего исследования.
Оригинальный текст (нем.)... es ist sehr wahrscheinlich, dass alle Wurzeln reell sind. Hiervon wäre allerdings ein strenger Beweis zu wünschen; ich habe indess die Aufsuchung desselben nach einigen flüchtigen vergeblichen Versuchen vorläufig bei Seite gelassen, da er für den nächsten Zweck meiner Untersuchung entbehrlich schien.
Данное заявление Римана о кси-функции эквивалентно подобному заявлению (формулирующемуся в гипотезу Римана) о зависимой от неё дзета-функции[8].
Доказательство Адамаром и Валле-Пуссеном в 1896 году теоремы о распределении простых чисел (где они независимо показали, что нули дзета-функции не могут лежать на прямых и ) дало мощный импульс развитию аналитической теории чисел[11].
В 1900 году Давид Гильберт включил гипотезу Римана в список 23 нерешённых проблем как часть восьмой проблемы, совместно с гипотезой Гольдбаха.
В 1914 году Харди доказал, что на критической линии находится бесконечно много нулей, а позже совместно с Литлвудом дал нижнюю оценку доли нулей, лежащей на критической линии, которую потом улучшали разные математики.
Некоторые нетривиальные нули располагаются экстремально близко друг к другу. Это свойство известно как «явление Лемера»[12].
Титчмарш и Ворос в 1987 году показали, что дзета-функция может быть разложена в произведение через свои нетривиальные нули в разложение Адамара.
Риманом была изложена эквивалентная формулировка, гласящая, что все корни кси-функции Римана[англ.] ξ(s) вещественны.
В 1901 году Хельге фон Кох показал, что гипотеза Римана эквивалентна следующему утверждению о распределении простых чисел:
Ещё несколько эквививалентных формулировок:
не имеет нетривиальных решений для .
В 1914 году Годфри Харольд Харди доказал[16], что функция имеет бесконечно много вещественных нулей.
Пусть есть количество вещественных нулей, а количество нулей нечётного порядка функции , лежащих на интервале .
Две гипотезы Харди и Литлвуда[17] (о расстоянии между вещественными нулями и о плотности нулей на интервалах при достаточно большом , и как можно меньшем значении , где сколь угодно малое число), определили два направления в исследовании дзета-функции Римана:
В 1942 году Атле Сельберг исследовал проблему Харди-Литтлвуда 2 и доказал, что для любого существуют и , такие, что для и справедливо неравенство .
Сельберг высказал гипотезу[18], что можно уменьшить показатель степени для величины .
В 1984 году А. А. Карацуба доказал[19][20][21], что при фиксированном с условием , достаточно большом и , промежуток содержит не менее вещественных нулей дзета-функции Римана . Тем самым он подтвердил гипотезу Сельберга.
Оценки Сельберга и Карацубы являются неулучшаемыми по порядку роста при .
В 1992 году Карацуба доказал[22], что аналог гипотезы Сельберга справедлив для «почти всех» промежутков , , где — сколь угодно малое фиксированное положительное число. Метод, разработанный Карацубой, позволяет исследовать нули дзета-функции Римана на «сверхкоротких» промежутках критической прямой, то есть на промежутках , длина которых растёт медленнее любой, даже сколь угодно малой, степени . В частности, он доказал, что для любых заданных чисел , с условием почти все промежутки при содержат не менее нулей функции . Эта оценка весьма близка к той, что следует из гипотезы Римана.
Приблизительно в начале XX века венгерский математик Дьёрдь Пойа (в 1912—1914 годах), и, предположительно (но не достоверно), Давид Гильберт[23], сформулировали гипотезу Гильберта — Пойи, указывающую на возможную связь между нетривиальными нулями дзета-функции Римана и явлениями квантовой механики[24][25][26][27]:
Нетривиальные нули дзета-функции Римана (их мнимые части) соответствуют собственным значениям некоторого эрмитового оператора (неограниченного самосопряжённого оператора в гильбертовом пространстве).
Пойа предположил, что одним из способов вывести гипотезу Римана является нахождение самосопряжённого оператора, из существования которого последует утверждение о вещественных частях нетривиальных нулей дзета-функции Римана. Некоторую поддержку гипотеза Гильберта — Пойи находит в ряде аналогов дзета-функции Римана, нули которых соответствуют собственным значениям некоторого оператора: нули дзета-функции многообразия над конечным полем соответствуют собственным значениям элемента Фробениуса на группе этальных когомологий[англ.], нули дзета-функции Сельберга[англ.] являются собственными значениями оператора Лапласа римановой поверхности, а нули р-адической дзета-функции[англ.] соответствуют собственным векторам действия Галуа на группах классов идеалов.
В 1973 году американский математик Хью Монтгомери (после общения в 1972 году с Фрименом Дайсоном) сформулировал парную корреляционную гипотезу (не доказанную, но подтверждаемую (Одлыжко[англ.], 1987) крупномасштабными численными расчётами), согласно которой корреляционные функции (формфактор для парных корреляций) соответственно нормированных нулей дзета-функции Римана должны быть такими же, как и у собственных значений гауссовой случайной эрмитовой матрицы[28][29].
Джон Дербишир обращает внимание на следующие подобия при сравнении поведения нулей дзета-функции Римана и собственных значений гауссовой случайной эрмитовой матрицы[30]:
После прояснения ситуации с некоторыми несоответствиями между результатами Одлыжко и предсказаниями модели гауссова унитарного ансамбля (ГУА) (малых интервалов у Одлыжко получилось несколько больше, чем в модели ГУА), парная корреляционная гипотеза Монтгомери стала (впервые в статье Николаса Каца и Питера Сарнака, 1999) «законом Монтгомери — Одлыжко»[31]:
Распределение интервалов между последовательными нетривиальными нулями дзета-функции Римана (в правильной нормировке) статистически тождественно распределению собственных значений ГУА-оператора.
Смысл «нормировки» в «законе Монтгомери — Одлыжко» состоит во внесении поправки в виде растяжения верхней части выбранного интервала путём умножения каждого числа на его логарифм (что необходимо для выравнивания среднего расстояния между нулями дзета-функции Римана — из-за того, что нули по мере движения вверх по критической прямой делаются ближе друг к другу)[32].
Ключевой вопрос, возникающий при подобного рода исследованиях, Дербишир формулирует так[33]:
Нетривиальные нули дзета-функции Римана появились при исследовании распределения простых чисел. Собственные значения случайных эрмитовых матриц появились при исследовании поведения систем субатомных частиц, подчиняющихся законам квантовой механики. Скажите, пожалуйста, что вообще может быть общего между простыми числами и поведением субатомных частиц?
В 1986 году (ещё до выхода работы Одлыжко 1987 года) английский специалист в области математической физики Майкл Берри в статье «Дзета-функция Римана: модель квантового хаоса?» исследовал вопрос о существовании оператора Римана — оператора, собственные значения которого в точности совпадают с нетривиальными нулями дзета-функции Римана. Берри предположил, что подобный оператор Римана (риманов оператор) существует, и в рамках такого предположения задал следующий вопрос — какую динамическую систему такой риманов оператор может представлять? Его версия состояла в том, что такой риманов оператор может моделировать хаотическую систему[34].
Берри показал, что в случае своего существования риманов оператор должен моделировать одну из т. н. квазиклассических хаотических систем (где под квазиклассической понимается такая система, в которой классическая хаотическая система связывается с подобными в квантовом мире через взятие предела в уравнениях квантовой механики, где квантовый множитель — постоянная Планка — стремится к нулю), где собственные значения такого риманова оператора — мнимые части нетривиальных нулей дзета-функции Римана — являются уровнями энергии этой квазиклассической хаотической системы. Где примечательно то, что периодические орбиты в аналогичной классической хаотической системе соответствовали бы простым числам (их логарифмам)[35].
Согласно Берри, в такой квазиклассической хаотической системе отсутствовало бы свойство симметрии относительно обращения времени (что есть свойством хаотических систем, моделирующихся операторами типа операторов ГУА, в отличие от хаотических систем, допускающих обращение времени, и моделирующихся операторами типа операторов ГОА — гауссова ортогонального ансамбля)[35].
В 1988 году Берри[36], и в 1999 году Берри и Джонатан Китинг[англ.][37] предсказали и детально описали отклонения от ГУА-статистики в корреляциях между сильно разнесёнными нулями (ранее замеченные Одлыжко в численной дисперсии положения нулей), где выяснилось, что отклонения точно соответствуют квантовой теории, за исключением осцилляций малого масштаба, которые впоследствии были объяснены (1999) Китингом и Богомольным Е. Б.[38] По мнению Берри, данное объяснение является «сильнейшим свидетельством в пользу гипотезы Римана», и, кроме того, «помещает неуловимый оператор в класс квантовых систем с классическим хаосом, а не в класс случайных матриц»[39].
Французский математик Ален Конн вместо поиска (риманова) оператора, собственные значения которого совпадали бы с нетривиальными нулями дзета-функции Римана, пошёл по пути построения такого оператора, для чего «образовал» адельное[англ.] пространство в качестве площадки для риманова оператора. Особенностью адельного пространства является то, что действующие на нём операторы принципиально основаны на простых числах. Такой подход позволил построить риманов оператор, собственные значения которого в точности являются нетривиальными нулями дзета-функции Римана, и где в адельное пространство, на котором такой оператор действует, простые числа встроены специальным математическим образом, но которое при этом имеет отношение к реальным физическим системам — реальным наборам субатомных частиц[40].
Для доказательства гипотезы Римана в рамках подхода Конна необходимо доказать определённую следовую формулу — формулу типа формулы Гутцвиллера[англ.] (связывающей собственные значения риманова оператора, действующего в адельном пространстве, с периодическими орбитами в аналоговой классической системе)[41].
Один из важнейших вопросов теории квантового хаоса — установление соответствия между распределением собственных значений оператора Гамильтона, задающего классическую динамику, и классическими неустойчивыми периодическими орбитами, где это соответствие даётся формулами следа Сельберга[англ.] и Гутцвиллера[26].
В 1999 году Берри и Китинг предположили, что существует некоторое неизвестное квантование классического гамильтониана H = xp такое, что
и ещё более сильно то, что римановы нули совпадают со спектром оператора . Это противоречит каноническому квантованию, которое приводит к принципу неопределённости Гейзенберга и натуральным числам как спектру квантового гармонического осциллятора. Важным моментом является то, что гамильтониан должен быть самосопряжённым оператором, чтобы квантование было реализацией гипотезы Гильберта — Пойи. В связи с этой проблемой квантовой механики Берри и Ален Конн предположили, что обратный потенциал гамильтониана связан с полупроизводной функции
где тогда, в подходе Берри — Конна[42],
Это даёт гамильтониан, собственные значения которого являются квадратом мнимой части римановых нулей, а также то, что функциональный определитель этого гамильтонова оператора является кси-функцией Римана[англ.]. Фактически кси-функция Римана была бы пропорциональна функциональному определителю (произведение Адамара)
где, как доказано Конном и другими, в этом подходе
В 2017 году Карл Бендер, Дорж Броди и Маркус Мюллер определили условия квантования гамильтониана Берри—Китинга[43], но полученный гамильтониан не соответствует никакой физической системе очевидным образом[44].
В обзорных работах (Bombieri, 2000, Conrey, 2003, Sarnak, 2008) отмечается, что данные в пользу истинности гипотезы Римана сильны, но оставляют место для обоснованных сомнений. Отдельные авторы, однако, убеждены в ложности гипотезы (в частности, так считал Джон Литлвуд).
Среди данных, позволяющих предполагать истинность гипотезы, можно выделить успешное доказательство сходных гипотез (в частности, гипотезы Римана о многообразиях над конечными полями[45]). Это наиболее сильный теоретический довод, позволяющий предположить, что условие Римана выполняется для всех дзета-функций, связанных с автоморфными отображениями[англ.], что включает классическую гипотезу Римана. Истинность аналогичной гипотезы уже доказана[46] для дзета-функции Сельберга[англ.], в некоторых отношениях сходной с функцией Римана, и для дзета-функции Госса[англ.] (аналог дзета-функции Римана для функциональных полей).
С другой стороны, некоторые из дзета-функций Эпштейна[англ.] не удовлетворяют условию Римана, хотя они имеют бесконечное число нулей на критической линии. Однако эти функции не выражаются через ряды Эйлера и не связаны напрямую с автоморфными отображениями.
К «практическим» доводам в пользу истинности Римановской гипотезы относится вычислительная проверка большого числа нетривиальных нулей дзета-функции в рамках проекта ZetaGrid[англ.]. На 2004 год Янником Саутером и Патриком Демишелем численными методами было проверено, что более 1013 (более десяти триллионов) первых нетривиальных нулей дзета-функции Римана удовлетворяют этой гипотезе, что является хорошим аргументом в пользу истинности гипотезы, но не гарантирует её[47][48]. Однако, вычислительная проверка сколь угодно большого числа нетривиальных нулей нисколько не приближает к реальному доказательству. Например, долгое время гипотеза Мертенса также подавала большие надежды на истинность, проходя всевозможные вычислительные проверки, но позже она оказалась опровергнута. Это яркий пример математического доказательства, противоречащего большому количеству вычислительных доказательств в пользу гипотезы.
![]() | Этот раздел представляет собой неупорядоченный список разнообразных фактов о предмете статьи. |
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.