Вычет (комплексный анализ)

Вы́чет в компле́ксном анализе — объект (число, форма или когомологический класс формы), характеризующий локальные свойства заданной функции или формы.

Теория вычетов одного комплексного переменного была в основном разработана Коши в 1825—1829 годы. Кроме него, важные результаты были получены Эрмитом, Сохоцким, Линделёфом. В 1887 году Пуанкаре обобщил интегральную теорему Коши и понятие вычета на случай двух переменных, с этого момента и берёт своё начало многомерная теория вычетов. Однако оказалось, что обобщить это понятие можно различными способами.

Для обозначения вычета аналитической функции $f(z)$$f(z)$ в точке $z_0$$z_{0}$ применяется выражение $\mathrm{R}\mathrm{e}\mathrm{s}<!--\; \; -->\left[f(z),z_0\right]$${\mathop {{\mathrm {Res}}}}\left[f(z),z_{0}\right]$ (от лат. residuum). В русскоязычной литературе иногда обозначается как $\text{Выч}\left[f(z),z_0\right]$${\text{Выч}}\left[f(z),z_{0}\right]$.

Одномерный комплексный анализПравить

Вычет функцииПравить

Вычетом мероморфной функции $f$$f$  в изолированной особой точке $a$$a$  называется единственное число $R$$R$  такое, что функция $f(z)-<!--\; -\; -->R/(z-<!--\; -\; -->a)$$f(z)-R/(z-a)$  имеет аналитическую первообразную в кольце $0<|z-a|<\delta$ .

Для комплекснозначной функции $f(z)$$f(z)$  в области $D\subseteq <!--\; \subseteq \; -->\mathbb{C}$$D\subseteq {\mathbb C}$ , регулярной в некоторой проколотой окрестности точки $a\in <!--\; \in \; -->D$$a\in D$ , её вычетом в точке $a$$a$  называется число:

$\underset{a}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=\underset{\mathrm{\rho <!--\; \rho \; -->}\to <!--\; \to \; -->0}{lim}\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}i}\underset{|z-<!--\; -\; -->a|=\mathrm{\rho <!--\; \rho \; -->}}{\int <!--\; \int \; -->}f(z)dz$${\mathop {{\mathrm {Res}}}}_{a}\,f(z)=\lim _{{\rho \to 0}}{1 \over {2\pi i}}\int \limits _{{|z-a|=\rho }}\!f(z)\,dz$ .

В силу голоморфности функции $f(z)$$f(z)$  в малой проколотой окрестности точки $a$$a$  по теореме Коши величина интеграла не зависит от $\mathrm{\rho <!--\; \rho \; -->}$$\rho$  при достаточно малых значениях этого параметра, так же как и от формы пути интегрирования. Важно только то, что путь является замкнутой кривой в области аналитичности функции, один раз охватывающей рассматриваемую точку и никаких других точек не принадлежащих области голоморфности $f$$f$ .

В некоторой окрестности точки $a$$a$  функция $f(z)$$f(z)$  представляется сходящимся рядом Лорана по степеням $z-<!--\; -\; -->a$$z-a$ . Нетрудно показать, что вычет совпадает с коэффициентом ряда $c_{-<!--\; -\; -->1}$$c_{{-1}}$  при $(z-<!--\; -\; -->a{)}^{-<!--\; -\; -->1}$$(z-a)^{{-1}}$ . Часто это представление принимают за определение вычета функции.

Вычет в «бесконечности»Править

Для возможности более полного изучения свойств функции вводится понятие вычета в бесконечности, при этом она рассматривается как функция на сфере Римана. Пусть бесконечно удалённая точка является изолированной особой точкой $f(z)$$f(z)$ , тогда вычетом в бесконечности называется комплексное число, равное:

$\underset{\mathrm{\infty <!--\; \infty \; -->}}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=-<!--\; -\; -->\underset{\mathrm{\rho <!--\; \rho \; -->}\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}i}\underset{|z|=\mathrm{\rho <!--\; \rho \; -->}}{\int <!--\; \int \; -->}f(z)dz$${\mathop {{\mathrm {Res}}}}_{\infty }\,f(z)=-\lim _{{\rho \to \infty }}{1 \over {2\pi i}}\int \limits _{{|z|=\rho }}\!f(z)\,dz$ .

Цикл интегрирования в этом определении ориентирован положительно, то есть против часовой стрелки.

Аналогично предыдущему случаю вычет в бесконечности имеет представление и в виде коэффициента лорановского разложения в окрестности бесконечно удалённой точки:

$\underset{\mathrm{\infty <!--\; \infty \; -->}}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=-<!--\; -\; -->c_{-<!--\; -\; -->1}$${\mathop {{\mathrm {Res}}}}_{\infty }\,f(z)=-c_{{-1}}$ .

Вычет дифференциальной формыПравить

С точки зрения анализа на многообразиях вводить специальное определение для некоторой выделенной точки сферы Римана (в данном случае, бесконечно удалённой) неестественно. Более того, такой подход затруднительно обобщить на более высокие размерности. Поэтому понятие вычета вводится не для функций, а для дифференциальных $(1,0)$$(1,\;0)$ -форм на сфере Римана:

$\underset{a}{\mathrm{R}\mathrm{e}\mathrm{s}}\mathrm{\omega <!--\; \omega \; -->}=\underset{\mathrm{\rho <!--\; \rho \; -->}\to <!--\; \to \; -->0}{lim}\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}i}\underset{|z-<!--\; -\; -->a|=\mathrm{\rho <!--\; \rho \; -->}}{\int <!--\; \int \; -->}\mathrm{\omega <!--\; \omega \; -->}$${\mathop {{\mathrm {Res}}}}_{a}\,\omega =\lim _{{\rho \to 0}}{1 \over {2\pi i}}\int \limits _{{|z-a|=\rho }}\!\omega$ .

На первый взгляд разницы в определениях никакой, однако теперь $a$$a$  — произвольная точка $\stackrel{¯<!--\; ¯\; -->}{\mathbb{C}}$$\overline {{\mathbb C}}$ , и смена знака при вычислении вычета в бесконечности достигается за счёт замены переменных в интеграле.

Логарифмические вычетыПравить

Интеграл $\frac{1}{2\mathrm{\pi <!--\; \pi \; -->}i}\underset{L}{\oint <!--\; \oint \; -->}\frac{f^{\mathrm{\prime <!--\; \prime \; -->}}(z)}{f(z)}dz$${1 \over {2\pi i}}\oint \limits _{L}\!{f^{\prime }(z) \over f(z)}\,dz$  называется логарифмическим вычетом функции $f(z)$$f(z)$  относительно контура $L$$L$ .

Понятие логарифмического вычета используется для доказательства теоремы Руше и основной теоремы алгебры.

Способы вычисления вычетовПравить

Согласно определению вычет может быть вычислен как контурный интеграл, однако в общем случае это довольно трудоёмко. Поэтому на практике пользуются, в основном, следствиями из определения.

В устранимой особой точке $a\in <!--\; \in \; -->\mathbb{C}$$a\in {\mathbb C}$ , так же как и в точке регулярности, вычет функции $f(z)$$f(z)$  равен нулю. В то же время для бесконечно удалённой точки это утверждение не верно. Например, функция $f(z)=\frac{1}{z}$$f(z)={\frac {1}{z}}$  имеет в бесконечности нуль первого порядка, однако, $\underset{\mathrm{\infty <!--\; \infty \; -->}}{\mathrm{R}\mathrm{e}\mathrm{s}}\frac{1}{z}=-<!--\; -\; -->1$${\mathop {{\mathrm {Res}}}}_{{\infty }}\,{\frac 1{z}}=-1$ . Причина этого в том, что форма $\frac{dz}{z}$${\frac {dz}{z}}$  имеет особенность как в нуле, так и в бесконечности.

В полюсе $a$$a$  кратности $n$$n$  вычет может быть вычислен по формуле:

$\underset{a}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=\frac{1}{(n-<!--\; -\; -->1)!}\underset{z\to <!--\; \to \; -->a}{lim}\frac{d^{(n-<!--\; -\; -->1)}}{d{z}^{(n-<!--\; -\; -->1)}}[(z-<!--\; -\; -->a{)}^{n}f(z)]$${\mathop {{\mathrm {Res}}}}_{a}\,f(z)={1 \over (n-1)!}\lim _{{z\to a}}{{d^{{(n-1)}} \over dz^{{(n-1)}}}[(z-a)^{n}f(z)]}$ ,

частный случай $n=1$$n=1$ 

$\underset{a}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=\underset{z\to <!--\; \to \; -->a}{lim}(z-<!--\; -\; -->a)f(z)$${\mathop {{\mathrm {Res}}}}_{a}\,f(z)=\lim _{{z\to a}}{(z-a)f(z)}$ .

Если функция $f(z)=\frac{g(z)}{h(z)}$$f(z)={\frac {g(z)}{h(z)}}$  имеет простой полюс в точке $a$$a$ , где $g(z)$$g(z)$  и $h(z)$$h(z)$  голоморфные в окрестности $a$$a$  функции, $h(a)=0$$h(a)=0$ , $h^{\prime }(a)\ne <!--\; \ne \; -->0$$h'(a)\neq 0$ , то можно использовать более простую формулу:

$\underset{a}{\mathrm{R}\mathrm{e}\mathrm{s}}f(z)=\frac{g(a)}{h^{\mathrm{\prime <!--\; \prime \; -->}}(a)}$${\mathop {{\mathrm {Res}}}}_{a}\,f(z)={\frac {g(a)}{h^{\prime }(a)}}$ .

Очень часто, особенно в случае существенно особых точек, удобно вычислять вычет пользуясь разложением функции в ряд Лорана. Например, $\underset{0}{\mathrm{R}\mathrm{e}\mathrm{s}}{e}^{1/z}=\underset{0}{\mathrm{R}\mathrm{e}\mathrm{s}}\left(1+\frac{1}{z}+\frac{1}{2!z^2}+\dots <!--\; \dots \; -->\right)=1$${\mathop {{\mathrm {Res}}}}_{0}\,e^{{1/z}}={\mathop {{\mathrm {Res}}}}_{0}\,\left(1+{\frac 1{z}}+{\frac 1{2!z^{2}}}+\ldots \right)=1$ , так как коэффициент при $z^{-<!--\; -\; -->1}$$z^{{-1}}$  равен 1.

Приложения теории вычетовПравить

В большинстве случаев теория вычетов применяется для вычисления разного рода интегральных выражений с помощью основной теоремы о вычетах. Часто полезной в данных случаях бывает лемма Жордана.

Вычисления определённых интегралов от тригонометрических функцийПравить

Пусть функция $R(u,v)$$R(u,\;v)$  — рациональная функция переменных $u$$u$  и $v$$v$ . Для вычисления интегралов вида $\underset{0}{\overset{2\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}R(\sin <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->};\cos <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->})d\mathrm{\phi <!--\; \phi \; -->}$$\int \limits _{0}^{{2\pi }}R\!(\sin \varphi ;\;\cos \varphi )\,d\varphi$  удобно использовать формулы Эйлера. Положив, что $z=e^{i\mathrm{\phi <!--\; \phi \; -->}}$$z=e^{{i\varphi }}$ , и произведя соответствующие преобразования, получим:

$\underset{0}{\overset{2\mathrm{\pi <!--\; \pi \; -->}}{\int <!--\; \int \; -->}}R(\sin <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->},\cos <!--\; \; -->\mathrm{\phi <!--\; \phi \; -->})d\mathrm{\phi <!--\; \phi \; -->}=2\mathrm{\pi <!--\; \pi \; -->}i\sum <!--\; \sum \; -->\underset{z=z_k}{\mathrm{R}\mathrm{e}\mathrm{s}}<!--\; \; -->R(z)$$\int \limits _{0}^{{2\pi }}\!R(\sin \varphi ,\;\cos \varphi )\,d\varphi =2\pi i\sum {\mathop {{\mathrm {Res}}}}_{{z=z_{k}}}R(z)$ .

Вычисление несобственных интеграловПравить

Для вычисления несобственных интегралов с применением теории вычетов используют следующие две леммы:

1. Пусть функция $f(z)$$f(z)$  голоморфна в верхней полуплоскости $I^{+}=\{z\mid <!--\; \mid \; -->\mathrm{Im}z⩾<!--\; ⩾\; -->0\}$$I^{+}=\{z\mid \operatorname {Im}\,z\geqslant 0\}$  и на вещественной оси за исключением конечного числа $n$$n$  полюсов, не лежащих на вещественной оси и $\underset{z\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}zf(z)=0$$\lim _{{z\to \infty }}zf(z)=0$ . Тогда

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x)dx=2\mathrm{\pi <!--\; \pi \; -->}i\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}\underset{z=z_k}{\mathrm{R}\mathrm{e}\mathrm{s}}<!--\; \; -->f(z)$$\int \limits _{{-\infty }}^{{+\infty }}\!f(x)\,dx=2\pi i\sum _{{k=1}}^{n}{\mathop {{\mathrm {Res}}}}_{{z=z_{k}}}f(z)$ .

2. Пусть функция $f(z)$$f(z)$  голоморфна в верхней полуплоскости $I^{+}=\{z\mid <!--\; \mid \; -->\mathrm{Im}z⩾<!--\; ⩾\; -->0\}$$I^{+}=\{z\mid \operatorname {Im}\,z\geqslant 0\}$  и на вещественной оси за исключением конечного числа $n$$n$  полюсов, не лежащих на вещественной оси, $\underset{z\to <!--\; \to \; -->\mathrm{\infty <!--\; \infty \; -->}}{lim}zf(z)=0$$\lim _{{z\to \infty }}zf(z)=0$  и $\mathrm{\alpha <!--\; \alpha \; -->}>0$$\alpha >0$ . Тогда

$\underset{-<!--\; -\; -->\mathrm{\infty <!--\; \infty \; -->}}{\overset{+\mathrm{\infty <!--\; \infty \; -->}}{\int <!--\; \int \; -->}}f(x)e^{i\mathrm{\alpha <!--\; \alpha \; -->}x}dx=2\mathrm{\pi <!--\; \pi \; -->}i\underset{k=1}{\overset{n}{\sum <!--\; \sum \; -->}}\underset{z=z_k}{\mathrm{R}\mathrm{e}\mathrm{s}}<!--\; \; -->f(z)e^{i\mathrm{\alpha <!--\; \alpha \; -->}z}$$\int \limits _{{-\infty }}^{{+\infty }}\!f(x)e^{{i\alpha x}}\,dx=2\pi i\sum _{{k=1}}^{n}{\mathop {{\mathrm {Res}}}}_{{z=z_{k}}}f(z)e^{{i\alpha z}}$ 

При этом интегралы в левых частях равенств не обязаны существовать и поэтому понимаются только лишь в смысле главного значения (по Коши).

Многомерный комплексный анализПравить

ЛитератураПравить

• Шабат Б. В. Введение в комплексный анализ. — М.: Наука, 1976.
• Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1979.
• Айзенберг Л. А., Южаков А. П. Интегральные представления и вычеты в многомерном комплексном анализе. — Новосибирск: Наука, 1979.
• Цих А. К. Многомерные вычеты и их применения. — Новосибирск: Наука, 1988.