施瓦茨引理
施瓦茨引理(Schwarz lemma)说明:把单位圆盘全纯映入自身并固定原点的函数,不能把任何点的模放大;若在非零点或原点导数处达到极限,只能是绕原点的旋转。定理同时约束函数值与导数,关键前提是固定原点。
记单位圆盘为 。若 全纯,且 ,则 若某个非零内部点满足 ,或者 ,则存在实数 使 。
约去必有的一次零点
因为 在零全纯且值为零,泰勒展开从一次或更高次开始。因此 在零可全纯补值,补值是 。任取 ,在圆周 有 对闭圆盘使用最大模原理,内部也有这一上界。固定某个 ,再让 从大于 的位置趋向一,得到 。乘回 得第一个结论,在零取值则得导数结论。
若非零点取等号,则 在内部达到最大值一;若导数取等号,则 ,同样如此。最大模原理迫使 为模一常数,于是 只能为旋转。等号不只是某一点计算相同,而会决定整个函数的形状。
平方映射与旋转的比较
取 。它将单位圆盘映入自身,固定零,且对 , 例如 的模为 ,像为 ,像的模为 ;两者之比为 。原点导数为零,也没有达到导数上界。
变式。 对 ,每点的模均不变,导数模为一,因此属于等号情形。在 ,像为 ,其模仍为 。旋转不必是恒等映射;只有再要求导数本身等于一,才消去旋转角。
固定点假设与平移后的版本
对实数 ,圆盘自同构 在零取值为负 。若不要求固定零,便会出现 ,直接违反 。映入圆盘的性质可从 验证。一般复参数把分母中的 改为 即可。
若 全纯且 ,令 对归一化后的 使用引理,得到 这个导数界只直接控制所固定的中心。不能据 就断言单位圆盘内处处导数模至多一:平方映射在实点 的导数为 。
参考文献
Jiří Lebl,Guide to Cultivating Complex Analysis,1.9,2026-07-11,§3.5.1—3.5.2(施瓦茨引理、等号与圆盘自同构)。