Skip to content

第 8 章:导数公式、柯西估计与 Liouville 定理 ​

返回目录

8.1 求导的是内部点,积分变量不变 ​

为了区分变量,把内部点暂记作 w。柯西公式为

f(w)=\frac1{2\pi i}\oint_C
\frac{f(\zeta)}{\zeta-w}\,d\zeta.

固定曲线 C,取 w 在内部。形式求导时

\frac d{dw}(\zeta-w)^{-1}=(\zeta-w)^{-2},

两个负号抵消。但不能只写形式计算,还要解释为什么可以把导数放进积分。

8.2 用差商和一致估计补齐交换步骤 ​

设 d=\operatorname{dist}(w,C)>0,取 |h|<d/2,且 w+h 仍在内部。两次柯西公式相减并除以 h:

\frac{f(w+h)-f(w)}h
=\frac1{2\pi i}\oint_C
\frac{f(\zeta)}{(\zeta-w-h)(\zeta-w)}\,d\zeta.

核与极限核的差满足

\left|\frac1{(\zeta-w-h)(\zeta-w)}
-\frac1{(\zeta-w)^2}\right|
\le\frac{2|h|}{d^3}.

因为 |\zeta-w|\ge d、|\zeta-w-h|\ge d/2。这个上界对曲线上所有 \zeta 都成立,因此核一致收敛。乘上曲线上有限的 \max|f|,再用 ML 不等式,积分误差也趋于零。所以

\boxed{f'(w)=\frac1{2\pi i}
\oint_C\frac{f(\zeta)}{(\zeta-w)^2}\,d\zeta.}

继续对核求导,在内部紧子集上分母始终与零有正距离,同样的估计允许逐次求导,得到

\boxed{f^{(n)}(w)=\frac{n!}{2\pi i}
\oint_C\frac{f(\zeta)}{(\zeta-w)^{n+1}}\,d\zeta,
\quad n\ge0.}

这说明一旦在邻域上有柯西公式,就能推出所有阶导数。结合一般柯西定理,全纯自动无限次复可微;更进一步还可由核的几何级数展开推出局部幂级数表示。本篇完整使用的是前述 C^1 版本,不需要先借这些后续结论补充 Green 定理的条件。

8.3 柯西估计 ​

在以 z_0 为中心、半径 R 的圆上,若 |f|\le M_R,并且 f 在整个闭圆盘附近满足公式条件,则

\begin{aligned}
|f^{(n)}(z_0)|
&\le\frac{n!}{2\pi}(2\pi R)\frac{M_R}{R^{n+1}}\\
&=\frac{n!M_R}{R^n}.
\end{aligned}

因此

\boxed{|f'(z_0)|\le\frac{M_R}{R}.}

对一般函数,M_R 可能随 R 增长,不能随便令右边趋于零。Liouville 的关键是存在一个与半径无关的全局上界 M。

8.4 Liouville 的证明 ​

假设 f 在整个复平面全纯且属于本篇已证的 C^1 类,并且对所有 z 都有 |f(z)|\le M。任取 z_0,由于任意大的闭圆盘都位于定义域内,

|f'(z_0)|\le\frac{M}{R}\qquad\text{对所有 }R>0.

令 R\to\infty,得 f'(z_0)=0。z_0 任意,所以导数处处为零。

补上最后一步:任取 a,b\in\mathbb C,沿线段 \gamma(t)=a+t(b-a),有

\frac d{dt}f(\gamma(t))=f'(\gamma(t))(b-a)=0.

实部、虚部作为实函数都为常数,故 f(a)=f(b),f 是常数。

一般 Liouville 定理同样不需要额外假设 C^1,因为一般柯西公式成立;在代数基本定理的应用中,我们已经独立知道 1/p 光滑,因此没有逻辑缺口。

8.5 “估计导出矛盾”到底是哪一层 ​

Liouville 本身用估计直接把导数压成零,并不一定要反证。用于代数基本定理时,才把它放入“假设多项式无根”的反证链中。你在原对话提出的直觉可以精确写成:柯西公式提供导数估计,估计给出刚性,刚性排除无根的非常数多项式。

保留每一次追问,认真走完每一步证明。