概念
有向曲线
对于简单闭曲线,默认正方向为逆时针。
积分定义
在 上有定义人, 为 上的光滑有向曲线,把曲线 任意分成 个弧段,分点为 。 在每个弧段上任意取一点 ,作和
记 为弧 的长度,,若 且 若不论如何分点和 的取法, 有唯一极限,那么称极限值为函数 沿曲线 的积分,记作
若 为闭曲线,那么记作
积分存在条件与算法
设 沿 连续.
形式上可以看做
由 Green 公式可以推出
积分的性质
- ! 设曲线 长度为 ,,则
Proof
两端取极限,有
Example
极坐标下
Cauchy-Goursat 定理
CG 定理
在单连域 上解析, 为有向闭曲线,则
强形式:设 在有界单连域 上解析,在 连续,则
复合闭路定理
连续变形原理
解析函数沿曲线的积分不会因曲线的连续变形而改变。
复合闭路定理
设 在 Jordan 闭曲线族围成的区域 上解析,在 上连续,则
Example
设 , 为一条不过 的 Jordan 闭曲线族,求 .
$$ 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 公式
在 上解析,则下列三条等价:
- , 为任意 上闭曲线
- 在 上具有积分路径无关性
- 在 上具有原函数
上述任意一条成立,则 上可以使用 NL 公式
Example
Cauchy 积分公式
Cauchy 积分公式
在有界单连通域 上解析,在 上连续,则 有
Proof
取以 为中心, 为半径的圆周 ,连续变形得
因此
Example
平均值定理
解析函数在圆心处的值等于它在圆周上的平均值。
解析函数的高阶导数
解析函数的高阶导数
解析函数 的导数仍为解析函数,且 的 阶导数为
其中 为 内围绕 的任意正向简单闭曲线,且其内部全含于
Proof
时,等价于柯西积分公式。 时, 即证
因此
Morera 定理
在区域 上连续,且对 中任意回路 有,
则 在 上解析
Example
有两个奇点。分别分离,用高阶导数公式求积分。
代数基本定理的证明
则 在 上恰好有 个零点(计算重数)
Cauchy 不等式
设在 上 解析,且处处满足 ,则
Liouville 定理
有界整函数必为常数
Proof
则
代数基本定理
代数基本定理 在 上至少有一个零点 反证法: 若 ,令 ,则 为整函数 取 使得 , 在 区域内,可以找到 使得 , 因此 有界,为常数,矛盾
解析函数与调和函数
调和函数
设 ,若满足 Laplace 方程
则称 为调和函数.
Theorem
在 上解析,则 在 上调和.
- 利用 CR 方程可以证明
共轭调和函数
把使得 在 内解析的调和函数 称为 的共轭调和函数.
- 是 的共轭调和函数
Theorem
设 在单连通 上调和,则 上的解析函数 使得 .
在 上解析,则 存在原函数,
多连通域上的反例
无原函数
Example
设 ,调和,求整函数 , 不定积分法:
偏积分法:
Example
在 上解析,求 ,令 因此 接着就可以用上面的方法求出