整函数定理-整函数定理

整函数定理：把那些“不整”的地方给整起来 先不说那些精修过的数学教材，直接往脑门上一拍：整函数定理实际上就一句话，说要么整要么不整，要么承认自己是个整函数，要么就是个处处不整的函数。别整那些虚头巴脑的“要是...那么..."，数学大佬们早就把这事儿给厘清透了。 搞不定一类函数，就别在那儿纠结边界条件了。整函数定理最核心的规矩就是：要么是整函数，要么就是个处处有奇点的函数。
这就好比你在走一条路，要么你脚下全是实心的路（整函数），要么你踩到了一百多个坑（奇点），但你能不能跨过这些坑，彻底取决于你手里有没有那个“穿洞”的工具。 拿复变函数最经典的例子来说吧。先看这个函数，$f(z) = frac{1}{z^2 - 4}$。分母那个 $z^2 - 4$，说明它的分母在 $z=2$ 和 $z=-2$ 这两个地方为零。
这两个点就是奇点。根据定理，这个函数要么整体都是整函数（也就是在复平面上除了极点外全是解析的），要么在每一个非整数点都摸不到奇点。目前显然不是第一种情况，出于 $2$ 和 $-2$ 明明就是奇点。
那第二种情况成立吗？只要函数在 $z=2$ 和 $z=-2$ 以外的地方连续且可导，那它就是整函数。 但这个函数显然不知足定义域内连续的条件，出于它就是在这两个点处掉的。
故此，最稳妥的算法就是把这两个点给删掉。去掉这两个奇点后，函数就变成 $f(z) = frac{1}{(z-2)(z+2)}$ 的“空壳”。
这时候再看，这个空壳在复平面上除了 $0$ 这个点，其他地方都是连通的、可导的。剩下的这个空壳就是整函数，它只在 $z=0$ 处有一个极点。 便，整函数定理给出的最终结论就出来了：原函数 $f(z)$ 不可能是整函数，但它也不是一个处处有奇点的函数，它就是奇点函数。最离谱的是，这个函数在 $0$ 处的留数是多少？把洛朗展开一算，$f(z) = frac{1}{4}(frac{1}{z} + 1 - z + dots)$，一眼就能看出 $z^{-1}$ 的系数是 $1/4$。
故此，它的留数就是 $1/4$。 再换个思路试试，假设它是个整函数，这就意味着它不能有奇点。但刚刚那个 $z=0$ 的极点，如何整掉呢？在解析函数里，奇点就是非解析点，如何消要不就解析点？只有一种办法：去掉它。但去掉它之后，函数在 $z=0$ 处还变“整”了吗？显然变不了，出于 $z=0$ 这个位置本身就归于“处处有一个极点”的定义范畴。
这就好比你要给一个带刺的球体穿上完美的无刺衣服，结局发现那个刺本身就是衣服的一局部，越缝越乱。 这里有个小技巧，叫“留数定理”。
要是知道留数，就能直接跳到“留数”和“积分”的关系。
比如刚刚那个 $f(z)$，在复平面上积分 $oint_C f(z)dz$，要是不走 $0$ 点那条线，直接绕个大圈积分一圈，结局等于 $2pi i times text{Res}(f, 0) = 2pi i times (1/4)$。 再举个更接地气的例子，比如 $g(z) = frac{1}{z^2}$。奇点就在 $0$ 点。去掉这个点之后，剩下的局部在复平面上除了 $0$ 外全是解析的。
故此它是奇点函数（留数为无穷大？不对，留数定理针对的是单极点，这里 $0$ 是二阶极点，就不适用留数定理了，直接看 Laurent 展开，$z^{-2}$ 的系数是无穷大？这里得停一下，二阶极点意味着 $z$ 的负幂次不够，要么系数是无穷大，故此不能用留数定理求值，只能直接看它是奇点函数，留数是无穷大的概念在这里不适用，要么说留数本身就是无穷大的点）。 实际上不用管如此深，数学界都公认一个事实：只要把 $z=0$ 这一刀切掉，函数在剩下的局部就完美了。
这就是整函数定理在起功能。 有时候大家会问，这个定理到底能证明啥？它能证明啥呢？它证明白：要么处处连续要么处处不连续，要么处处有奇点要么处处没有奇点。
这就是定理的全体力量。它把那些乱七八糟的、边界不清楚不清的函数，给逼成了一个分类明确的模型。 再想想实际应用，比如电动力学里的高斯定理。电场强度 $E$ 和电场线 $D$ 一样，都是奇函数。
要是电场线在某个点上突然消亡，那它一定是奇点函数，它在其他点都是连续的。
要是电场线在某个点突然拐弯，那它一定是整函数，它在其他点都是解析的。
这个逻辑和复变函数里的整函数定理一模一样，只是物理上叫高斯定理，数学上叫整函数定理。 还有啊，复变函数里的罗素树定理。罗素树就是用来画复平面上所有奇点图形的工具。
要是罗素树里面只有实轴和虚轴，那它就是整函数，它在复平面之外的所有地方都是解析的，除了原点。
要是罗素树里有别的线，比如斜线，那它就是奇点函数。
这个定理的功能就是告诉你，如何用最少的线条，把所有的“不整”都画出来。 最终总结一下，整函数定理实际上就是一个分类器。它看着那些看起来模棱两可的函数，一眼就能分清是整函数还是奇点函数。它不需求你再去纠结边界，也不需求你再去证明啥定理，它直接告诉你结局：要么整，要么不整，要么就是个奇点函数。
这就够了。