复变函数与积分变换系列（三） - 复变函数的积分

复变函数的积分

Author : Benjamin142857

Date : 2018/10/1

[TOC]

1. 有关的几个定理与公式

1.1 C-R 方程

Cauchy Riemann equation - 柯西黎曼方程，对于 $f(z)=u+iv$

KaTeX parse error: Expected '}', got '\part' at position 8: \frac{\̲p̲a̲r̲t̲ ̲u}{\part x} = \…

1.2 C-G 定理

Cauchy Goursat theorem - 柯西古萨定理，对于 $f(z)$ 在D内解析
$${\oint }_{c}f(z)dz=0$$

1.3 圈圈公式

$c:|z-z_0|=r$
$${\oint }_c\frac{dz}{(z-z_0{)}^{n+1}}=\{\begin{array}{l}2\pi i，(n=0)\\ 0，(n̸=0)\end{array}$$

1.4 复合闭路定理

$c$ 含 $n$ 个奇点，每个奇点可以画个 $c_k$ 小圆，$k=1,2,...,n$
$${\oint }_{c}f(z)dz=\sum _{k=1}^n{\oint }_{c_k}f(z)dz$$

1.5 Cauchy积分公式

$f(z)$ 在 $z_0$ 连续
$${\oint }_c\frac{f(z)}{z-z_0}dz=2\pi if(z_0)$$

1.6 高阶导数公式

$$f^{(n)}(z_0)=\frac{n!}{2\pi i}\oint \frac{f(z)}{(z-z_0{)}^{n+1}}dz$$

1.7 Laplace方程

拉普拉斯方程，对于函数 $\varphi (x,y)$
KaTeX parse error: Expected '}', got '\part' at position 8: \frac{\̲p̲a̲r̲t̲^2\phi}{\part x…

2. 常见形式的复变函数积分

[A] ${\int }_{c}f(z)dz$ : 简单非闭合曲线积分

一般题目所给出的积分路径 $c$ 在 $f(z)$ 的解析区域内或 $f(z)$ 全平面解析，根据 C-G定理，积分与路径无关，转为x,y重积分

例 ：求 ${\int }_c\overline{z}dz,c:y=x^3(x\in [0\to 2])$

---

$$\begin{gathered} {\int }_c\overline{z}dz \\ ={\int }_{(0,0)}^{(2,0)}x-iydz+{\int }_{(2,0)}^{(2,8)}x-iydz \\ ={\int }_0^{2}xdx+{\int }_0^8(2-iy)idy \\ =34+8i \end{gathered}$$

---

路径未必在解析区域内的万能做法，但计算复杂

例 ：求 ${\int }_c\overline{z}dz,c:y=x^3(u(t)-u(t+2))$

---

$x=t$，$y=t^3$，$t\in (0,2)$

$z=t+i{t}^3$

$f(z)=t-i{t}^3$

${\int }_c\overline{z}dz={\int }_0^{2}t-i{t}^{3}d(t+i{t}^3)={\int }_0^{2}t+3t^5+i2t^{3}dt=34+8i$

---

[B] ${\oint }_{c}f(z)dz$ : 任意函数闭合曲线积分

若在解析区域， C-G定理
$${\oint }_{C}f(z)dz=0$$

[C1] ${\oint }_c\frac{1}{(z-z_0{)}^{n+1}}dz$ : 纯分母奇点函数积分 - 单奇点

[圈圈公式]

例 ：求 ${\oint }_c\frac{1}{(z-1)}dz,c:|z|=2$

---

$${\oint }_c\frac{1}{(z-1)}dz=2\pi i$$

---

[C2] ${\oint }_c\frac{1}{(z-z_1)(z-z_2)}dz$ : 纯分母奇点函数积分 - 多奇点

[复合闭路定理 + 圈圈公式 + Cauchy积分公式]

例 ：求 ${\oint }_c\frac{1}{(z-1)(z+1)}dz,c:|z|=2$

---

$$\begin{gathered} {\oint }_c\frac{1}{(z-1)(z+1)}dz \\ ={\oint }_{c1}\frac{\frac{z}{z+1}}{(z-1)}dz+{\oint }_{c2}\frac{\frac{z}{z-1}}{(z+1)}dz \\ ={\oint }_{c1}\frac{\frac{1}{1+1}}{(z-1)}dz+{\oint }_{c2}\frac{\frac{1}{-1-1}}{(z+1)}dz \\ =0 \end{gathered}$$

---

[D1] ${\oint }_c\frac{f(z)}{(z-z_0)}dz$ : 带分子变量分母奇点函数积分 - 一次单奇点

[ 圈圈公式 + Cauchy积分公式 ]

例 ：求 ${\oint }_c\frac{z}{(z-1)}dz,c:|z|=2$

---

$$\begin{gathered} {\oint }_c\frac{z}{(z-1)}dz \\ ={\oint }_c\frac{1}{(z-1)}dz \\ =2\pi i \end{gathered}$$

---

[D2] ${\oint }_c\frac{f(z)}{(z-z_1)(z-z_2)}dz$ : 带分子变量分母奇点函数积分 - 一次多奇点

[复合闭路定理 + 圈圈公式 + Cauchy积分公式]

例 ：求 ${\oint }_c\frac{z}{(z-1)(z+1)}dz,c:|z|=2$

---

$$\begin{gathered} {\oint }_c\frac{z}{(z-1)(z+1)}dz \\ ={\oint }_{c1}\frac{\frac{z}{z+1}}{(z-1)}dz+{\oint }_{c2}\frac{\frac{z}{z-1}}{(z+1)}dz \\ ={\oint }_{c1}\frac{\frac{1}{1+1}}{(z-1)}dz+{\oint }_{c2}\frac{\frac{-1}{-1-1}}{(z+1)}dz \\ =2\pi i \end{gathered}$$

---

[D3] ${\oint }_c\frac{f(z)}{(z-z_0{)}^5}dz$ : 带分子变量分母奇点函数积分 - 高次单奇点

[高阶导数公式 + 圈圈公式 + Cauchy积分公式]

例 ：求 ${\oint }_c\frac{z}{(z-1{)}^5}dz,c:|z|=2$

---

$$\begin{gathered} {\oint }_c\frac{z}{(z-1{)}^5}dz \\ =\frac{2\pi i}{4!}[z^{(4)}{|}_{z=1}] \\ =0 \end{gathered}$$

---

[D4] ${\oint }_c\frac{f(z)}{(z-z_1{)}^2(z-z_2{)}^3}dz$ : 带分子变量分母奇点函数积分 - 高次多奇点

[高阶导数公式 + 圈圈公式 + 复合闭路定理 + Cauchy积分公式]

例 ：求 ${\oint }_c\frac{z}{(z-1{)}^2(z-2{)}^3}dz,c:|z|=3$

---

$$\begin{gathered} {\oint }_c\frac{z}{(z-1{)}^2(z-2{)}^3}dz \\ ={\oint }_{c1}\frac{\frac{z}{(z-2{)}^3}}{(z-1{)}^2}dz+{\oint }_{c2}\frac{\frac{z}{(z-1{)}^2}}{(z-2{)}^3}dz \\ =\frac{2\pi i}{1!}[(\frac{z}{(z-2{)}^3}{)}^{(1)}{|}_{z=2}]+\frac{2\pi i}{2!}[(\frac{z}{(z-1{)}^2}{)}^{(2)}{|}_{z=1}] \\ =不想算 \end{gathered}$$

---

3. 调和函数与偏微分法

调和函数 $\varphi (x,y)$

• 在区域内具有二阶连续偏导
• 符合Laplace方程

[C-R方程]$\Downarrow$

区域内的解析函数 $f(z)=u(x,y)+iv(x,y)$ 实部与虚部均为调和函数

区域内的解析函数的虚部为实部的共轭调和函数

偏微分法

通过 $u$ $\Rightarrow$ $v$ $\Rightarrow$ $u+iv$ 或 通过 $v$ $\Rightarrow$ $u$ $\Rightarrow$ $u+iv$