洛朗级数计算留数

本次我们来学习有关留数计算的相关内容。我们都知道在数学物理方法中使用留数去计算积分的值是十分常见，而且十分方便，不过如何计算留数则成为了一个问题，如果我们不能计算出留数的值，我们自然也不可能将积分计算出来，下面我们来学习一下如何去计算留数

洛朗展开计算留数

核心思想

函数 $f(z)$ 在其孤立奇点 $z_0$ 的留数，被定义为其在该点洛朗展开式中 $(z-z_0)^{-1}$ 项的系数，通常记为 $c_{-1}$。

比如函数 $f(z)$ 在 $z_0$ 的邻域内的洛朗级数为：

\[f(z) = \sum_{n=-\infty}^{\infty} c_n (z-z_0)^n = \dots + \frac{c_{-2}}{(z-z_0)^2} + \frac{c_{-1}}{z-z_0} + c_0 + c_1(z-z_0) + \dots\]

那么，函数 $f(z)$ 在 $z_0$ 点的留数就是：

\[\text{Res}(f, z_0) = c_{-1}\]

计算步骤

1. 确定奇点：找出函数 $f(z)$ 的孤立奇点 $z_0$。
2. 进行洛朗展开：将函数 $f(z)$ 在奇点 $z_0$ 附近展开为洛朗级数。通常利用已知的泰勒级数（如 $e^z, \sin z, \cos z, \frac{1}{1-z}$ 等）来简化计算。
3. 寻找系数：在展开式中，找到 $(z-z_0)^{-1}$ 这一项。
4. 确定留数：该项的系数 $c_{-1}$ 就是所求的留数。

示例

计算函数 $f(z) = \frac{e^z}{z^3}$ 在奇点 $z_0 = 0$ 处的留数。

1. 奇点：显然， $z_0 = 0$ 是一个孤立奇点（3阶极点）。

2. 洛朗展开：我们可以计算出函数在 $z=0$ 处的洛朗展开式为：

\[f(z) = \frac{1}{z^3} + \frac{1}{z^2} + \frac{1}{2z} + \frac{1}{6} + \frac{z}{24} + \dots\]

1. 寻找系数：在上面的展开式中， $z^{-1}$ (即 $\frac{1}{z}$) 项是 $\frac{1}{2z}$。

2. 确定留数：该项的系数是 $\frac{1}{2}$。因此，

\[\text{Res}(f, 0) = \frac{1}{2}\]

简单方法

计算方法

对于极点（也就是说其洛朗展开只有有限项），除了洛朗展开，还可以使用更快捷的留数公式计算。

• 一阶极点：$\text{Res}(f, z_0) = \lim_{z \to z_0} (z-z_0)f(z)$
• m阶极点：$\text{Res}(f, z_0) = \frac{1}{(m-1)!} \lim_{z \to z_0} \frac{d^{m-1}}{dz^{m-1}} [(z-z_0)^m f(z)]$

  示例

  计算函数 $f(z) = \frac{e^z}{z^3}$ 在奇点 $z_0 = 0$ 处的留数。

分析

1. 确定奇点类型： 函数 $f(z)$ 可以写成 $\frac{g(z)}{h(z)}$ 的形式，其中 $g(z) = e^z$，$h(z) = z^3$。
   • 分子 $g(z) = e^z$ 在 $z=0$ 处解析，且 $g(0) = e^0 = 1 \neq 0$。
   • 分母 $h(z) = z^3$ 在 $z=0$ 处有一个3阶零点。 因此，$z_0 = 0$ 是函数 $f(z)$ 的一个3阶极点。
2. 应用公式： 对于 $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]\) 在本例中，$z_0 = 0$ 且 $m=3$，所以公式变为： \(\text{Res}(f, 0) = \frac{1}{(3-1)!} \lim_{z \to 0} \frac{d^2}{dz^2} \left[ (z-0)^3 f(z) \right]\) \(\text{Res}(f, 0) = \frac{1}{2!} \lim_{z \to 0} \frac{d^2}{dz^2} \left[ z^3 \cdot \frac{e^z}{z^3} \right]\)

计算步骤

1. 化简函数： 首先计算方括号内的表达式： \(z^3 \cdot \frac{e^z}{z^3} = e^z\)

2. 求导： 接下来，我们需要对 $e^z$ 求二阶导数：
   • 一阶导数: $\frac{d}{dz}(e^z) = e^z$
   • 二阶导数: $\frac{d^2}{dz^2}(e^z) = \frac{d}{dz}(e^z) = e^z$

3. 取极限： 现在计算极限： \(\lim_{z \to 0} e^z = e^0 = 1\)

4. 最终计算： 将结果代回公式： \(\text{Res}(f, 0) = \frac{1}{2!} \cdot 1 = \frac{1}{2} \cdot 1 = \frac{1}{2}\)

所以函数 $f(z) = \frac{e^z}{z^3}$ 在其3阶极点 $z_0 = 0$ 处的留数为 $\frac{1}{2}$。