Основная теорема о вычетах
Основная теорема о вычетах — мощный инструмент для вычисления интеграла мероморфной функции по замкнутому контуру. Её часто используют также для вычисления вещественных интегралов. Она является обобщением интегральной теоремы Коши и интегральной формулы Коши.
Формулировка: если функция f {displaystyle f} аналитична в некоторой замкнутой односвязной области G ¯ ⊂ C {displaystyle {overline {G}}subset mathbb {C} } , за исключением конечного числа особых точек a 1 , a 2 , … , a n {displaystyle a_{1},a_{2},dots ,a_{n}} , из которых ни одна не принадлежит граничному контуру ∂ G {displaystyle partial G} , то справедлива следующая формула:
∫ ∂ G f ( z ) d z = 2 π i ∑ k = 1 n r e s z = a k f ( z ) , {displaystyle ~int limits _{partial G}f(z),dz=2pi isum _{k=1}^{n}mathop {mathrm {res} } _{z=a_{k}}f(z),}где r e s z = a k f {displaystyle mathop {mathrm {res} } _{z=a_{k}}f} — вычет функции f {displaystyle f} в точке a k {displaystyle a_{k}} .
Обход контура ∂ G {displaystyle partial G} производится против часовой стрелки. Для использования теоремы в вычислении вещественных интегралов нужно аналитически продолжить интегрируемую вещественную функцию на комплексную плоскость и найти её вычеты, что обычно довольно просто сделать. После этого нужно замкнуть контур интегрирования, добавив к вещественному отрезку полуокружность, лежащую в верхней или нижней комплексной полуплоскости. После этого интеграл по этому контуру можно вычислить, используя основную теорему о вычетах. Зачастую интеграл по полуокружности можно устремить к 0, выбрав её правильным образом, после чего контурный интеграл станет равен вещественному.
Пример
Интеграл
∫ − ∞ ∞ e i t x x 2 + 1 d x {displaystyle ~int limits _{-infty }^{infty }{e^{itx} over x^{2}+1},dx}возникает в теории вероятностей при расчёте характеристической функции распределения Коши и не поддаётся вычислению обычными методами. Вычислим его через интеграл по контуру C {displaystyle C} , указанному на рисунке ( a > 1 {displaystyle a>1} ). Интеграл равен
∫ C f ( z ) d z = ∫ C e i t z z 2 + 1 d z . {displaystyle ~int limits _{C}{f(z)},dz=int limits _{C}{e^{itz} over z^{2}+1},dz.}Так как e i t z {displaystyle e^{itz}} — целая функция (нет сингулярностей на комплексной плоскости), то функция имеет сингулярности лишь в точках, где z 2 + 1 = 0 {displaystyle z^{2}+1=0} . Так как z 2 + 1 = ( z + i ) ( z − i ) {displaystyle z^{2}+1=(z+i)(z-i)} , это возможно лишь при z = i {displaystyle z=i} или z = − i {displaystyle z=-i} . В пределах контура лежит лишь одна из этих точек.
Вычет f ( z ) {displaystyle f(z)} в z = i {displaystyle z=i} равен
r e s z = i f ( z ) = e − t 2 i . {displaystyle mathop {mathrm {res} } _{z=i}f(z)={e^{-t} over 2i}.}Тогда, по основной теореме о вычетах:
∫ C f ( z ) d z = 2 π i r e s z = i f ( z ) = 2 π i e − t 2 i = π e − t . {displaystyle ~int limits _{C}f(z),dz=2pi i,mathop {mathrm {res} } _{z=i}f(z)=2pi i{e^{-t} over 2i}=pi e^{-t}.}Контур C {displaystyle C} можно разбить на прямую часть и кривую дугу, так что
∫ straight + ∫ arc = π e − t . {displaystyle ~int limits _{mbox{straight}}+int limits _{mbox{arc}}=pi e^{-t},.}Поэтому
∫ − a a = π e − t − ∫ arc . {displaystyle ~int limits _{-a}^{a}=pi e^{-t}-int limits _{mbox{arc}}.}Можно показать, что при t > 0 {displaystyle t>0} :
∫ arc e i t z z 2 + 1 d z → 0 ; a → ∞ . {displaystyle ~int limits _{mbox{arc}}{e^{itz} over z^{2}+1},dz ightarrow 0;quad a ightarrow infty .}Поэтому, если t > 0 {displaystyle t>0} , то
∫ − ∞ ∞ e i t z z 2 + 1 d z = π e − t . {displaystyle ~int limits _{-infty }^{infty }{e^{itz} over z^{2}+1},dz=pi e^{-t}.}Аналогичным образом, для дуги, охватывающей точку − i {displaystyle -i} вместо i {displaystyle i} , можно показать, что при t < 0 {displaystyle t<0} :
∫ − ∞ ∞ e i t z z 2 + 1 d z = π e t , {displaystyle ~int limits _{-infty }^{infty }{e^{itz} over z^{2}+1},dz=pi e^{t},}В итоге получаем:
∫ − ∞ ∞ e i t z z 2 + 1 d z = π e − | t | . {displaystyle ~int limits _{-infty }^{infty }{e^{itz} over z^{2}+1},dz=pi e^{-left|t ight|}.}(При t = 0 {displaystyle t=0} интеграл вычисляется обычными методами анализа, он равен π {displaystyle pi } )