切换深浅主题
第 8 章:导数公式、柯西估计与 Liouville 定理
8.1 求导的是内部点,积分变量不变
为了区分变量,把内部点暂记作 。柯西公式为
固定曲线 ,取
在内部。形式求导时
两个负号抵消。但不能只写形式计算,还要解释为什么可以把导数放进积分。
8.2 用差商和一致估计补齐交换步骤
设 ,取
,且
仍在内部。两次柯西公式相减并除以
:
核与极限核的差满足
因为 、
。这个上界对曲线上所有
都成立,因此核一致收敛。乘上曲线上有限的
,再用 ML 不等式,积分误差也趋于零。所以
继续对核求导,在内部紧子集上分母始终与零有正距离,同样的估计允许逐次求导,得到
这说明一旦在邻域上有柯西公式,就能推出所有阶导数。结合一般柯西定理,全纯自动无限次复可微;更进一步还可由核的几何级数展开推出局部幂级数表示。本篇完整使用的是前述 版本,不需要先借这些后续结论补充 Green 定理的条件。
8.3 柯西估计
在以 为中心、半径
的圆上,若
,并且
在整个闭圆盘附近满足公式条件,则
因此
对一般函数, 可能随
增长,不能随便令右边趋于零。Liouville 的关键是存在一个与半径无关的全局上界
。
8.4 Liouville 的证明
假设 在整个复平面全纯且属于本篇已证的
类,并且对所有
都有
。任取
,由于任意大的闭圆盘都位于定义域内,
令 ,得
。
任意,所以导数处处为零。
补上最后一步:任取 ,沿线段
,有
实部、虚部作为实函数都为常数,故 ,
是常数。
一般 Liouville 定理同样不需要额外假设 ,因为一般柯西公式成立;在代数基本定理的应用中,我们已经独立知道
光滑,因此没有逻辑缺口。
8.5 “估计导出矛盾”到底是哪一层
Liouville 本身用估计直接把导数压成零,并不一定要反证。用于代数基本定理时,才把它放入“假设多项式无根”的反证链中。你在原对话提出的直觉可以精确写成:柯西公式提供导数估计,估计给出刚性,刚性排除无根的非常数多项式。