留数定理计算实积分的围道积分技巧
步骤一:理解核心思想
确定要计算的实积分,通常形式为 $ \int_{-\infty}^{\infty} f(x) dx $ 或 $ \int_{0}^{2\pi} R(\cos\theta, \sin\theta) d\theta $。
理解留数定理的基本公式:对于一个封闭围道 $ C $,围道上的积分等于 $ 2\pi i $ 乘以围道内所有奇点的留数之和。公式为:
$$
\oint_C f(z) dz = 2\pi i \sum_{k=1}^n \text{Res}(f, z_k)
$$
其中 $ z_k $ 是 $ f(z) $ 在围道 $ C $ 内部的孤立奇点。
步骤二:构造合适的围道
选择围道类型,最常用的是半圆围道。构造步骤如下:
- 画出实轴上从 $ -R $ 到 $ R $ 的直线段。
- 补上上半平面(或下半平面)的半径为 $ R $ 的半圆弧,记为 $ C_R $。
- 组合这两部分形成一个封闭围道 $ C = [-R, R] \cup C_R $。
判断奇点位置:$ f(z) $ 在复平面上可能有孤立奇点。确保围道 $ C $ 不经过任何奇点。如果奇点在上半平面,就选择上半圆围道;反之则选择下半圆围道。
步骤三:计算围道内的留数
识别围道 $ C $ 内部的孤立奇点。孤立奇点有三种类型:可去奇点、极点和本性奇点。对于实积分计算,最常见的是极点。
计算极点的留数。对于 $ m $ 阶极点 $ z_0 $,留数公式为:
$$
\text{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} \left[ (z - z_0)^m f(z) \right]
$$
如果是一阶极点,公式简化为:
$$
\text{Res}(f, z_0) = \lim_{z \to z_0} (z - z_0) f(z)
$$
求和所有内部奇点的留数,得到总和 $ S $。
步骤四:处理围道上的积分
拆分围道积分。根据留数定理:
$$
\oint_C f(z) dz = \int_{-R}^{R} f(x) dx + \int_{C_R} f(z) dz = 2\pi i S
$$
让 $ R \to \infty $。此时,判断半圆弧上的积分 $ \int_{C_R} f(z) dz $ 是否趋近于 0。
应用大圆弧引理(Jordan引理):如果 $ f(z) $ 在 $ |z| $ 很大时满足 $ |f(z)| \leq \frac{M}{|z|^p} $,其中 $ p > 0 $,且 $ M $ 是常数,那么当 $ R \to \infty $ 时,半圆弧上的积分趋向于 0。
提取实积分。当半圆弧积分为 0 时:
$$
\lim_{R \to \infty} \int_{-R}^{R} f(x) dx = 2\pi i S
$$
所以原实积分等于 $ 2\pi i S $。
步骤五:处理特殊类型的实积分
类型一:有理函数的无穷积分
处理形如 $ \int_{-\infty}^{\infty} \frac{P(x)}{Q(x)} dx $ 的积分,其中 $ P $ 和 $ Q $ 是多项式,且 $ \deg(Q) \geq \deg(P) + 2 $。
构造上半圆围道。验证 $ Q(x) $ 在实轴上没有实根,且分母次数足够高,使得半圆弧积分自动为 0。
计算上半平面内 $ Q(z) = 0 $ 的根对应的留数,然后乘以 $ 2\pi i $。
示例:计算 $ \int_{-\infty}^{\infty} \frac{dx}{x^2 + 1} $。
- $ f(z) = \frac{1}{z^2 + 1} $,有一阶极点 $ z = i $ 和 $ z = -i $。
- 上半平面内只有 $ z = i $。
- 留数为 $ \text{Res}(f, i) = \lim_{z \to i} (z - i) \cdot \frac{1}{(z - i)(z + i)} = \frac{1}{2i} $。
- 积分值为 $ 2\pi i \cdot \frac{1}{2i} = \pi $。
类型二:含三角函数的积分
处理形如 $ \int_{-\infty}^{\infty} \frac{\cos(ax) \text{ 或 } \sin(ax)}{Q(x)} dx $ 的积分。
替换 $ e^{iax} $ 代替 $ \cos(ax) $ 或 $ \sin(ax) $;考虑 $ f(z) = \frac{e^{iaz}}{Q(z)} $。
构造上半圆围道。应用Jordan引理:当 $ a > 0 $ 时,上半圆弧积分趋向于 0。
计算留数。取实部(如果是余弦)或虚部(如果是正弦)得到原积分。
类型三:含三角函数的定积分
处理形如 $ \int_{0}^{2\pi} R(\cos\theta, \sin\theta) d\theta $ 的积分,其中 $ R $ 是有理函数。
使用欧拉公式,令 $ z = e^{i\theta} $,则 $ d\theta = \frac{dz}{iz} $,$ \cos\theta = \frac{z + z^{-1}}{2} $,$ \sin\theta = \frac{z - z^{-1}}{2i} $。
转化为复平面上的围道积分:$ \sin\theta = \frac{z - z^{-1}}{2i} $。
积分路径变成单位圆周 $ |z| = 1 $。
计算单位圆内所有奇点的留数之和,然后乘以 $ 2\pi i $。
步骤六:检查与验证
检查分母次数是否满足条件,否则半圆弧积分可能不为 0。
验证围道内部是否只有选定半平面内的奇点。当奇点落在实轴上时,需要做特殊处理,例如使用绕过法。
确认留数计算是否正确。核对阶数:如果极点阶数判断错误,留数会完全算错。
检验最终结果是否符合物理意义或已知结论。例如,带符号的积分结果可能意味着围道选择错了方向。
步骤七:处理实轴上的奇点
当被积函数在实轴上存在极点时,使用绕过法。
构造小半圆从上方绕过实轴上的奇点,半径为 $ \varepsilon $。计算小半圆上的积分贡献,通常为 $ -\pi i $ 乘以该点的留数(对于顺时针绕过)。
调整围道:构造一条稍微偏离实轴的围道(上半平面方向),经过小半圆将奇点排除在围道之外。
合并所有部分,得到最终实积分等于留数贡献减去实轴上奇点的贡献。
示例:计算 $ \int_{-\infty}^{\infty} \frac{\sin x}{x} dx $。
- $ f(z) = \frac{e^{iz}}{z} $,原点 $ z = 0 $ 在实轴上。
- 绕过原点,上半圆围道包含上半平面但排除原点。
- 计算得到积分值为 $ \pi $。
以上步骤适用于绝大多数实积分的计算。掌握这些技巧,即可将复杂实积分转化为简单的代数留数计算。

暂无评论,快来抢沙发吧!