留数定理
留数的定义
设 z0 是解析函数 f(z) 的孤立奇点,在 z0 的去心邻域内 f(z) 有洛朗展开
f(z)=n=−∞∑∞cn(z−z0)n
则 c−1 称为 f(z) 在 z0 处的 留数,记作 Res[f,z0]。
由洛朗系数的积分公式,
Res[f,z0]=c−1=2πi1∮Cf(z)dz,
其中 C 是环绕 z0 一周且不包含其他奇点的简单闭曲线(逆时针方向)。
留数定理
定理:设 C 是一条正向简单闭曲线,f(z) 在 C 内部除有限个孤立奇点 z1,z2,…,zn 外处处解析,且在 C 上解析,则
∮Cf(z)dz=2πik=1∑nRes[f,zk]
证明思路:将 C 内每个奇点用小圆周包围,利用复连通区域的柯西定理,将积分转化为各小圆周上积分的和,再由留数定义得证。
留数的计算
对于不同类型的奇点,留数有简便算法:
-
可去奇点:c−1=0。
-
一阶极点:若 z0 为 f(z) 的一阶极点,则
Res[f,z0]=z→z0lim(z−z0)f(z)
特别地,若 f(z)=Q(z)P(z),P(z0)=0,Q(z0)=0,Q′(z0)=0,则
Res[f,z0]=Q′(z0)P(z0)
-
m 阶极点:若 z0 为 m 阶极点,则
Res[f,z0]=(m−1)!1z→z0limdzm−1dm−1[(z−z0)mf(z)]
应用留数定理计算实变函数的定积分
留数定理的核心应用之一是计算某些实变函数的定积分,特别是广义积分。基本思路是将实积分转化为复平面上的围道积分,然后利用留数定理计算。常见的积分类型及处理方法如下。
类型一:三角函数有理式的积分
考虑形如 ∫02πR(cosθ,sinθ)dθ 的积分,其中 R 是 cosθ,sinθ 的有理函数。令 z=eiθ,则 dθ=izdz,cosθ=2z+z−1,sinθ=2iz−z−1,积分变为单位圆上的围道积分:
∫02πR(cosθ,sinθ)dθ=∮∣z∣=1F(z)izdz,
其中 F(z) 是 z 的有理函数。然后计算单位圆内所有奇点的留数和,乘以 2π 即得结果。
类型二:有理函数的无穷积分
考虑形如 ∫−∞∞R(x)dx 的积分,其中 R(x)=P(x)/Q(x),P,Q 为多项式,分母次数至少比分子高两次,且分母无实零点。则
∫−∞∞R(x)dx=2πi上半平面∑Res[R(z),zk],
其中求和取上半平面内的所有孤立奇点(通常是极点)。证明采用上半圆围道,利用大圆弧引理可得。
类型三:含三角函数的无穷积分
考虑形如 ∫−∞∞R(x)eiaxdx 的积分,其中 a>0,R(x) 为有理函数,分母次数高于分子次数,且分母无实零点。则
∫−∞∞R(x)eiaxdx=2πi上半平面∑Res[R(z)eiaz,zk]
取其实部或虚部可得 ∫R(x)cos(ax)dx 或 ∫R(x)sin(ax)dx。证明需用到约当引理(Jordan's Lemma)以确保上半圆弧积分趋于零。
类型四:实轴上有单极点的积分(柯西主值)
若 R(x) 在实轴上有单极点,则需取柯西主值,并以小半圆绕开极点。例如
P.V.∫−∞∞R(x)eiaxdx=πi实轴上极点∑Res+2πi上半平面∑Res
计算定积分的一些例子
例1:计算一个三角函数有理式的积分(a>1)
计算 I=∫02πa+cosθdθ,其中 a>1。
解:令 z=eiθ,则 cosθ=2z+z−1,dθ=dz/(iz),积分化为
I=∮∣z∣=1a+2z+z−11izdz=i2∮∣z∣=1z2+2az+1dz
分母 z2+2az+1=0 的根为 z=−a±a2−1。由于 a>1,两根皆为实数,且乘积为 1,故一根在单位圆内,一根在外。记 z1=−a+a2−1(绝对值小于 1),则
I=i2⋅2πiRes[z2+2az+11,z1]=4π⋅2z1+2a1
计算 2z1+2a=2a2−1,故
I=a2−12π
例2:计算一个有理函数的无穷积分
计算 I=∫−∞∞(x2+1)(x2+4)dx。
解:被积函数是有理函数,分母次数比分子高 4,满足类型二条件。上半平面内的奇点为 z=i(一阶极点)和 z=2i(一阶极点?注意分母 (z2+1)(z2+4)=(z−i)(z+i)(z−2i)(z+2i),所以 z=i,2i 均为单极点)。计算留数:
Res[(z2+1)(z2+4)1,i]=z→ilim(z−i)(z+i)(z2+4)z−i=(2i)(−1+4)1=6i1
Res[(z2+1)(z2+4)1,2i]=z→2ilim(z2+1)(z−2i)(z+2i)z−2i=((−4)+1)(4i)1=−3⋅4i1=−12i1
因此,
I=2πi(6i1−12i1)=2πi⋅12i1=6π
例3:计算一个含三角函数的无穷积分
计算 I=∫−∞∞x2+1cosxdx。
解:考虑 J=∫−∞∞x2+1eixdx,则 I=ReJ。被积函数满足类型三(a=1),上半平面奇点为 z=i(单极点)。计算留数:
Res[z2+1eiz,i]=2iei⋅i=2ie−1
由留数定理,
J=2πi⋅2ie−1=πe−1
故 I=πe−1(即 π/e)。
留数定理巧妙地将实积分与复奇点联系起来,是数学物理方法中极具威力的工具。熟练掌握留数计算,能够大大简化许多复杂定积分的求解过程。