Комплексный анализ
Аналитическое продолжение
В 1859 году Бернхард Риман на восьми страницах аналитически продолжил $\zeta(s) = \sum n^{-s}$ за пределы полуплоскости $\mathrm{Re}\,s > 1$ - и в этом продолжении значение $\zeta(-1) = -1/12$. В 1948 году Хендрик Казимир предсказал, что между двумя проводящими пластинами возникает сила притяжения, пропорциональная $\zeta(-3)$ - и в 1997 году Стив Ламоро в Лос-Аламосе измерил эту силу с погрешностью 5%, подтвердив теоретическое значение $\hbar c \pi^2 / 240 d^4$. Расходящийся ряд $1 + 2 + 3 + \ldots$ через аналитическое продолжение превратился в измеряемую физическую силу.
- **Эффект Казимира (Ламоро, 1997):** измеренная сила между параллельными пластинами совпадает с $\hbar c \pi^2 / (240 d^4)$ - прямое использование $\zeta(-3) = 1/120$
- **Теория струн:** размерность критической бозонной струны $d = 26$ получается из условия $\sum_{n=1}^\infty n = -1/12$ - аналитическое продолжение даёт правильную физику
- **Гипотеза Римана (Clay Millennium Prize):** $\$1\,000\,000$ за доказательство; проверены $10^{13}$ нулей на критической прямой
- **Поворот Вика в QFT:** аналитическое продолжение $t \to i\tau$ переводит уравнение Шрёдингера в уравнение теплопроводности - основа Monte Carlo в Path Integral
Предварительные знания
Теорема тождества
Теорема тождества - один из самых поразительных результатов комплексного анализа: аналитическая функция, равная нулю на любом бесконечном подмножестве с предельной точкой, тождественно равна нулю.
**Теорема тождества:** если f аналитична в связной области D, и множество нулей f имеет предельную точку в D, то f ≡ 0 в D. **Следствие:** аналитическая функция однозначно определяется своими значениями на любой последовательности с предельной точкой. **Жёсткость:** нет "локально нулевых" аналитических функций (в отличие от C^∞).
Функции f и g аналитичны в C и совпадают на вещественной оси R. По теореме тождества:
Аналитическое продолжение вдоль путей
Аналитическое продолжение позволяет расширить область определения аналитической функции за границы исходной области, продвигаясь по перекрывающимся кружкам.
**Продолжение элементами:** если f₁ и f₂ аналитичны в D₁ и D₂, и совпадают в D₁∩D₂ ≠ ∅, то f₂ - аналитическое продолжение f₁ в D₂. **Теорема о монодромии:** если f допускает аналитическое продолжение вдоль любого пути в односвязной области D, то продолжение однозначно в D. **Многозначность:** в не-односвязных областях (например C\{0}) продолжение может быть многозначным (ln z, √z).
Аналитическое продолжение ln(z) вдоль полного обхода вокруг нуля (на угол 2π) даёт:
Поверхности Римана
Поверхность Римана - геометрическая конструкция, на которой многозначная функция становится однозначной. Это "правильное" область определения для ln, √z и т.д.
**Поверхность Римана для √z:** - Два листа: верхняя ветвь и нижняя ветвь √z - Склеиваются вдоль разреза [0, +∞) - На этой поверхности √z однозначна **Поверхность для ln z:** - Бесконечно много листов (один за каждые 2πi) - Винтовая лестница в топологии **Род поверхности:** характеристика Эйлера χ = 2−2g
Поверхность Римана для √z имеет:
Аналитическое продолжение дзета-функции
Дзета-функция Римана ζ(s) = Σ n⁻ˢ (Re s > 1) аналитически продолжается на всю C\{1}. Это продолжение содержит всю информацию о распределении простых чисел.
**Продолжение через функциональное уравнение:** ζ(s) = 2ˢπˢ⁻¹ sin(πs/2) Γ(1−s) ζ(1−s) **Значения вне области сходимости:** - ζ(0) = −1/2 - ζ(−1) = −1/12 (регуляризация суммы 1+2+3+...) - ζ(−2n) = 0 (тривиальные нули) **Гипотеза Римана:** все нетривиальные нули ζ(s) лежат на критической прямой Re s = 1/2.
Риман 1859: восьмистраничная революция
В 1859 году Бернхард Риман в восьмистраничной заметке *Über die Anzahl der Primzahlen unter einer gegebenen Grösse* для Берлинской академии аналитически продолжил $\zeta(s)$ на всю плоскость через контур-замочную скважину и функциональное уравнение $\zeta(s) = 2^s \pi^{s-1} \sin(\pi s/2) \Gamma(1-s) \zeta(1-s)$. В этой же работе он сформулировал гипотезу: все нетривиальные нули $\zeta(s)$ лежат на прямой $\mathrm{Re}\,s = 1/2$. Через 165 лет (на 2024 год) проверены первые $10^{13}$ нулей - все на критической прямой, но общего доказательства нет. Гипотеза - одна из семи Millennium Problems с призом в $1\,000\,000$ от Clay Mathematics Institute.
Почему ζ(−1) = −1/12, хотя ряд 1+2+3+... расходится?
Ключевые идеи
- **Теорема тождества:** f определяется своими значениями на любой последовательности с предельной точкой
- **Продолжение:** расширяем область определения через перекрывающиеся круги
- **Поверхности Римана:** многозначные функции становятся однозначными на правильном пространстве
- **ζ(−1) = −1/12:** строгий результат продолжения, не "сумма ряда"
Связанные темы
Аналитическое продолжение объединяет всю теорию:
- Ряды Тейлора и Лорана — Перекрывающиеся круги сходимости - метод продолжения
- Гармонические функции — Продолжение гармонических функций аналогично комплексным
- Комплексный анализ в физике — Поворот Вика = аналитическое продолжение по времени
Вопросы для размышления
- Как теорема тождества объясняет, что аналитическая функция не может иметь 'локально нулевые' участки?
- Что происходит с аналитическим продолжением при обходе вокруг точки ветвления по разным путям?
- Почему гипотеза Римана до сих пор не доказана, несмотря на то, что численно проверены триллионы нулей?