Аналитическое продолжение

Гипотеза Римана -- одна из 7 задач Тысячелетия ($1M). Формулируется только через аналитическое продолжение: ряд zeta сходится лишь при Re(s)>1, но нули лежат в критической полосе.

• **Теория чисел:** дзета-функция через продолжение связана с распределением простых. RSA-шифрование опирается на сложность факторизации.
• **CAS (Mathematica, Maple):** Risch algorithm интегрирует sqrt(P(x)) через поверхности Римана алгебраических кривых.
• **Квантовая физика:** S-матрица рассеяния определяется через аналитическое продолжение амплитуд. Полюсы = резонансы.
• **Машинное обучение:** ComplexNet и обработка радарных сигналов используют аналитическое продолжение и поверхности Римана для работы с комплекснозначными признаками.

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

• Голоморфные функции и теорема Коши
• Комплексные степенные ряды и круг сходимости
• Конформные отображения (теорема Римана)

• Теорема Римана о конформном отображении

Аналитическое продолжение

Гипотеза Римана о нулях дзета-функции ζ(s) - одна из 7 задач Тысячелетия ($1M за решение) - формулируется только через аналитическое продолжение: ряд Σn^{-s} сходится лишь при Re(s)>1, но ζ(s) продолжается на всю комплексную плоскость.

Поверхности Римана

Wolfram Mathematica при вычислении интегралов типа ∫√(P(x))dx автоматически работает с поверхностью Римана алгебраической кривой y²=P(x). Это алгоритм Риш (1969) - основа всех CAS-систем.

Монодромия и теорема о монодромии

Теорема о монодромии (Weierstrass): если f аналитически продолжается вдоль любого пути в односвязной области без точек ветвления, продолжение однозначно. Монодромия измеряет, как ветвь меняется при обходе петли - это действие π₁(C\{точки ветвления}) на ростке функции.

Группа монодромии алгебраической функции w^n = P(z) - подгруппа S_n, действующая перестановкой листов поверхности Римана.

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

• **Принцип единственности:** продолжение единственно. Если f1=f2 на открытом множестве, они совпадают везде в связной области.
• **Ветви и разрезы:** Log z, sqrt(z) -- многозначные. Разрез C\(-inf,0] выделяет главную ветвь. Поверхность Римана устраняет многозначность.
• **Дзета-функция:** zeta(s)=sum n^{-s} при Re(s)>1 продолжается на C\{1}. Нули в критической полосе -- проблема Риманa.