Нули, полюсы и топология

Сколько нулей имеет это уравнение? Где они расположены? Эти вопросы - не просто упражнения: от них зависит устойчивость самолёта, корректность алгоритма, правильность физической модели. Теорема об аргументе и теорема Руше дают мощный геометрический ответ, используя красоту топологии.

• **Теория управления:** критерий Найквиста - прямое применение теоремы об аргументе для подсчёта неустойчивых полюсов замкнутой системы без явного решения уравнения
• **Численный анализ:** алгоритмы нахождения корней полиномов используют теорему Руше для начального разбиения области и гарантии числа корней в подобластях
• **Квантовая теория поля:** индексная теорема Атьи-Зингера - далёкое обобщение теоремы об аргументе, связывающее аналитику (нули уравнений) с топологией многообразия

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

• Residue Theory
• Evaluating Integrals by Residues

Теорема об аргументе

QFT (квантовая теория поля) использует argument principle для подсчёта Фейнмановских диаграмм: для пропагатора электрона в КЭД 1 порядок дает 2 диаграммы. **Теорема об аргументе**: для мероморфной функции f в области D с контуром γ, не проходящим через нули и полюсы f, выполняется: изменение аргумента f(z) при обходе γ равно 2π(N - P), где N - число нулей, P - число полюсов внутри γ (с учётом кратностей).

Интегральная форма: (1/2πi) ∮_γ f'(z)/f(z) dz = N - P. Левая часть - изменение Log f(z) при обходе γ, делённое на 2πi. Это прямое следствие теоремы о вычетах: f'/f имеет простые полюсы в нулях и полюсах f с вычетами ±k (к - кратность).

Индекс кривой (число оборотов)

**Индекс кривой** (winding number) n(γ, a) - это число оборотов замкнутой кривой γ вокруг точки a. Формально: n(γ, a) = (1/2πi) ∮_γ dz/(z-a). Это целое число, топологический инвариант - он не меняется при непрерывной деформации кривой.

Индекс кривой - ключевой пример связи комплексного анализа с алгебраической топологией. Формула n(γ, a) = (1/2πi) ∮ dz/(z-a) по сути вычисляет элемент фундаментальной группы π₁(ℂ \ {a}) ≅ ℤ. Теорема об аргументе говорит, что f(γ) делает n(γ, a) оборотов вокруг 0.

Теорема Руше

**Теорема Руше**: если f и g аналитичны в замкнутом диске и |g(z)| < |f(z)| на границе контура γ, то f и f+g имеют одинаковое число нулей внутри γ (с учётом кратностей). Доказательство использует непрерывную деформацию через теорему об аргументе.

Если малое возмущение g(z) строго меньше |f(z)| на контуре, то f+g "не может уйти" от f слишком далеко - образ контура не меняет числа оборотов вокруг нуля. Это аналог "малого возмущения не меняет топологию".

Связь с топологией: теорема Брауэра

**Теорема Брауэра о неподвижной точке** утверждает: любое непрерывное отображение f: D² → D² (диска в себя) имеет неподвижную точку. Для аналитических отображений это следствие более сильных результатов комплексного анализа, связанных с индексом кривой.

Для аналитического отображения f: U → ℂ число неподвижных точек (решений f(z) = z) считается через индекс кривой: (1/2πi) ∮ (f'(z)-1)/(f(z)-z) dz. Теорема Руше позволяет оценивать это число при возмущениях f.

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

• **Теорема об аргументе** - (1/2πi) ∮ f'/f dz = N - P, изменение аргумента f на контуре считает нули минус полюсы
• **Индекс кривой** n(γ, a) = (1/2πi) ∮ dz/(z-a) ∈ ℤ - топологический инвариант, число оборотов вокруг точки
• **Теорема Руше** - если |g| < |f| на контуре, то f и f+g имеют одинаковое число нулей внутри; используется для ОТА
• **Связь с топологией** - индекс кривой = элемент π₁(ℂ\{a}), теорема Руше = гомотопическая инвариантность индекса

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

Топологические методы объединяют теорию вычетов, конформные отображения и теорию сигналов:

• Теория вычетов — Теорема об аргументе-прямое следствие теоремы о вычетах, применённой к f'/f
• Комплексный анализ в теории сигналов — Критерий Найквиста-приложение теоремы об аргументе к передаточным функциям
• Конформные отображения — Степень конформного отображения определяется через индекс кривой и теорему об аргументе

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

• Как теорема Руше объясняет, почему малые возмущения коэффициентов полинома не могут "уничтожить" его корни - только сдвинуть их?
• Индекс кривой n(γ, a) всегда целый. В чём глубокая причина этого? Как это связано с тем, что π₁(S¹) ≅ ℤ?
• Как обобщается теорема об аргументе на несколько переменных? Что такое "степень отображения" и где она применяется?

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

• calc-01-sequences