复分析中的留数定理
我们先从一个具体的计算问题开始理解。考虑实积分 ∫{-∞}^{∞} 1/(1+x²) dx。这个积分可以用初等微积分计算(原函数是 arctan x),结果是 π。但是,如果考虑更复杂的积分,比如 ∫{-∞}^{∞} cos(x)/(1+x²) dx,初等方法就困难了。留数定理为解决这类积分提供了强大而优雅的工具。它的核心思想是:将实轴上的积分与复平面上闭曲线积分联系起来,而闭曲线积分可以通过计算被积函数在曲线内部奇点处的“留数”之和来轻松求解。
第一步:理解奇点与洛朗级数
在复分析中,全纯函数在其定义域内无穷阶可导,性质非常好。但很多函数并非处处全纯,它们会有一些“奇点”,即函数不再全纯的点。奇点分为几类(可去奇点、极点、本性奇点)。对于我们应用留数定理最常见的,是极点。
在极点 a 的附近,函数 f(z) 可以展开成洛朗级数:f(z) = Σ_{n=-∞}^{∞} c_n (z-a)^n。这个展开式中,(z-a)^{-1} 项的系数 c_{-1} 具有特殊的重要性,它被称为函数 f(z) 在点 a 的留数,记作 Res(f, a)。
为什么这个系数如此特殊? 考虑一个简单的闭曲线积分:∮_C (z-a)^n dz,其中 n 为整数,C 是以 a 为圆心的圆周。当 n ≠ -1 时,被积函数有原函数,由柯西积分定理,积分为 0。当 n = -1 时,计算得 ∮C 1/(z-a) dz = 2πi。因此,在洛朗级数中,只有 (z-a)^{-1} 项对闭曲线积分有非零贡献,其贡献正好是 2πi * c{-1}。
第二步:柯西积分定理与柯西积分公式的推广
柯西积分定理说:如果函数在全纯区域内的简单闭曲线上及内部全纯,则沿该曲线的积分为零。如果函数在曲线内部有奇点呢?柯西积分公式处理了函数形式为 f(z)/(z-a)(其中 f 全纯)的情况,给出了积分值为 2πi f(a)。这可以看作是 f(z)/(z-a) 在奇点 a 处的留数(即 f(a))乘以 2πi。
留数定理是这一思想的极大推广:
留数定理:设函数 f(z) 在简单闭曲线 C 所围成的区域 D 内,除有限个孤立奇点 z_1, z_2, ..., z_n 外全纯,并在 C 上连续,则
∮C f(z) dz = 2πi Σ{k=1}^{n} Res(f, z_k)。
理解:这个定理告诉我们,计算一个复变函数沿闭曲线的积分,完全等价于找到曲线内部所有奇点,计算每个奇点处的留数(一个复数),把它们加起来,再乘以 2πi。这极大地简化了复杂积分的计算。
第三步:如何计算留数
对于常见的极点,有实用的计算公式:
- 一阶极点(单极点):若 a 是 f(z) 的一阶极点,则 Res(f, a) = lim_{z→a} (z-a) f(z)。
- m 阶极点:若 a 是 f(z) 的 m 阶极点,则 Res(f, a) = 1/((m-1)!) * lim_{z→a} d^{m-1}/dz^{m-1} [(z-a)^m f(z)]。
特别地,若 f(z) = P(z)/Q(z),其中 P、Q 在 a 点全纯,Q(a)=0,Q‘(a)≠0,P(a)≠0,则 a 是单极点,且 Res(f, a) = P(a)/Q'(a)。
第四步:应用——计算实积分
这是留数定理最迷人的地方。常见方法有:
- 类型一:∫_{0}^{2π} R(cosθ, sinθ) dθ,其中 R 是有理函数。作代换 z = e^{iθ},则 cosθ = (z+z⁻¹)/2, sinθ = (z-z⁻¹)/(2i), dθ = dz/(iz)。积分化为单位圆周 |z|=1 上的复积分,再用留数定理。
- 类型二:∫_{-∞}^{∞} f(x) dx,其中 f(x) 是有理函数或含三角函数的特定形式。关键思想是:将积分路径从实轴补充为一个闭合回路(通常取上半平面的大半圆或矩形)。需要验证在补充的弧段上积分趋于零(利用若尔当引理处理含三角函数的积分)。然后应用留数定理计算闭曲线积分,其实轴部分即所求积分。
例如,计算 I = ∫{-∞}^{∞} 1/(1+x²) dx。令 f(z)=1/(1+z²)。在上半平面,f(z) 有一个单极点 z=i。计算留数:Res(f, i) = lim{z→i} (z-i)/(z²+1) = lim_{z→i} 1/(z+i) = 1/(2i)。取上半平面的大半圆闭曲线,应用留数定理得 ∮C f(z) dz = 2πi * (1/(2i)) = π。可以证明在大圆弧上积分为零,因此沿实轴的积分即为 π,与初等结果一致。对于更复杂的 ∫{-∞}^{∞} cos(x)/(1+x²) dx,可考虑复函数 e^{iz}/(1+z²),同样利用上半平面极点 z=i 计算留数,最终得到结果为 π/e。
第五步:更深层的意义
留数定理不仅是一个计算工具,它深刻揭示了全纯函数的局部性质(在奇点处的留数)与其全局性质(沿闭曲线的积分)之间的紧密联系。它是柯西积分理论的核心成果,在计算定积分、级数求和、以及研究解析函数的零点与极点分布(辐角原理)等方面都有根本性的应用。通过将实数域的问题“解析延拓”到复数域,留数定理借助复分析的强大力量,解决了许多实分析中难以处理的问题。