查看“︁施瓦茨引理”︁的源代码

{{Complex analysis sidebar}}

[[数学]]上，'''施瓦茨引理'''（Schwarz lemma）是[[複分析]]中关于定义在单位开圆盘的[[全纯函数]]的一个结果，以[[赫尔曼·阿曼杜斯·施瓦茨]]命名。这引理不及其他结果有名（例如[[黎曼映射定理]]，其证明有用到这引理），但却是能显示全纯函数的刚性的一个简单结果。对于[[实分析|实函数]]则没有类似的结果。

==陈述==
设<math>\mathbb{D}=\{z:|z|<1\}</math>是复平面上以原点为圆心的单位开圆盘。全纯函数<math>f:\mathbb{D}\to\mathbb{D}</math>满足<math>f(0)=0</math>，则对任意<math>z\in\mathbb{D}</math>，<math>|f(z)|\le|z|</math>且<math>|f'(0)|\le 1</math>。此外，如果存在<math>z</math>使得<math>|f(z)|=|z|</math>，或者<math>|f'(0)|=1</math>，则f是一个旋转<math>f(z)=az</math>，其中<math>|a| = 1</math>。

施瓦茨引理表明，若<math>f(z)</math>是从单位圆盘到单位圆盘的解析映射，且原点<math>z=0</math>为其不动点，则像点<math>f(z)</math>到原点的距离比<math>z</math>到原点的距离近。如果有一点使得这两个距离相等，那么<math>f(z)</math>就一定是一个旋转。如果在单位圆盘内画一个圆心在原点的圆（半径小于1），那么这个圆在<math>f(z)</math>映射下的像一定在这个圆所包围的区域内部。

==证明==
证明直接应用[[最大模原理]]，设

:<math>g(z) = \begin{cases}
  \frac{f(z)}{z}\, & \mbox{if } z \neq 0 \\
  f'(0) & \mbox{if } z = 0,
\end{cases}</math>

则函数<math>g(z)</math>在<math>\mathbb{D}</math>内全纯，包括原点（由于''f''(0) = 0且''f''是全纯函数）。设<math>\mathbb{D}_r=\{z:|z|\le r\}</math>为圆心在原点半径为<math>r<1</math>的闭圆盘。根据[[最大模原理]]，对任意<math>z\in\mathbb{D}_r</math>存在边界上一点<math>z_r</math>，使得：

:<math> |g(z)| \le |g(z_r)| = \frac{|f(z_r)|}{|z_r|} \le \frac{1}{r}</math>

当''r''趋于1时，得到|''g''(''z'')| &le; 1。

而且，如果在<math>\mathbb{D}</math>内存在某个不为0的''z''<sub>0</sub>，使得''g''(''z''<sub>0</sub>) = 1，那么把最大模原理应用于''g''，可得''g''是常数，因此''f''(''z'') = ''kz''，其中''k''是常数且|''k''| = 1。这在当|''f'' '(0)| = 1时也是正确的。

==施瓦茨-皮克定理==
施瓦茨引理有一个变体称为'''施瓦茨-皮克定理'''（Schwarz-Pick theorem），刻画了单位圆盘的解析自同构（即单位圆盘到自身的全纯[[双射]]）的特性。

设<math>f:\mathbb{D} \to \mathbb{D}</math> 全纯。那么，对所有<math>z_1,z_2\in \mathbb{D}</math>，

:<math>\left|\frac{f(z_1)-f(z_2)}{1-\overline{f(z_1)}f(z_2)}\right|
\le \frac{\left|z_1-z_2\right|}{\left|1-\overline{z_1}z_2\right|}</math>，

并且，对任意<math>z\in\mathbb{D}</math>，

:<math>\frac{\left|f'(z)\right|}{1-\left|f(z)\right|^2} \le
\frac{1}{1-\left|z\right|^2}.
</math>。

以下表达式

:<math> d(z_1,z_2)=\tanh^{-1}\left(\frac{\left|z_1-z_2\right|}{\left|1-\overline{z_1}z_2\right|}\right) </math>

是[[庞加莱度量]]下两点<math> z_1,z_2 </math>的距离。庞加莱度量就是二维[[双曲几何]]的庞加莱圆盘模型的度量。这定理本质上就是说单位圆盘到自身的全纯映射会减小各点之间的庞加莱距离。若以上两不等式有一式的等号成立（就是说这个全纯映射保持庞加莱度量下的距离），那么''f''一定是单位圆盘的解析自同构，由单位圆盘到自身的[[莫比乌斯变换]]所给出。

关于[[上半平面]]<math>\mathbb{H}</math>有一个相似的命题：

设<math>f:\mathbb{H}\to\mathbb{H}</math>全纯。那么，对所有<math>z_1,z_2\in \mathbb{H}</math>，

:<math>\left|\frac{f(z_1)-f(z_2)}{\overline{f(z_1)}-f(z_2)}\right|
\le \frac{\left|z_1-z_2\right|}{\left|\overline{z_1}-z_2\right|}</math>，

这是上面提到的施瓦茨-皮克定理的简单推论：只要注意到[[凯莱变换]]<math>W(z)=(z-i)/(z+i)</math>把上半平面<math>\mathbb{H}</math>共形地映为单位圆盘<math>\mathbb{D}</math>。则<math>W\circ f\circ W^{-1}</math>是<math>\mathbb{D}</math>到自身的全纯映射，对这个映射使用施瓦茨-皮克定理，并化简，就能得到想要的结果。还有，对所有<math>z\in\mathbb{H}</math>

:<math>\frac{\left|f'(z)\right|}{\mbox{Im }f(z)} \le
\frac{1}{\mbox{Im }z}.
</math>

若以上两个不等式中有一式等号成立，那么<math>f
</math>必是实係數的莫比乌斯变换。也就是说，若等号成立，则有
:<math>f(z)=\frac{az+b}{cz+d}</math>，
其中<math>a,b,c,d</math>是实数，并且<math>ad-bc>0</math>。

== 施瓦茨-皮克定理的证明 ==
以下形式的莫比乌斯变换

<math>\frac{z-z_0}{\bar{z}_0z-1},|z_0|<1
</math>

把单位圆映到自身。固定<math>z_ 1
</math>并定义莫比乌斯变换

<math>M(z)=\frac{z_1-z}{1-\bar{z}_1z},\varphi(z)=\frac{f(z_1)-z}{1-\overline{f(z_1)}z}
</math>

由于<math>M(z_1)=0
</math>，且莫比乌斯变换是可逆的，所以复合<math>\varphi\circ f\circ M^{-1}
</math>把0映为0，把单位圆盘映到自身。从而可以使用施瓦茨引理，得到

<math>|\varphi\circ f\circ M^{-1}(z)|=\left|\frac{f(z_1)-f(M^{-1}(z))}{1-\overline{f(z_1)}f(M^{-1}(z))}\right|\le|z|
</math>

记<math>z_2=M^{-1}(z)
</math>，就得到想要的结论

<math>\left|\frac{f(z_1)-f(z_2)}{1-\overline{f(z_1)}f(z_2)}\right|
\le \frac{\left|z_1-z_2\right|}{\left|1-\overline{z_1}z_2\right|}</math>

要证明定理的第二部分，把上式左边整理成差商的形式

<math>\left|\frac{f(z_1)-f(z_2)}{z_1-z_2}\right|\le\left|\frac{1-\overline{f(z_1)}f(z_2)}{1-\bar{z}_1z_2}\right|</math>

令<math>z_2</math>趋向于<math>z_1</math>即得。

== 进一步的推广与相关结果 ==
[[施瓦茨-阿尔福斯-皮克定理]]给出对双曲流形的类似结果。

De Brange定理，以前称为Bieberbach猜想，是该引理的一个重要推广。

Koebe四分之一定理，给出了f是单值的情况下的一个相关的估计。

==参考==
* Jurgen Jost, ''Compact Riemann Surfaces'' (2002), Springer-Verlag, New York. ISBN 3-540-43299-X ''(See Section 2.3)''

[[Category:黎曼曲面]]
[[Category:复分析定理]]
[[Category:包含证明的条目]]