文章目录

留数定理计算实积分的围道积分技巧

发布于 2026-07-20 08:40:43 · 浏览 29 次 · 评论 0 条

留数定理计算实积分的围道积分技巧

步骤一:理解核心思想

确定要计算的实积分,通常形式为 $ \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 $ 内部的孤立奇点。


步骤二:构造合适的围道

选择围道类型,最常用的是半圆围道。构造步骤如下:

  1. 画出实轴上从 $ -R $ 到 $ R $ 的直线段。
  2. 补上上半平面(或下半平面)的半径为 $ R $ 的半圆弧,记为 $ C_R $。
  3. 组合这两部分形成一个封闭围道 $ 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 $。

以上步骤适用于绝大多数实积分的计算。掌握这些技巧,即可将复杂实积分转化为简单的代数留数计算。

评论 (0)

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

扫一扫,手机查看

扫描上方二维码,在手机上查看本文