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

За 2000 лет математики так и не смогли понять точный закон распределения простых чисел. В 1859 году Риман показал, что ответ скрыт в нулях одной комплексной функции, и сформулировал гипотезу, которая до сих пор не доказана. За её решение обещают миллион долларов.

• **Криптография:** безопасность RSA и других алгоритмов основана на сложности факторизации, теорема о простых числах описывает их распределение, а гипотеза Римана уточнила бы эти оценки
• **Квантовый хаос:** нули дзета-функции оказались связаны со спектром случайных матриц (GUE), неожиданная связь с квантовой механикой, открытая Монтгомери и Дайсоном
• **Алгоритмы:** многие алгоритмы в теории чисел имеют условную сложность "при условии гипотезы Римана", например, детерминированная проверка простоты

Предварительные знания

• Taylor and Laurent Series
• Analytic Continuation

Определение и сходимость ζ(s)

**Дзета-функция Римана** задаётся рядом Дирихле, сходящимся при Re s > 1. Эйлер заметил связь с простыми числами через произведение Эйлера. Риман в 1859 году продолжил функцию на всю комплексную плоскость и сформулировал знаменитую гипотезу.

Связь с простыми числами: ζ(s) = Π_p (1 - p^(-s))^(-1), где произведение берётся по всем простым p. Это тождество, аналитическое выражение основной теоремы арифметики и фундамент аналитической теории чисел.

Аналитическое продолжение ζ(s)

**Аналитическое продолжение** ζ(s) осуществляется за пределы полуплоскости Re s > 1. Ключевой инструмент, формула Эйлера-Маклорена или интегральное представление через функцию Якоби. Функция продолжается мероморфно на всю ℂ с единственным простым полюсом в s = 1.

Аналитическое продолжение ζ(s) обнуляется в точках s = -2, -4, -6, ..., это **явные нули**, они расположены на отрицательной вещественной оси. Все остальные нули лежат в критической полосе 0 < Re s < 1.

Функциональное уравнение

**Функциональное уравнение Римана** связывает значения ζ(s) и ζ(1-s) и обнаруживает симметрию функции относительно прямой Re s = 1/2. Это уравнение является одним из самых красивых в математике.

Введём законченную дзета-функцию: ξ(s) = (1/2)s(s-1)π^(-s/2)Γ(s/2)ζ(s). Тогда ξ(s) = ξ(1-s), симметрия абсолютно явная. Это позволяет распространить знание о нулях: если ρ, нуль ζ, то и 1-ρ тоже нуль.

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

**Гипотеза Римана** (1859): все неявные нули ζ(s) лежат на критической прямой Re s = 1/2. Это одна из семи "задач тысячелетия" Института Клэя с призом $1 000 000. За 160 лет доказаны миллиарды нулей на критической прямой, но общего доказательства нет.

Теорема о простых числах: π(x) ~ x/ln(x). Точная ошибка этого приближения определяется нулями ζ(s). Гипотеза Римана эквивалентна наилучшей возможной оценке: π(x) = Li(x) + O(√x · ln x), где Li, интегральный логарифм.

Ключевые идеи

• **ζ(s) = Σ 1/n^s**, сходится при Re s > 1, произведение Эйлера связывает с простыми числами
• **Аналитическое продолжение**, ζ(s) продолжается мероморфно на ℂ с единственным полюсом в s = 1
• **Функциональное уравнение**, ζ(s) = 2^s π^(s-1) sin(πs/2) Γ(1-s) ζ(1-s), симметрия относительно Re s = 1/2
• **Гипотеза Римана**, все неявные нули лежат на Re s = 1/2; эквивалентна наилучшей оценке ошибки в теореме о простых числах

Связанные темы

Дзета-функция Римана объединяет аналитическое продолжение, теорию вычетов и гармонический анализ:

• Аналитическое продолжение — ζ(s) является классическим примером аналитического продолжения за область сходимости ряда
• Ряды Тейлора и Лорана — Ряды Лорана описывают поведение ζ(s) вблизи полюса s = 1 и явных нулей
• Теория вычетов — Вычет ζ(s) в полюсе s = 1 равен 1 и используется в аналитическом доказательстве теоремы о простых числах

Вопросы для размышления

• Почему "аналитическое продолжение" ζ(-1) = -1/12 не противоречит расходимости ряда 1+2+3+... при s = -1?
• Как гипотеза Римана связана с распределением простых чисел? Что изменится в наших знаниях, если её докажут?
• Что физически означает связь нулей дзета-функции и собственных значений случайных матриц (открытие Монтгомери-Дайсона)?

Связанные уроки

• calc-15-convergence