Теорема Гурвица (комплексный анализ)

Шаблон:Другие значения Теоре́ма Гу́рвица — утверждение в комплексном анализе, которое описывает связь нулей голоморфной функции с нулями последовательности.

Используется в доказательстве важной теоремы Римана об отображении.

Утверждение теоремы

Пусть последовательность функций $f_n$, голоморфных в области $D$, сходится в топологии $O(D)$ (то есть равномерно на компактах в $D$) к функции $f\ne \text{const}$. Если точка $z_0\in D$ является нулем функции $f$, то есть $f(z_0)=0$, то в любом круге $\{z:|z-z_0|<r\}\subset D$ все функции $f_n$, начиная с некоторой, также имеют нуль.

Доказательство

По теореме Вейерштрасса предельная функция $f$ голоморфна в $D$. Поскольку достаточно доказать теорему лишь для достаточно малых кругов с центром $z_0$, мы можем считать, что круг $U=\{z:|z-z_0|\le r\}$ принадлежит $D$, а в $U$ нет других нулей $f$, кроме $z_0$.

Положим $f_{\ast }=\underset{z\in \partial U}{\min }|f(z)|$, что больше нуля по построению. Из равномерной сходимости последовательности $f_n$ на $\partial U$ вытекает, что начиная с некоторого номера выполняется оценка $|f_n(z)-f(z)|<f_{\ast }$ для всех $z\in \partial U$. Тогда по теореме Руше функция $f_n(z)=f(z)+[f_n(z)-f(z)]$ имеет в $U$ столько же нулей, сколько и $f$, то есть по крайней мере один.

Литература

• Hurwitz A. Ueber die Bedingungen, unter welchen eine Gleichung nur Würzeln mit negativen reellen Teilen besitzt. Math. Ann. , 46 (1895) pp. 273—284.
• Шабат Б. В. Введение в комплексный анализ. Часть 1. Функции одного переменного. — М.: Наука. — С. 225.