留数与留数定理

留数定义

设$z_0$是解析函数f(z)的孤立奇点，我们把$f(z)$在$z_0$处的洛朗展开中的负一次幂项的系数$C_{-1}$称为$f(z)$在$z_0$的留数。记作$Res\left[f(z),z_0\right]$,即
$$Res\left[f(z),z_0\right]=C_{-1}$$
显然，留数$C_{-1}$就是积分${\oint }_{C}f(z)\mathrm{d}z$的值，其中$C$为解析函数$f(z)$的$z_0$的去心领域内绕$z_0$的闭曲线

无穷远点的留数

设$\infty$为$f(z)$的孤立奇点,即$f(z)$在圆环域$R<\left|z\right|<+\infty$内解析，则称
$\frac{1}{2\pi i}{\oint }_{C^{-}}f(z)\mathrm{d}z(C:\left|z\right|=\rho >R)$
为$f(z)$在$\infty$的留数，记为$Res\left[f(z),\infty \right]$
若$f(z)$在$R<\left|z\right|<+\infty$的洛朗展式为$f(z)={\sum }_{n=-\infty }^{+\infty }{C}_n{z}^n$,则有
$$Res\left[f(z),\infty \right]=-C_{-1}$$

留数定理

设函数$f(z)$在区域$D$内除有限孤立奇点$z_1,z_2,\cdots ,z_n$处处解析，$C$是$D$内包围各起点的一条正向简单闭曲线，那么
$${\oint }_{C}f(z)\mathrm{d}z=2\pi i\sum _{k=1}^{n}Res\left[f(z),z_0\right]$$

留数计算

准则1

若$z_0$为$f(z)$的简单极点，则
$$Res\left[f(z),z_0\right]=\underset{z\to z_0}{\lim }(z-z_0)f(z)$$
证明:
$$\begin{array}{rl}f(z)& =\frac{C_{-1}}{z-z_0}+\sum _{n=0}^{\infty }{C}_n(z-z_0{)}^n(0<\left|z-z_0\right|<\delta )\\ (z-z_0)f(z)& =C_{-1}+\sum _{n=0}^{\infty }{C}_n(z-z_0{)}^{n+1}\\ \underset{z\to 0}{\lim }(z-z_0)f(z)& =C_{-1}\end{array}$$

准则2

设$f(z)=\frac{P(z)}{Q(z)}$,其中$P(z),Q(z)$在$z_0$处解析，若$P(z_0)\ne 0,z_0$为$Q(z)$的一阶零点，则$z_0$为$f(z)$的一阶极点，且
$$Res\left[f(z),z_0\right]=\frac{P(z_0)}{Q^{\prime }(z_0)}$$
证明：
因为$z_0$为$Q(z)$的一阶零点,故$z_0$为$\frac{1}{Q(z)}$的一阶极点，因此
存在$\varphi (z)$在$z_0$处解析，且$\varphi (z_0)\ne 0$,使得
$$\frac{1}{Q(z)}=\frac{1}{z-z_0}\varphi (z)$$
$$f(z)=\frac{g(z)}{z-z_0}$$
其中$g(z)=P(z)\varphi (z),g(z)$在$z_0$处解析,故$z_0$为$f(z)$的一阶极点.
根据准则1
$$C_{-1}=\underset{z\to 0}{\lim }(z-z_0)f(z)=\underset{z\to 0}{\lim }\frac{P(z)}{\frac{Q(z)-Q(z_0)}{z-z_0}}=\frac{P(z_0)}{Q^{\prime }(z_0)}$$

准则3

如果$z_0$为$f(z)$的$m$阶极点，则
$$Res\left[f(z),z_0\right]=\frac{1}{(m-1)!}\underset{z\to 0}{\lim }\frac{{\mathrm{d}}^{m-1}}{\mathrm{d}{z}^{m-1}}\left[(z-z_0{)}^{m}f(z)\right]$$
证明：由于
$$\begin{array}{rl}f(z)& =\sum _{k=-m}^{\infty }{C}_k(z-z_0{)}^k\\ (z-z_0{)}^{m}f(z)& =\sum _{k=-m}^{\infty }{C}_k(z-z_0{)}^{k+m}\\ \underset{z\to 0}{\lim }\frac{{\mathrm{d}}^{m-1}}{\mathrm{d}{z}^{m-1}}\left[(z-z_0{)}^{m}f(z)\right]& =C_{-1}(m-1)!\end{array}$$
故
$$Res\left[f(z),z_0\right]=\frac{1}{(m-1)!}\underset{z\to 0}{\lim }\frac{{\mathrm{d}}^{m-1}}{\mathrm{d}{z}^{m-1}}\left[(z-z_0{)}^{m}f(z)\right]$$

引理

若$f(z)$在扩充复平面上只有有限个孤立奇点（包括无穷远点），设为$z_1,z_2,\cdots ,z_n,\infty$,则$f(z)$在各点的留数总和为$0$
证明：
考虑充分大的正数$R$，使得$z_1,z_2,\cdots ,z_n$全在$\left|z\right|<R$内，于是由留数定理可得
$${\oint }_{|z|=R}f(z)\mathrm{d}z=2\pi i\sum _{k=1}^{n}Res\left[f(z),z_0\right]$$
而
$$\frac{1}{2\pi i}{\oint }_{|z|=R}f(z)\mathrm{d}z=-Res\left[f(z),\infty \right]$$
所以
$$\sum _{k=1}^{n}Res\left[f(z),z_0\right]+Res\left[f(z),\infty \right]=0$$

准则4

$$Res\left[f(z),\infty \right]=-Res\left[f(\frac{1}{z})\frac{1}{z^2},0\right]$$
证明:
在无穷远点的留数定义中，设$z=\rho e^{i\theta }$,并设$z=\frac{1}{\xi }$,则有$\xi =r{e}^{i\varphi }(r=\frac{1}{\rho },\varphi =-\theta )$
$$\begin{array}{rl}& Res\left[f(z),\infty \right]\\ & =\frac{1}{2\pi i}{\oint }_{C^{-}}f(z)\mathrm{d}z\\ & =\frac{1}{2\pi i}{\int }_0^{-2\pi }f(\rho e^{i\theta })\rho i{e}^{i\theta }\mathrm{d}\theta \\ & =-\frac{1}{2\pi i}{\int }_0^{2\pi }f(\frac{1}{r{e}^{i\varphi }})\frac{i}{r{e}^{i\varphi }}\mathrm{d}\varphi \\ & =-\frac{1}{2\pi i}{\int }_0^{2\pi }f(\frac{1}{r{e}^{i\varphi }})\frac{1}{(r{e}^{i\varphi }{)}^2}\mathrm{d}(r{e}^{i\varphi })\\ & =-\frac{1}{2\pi i}{\oint }_{|\xi |=\frac{1}{\rho }}f(\frac{1}{\xi })\frac{1}{{\xi }^2}\mathrm{d}\xi \end{array}$$
由于$f(z)$在$\rho <\left|z\right|<+\infty$内解析,从而$f(\frac{1}{\xi })在0<\left|\xi \right|<\frac{1}{\rho }$内解析，因此$f(\frac{1}{\xi })\frac{1}{{\xi }^2}在\left|\xi \right|<\frac{1}{\rho }$内除了
$\xi =0$外没有其他的奇点，由留数定理得
$$\frac{1}{2\pi i}{\oint }_{|\xi |=\frac{1}{\rho }}f(\frac{1}{\xi })\frac{1}{{\xi }^2}\mathrm{d}\xi =Res\left[f(\frac{1}{\xi })\frac{1}{{\xi }^2},0\right]$$

留数定理算实积分

类型1

形如${\int }_0^{2\pi }R(\cos \theta ,\sin \theta )\mathrm{d}\theta$的积分
令$z=e^{i\theta },\mathrm{d}z=i{e}^{i\theta }\mathrm{d}\theta$,
$\sin \theta =\frac{e^{i\theta }-e^{i\theta }}{2i}=\frac{z^2-1}{2iz},\cos \theta =\frac{e^{i\theta }+e^{i\theta }}{2}=\frac{z^2+1}{2z}$
$R(\cos \theta ,\sin \theta )$是$\cos \theta ,\sin \theta$的有理函数，它作为$\theta$的函数，在$0\le \theta \le 2\pi$上连续。当$\theta$经历变程$\left[0,2\pi \right]$时,对应的$z$正好沿着单位圆$\left|z\right|=1$的正向绕行一周，$f(z)=R\left(\frac{z^2+1}{2z},\frac{z^2-1}{2iz}\right)$在积分闭路上$\left|z\right|=1$上无奇点，则
$$\begin{array}{rl}& {\oint }_0^{2\pi }R(\cos \theta ,\sin \theta )\mathrm{d}\theta \\ & ={\oint }_{|z|=1}R(\frac{z^2+1}{2z},\frac{z^2-1}{2iz})\frac{\mathrm{d}z}{iz}\\ & ={\oint }_{|z|=1}f(z)\mathrm{d}z\\ & =2\pi i\sum _{k=1}^{n}Res\left[f(z),z_k\right]\end{array}$$

小圆弧引理

$f(z)$在$C:z=z_0+\rho e^{i\theta }(\theta \in \left[\alpha ,\beta \right])$上连续,且$\underset{z\to z_0}{\lim }(z-z_0)f(z)=A$,则
$$\underset{z\to z_0}{\lim }{\int }_{C}f(z)\mathrm{d}z=i(\beta -\alpha )A$$

大圆弧引理

$f(z)$在$C:z=z_0+\rho e^{i\theta }(\theta \in \left[\alpha ,\beta \right])$上连续,且$\underset{z\to \infty }{\lim }(z-z_0)f(z)=A$,则
$$\underset{z\to \infty }{\lim }{\int }_{C}f(z)\mathrm{d}z=i(\beta -\alpha )A$$

类型2

形如${\int }_{-\infty }^{+\infty }R(x)\mathrm{d}x$的积分
其中$R(z)=\frac{P(z)}{Q(z)}=\frac{a_0{z}^n+a_1{z}^{n-1}+\cdots +a_n}{b_0{z}^m+b_1{z}^{m-1}+\cdots +b_m}(a_0,b_0\ne 0,m-n\ge 2)$
满足

1. $Q(z)$比$P(z)$至少高两次
2. $Q(z)$在实轴上无零点
3. $R(z)$在上半平面$Imz>0$内的极点为$z_k(k=1,2,\cdots ,n)$

则有
$${\int }_{-\infty }^{+\infty }R(x)\mathrm{d}x=2\pi i\sum _{k=1}^{n}Res\left[R(z),z_k\right]$$
证明：
作围道

$C_R:z=R{e}^{i\theta }(0\le \theta \le \pi )$
当$R$充分大，所有的极点都包含在积分路径内,
$${\int }_{-R}^{R}R(x)\mathrm{d}x+{\int }_{C_R}R(z)\mathrm{d}z=2\pi i\sum _{k=1}^{n}Res\left[R(z),z_k\right]$$
$$\underset{R\to +\infty }{\lim }zR(z)=0$$
由大圆弧引理
$$\underset{R\to +\infty }{\lim }{\int }_{C_R}R(z)\mathrm{d}z=i(\pi -0)0=0$$
所以
$${\int }_{-\infty }^{+\infty }R(x)\mathrm{d}x=2\pi i\sum _{k=1}^{n}Res\left[R(z),z_k\right]$$

若尔当引理

引理

当$0\le \theta \le \frac{\pi }{2}$时,$\frac{2\pi }{\theta }\le \sin \theta$
证明:
$f(\theta )=\frac{\sin \theta }{\frac{2\theta }{\pi }}=\frac{\pi \sin \theta }{2\theta }$
$f^{\prime }(\theta )=\frac{\pi }{2}\frac{\theta \cos \theta -\sin \theta }{{\theta }^2}$
$g(\theta )=\theta \cos \theta -\sin \theta$
$g^{\prime }(\theta )=-\theta \sin \theta <0$
$g(\theta )\le g(0)=0$
$f^{\prime }(\theta )\le 0$
$f(\theta )\ge f(\frac{\pi }{2})=1$
$\frac{2\pi }{\theta }<\sin \theta$

若尔当引理

设函数$g(z)$在闭区域${\theta }_1\le \arg z\le {\theta }_2,R_0\le \left|z\right|\le +\infty (R_0\ge 0,0\le {\theta }_1\le {\theta }_2\le \pi )$上连续,并设$C_R$是该闭区域上的一段以原点为中心，$R(R>R_0)$为半径的圆弧，若当z在该闭区域上时$\underset{z\to \infty }{\lim }g(z)=0$
则对任何$a>0$，有
$$\underset{R\to \infty }{\lim }{\int }_{C_R}g(z)e^{iaz}\mathrm{d}z=0$$
证明：
由$\underset{z\to \infty }{\lim }g(z)=0$
$\forall ϵ>0,\exists R_1(ϵ)>0$，当$R>R_1(ϵ)$时，对一切在$C_R$上的$z$,有$\left|g(z)\right|<ϵ$,于是
$$\begin{array}{rl}& \left|{\int }_{C_R}g(z)e^{iaz}\mathrm{d}z\right|\\ & =\left|{\int }_{{\theta }_1}^{{\theta }_2}g(R{e}^{i\theta })e^{iaR{e}^{i\theta }}R{e}^{i\theta }i\mathrm{d}\theta \right|\\ & =\left|{\int }_{{\theta }_1}^{{\theta }_2}g(R{e}^{i\theta })e^{iaR\cos \theta }{e}^{iaRi\sin \theta }R{e}^{i\theta }i\mathrm{d}\theta \right|\\ & \le R{\int }_{{\theta }_1}^{{\theta }_2}\left|g(R{e}^{i\theta })\right|e^{-aR\sin \theta }\mathrm{d}\theta \\ & <Rϵ{\int }_{{\theta }_1}^{{\theta }_2}{e}^{-aR\sin \theta }\mathrm{d}\theta \\ & \le Rϵ{\int }_0^{\pi }{e}^{-aR\sin \theta }\mathrm{d}\theta \\ & =2Rϵ{\int }_0^{\frac{\pi }{2}}{e}^{-aR\sin \theta }\mathrm{d}\theta \\ & \le 2Rϵ{\int }_0^{\frac{\pi }{2}}{e}^{-aR\frac{2\theta }{\pi }}\mathrm{d}\theta \\ & =\frac{\pi ϵ}{a}(1-e^{-aR})\\ & <\frac{\pi ϵ}{a}\end{array}$$
所以
$$\underset{R\to \infty }{\lim }{\int }_{C_R}g(z)e^{iaz}\mathrm{d}z=0$$

类型3

形如${\int }_{-\infty }^{+\infty }R(x)e^{iaz}\mathrm{d}z(a>0)$
满足

1. $R(x)$是真分式
2. 实轴上无奇点

则
$${\int }_{-\infty }^{+\infty }R(x)e^{iax}\mathrm{d}x=2\pi i\sum _{k=1}^{n}Res\left[f(z),z_k\right]$$
证明:
作围道

$C_R:z=R{e}^{i\theta }(0\le \theta \le \pi )$
当$R$充分大，所有的极点都包含在积分路径内,
$${\int }_{-R}^{R}R(x)e^{iaz}\mathrm{d}x+{\int }_{C_R}R(z)e^{iaz}\mathrm{d}z=2\pi i\sum _{k=1}^{n}Res\left[R(z),z_k\right]$$
由若尔当引理
$${\int }_{C_R}R(z)e^{iaz}\mathrm{d}z=0$$
所以
$${\int }_{-\infty }^{+\infty }R(x)e^{iax}\mathrm{d}x=2\pi i\sum _{k=1}^{n}Res\left[f(z),z_k\right]$$