シュワルツの補題とその応用

シュワルツの補題は、単位円板上の正則関数に対する強力な評価を与える定理だ。見た目は単純だが、等角写像の理論やリーマンの写像定理の証明など、複素解析の様々な場面で活躍する。

補題の主張

を単位円板 \mathbb{D} = \{z \in \mathbb{C} : |z| < 1\} から への正則関数で、 を満たすとする。このとき

すべての に対して

が成り立つ。さらに、ある となるか、または ならば、(回転写像)の形に限る。

証明の概略

と定義する。 なので でも正則に拡張でき、 となる。|z| = r < 1 上で

最大値原理により、 でも が成り立つ。 とすれば 、すなわち を得る。

等号成立の場合は最大値原理の等号条件から が定数となり、 が従う。

シュワルツ・ピックの定理

原点を固定する条件を外した一般化がシュワルツ・ピックの定理だ。 が正則ならば、任意の に対して

が成り立つ。左辺と右辺はそれぞれ双曲距離(ポアンカレ距離)を用いた表現で、正則関数は双曲距離を縮小するという主張になっている。

シュワルツの補題

という条件付きで を主張

シュワルツ・ピックの定理

条件なしで双曲距離の非増大性を主張。より一般的で幾何学的

応用:自己同型群の決定

シュワルツの補題を用いると、単位円板の正則自己同型写像が完全に決定できる。 が全単射かつ正則ならば、 はメビウス変換

f(z) = e^{i\theta} \frac{z - a}{1 - \bar{a} z}, \quad |a| < 1

の形に限る。これは の自己同型群が と同型であることを意味する。

応用:リウヴィルの定理の別証明

有界な整関数が定数であるというリウヴィルの定理も、シュワルツの補題から導ける。 が有界整関数で とすると、 から への正則関数で 。シュワルツの補題から 、すなわち が任意の で成り立つ。 を得る。同様の議論を任意の点で行えば となり、 は定数だ。