概念

有向曲线

对于简单闭曲线,默认正方向为逆时针。

积分定义

上有定义人, 上的光滑有向曲线,把曲线 任意分成 个弧段,分点为 。 在每个弧段上任意取一点 ,作和

为弧 的长度,,若 若不论如何分点和 的取法, 有唯一极限,那么称极限值为函数 沿曲线 的积分,记作

为闭曲线,那么记作

积分存在条件与算法

沿 连续.

形式上可以看做

由 Green 公式可以推出

积分的性质

  1. ! 设曲线 长度为 ,则

Proof

两端取极限,有

Example

极坐标下

Cauchy-Goursat 定理

CG 定理

在单连域 上解析, 为有向闭曲线,则

强形式:设 在有界单连域 上解析,在 连续,则

复合闭路定理

连续变形原理

解析函数沿曲线的积分不会因曲线的连续变形而改变。

复变函数的积分 2025-10-28 19.28.57复变函数的积分 2025-10-28 19.28.57
复变函数的积分 2025-10-28 19.31.50复变函数的积分 2025-10-28 19.31.50
$$ \oint_{C_{2}+C_{1}^-}f(z)dz=0\Leftrightarrow\oint_{C_{1}}f(z)dz=\oint_{C_{2}}f(z)dz $$ > [!definition] Jordan 闭曲线族 > > Jordan 闭曲线族 $\Gamma=\Gamma_{0}+\Gamma_{1}^- +\dots+\Gamma^-_n$ >
复变函数的积分 2025-10-28 19.38.22复变函数的积分 2025-10-28 19.38.22

复合闭路定理

在 Jordan 闭曲线族围成的区域 上解析,在 上连续,则

Example

为一条不过 的 Jordan 闭曲线族,求 .


复变函数的积分 2025-10-28 19.47.08复变函数的积分 2025-10-28 19.47.08
$$ I=\frac{1}{a-b}\oint_{\Gamma}\left( \frac{1}{z-a}-\frac{1}{z-b} \right)dz $$ 第一种情况: $$ \begin{align} I & =\frac{1}{a-b}\oint_{\Gamma_{1}+\Gamma_{2}}\left( \frac{1}{z-a}-\frac{1}{z-b} \right)dz \\ & =\frac{1}{a-b}(2\pi i+0-(0+2\pi i))=0 \end{align} $$ 第二种情况:0 第三种情况: $$ I=\frac{1}{a-b}\oint_{\Gamma_{1}}\left( \frac{1}{z-a}-\frac{1}{z-b} \right)dz=\frac{2\pi i}{a-b} $$ 第四种情况:略

原函数与不定积分

Theorem

在单连通域 上解析。 定义

上解析,且

Proof

,可以找到 ,使得 ,总有 因此

Newton-Leibnitz公式

在单连通域 上解析,则

其中 上的一个原函数

分部积分公式

在单连域 上解析,则

多连通域上的 NL 公式

上解析,则下列三条等价:

  1. 为任意 上闭曲线
  2. 上具有积分路径无关性
  3. 上具有原函数

上述任意一条成立,则 上可以使用 NL 公式

Example

Cauchy 积分公式

Cauchy 积分公式

在有界单连通域 上解析,在 上连续,则

Proof

取以 为中心, 为半径的圆周 ,连续变形得

因此

Example

平均值定理

解析函数在圆心处的值等于它在圆周上的平均值。

解析函数的高阶导数

解析函数的高阶导数

解析函数 的导数仍为解析函数,且 阶导数为

其中 内围绕 的任意正向简单闭曲线,且其内部全含于

Proof

时,等价于柯西积分公式。 时, 即证

因此

Morera 定理

在区域 上连续,且对 中任意回路 有,

上解析

Example

有两个奇点。分别分离,用高阶导数公式求积分。

代数基本定理的证明

上恰好有 个零点(计算重数)

Cauchy 不等式

设在 解析,且处处满足 ,则

Liouville 定理

有界整函数必为常数

Proof

代数基本定理

代数基本定理 上至少有一个零点 反证法: 若 ,令 ,则 为整函数 取 使得 , 在 区域内,可以找到 使得 , 因此 有界,为常数,矛盾

解析函数与调和函数

调和函数

,若满足 Laplace 方程

则称 为调和函数.

Theorem

上解析,则 上调和.

  • 利用 CR 方程可以证明

共轭调和函数

把使得 内解析的调和函数 称为 的共轭调和函数.

  • 的共轭调和函数

Theorem

单连通 上调和,则 上的解析函数 使得 .

上解析,则 存在原函数,

多连通域上的反例

无原函数

Example

,调和,求整函数 不定积分法

偏积分法

Example

上解析,求 ,令 因此 接着就可以用上面的方法求出