數學上,施瓦茨引理(Schwarz lemma)是複分析中關於定義在單位開圓盤的全純函數的一個結果,以赫爾曼·阿曼杜斯·施瓦茨命名。這引理不及其他結果有名(例如黎曼映射定理,其證明有用到這引理),但卻是能顯示全純函數的剛性的一個簡單結果。對於實函數則沒有類似的結果。
設
是複平面上以原點為圓心的單位開圓盤。全純函數
滿足
,則對任意
,
且
。此外,如果存在
使得
,或者
,則f是一個旋轉
,其中
。
施瓦茨引理表明,若
是從單位圓盤到單位圓盤的解析映射,且原點
為其不動點,則像點
到原點的距離比
到原點的距離近。如果有一點使得這兩個距離相等,那麼
就一定是一個旋轉。如果在單位圓盤內畫一個圓心在原點的圓(半徑小於1),那麼這個圓在
映射下的像一定在這個圓所包圍的區域內部。
證明直接應用最大模原理,設
![{\displaystyle g(z)={\begin{cases}{\frac {f(z)}{z}}\,&{\mbox{if }}z\neq 0\\f'(0)&{\mbox{if }}z=0,\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/37733dc3ce35b9a5a43b27592d42a62ec0e7c726)
則函數
在
內全純,包括原點(由於f(0) = 0且f是全純函數)。設
為圓心在原點半徑為
的閉圓盤。根據最大模原理,對任意
存在邊界上一點
,使得:
![{\displaystyle |g(z)|\leq |g(z_{r})|={\frac {|f(z_{r})|}{|z_{r}|}}\leq {\frac {1}{r}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1aec5edfc2ea7d59851f5f69c238d1e3f36a8848)
當r趨於1時,得到|g(z)| ≤ 1。
而且,如果在
內存在某個不為0的z0,使得g(z0) = 1,那麼把最大模原理應用於g,可得g是常數,因此f(z) = kz,其中k是常數且|k| = 1。這在當|f '(0)| = 1時也是正確的。
施瓦茨引理有一個變體稱為施瓦茨-皮克定理(Schwarz-Pick theorem),刻畫了單位圓盤的解析自同構(即單位圓盤到自身的全純雙射)的特性。
設
全純。那麼,對所有
,
,
並且,對任意
,
。
以下表達式
![{\displaystyle d(z_{1},z_{2})=\tanh ^{-1}\left({\frac {\left|z_{1}-z_{2}\right|}{\left|1-{\overline {z_{1}}}z_{2}\right|}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dd6f32cdeeaf49c7c56218ff5468336dfc55d0a9)
是龐加萊度量下兩點
的距離。龐加萊度量就是二維雙曲幾何的龐加萊圓盤模型的度量。這定理本質上就是說單位圓盤到自身的全純映射會減小各點之間的龐加萊距離。若以上兩不等式有一式的等號成立(就是說這個全純映射保持龐加萊度量下的距離),那麼f一定是單位圓盤的解析自同構,由單位圓盤到自身的莫比烏斯變換所給出。
關於上半平面
有一個相似的命題:
設
全純。那麼,對所有
,
,
這是上面提到的施瓦茨-皮克定理的簡單推論:只要注意到凱萊變換
把上半平面
共形地映為單位圓盤
。則
是
到自身的全純映射,對這個映射使用施瓦茨-皮克定理,並化簡,就能得到想要的結果。還有,對所有
![{\displaystyle {\frac {\left|f'(z)\right|}{{\mbox{Im }}f(z)}}\leq {\frac {1}{{\mbox{Im }}z}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fd2c117c7718be152218b117bb686b10e243e3fb)
若以上兩個不等式中有一式等號成立,那麼
必是實係數的莫比烏斯變換。也就是說,若等號成立,則有
,
其中
是實數,並且
。
以下形式的莫比烏斯變換
把單位圓映到自身。固定
並定義莫比烏斯變換
由於
,且莫比烏斯變換是可逆的,所以複合
把0映為0,把單位圓盤映到自身。從而可以使用施瓦茨引理,得到
記
,就得到想要的結論
要證明定理的第二部分,把上式左邊整理成差商的形式
令
趨向於
即得。
施瓦茨-阿爾福斯-皮克定理給出對雙曲流形的類似結果。
De Brange定理,以前稱為Bieberbach猜想,是該引理的一個重要推廣。
Koebe四分之一定理,給出了f是單值的情況下的一個相關的估計。
- Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3)