和㝧升《简明复分析》的处理方式不同(共书用了单位圆内复数的几何级数展开),今天上数学课时偶然发现了这种证法:
Cauchy高阶导数公式
全纯函数 f(z) 的各阶导数为
f(n)(z)=2πin!∮∂Ω(ξ−z)n+1f(ξ)dξ
证明:
我们使用归纳法,当 n=2 时有
f(z)−f(z0)=2πi1∮∂Ωξ−zf(ξ)dξ−2πi1∮∂Ωξ−z0f(ξ)dξ=2πi1∮∂Ω(ξ−z)(ξ−z0)(z−z0)f(ξ)dξ
于是
z−z0f(z)−f(z0)=2πi1∮∂Ω(ξ−z)(ξ−z0)f(ξ)dξ
令 z0→z ,得到
f′(z)=2πi1∮∂Ω(ξ−z)2f(ξ)dξ
这就证明了 n=2 时的情况。
而
f(k)(z)−f(k)(z0)=2πik!∮∂Ω(ξ−z)k+1f(ξ)dξ−2πik!∮∂Ω(ξ−z0)k+1f(ξ)dξ=2πik!∮∂Ω(ξ−z)k+1f(ξ)−(ξ−z0)k+1f(ξ)dξ=2πik!∮∂Ω(ξ−z)k+1(ξ−z0)k+1f(ξ)[(ξ−z0)k+1−(ξ−z)k+1]dξ
由于有恒等式
ak+1−bk+1=(a−b)(ak+ak−1b+⋯+bk)=(a−b)j=0∑kak−jbj
于是
f(k)(z)−f(k)(z0)=2πik!∮∂Ω(ξ−z)k+1(ξ−z0)k+1f(ξ)(z−z0)∑j=0k(ξ−z)k−j(ξ−z0)jdξ=2πik!∮∂Ωf(ξ)(z−z0)[j=0∑k(ξ−z)j+1(ξ−z0)k+1−j1]dξ
即可导出
z−z0f(k)(z)−f(k)(z0)f(k+1)(z)=2πik!∮∂Ωf(ξ)[j=0∑k(ξ−z)j+1(ξ−z0)k+1−j1]dξ=2πik!∮∂Ωf(ξ)[j=0∑k(ξ−z)k+21]dξ=2πik!∮∂Ωf(ξ)(ξ−zzk+2k+1dξ=2πi(k+1)!∮∂Ω(ξ−z)k+2f(ξ)dξ
这样由 n=k 导出了 n=k+1 时成立,用归纳法,就证明了
f(n)(z)=2πin!∮∂Ω(ξ−z)n+1f(ξ)dξ
推论1
全纯函数的各阶导数存在,且都全纯。
Cauchy不等式
若 f(z) 在域 U 上全纯,且 ∣f(z)∣ 在 U 上有上确界 M ,则有在 U 上的 f(z) 的各阶导数估计
f(n)(z)≤Rnn!M
证明:
=2πin!∮∂Ω∣f(n)(z)∣(ξ−z)n+1f(ξ)dξ≤2πin!∮∂Ω(ξ−z)n+1f(ξ)dξ=2πin!∫02π(Reiθ)n+1f(z+Reiθ)d(Reiθ)=2πn!∫02π(Reiθ)nf(z+Reiθ)dθ=2πn!∫02πeinθf(z+Reiθ)dθ=2πRnn!∫02πf(z+Reiθ)e−inθdθ=Rnn!2π1∫02πf(z+Reiθ)dθ≤Rnn!M
Liouvie 定理
在 C 上全纯有界的函数必为常函数。
证明:
取 Cauchy 不等式在 n=1 的情况
∣f′(z)∣≤RM
若将其限为在 C 上,则我们可以
令 R→+∞ ,得到 f′(z)≡0
而在整个 C 上导数恒等于 0 的函数仅有常函数,于是就证明了定理。
代数基本定理
多项式函数 f(z)=a0+a1z+a2z2⋯+anzn 在 C 上有至少一个零点。
证明:
我们使用反证法,假如 f(z) 没有零点,设 p(z)=f(z)1,p(z) 必定在 C 上全纯有界。
而由 Liouvie 定理, p(z) 必为常函数,这就与假设矛盾。证毕。