Теорема о вычетах
англ. Residue theorem
Центральная теорема вычетов: интеграл по замкнутому контуру равен 2πi на сумму вычетов особых точек внутри; громоздкий интеграл превращается в арифметику.
Касса в конце смены: итог берут по кассам, а не перечитывают каждый чек. Так работает теорема о вычетах: интеграл от аналитической функции по замкнутому контуру целиком определяется особыми точками внутри — просуммируйте их вычеты и умножьте на . Причина честная: вне особых точек интеграл по любому замкнутому пути нулевой по теореме Коши, а каждая особенность отзывается ровно коэффициентом своего ряда Лорана, остальные члены интегрируются в ноль.
Доказательство прозрачно: особые точки накрываются маленькими окружностями, контур сшивается разрезами, и интеграл по большому пути равен сумме интегралов по окружностям — промежуточные стенки гасятся встречными проходами. Дальше инструмент — в уроке вычеты, приложения к вещественным интегралам — в материале применения вычетов, исходная теория — в интегралах от КФ, а словарные определения — в терминах вычет и криволинейный интеграл. Число особых точек внутри обязательно конечно — иначе потребуется предельный переход.
Частые вопросы
Почему интеграл по контуру зависит только от особых точек внутри?
Разность интегралов по двум контурам с одним и тем же набором особенностей равна интегралу по кольцу между ними, где функция уже аналитична, — и по теореме Коши этот интеграл нулевой. Значит, путь можно менять свободно, пока внутренний состав не меняется. Функция отвечает только за то, что спрятано внутри: снаружи она идеальна, и её вклад полностью сокращается между встречными проходами.
Какие условия нужны для применения теоремы о вычетах?
Три условия. Контур замкнут, кусочно-гладкий и не проходит через особые точки. Функция аналитична внутри области, кроме конечного набора изолированных особенностей — полюсов или существенно особых точек. Обход однократный против часовой стрелки: при обходе по часовой знак меняется. Конечность числа особых точек тоже существенна — иначе суммирование превращается в бесконечный ряд, и это уже отдельная техника оценки.