Лемма Шварца - Schwarz lemma

В математика, то Лемма Шварца, названный в честь Герман Амандус Шварц, является результатом комплексный анализ о голоморфные функции от открыто единичный диск себе. Лемма менее известна, чем более сильные теоремы, такие как Теорема римана отображения, что помогает доказать. Однако это один из простейших результатов, фиксирующих жесткость голоморфных функций.

Заявление

Лемма Шварца. Позволять ${\displaystyle \mathbf {D} =\{z:|z|<1\}}$ быть открытым единичный диск в комплексная плоскость ${\displaystyle \mathbb {C} }$ сосредоточен на источник и разреши ${\displaystyle f:\mathbf {D} \rightarrow \mathbb {C} }$ быть голоморфное отображение такой, что ${\displaystyle f(0)=0}$ и ${\displaystyle |f(z)|\leq 1}$ на ${\displaystyle \mathbf {D} }$.

Потом, ${\displaystyle |f(z)|\leq |z|\ \forall z\in \mathbf {D} }$ и ${\displaystyle |f'(0)|\leq 1}$.

Более того, если ${\displaystyle |f(z)|=|z|}$ для каких-то ненулевых ${\displaystyle z}$ или же ${\displaystyle |f'(0)|=1}$, тогда ${\displaystyle f(z)=az}$ для некоторых ${\displaystyle a\in \mathbb {C} }$ с ${\displaystyle |a|=1}$.^[1]

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

Доказательство представляет собой прямое применение принцип максимального модуля на функции

${\displaystyle g(z)={\begin{cases}{\frac {f(z)}{z}}\,&{\mbox{if }}z\neq 0\\f'(0)&{\mbox{if }}z=0,\end{cases}}}$

которая голоморфна на всей D, в том числе в начале координат (потому что ж дифференцируема в нуле и фиксирует нуль). Сейчас если D_р = {z : |z| ≤ р} обозначает замкнутый круг радиуса р с центром в начале координат, то из принципа максимума модуля следует, что для р <1 при любом z в D_р, Существует z_р на границе D_р такой, что

${\displaystyle |g(z)|\leq |g(z_{r})|={\frac {|f(z_{r})|}{|z_{r}|}}\leq {\frac {1}{r}}.}$

В качестве ${\displaystyle r\rightarrow 1}$ мы получили ${\displaystyle |g(z)|\leq 1}$.

Кроме того, предположим, что |ж(z)| = |z| для каких-то ненулевых z в D, или |f ′(0) | = 1. Тогда |грамм(z) | = 1 в некоторой точке D. Итак, по принципу максимума модуля, грамм(z) равна константе а такой, что |а| = 1. Следовательно, ж(z) = az, по желанию.

Теорема Шварца – Пика

Вариант леммы Шварца, известный как Теорема Шварца – Пика (после Георг Пик ), характеризует аналитические автоморфизмы единичного круга, т. е. биективный голоморфные отображения единицы диска на себя:

Позволять ж : D → D быть голоморфным. Тогда для всех z₁, z₂ ∈ D,

${\displaystyle \left|{\frac {f(z_{1})-f(z_{2})}{1-{\overline {f(z_{1})}}f(z_{2})}}\right|\leq \left|{\frac {z_{1}-z_{2}}{1-{\overline {z_{1}}}z_{2}}}\right|}$

и для всех z ∈ D,

${\displaystyle {\frac {\left|f'(z)\right|}{1-\left|f(z)\right|^{2}}}\leq {\frac {1}{1-\left|z\right|^{2}}}.}$

Выражение

${\displaystyle d(z_{1},z_{2})=\tanh ^{-1}\left|{\frac {z_{1}-z_{2}}{1-{\overline {z_{1}}}z_{2}}}\right|}$

расстояние до точек z₁, z₂ в Метрика Пуанкаре, т.е. метрика в модели диска Пуанкаре для гиперболическая геометрия во втором измерении. Теорема Шварца – Пика по существу утверждает, что голоморфное отображение единичного круга в себя уменьшается расстояние между точками в метрике Пуанкаре. Если равенство выполняется повсюду в одном из двух неравенств выше (что равносильно утверждению, что голоморфное отображение сохраняет расстояние в метрике Пуанкаре), то ж должен быть аналитическим автоморфизмом единичного диска, заданным Преобразование Мёбиуса сопоставление единичного диска самому себе.

Аналогичное заявление о верхняя полуплоскость ЧАС можно сделать так:

Позволять ж : ЧАС → ЧАС быть голоморфным. Тогда для всех z₁, z₂ ∈ ЧАС,

${\displaystyle \left|{\frac {f(z_{1})-f(z_{2})}{{\overline {f(z_{1})}}-f(z_{2})}}\right|\leq {\frac {\left|z_{1}-z_{2}\right|}{\left|{\overline {z_{1}}}-z_{2}\right|}}.}$

Это простое следствие упомянутой выше теоремы Шварца – Пика: просто нужно помнить, что Преобразование Кэли W(z) = (z − я)/(z + я) отображает верхнюю полуплоскость ЧАС конформно на единичный дискD. Тогда карта W ож оW⁻¹ голоморфное отображение из D наD. Используя теорему Шварца – Пика об этом отображении и, наконец, упростив результаты, используя формулу для W, получаем желаемый результат. Также для всех z ∈ ЧАС,

${\displaystyle {\frac {\left|f'(z)\right|}{{\text{Im}}(f(z))}}\leq {\frac {1}{{\text{Im}}(z)}}.}$

Если равенство выполняется для одного или другого выражения, то ж должен быть Преобразование Мёбиуса с действительными коэффициентами. То есть, если выполняется равенство, то

${\displaystyle f(z)={\frac {az+b}{cz+d}}}$

с а, б, c, d ∈ р, и объявление − до н.э > 0.

Доказательство теоремы Шварца – Пика.

Доказательство теоремы Шварца – Пика следует из леммы Шварца и того факта, что a Преобразование Мёбиуса формы

${\displaystyle {\frac {z-z_{0}}{{\overline {z_{0}}}z-1}},\qquad |z_{0}|<1,}$

отображает единичный круг на себя. Исправить z₁ и определим преобразования Мёбиуса

${\displaystyle M(z)={\frac {z_{1}-z}{1-{\overline {z_{1}}}z}},\qquad \varphi (z)={\frac {f(z_{1})-z}{1-{\overline {f(z_{1})}}z}}.}$

С M(z₁) = 0 и преобразование Мёбиуса обратимо, композиция φ (ж(M⁻¹(z))) отображает 0 в 0, и единичный диск отображается сам в себя. Таким образом, мы можем применить лемму Шварца, то есть

${\displaystyle \left|\varphi \left(f(M^{-1}(z))\right)\right|=\left|{\frac {f(z_{1})-f(M^{-1}(z))}{1-{\overline {f(z_{1})}}f(M^{-1}(z))}}\right|\leq |z|.}$

Сейчас звоню z₂ = M⁻¹(z) (который все еще будет в единичном диске) приводит к желаемому выводу

${\displaystyle \left|{\frac {f(z_{1})-f(z_{2})}{1-{\overline {f(z_{1})}}f(z_{2})}}\right|\leq \left|{\frac {z_{1}-z_{2}}{1-{\overline {z_{1}}}z_{2}}}\right|.}$

Чтобы доказать вторую часть теоремы, преобразуем левую часть в разностный фактор и положим z₂ как правило z₁.

Дальнейшие обобщения и связанные с ними результаты

В Теорема Шварца – Альфорса – Пика. дает аналогичную теорему для гиперболических многообразий.

Теорема де Бранжа, ранее известная как гипотеза Бибербаха, является важным расширением леммы, дающим ограничения на высшие производные от ж в 0 в случае ж является инъективный; то есть, однозначный.

В Теорема Кебе 1/4 дает соответствующую оценку в случае, если ж однозначно.

Рекомендации

1. Теорема 5.34 в Родригес, Джейн П. Гилман, Ирвин Кра, Руби Э. (2007). Комплексный анализ: в духе Липмана Берса ([Онлайн] ред.). Нью-Йорк: Спрингер. п. 95. ISBN  978-0-387-74714-9.

• Юрген Йост, Компактные римановы поверхности (2002), Springer-Verlag, Нью-Йорк. ISBN  3-540-43299-Х (См. Раздел 2.3)
• С. Дайнин (1989). Лемма Шварца. Оксфорд. ISBN  0-19-853571-6.

В статье использован материал леммы Шварца о PlanetMath, который находится под лицензией Лицензия Creative Commons Attribution / Share-Alike.