复变函数论6-留数理论及其应用1-4：函数在无穷远点的留数【设∞为函数f(z)的一个孤立奇点，即f(z)在去心邻域N\{∞}内解析，则称2πi∑Resf(z)为f(z)在点∞的留数】

留数的概念可以推广到无穷远点的情形.

定义 6.2

设 $\infty$ 为函数 $f(z)$ 的一个孤立奇点, 即 $f(z)$ 在去心邻域 N \ { ∞ } : 0 ⩽ r N \backslash\{\infty\}: 0 \leqslant r N\{ ∞}:0⩽r $<|z|<+\infty$ 内解析, 则称

$$\frac{1}{2\pi \mathrm{i}}{\int }_{{\Gamma }^{-}}f(z)\mathrm{d}z(\Gamma :|z|=\rho >r)$$

为 $f(z)$ 在点 $\infty$ 的留数, 记为 $\mathrm{Res}f(z)$, 这里${\Gamma }^{-}$是指顺时针方向(这个方向很自然地可以看作是绕无穷远点的正方向).

设 $f(z)$ 在 $0⩽r<|z|<+\infty$ 内的洛朗展式为

$$f(z)=\cdots +\frac{c_{-n}}{z^n}+\cdots +\frac{c_{-1}}{z}+c_0+c_{1}z+\cdots +c_n{z}^n+\cdots ,$$

由逐项积分定理及第三章例 3.2 , 即知

$$\underset{z=\infty }{\mathrm{Res}}f(z)=\frac{1}{2\pi \mathrm{i}}{\int }_{{\Gamma }^{-}}f(z)\mathrm{d}z=-c_{-1},(6.6)$$

也就是说, ${\mathrm{Res}}_{z=\infty }f(z)$ 等于 $f(z)$ 在点 $\infty$的洛朗展式中 $\frac{1}{z}$ 这一项的系数反号.

定理 6.6

如果函数 $f(z)$ 在扩充 $z$平面上只有有限个孤立奇点(包括无穷远点在内), 设为 a 1 , a 2