Целые и мероморфные функции

1799 год, Гёттинген. 22-летний Карл Фридрих Гаусс в докторской диссертации доказывает основную теорему алгебры геометрически. К 1816 году у него готово ещё три доказательства; четвёртое - в 1849-м. Но самое короткое и красивое доказательство появилось у Жозефа Лиувилля в 1844 году: ограниченная целая функция - константа, значит $1/p(z)$ для полинома без корней даёт противоречие. Сегодня тот же принцип жёсткости целых функций лежит в основе теоремы Шеннона-Котельникова: сигнал с ограниченным спектром однозначно восстанавливается по дискретным отсчётам, потому что он целая функция конечного экспоненциального типа. Один и тот же класс функций - от Гаусса до 5G.

• **Теорема Котельникова-Шеннона:** band-limited сигнал $f(t)$ - целая функция экспоненциального типа $\sigma$; по теореме Пейли-Винера однозначно восстанавливается по отсчётам с частотой $2\sigma$ - основа всей цифровой связи
• **Дзета-функция Римана:** $\zeta(s)$ мероморфна на $\mathbb{C}$ с одним простым полюсом в $s = 1$; распределение её нулей - суть гипотезы Римана 1859 года
• **Гамма-функция Эйлера:** $\Gamma(s) = \int_0^\infty t^{s-1} e^{-t}\, dt$ мероморфна с полюсами в $s = 0, -1, -2, \ldots$, факторизация Вейерштрасса даёт $1/\Gamma(s) = s e^{\gamma s} \prod (1 + s/n) e^{-s/n}$
• **Произведение Эйлера для $\sin$:** $\sin(\pi z) = \pi z \prod_{n \geq 1} (1 - z^2/n^2)$ - первый исторический пример теоремы Вейерштрасса (Эйлер, 1734)

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

• Möbius Transformations

Целые функции и теорема Лиувилля

Целая функция-аналитическая на всей комплексной плоскости. Теорема Лиувилля раскрывает жёсткость комплексного анализа: ограниченная целая функция-константа.

**Теорема Лиувилля:** ограниченная целая функция постоянна. **Доказательство:** по неравенству Коши |f'(z)| ≤ M/R для любого R → f'(z)=0 → f=const. **Полиномиальный Лиувилль:** если |f(z)| ≤ C(1+|z|)ⁿ, то f-полином степени ≤ n.

Основная теорема алгебры

Основная теорема алгебры утверждает, что каждый полином степени ≥ 1 имеет хотя бы один комплексный корень. Элегантное доказательство-через теорему Лиувилля.

**Доказательство через Лиувилля:** Предположим, p(z) ≠ 0 для всех z. Тогда 1/p(z)-целая функция. Так как |p(z)| → ∞ при |z| → ∞, функция 1/p(z) ограничена. По Лиувиллю 1/p = const → противоречие.

Теорема Вейерштрасса о разложении

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

**Теорема Вейерштрасса:** любая целая функция с нулями {aₙ} представима в виде: f(z) = zᵐ · e^{g(z)} · Π E_pₙ(z/aₙ) gde E_p(z) = (1−z)·exp(z + z²/2 + ... + zᵖ/p)-элементарные множители. **Теорема Адамара:** если |f(z)| ≤ C·e^{|z|^ρ}, то: f(z) = zᵐ · e^{g(z)} · Π(1−z/aₙ)e^{...} gde g-полином степени ≤ ρ.

Теоремы Пикара

Теоремы Пикара описывают, насколько "плотно" целая или мероморфная функция покрывает комплексную плоскость.

**Малая теорема Пикара:** неконстантная целая функция принимает все значения C, кроме не более чем одного. Пример: eᶻ не принимает значение 0, но принимает все остальные. **Большая теорема Пикара:** в любой проколотой окрестности существенной особенности аналитическая функция принимает все значения C, кроме не более чем одного.

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

• **Лиувилль:** ограниченная целая функция-константа (жёсткость КА)
• **ОТА:** каждый полином имеет корень-доказывается через Лиувилля
• **Вейерштрасс:** f = zᵐe^g·Π(множители по нулям)-факторизация целой функции
• **Пикар:** целая функция принимает все значения C кроме не более чем одного

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

Целые функции-центральный объект аналитической теории чисел:

• Аналитическое продолжение — Зета-функция Римана-мероморфное продолжение ряда
• Гармонические функции — Вещественная/мнимая части целой функции-гармонические
• Complex Analysis в CS — Целые функции = класс для производящих функций в анализе алгоритмов

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

• Почему теорема Лиувилля не работает для вещественных аналитических функций?
• Как теорема Вейерштрасса объясняет, почему sin имеет бесконечное произведение Эйлера?
• Большая теорема Пикара говорит, что e^{1/z} покрывает C\{0} в любой окрестности z=0. Как это визуализировать?

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

• calc-15-convergence