Факторизация целых функций

Мотивация: от многочленов к целым функциям

Многочлен P(z) степени n имеет ровно n нулей (с кратностями) и разлагается в произведение P(z) = c(z−z₁)···(z−zₙ). Можно ли аналогично «разложить» целую функцию с бесконечно многими нулями? Теорема Вейерштрасса даёт утвердительный ответ, но с поправкой: для сходимости бесконечного произведения нужны «канонические множители».

Целые функции

Целая функция — голоморфная на всём ℂ. Примеры: многочлены, eᶻ, sin z, cos z.

Порядок роста: ρ = limsup_{r→∞} ln ln M(r) / ln r, где M(r) = max_{|z|=r} |f(z)|.

• Многочлены: ρ = 0.
• eᶻ: M(r) = eʳ, ln ln eʳ = ln r, ρ = 1.
• sin z: ρ = 1 (|sin z| ≤ e^{|Im z|}).

По теореме Лиувилля ограниченная целая = константа.

Канонический множитель

Для сходимости бесконечного произведения вводят канонический множитель:

E(u, p) = (1−u) · exp(u + u²/2 + ... + uᵖ/p).

При u → 0: E(u,p) → 1 (нет осцилляций). При u = 1: E(1,p) = 0 (нуль).

Теорема Вейерштрасса о факторизации

Теорема: Любая целая функция f с нулями {aₙ} (a₁, a₂, ..., кратности учтены, 0 < |a₁| ≤ |a₂| ≤ ...) и нулём порядка m в 0 представима:

f(z) = z^m · e^{g(z)} · Π_{n=1}^∞ E(z/aₙ, pₙ),

где g(z) — целая функция, pₙ выбираются для обеспечения сходимости.

Продукт Эйлера: sin(πz) = πz · Π_{n=1}^∞ (1 − z²/n²).

Нули sin(πz): z = 0, ±1, ±2, ... Порядок m = 1 (нуль в 0), E(z²/n², 1) = (1 − z²/n²)·e^{z²/n²}? Нет — для sin используется симметричная форма с парами ±n.

Численный пример

Задача: Получить формулу Валлиса из продукта Эйлера.

Шаг 1. Продукт Эйлера: sin(πz) = πz · Π_{n=1}^∞ (1 − z²/n²).

Шаг 2. Подставим z = 1/2: sin(π/2) = 1 = π·(1/2) · Π_{n=1}^∞ (1 − 1/(4n²)).

Шаг 3. 1 = (π/2) · Π_{n=1}^∞ ((4n²−1)/(4n²)) → π/2 = Π_{n=1}^∞ (4n²/(4n²−1)).

Шаг 4. 4n²/(4n²−1) = (2n)²/((2n−1)(2n+1)) → π/2 = (2/1)·(2/3)·(4/3)·(4/5)·(6/5)·(6/7)···

Формула Валлиса: π/2 = Π_{n=1}^∞ [(2n)²/((2n−1)(2n+1))] = (2·2)/(1·3) · (4·4)/(3·5) · (6·6)/(5·7) · ...

Это классическая бесконечная формула для π (Валлис, 1656), вытекающая из факторизации sin.

Проверка: Частичное произведение до n=3: (4/3)·(16/15)·(36/35) = 4·16·36/(3·15·35) = 2304/1575 ≈ 1.463. Π/2 ≈ 1.5708. Медленная сходимость — нужно много множителей.

Реальное приложение

Теория сигналов: фильтры с нулями в заданных частотах строятся через произведение множителей (z − zₙ) — прямая аналогия факторизации Вейерштрасса. Бесконечные произведения возникают в теории модульных форм и алгебраической геометрии (η-функция Дедекинда).

Дополнительные аспекты

Целые функции — голоморфные на всей плоскости — классифицируются по росту. Порядок ρ = lim sup ln ln M(r)/ln r и тип σ описывают, как быстро |f(z)| растёт при |z| → ∞. Теорема Адамара представляет целую функцию конечного порядка как произведение по её нулям с экспоненциальным множителем, что даёт мощный инструмент для теории чисел (произведение Адамара–Вейерштрасса для ζ-функции). Преобразование Лапласа Lf = ∫₀^∞ f(t)e^{−st}dt связывает функции вещественного аргумента с голоморфными функциями в полуплоскости Re s > σ; обратное преобразование выражается контурным интегралом по вертикальной прямой и решается теорией вычетов — это базовый инструмент теории управления и анализа линейных динамических систем.

Комбинация целых функций конечного порядка и преобразования Лапласа охватывает большую часть прикладных задач линейной динамики: устойчивость, длительные асимптотики и переходные процессы выражаются через расположение полюсов и через рост целой части преобразования. Это базовый язык для теории автоматического управления, обработки временных рядов и численных методов решения линейных дифференциальных уравнений.

Связь с другими разделами математики

Факторизация целых функций естественно появляется в спектральной теории линейных операторов. Для дифференциальных операторов с постоянными коэффициентами характеристический многочлен приводит к экспоненциальным решениям, а для операторов с аналитическим потенциалом аналогом служит целая характеристическая функция (например, детерминант Фредгольма), нули которой описывают спектр. В работах Карлемана и де Брёйна факторизация используется при исследовании целых функций экспоненциального типа и связанных с ними неравенств типа Пэли – Винера.

В теории дифференциальных уравнений прямое применение дает факторизация решений особых уравнений, таких как уравнение Бесселя и уравнение Гаусса. Классические произведения для функций Бесселя (Ганкель, Нейман) и гамма-функции (Эйлер, Гаусс) трактуются как частные случаи произведений Вейерштрасса. Через них описываются положения собственных частот в задачах Штурма – Лиувилля и строятся асимптотики по нулям.

В алгебраической геометрии аналогом являются разложения голоморфных сечений линейных расслоений по дивизорам нулей. Теорема Римана – Роха и конструкция теоремы Абеля – Якоби фактически обобщают факторизацию: линейное пространство мероморфных функций с заданным дивизором описывается в терминах линейных условий на нули и полюса.

В аналитической теории чисел факторизация целых функций лежит в основе произведений Дирихле. Произведение Адамара – Вейерштрасса для дзета-функции Римана (Гадaмар, де ла Валле Пуссен) связывает распределение нулей с асимптотикой π(x). Позднее аналогичные конструкции использовались Сельбергом и Гелфандом – Шиловым при изучении L-функций и автоморфных форм.

Численные методы опираются на факторизацию при конструировании устойчивых алгоритмов вычисления специальных функций: произведения по нулям позволяют контролировать ошибки при больших аргументах и избегать катастрофического вычитания, что лежит в основе библиотек типа Abramowitz – Stegun и современных пакетов mpmath.

Историческая справка и развитие идеи

Первые прототипы факторизации появлялись в XVIII веке в работах Эйлера: его произведение для синуса (1738) и гамма-функции (1730-е годы, опубликовано в Commentarii Academiae Scientiarum Petropolitanae) демонстрировали, что расположение нулей и полюсов задает функцию почти однозначно. Однако общая теория для произвольных целых функций была сформулирована только К. Вейерштрассом в 1876 году в статье в Journal für die reine und angewandte Mathematik. Мотивом служили задачи о построении аналитических функций с заданными нулями и о представлении периодических функций как произведений.