我向往专注自信又肆意的生涯。
——燕园疯子
路径积分
定义
C
上的连续的曲线
γ=p0pnˆ
,复变函数
f(z)
,对
γ
黎曼和
当 max{diam(zi−zi−1ˆ)}→0 时,如果极限总是存在,称为 路径积分。
设 z(x,y)=u(x,y)+iv(x,y) 如果 u(x,y)和v(x,y) 在 γ 上的第二型曲线积分存在,则 f(z) 在 γ 上可积。
性质
- 方向性:以
−γ
表示曲线
γ
取相反定向,有
∫−γf(z)dz=−∫γf(z)dz - 线性性
∫γ[af(z)+bg(z)]dz=a∫γf(z)dz+b∫γg(z)dz - 可加性
设 γ 被一点分为 γ1 和 γ2 ,
∫γf(z)dz=∫γ1f(z)dz+∫γ2f(z)dz - 绝对值不等式
∣∣∣∫γf(z)dz∣∣∣≤∫γ|f(z)||dz|=∫γ|f(z)|ds
一致收敛
【定义】 函数列
{fn(z)}
定义在
K
上.
称 {fn(z)} 一致收敛于 f(z) .
【定理】 设
γ
是
C
中分段光滑的有界曲线,
{fn(z)}
是
γ
上连续函数列,并且在
γ
上一致收敛于
f(z)
,则
f(z)
在
γ
上连续并且
例子
也就是说积分的结果和路径无关。
如果 γ 是光滑闭曲线,那么积分为 0 .
如果
柯西定理
【定理】(Cauchy定理) 设
Ω
是
C
中以有限条逐段光滑曲线为边界的有界区域,函数
f(z)
在
Ω¯¯¯
上连续,在
Ω
上解析,则
柯西公式
柯西公式
【定理】(Cauchy公式) 设
Ω
是由有限条逐段光滑曲线为边界的有界区域,
f(z)
在
Ω¯¯¯
上连续,在
Ω
上解析,则
∀z∈Ω
称 12πi 为Cauchy核函数,可以看作一个 f(z) 的权,或者分布密度。
解析的充要条件
【引理】 (Cauchy型积分) 如果
l
是
则 f(z) 是 C−{l} 上的解析函数。
【定理】 函数 f(z) 在区域 Ω 上解析的充分必要条件是 ∀z0∈Ω,f(z) 可以在 z0 的邻域上展开为(z-z_0)的幂级数。
【推论】如果
f(z)
在区域
Ω
上解析,则其实部和虚部在
Ω
中每一个点的充分小的邻域内可以展开为
x
和
Morera定理
【定理】(Morera定理) 设
Ω⊂C
为一个区域,
f(z)
在
Ω
内连续,
f(z)
在
Ω
内解析的充分必要条件是对
Ω
中任意由逐段光滑曲线为边界围成的有界区域
D
,如果
【推论】如果
D
是
【反例】如果区域不是单连通的,则推论不成立。比如,
【定义】(内闭一致收敛) 如果区域
Ω
上的函数列
{fn(z)}
在
Ω
中的任意紧集上一致收敛于
f(z)
,即对
Ω
中任意紧集
K
以及任意
【定理】设 {fn(z)} 是区域 Ω 上的解析函数列,且在 Ω 上内闭一致收敛于 f(z) ,则 f(z) 在 Ω 上解析。
本篇主要参考谭小江伍胜健《复变函数简明教程》