留数定理笔记

留数理论

留数理论：设$f$在$a$点全纯${}^{【2】}$，那么对于$a$点邻域中的任意可求长闭曲线$\gamma$，都有${\oint }_{\gamma }f(z)dz=0$

如果$a$是$f$的孤立奇点${}^{【3】}$，那么上述积分不一定总等于零，且积分值只与$f$和$a$有关．而与$\gamma$无关。

$f$在$a$点邻域中的$Laurent展开式$${}^{【4】}$为：
$$\begin{array}{rl}& f(z)=\sum _{n=-\infty }^{\infty }{c}_n(z-a{)}^n\\ & c_n=\frac{1}{2\pi i}{\oint }_{\gamma }\frac{f(\zeta )}{(\zeta -a{)}^{n+1}}d\zeta ,n=0,\pm 1,\pm 2\end{array}$$$n=-1$时，有：$c_{-1}=\frac{1}{2\pi i}{\oint }_{\gamma }f(\zeta )d\zeta$

$c_{-1}$为$f$在$a$点的留数：$Res[f;a]=c_{-1}$

∴   ∮ γ f ( z ) d z = 2 π i   R e s [ f ;   a ] ，其中 γ = { z : ∣ z − a ∣ = ρ } , 0 < ρ < r 若 z = ∞ 是孤立奇点，即： R < ∣ z ∣ < ∞ 内 全 纯 ， 则 z = ∞ 处 留 数 为 ： R e s [ f ;   ∞ ] = − 1 2 π i ∮ γ f ( z ) d z γ = { z : ∣ z ∣ = ρ } , R < ρ < ∞ \therefore\ \oint_\gamma f(z)dz=2\pi i\ Res[f;\ a]\text{，其中}\gamma=\{z:|z-a|=\rho\},0<\rho<r\\ 若z=\infty\text{是孤立奇点，即：}R<|z|<\infty内全纯，则z=\infty处留数为：Res[f;\ \infty]=-\frac1{2\pi i}\oint_\gamma f(z)dz\\ \gamma=\{z:|z|=\rho\},R<\rho<\infty ∴ ∮γ​f(z)dz=2πi Res[f; a]，其中γ={z:∣z−a∣=ρ},0<ρ<r若z=∞是孤立奇点，即：R<∣z∣<∞内全纯，则z=∞处留数为：Res[f; ∞]=−2πi1​∮γ​f(z)dzγ={z:∣z∣=ρ},R<ρ<∞

$Laurent$展开式有时并不那么容易得到，以下方法仍可得到留数：

• 若$a$为$f$一阶极点，则：$$Res[f;a]=\underset{z\to a}{\lim }(z-a)f(z)$$
• 若$a$为$f$的$m$阶极点，则：$$Res[f;a]=\frac{1}{(m-1)!}\underset{z\to a}{\lim }\frac{d^{m-1}}{d{z}^{m-1}}[(z-a{)}^{m}f(z)]$$
• 设$f=\frac{g}{h}$，其中$g、h$都在$a$点全纯，且$g(a)\ne 0,h(a)=0,h^{\prime }(a)\ne 0$，那么：$$Res[f;a]=\frac{g(a)}{h^{\prime }(a)}$$

注意：若为本性极点${}^{【3】}$，则只能通过$Laurent$展开得到留数

留数基本定理

定理一:设$D$为复平面上有界区域，边界$\gamma$由若干简单闭曲线组成，若$f$在$D$内除孤立奇点$z_1,z_2,\cdots ,z_n$外全纯，在闭区域$\overline{D}$除$z_1,z_2,\cdots ,z_n$外连续，那么：$${\oint }_{\gamma }f(z)dz=2\pi i\sum _{k=1}^{n}Res[f;z_k]\text{留数定理}$$

定理二:若$f$在复数域$\mathbf{C}$中除$z_1,z_2,\cdots ,z_n$外全纯，则$f$在$z_1,z_2,\cdots ,z_n$及$z=\infty$处留数之和为零

用留数算积分

1、${\int }_{-\infty }^{+\infty }\mathbf{f}(\mathbf{x})\mathbf{d}\mathbf{x}$型积分

定理一:若$f$在上半平面 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外全纯，在 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外连续，如果${\lim }_{z\to \infty }zf(z)=0$，那么$${\int }_{-\infty }^{+\infty }f(x)dx=2\pi i\sum _{k=1}^{n}Res[f;z_k]$$

推论一:设$P、Q$分别为$m$和$n$阶既约(不可约分)多项式，并且$m\le n-2$，$Q$无实根，那么$${\int }_{-\infty }^{+\infty }\frac{P(x)}{Q(x)}dx=2\pi i\sum _{k=1}^{n}Res\left[\frac{P(x)}{Q(x)};z_k\right]$$

$Jordan$引理:设$f$在 { z : R 0 ≤ ∣ z ∣ < ∞ , I m   z ≥ 0 } \{z:R_0\leq|z| \lt\infty,\mathrm{Im}\ z\geq0\} {z:R0​≤∣z∣<∞,Im z≥0}上连续，且${\lim }_{\genfrac{}{}{0ex}{}{z\to \infty }{\mathrm{Im}z\ge 0}}f(z)=0$，则对任意$a>0$，有$$\underset{R\to \infty }{\lim }{\int }_{{\Gamma }_R}{e}^{iaz}f(z)dz=0$$ Γ R = { z : z = R e i θ ,   0 ≤ θ ≤ π , R ≥ R 0 } \Gamma_R=\{z:z=Re^{i\theta},\ 0\leq\theta \leq \pi,R\geq R_0\} ΓR​={z:z=Reiθ, 0≤θ≤π,R≥R0​}

小圆弧引理:设$f$在扇状区域 G = { z : z = a + ρ e i θ , 0 < ρ ≤ ρ 0 , θ 0 ≤ θ ≤ θ 0 + α } G=\{z:z=a+\rho e^{i\theta},0\lt \rho\leq \rho_0,\theta_0 \leq \theta \leq\theta_0+\alpha\} G={z:z=a+ρeiθ,0<ρ≤ρ0​,θ0​≤θ≤θ0​+α}内连续，如果${\lim }_{z\to a}(z-a)f(z)=A$，那么$$\underset{\rho \to 0}{\lim }{\int }_{{\gamma }_{\rho }}f(z)dz=iA\alpha (\alpha 为弧度)$$

γ ρ = { z : z = a + ρ i θ , θ 0 ≤ θ ≤ θ 0 + α } \gamma_\rho=\{z:z=a+\rho^{i\theta},\theta_0\leq\theta\leq\theta_0+\alpha\} γρ​={z:z=a+ρiθ,θ0​≤θ≤θ0​+α}，方向：沿幅角增加的方向

定理二:若$f$在上半平面 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外全纯，在 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外连续，如果${\lim }_{z\to \infty }f(z)=0$，那么对任意$a>0$，有$${\int }_{-\infty }^{+\infty }{e}^{iax}f(x)dx=2\pi i\sum _{k=1}^{n}Res[e^{iax}f(z);z_k]$$由$Jordan$引理证得

推论二:在定理二条件下，有$$\begin{gathered} {\int }_{-\infty }^{+\infty }f(x)cosaxdx=\mathrm{R}\mathrm{e}\left\{2\pi i\sum _{k=1}^{n}Res[e^{iaz}f(z);z_k]\right\} \\ {\int }_{-\infty }^{+\infty }f(x)sinaxdx=\mathrm{l}\mathrm{m}\left\{2\pi i\sum _{k=1}^{n}Res[e^{iaz}f(z);z_k]\right\} \end{gathered}$$

2、${\int }_0^{+\infty }\mathbf{f}(\mathbf{x})\mathbf{d}\mathbf{x}$型积分

大圆弧引理:设$f$在大圆弧 C R = { z : z = a + R e i θ , 0 < ρ ≤ ρ 0 , θ 0 ≤ θ ≤ θ 0 + a } C_R=\{z:z=a+R e^{i\theta},0\lt \rho\leq \rho_0,\theta_0 \leq \theta \leq\theta_0+a\} CR​={z:z=a+Reiθ,0<ρ≤ρ0​,θ0​≤θ≤θ0​+a}内连续，
如果${\lim }_{z\to +\infty }(z-a)f(z)=A$，那么
$$\underset{R\to +\infty }{\lim }{\int }_{C_R}f(z)dz=iAa$$ γ ρ = { z : z = a + R e i θ , θ 0 ≤ θ ≤ θ 0 + a } \gamma_\rho=\{z:z=a+Re^{i\theta},\theta_0\leq\theta\leq\theta_0+a\} γρ​={z:z=a+Reiθ,θ0​≤θ≤θ0​+a}，方向：沿幅角增加的方向

定理三:若单值函数$f(z)$在复平面$\mathbf{C}$上除$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不在包括原点的正实轴上，$z=\infty$是$f(x)$的$m$阶零点($m\ge 1$)，那么$${\int }_{-\infty }^{+\infty }{x}^{p}f(x)dx=\frac{2\pi i}{1-e^{2p\pi i}}\sum _{k=1}^{n}Res[z^{p}f(z);z_k](-1<p<0)$$（在正实轴上取实值的一个单值解析分支内计算留数）

推论三:假定相关积分均存在，则有
$$\begin{gathered} {\int }_{-1}^1{\left(\frac{1+x}{1-x}\right)}^{m-1}f(x)dx=2{\int }_0^{+\infty }\frac{x^{m-1}}{{(x+1)}^2}f\left(\frac{x-1}{x+1}\right)dx \\ {\int }_{-1}^1(1-x^2{)}^{m-1}h(x)dx=2^{2m-1}{\int }_0^{+\infty }\frac{x^{m-1}}{{(x+1)}^{2m}}h\left(\frac{x-1}{x+1}\right)dx \end{gathered}$$这样可将上述不等式左边积分转化为多值函数围道积分

定理四:若单值函数$f(z)$在复平面$\mathbf{C}$上除$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不在包括原点的正实轴上，$z=\infty$是$f(x)$的$m$阶零点($m\ge 2$)，那么
$$\begin{gathered} {\int }_0^{+\infty }f(x)dx=\frac{1}{2\pi }\mathrm{I}\mathrm{m}\sum _{k=1}^{n}Res[f(z){\mathrm{l}\mathrm{n}}^{2}z;z_k] \\ {\int }_0^{+\infty }f(x)\mathrm{l}\mathrm{n}xdx=-\frac{1}{2}\mathrm{R}\mathrm{e}\sum _{k=1}^{n}Res[f(z){\mathrm{l}\mathrm{n}}^{2}z;z_k] \end{gathered}$$

定理五:（上半平面留数）若单值函数$f(x)$是偶函数，$f(x)$在上半平面除去$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不在包括原点的正实轴上，存在常数$M$，当$|z|$充分大时有$|f(x)|\le \frac{M}{z^m},m\ge 2$，那么
$$\begin{gathered} {\int }_0^{+\infty }f(x)dx=2\mathrm{R}\mathrm{e}\sum _{k=1}^{n}Res[f(z)\mathrm{l}\mathrm{n}z;z_k] \\ {\int }_0^{+\infty }f(x)\mathrm{l}\mathrm{n}xdx=-\pi \mathrm{I}\mathrm{m}\sum _{k=1}^{n}Res[f(z)\mathrm{l}\mathrm{n}z;z_k] \end{gathered}$$

定理六:设$P、Q$分别为$m$和$n$阶既约(不可约分)多项式，并且$m\le n-2$，$Q(z)$无非负实根，那么$${\int }_0^{+\infty }\frac{P(x)}{Q(x)}dx=-\sum _{k=1}^{n}Res\left[\frac{P(x)}{Q(x)}\mathrm{l}\mathrm{n}z;z_k\right]$$

3、${\int }_{\mathbf{a}}^{\mathbf{b}}\mathbf{f}(\mathbf{x})\mathbf{d}\mathbf{x}$型积分

定理七:（全平面留数）若单值函数$f(x)$在实轴上取实值，在复平面$\mathbf{C}$上除$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不$[0,1]$上，$f(z)$的分母至少比分子高3次，那么
上半平面 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外全纯，在 { z : I m   z > 0 } \{z:\mathrm {Im}\ z>0\} {z:Im z>0}内除$z_1,z_2,\cdots ,z_n$外连续，如果${\lim }_{z\to \infty }f(z)=0$，那么对任意$a>0$，有
$${\int }_0^1\sqrt[n]{x^m(1-x{)}^{n-m}}f(x)dx=\frac{2\pi i}{1-e^{\frac{2m\pi }{n}i}}\sum _{k=1}^n\mathrm{Res}\left[\sqrt[n]{z^m(1-z{)}^{n-m}}f(z);z_k\right]$$（$\sqrt[n]{x^m(1-x{)}^{n-m}}$为某一单值连续函数，该分支在割线上沿取实值）

定理八:（圆环域留数）若单值函数$f(x)$在实轴上取实值，在复平面$\mathbf{C}$上除$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不$[0,1]$上，$z=\infty$是$f(x)$的可取奇点，那么
$${\int }_0^1\frac{f(x)}{\sqrt[n]{x^m(1-x{)}^{n-m}}}dx=\frac{2\pi i}{1-e^{-\frac{2m\pi }{n}i}}\left\{\sum _{k=1}^n\mathrm{Res}\left[\frac{f(z)}{h_0(z)};z_k\right]+\mathrm{Res}\left[\frac{f(z)}{h_0(z)};\infty \right]\right\}$$其中$h_0(z)=\sqrt[n]{x^m(1-x{)}^{n-m}}$

定理九:（全平面留数）若单值函数$f(x)$在实轴上取实值，在复平面$\mathbf{C}$上除$z_1,z_2,\cdots ,z_n$外全纯，且这些奇点均不$[a,b]$上，$-1<r,s<1,s\ne 0,且r+s$是整数，如果
$$\underset{z\to \infty }{\lim }{z}^{r+s+1}f(z)=A\ne \infty$$

那么：
$${\int }_a^b(x-a{)}^r(b-x{)}^{s}f(x)dx=-\frac{A\pi }{\sin (\pi s)}+\frac{\pi }{e^{-i\pi s}\sin (\pi s)}\sum _{k=1}^n\mathrm{Res}\left[(z-a{)}^r(b-z{)}^{s}f(z);z_k\right]$$

参考文献

【1】积分的方法与技巧
【2】全纯函数
【3】孤立奇点
【4】洛朗(Laurent)级数展开