Принцип аргумента

Мотивация: подсчёт нулей и полюсов

Задача «сколько нулей у данной функции в данной области» возникает везде: в теории управления (устойчивость — нули знаменателя в правой полуплоскости), в численных методах (сходимость итераций), в криптографии (периоды). Принцип аргумента и теорема Руше дают точные ответы.

Принцип аргумента

Теорема: Для мероморфной f в области D, γ = ∂D:

(1/2πi) ∮_γ (f'(z)/f(z)) dz = N − P,

где N — число нулей, P — число полюсов в D (с кратностями).

Геометрическое объяснение: Интеграл = изменение arg f при обходе γ, делённое на 2π = индекс кривой f(γ) (число оборотов образа вокруг начала координат). Нуль вклад +1, полюс — вклад −1.

Символически: (1/2πi) ∮ d(ln f) = (1/2πi) ∮ (d|f|/|f| + i d(arg f)) → мнимая часть = Δ(arg f)/2π.

Теорема Руше

Теорема: Если f и g голоморфны в D̄, и |g(z)| < |f(z)| на γ = ∂D, то f и f+g имеют одинаковое число нулей в D.

Идея: Когда «маленькое» возмущение g добавляется к f, нули не успевают «ускользнуть» через контур.

Теорема об открытом отображении

Нелинейная голоморфная функция — открытое отображение: образ открытого множества — открытое. Следствие: инъективная голоморфная f (однолистная) ⟹ f'(z) ≠ 0 всюду.

Теорема Монтеля

Нормальное семейство голоморфных функций предкомпактно в топологии равномерной сходимости на компактах. Это ключевой инструмент доказательства теоремы Римана о конформном отображении.

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

Задача: Найти число нулей f(z) = z⁶ + 5z⁴ + 2z + 1 в единичном круге |z| < 1.

Шаг 1. Попробуем Руше с f = 5z⁴ (главный по модулю), g = z⁶ + 2z + 1. На |z| = 1: |f| = 5|z⁴| = 5, |g| ≤ |z|⁶ + 2|z| + 1 = 1 + 2 + 1 = 4 < 5 ✓.

Шаг 2. По теореме Руше: 5z⁴ + (z⁶+2z+1) = f(z) имеет столько же нулей в |z| < 1, что и 5z⁴ — ровно 4 нуля (с учётом кратности).

Шаг 3. Проверка граничного случая: нет ли нулей на |z| = 1? Если z = eⁱᶿ, то |f(eⁱᶿ)| ≥ |5e^{4iθ}| − |e^{6iθ} + 2eⁱᶿ + 1| ≥ 5 − 4 = 1 > 0. Нулей на контуре нет.

Шаг 4. Всего у f(z) степени 6 → 6 нулей в ℂ. В |z| < 1: 4 нуля, в |z| ≥ 1: 2 нуля (включая бесконечность).

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

Критерий Найквиста в теории управления: устойчивость замкнутой системы определяется числом оборотов годографа разомкнутой системы L(iω) вокруг точки −1 — прямое применение принципа аргумента. Это позволяет инженерам проверить устойчивость по частотной характеристике без явного нахождения полюсов.

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

Принцип аргумента N − P = (1/2π)·ΔargΓ f(z) — основа алгоритма поиска нулей: численно прослеживаем изменение arg f вдоль контура, делим область пополам по результату. Это используется в проверке устойчивости полиномов через контур Михайлова и Эрмита. Теорема Руше особенно полезна при доказательстве существования корней: например, чтобы показать, что многочлен P(z) = z^n + (низшие члены) имеет ровно n корней в большом круге, сравнивают P с z^n. Принцип аргумента обобщается на мероморфные функции и лежит в основе теоремы об аргумент-варьировании, применяемой в спектральных задачах и в теории частотного отклика управляющих систем.

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

Принцип аргумента естественно интегрируется в спектральную теорию и теорию дифференциальных уравнений. При анализе операторов Штурма–Лиувилля применяется аргументный принцип для подсчета собственных значений через аналитическое продолжение резольвенты; это лежит в основе аргумент-варьирования в работах Титчмарша и Вейля. В теории задержанных и нейтральных дифференциальных уравнений принцип аргумента используется при оценке числа корней характеристического уравнения в правой полуплоскости; классический пример — критерии устойчивости распределенных систем в работах Никулиса и Хейла.

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

В теории функций одной комплексной переменной аргументный принцип является техническим ядром теоремы Жансена о распределении нулей целых функций и входит в формулировку формулы Йенсена, связывающей интеграл по окружности от логарифма модуля функции с суммой логарифмов радиусов до нулей. В теории вероятностей он появляется в методе характеристических функций: при исследовании устойчивости распределений и локальных предельных теорем анализируют нули характеристических функций, оценивая их положение с помощью аргументного принципа (работы Полеи, Зигера и Леви).

Численный анализ использует его в методах отсечения спектра и в алгоритмах подсчета нулей по контуру (boundary value methods), а в вычислительной линейной алгебре — в вариантах теоремы Герша–Горн о локализации собственных значений через обвод спектра.

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

Идея подсчета нулей через изменение аргумента уходит к Риману. В его знаменитой мемуаре 1859 года о числе простых чисел он использует аргументный принцип для вывода эксплицитной формулы, связывающей функцию Лиувилля с нулями дзета-функции. Однако систематическую формулировку принцип получил позже, у Жюля Адамара и Камилля Жордана в конце XIX века, в контексте общей теории мероморфных функций. На рубеже веков Гарольд Пойа и Георг Пик ввели терминологию индекса кривой и связали аргументный принцип с топологической концепцией обходного числа. В учебниках Валентайна, Кармати и в классическом курсе Ахиезера эта связь была доведена до стандартной формулировки, знакомой современным студентам. Мотивирующие задачи исходили из электростатики, теории потенциала и начальных исследований устойчивости электрических цепей. В инженерной литературе ключевой шаг — работа Найквиста 1932 года в Bell System Technical Journal, где годограф частотной характеристики и число оборотов вокруг точки −1 интерпретируются через аргументный принцип. Это дало прямой мост между теоретическим комплексным анализом и практикой радиотехники. В XX веке принцип аргумента был обобщен на несколько комплексных переменных через теорему о степени голоморфного отображения (работы Ока, Картана, Ремака). В аналитической теории операторов идея трансформировалась в понятийный аппарат индекса оператора и в теорему о аргумент-варьировании для семей компактных операторов (работы Гельфанда, Наима, затем Като).