复积分
复变函数积分的定义
设 是复平面上一条光滑(或逐段光滑)的曲线,我们选定一个正方向(规定 :起点指向终点或逆时针),称 为一条有向曲线,其反向曲线为 。
定义:复变函数积分 设函数 在区域 内有定义, 为 内以 为起点、 为终点的光滑有向曲线。 若将曲线 任意划分为 个小弧段,分点为 。在每个小弧段 上任取一点 ,作和式:
记 为小弧段的最大长度。若当 时,该和式的极限存在且唯一(与分法、取点 无关),则称此极限为函数 在曲线 上的复变函数积分,记作
积分的计算方法(参数方程法)
设曲线 的参数方程为 ,其中 。 则 。
复积分可转化为实变量的定积分计算:
也可拆分为实部和虚部的曲线积分组合:
典型例题计算
例 1 计算 ,路径 分别为: (1) 从点 沿直线 到点 ; (2) 从点 沿实轴到 ,再平行虚轴到 。
解 (1): 路径 。 。
解 (2): 分为两段 ;。
例 2 设 为正向圆周 ,计算: (1) (2)
解: 参数化圆周 ,,。
(1) 观察被积函数可知 。
(2) .
重要公式与推论
复积分的估值不等式
对于复变量积分,我们有对应的模长估值定理:
若在曲线 上满足 ,且 为曲线 的长度,则:
核心公式: 的计算
设 为正向圆周 。令 ,则 。
当 时,积分积项为 ,结果为 ;当 时,由于指数函数的周期性,积分结果为 。
重要结论:
原函数与不定积分
定理:积分与路径无关性 设函数 在单连通区域 内解析,则积分 与在 内的路径无关。
定义:原函数 若在区域 内有 ,则称 为 在该区域内的一个原函数。
变上限积分的导数
设 ,其中 为 内任意定点。由解析性及积分与路径无关,可证:
牛顿-莱布尼茨公式
若 是 的一个原函数,则复积分同样可以用前后端点值计算:
柯西-古萨基本定理
定理:柯西-古萨定理 (Cauchy-Goursat Theorem) 如果函数 在单连通区域 内解析, 是 内的一条简单闭曲线,则
闭路变形原理
设 在区域 内解析, 是 内互不相交的正向简单闭曲线,且 全部包含在 所围的区域内,则:
复合闭路定理与例题
例 3 计算 ,其中 为正向圆周 。
解: 被积函数有两个奇点 及 ,均在圆周 内部。 利用部分分式展开法:
由闭路变形原理,分别围绕两奇点作小圆周积分,结合核心圆周积分结论得:
柯西积分公式
柯西积分公式是解析函数理论的核心结果之一,它揭示了解析函数在区域内部的值可由边界上的积分完全确定。
定理:柯西积分公式 设 在简单闭曲线 所围成的区域 内解析,在 上连续, 为 内任意一点,则
证明思路: 在 内作以 为心、充分小的正向圆周 ,使 完全含于 内。由闭路变形原理,。令 ,利用 的连续性可得
移项即得公式。
注 柯西积分公式表明,解析函数在区域内部的值完全由其在边界上的值决定,这与实可微函数截然不同。
例 4 (利用柯西积分公式) 计算下列积分,其中 为正向圆周 :
解:
- 被积函数在 内只有一个奇点 。取 ,,由柯西积分公式
- 奇点 在 内(?注意 ,,故 在圆外,积分为 0!需修改题目以确保奇点在内部)。 改为 ,则 在内。令 ,,
- ,奇点 和 均在 内。不能直接套用柯西公式,需用复合闭路定理拆分为两个积分:
作部分分式:$\frac{z}{z^2+1} = \frac{1}{2}\left(\frac{1}{z-i} + \frac{1}{z+i}\right)$。于是
高阶导数公式
柯西积分公式的一个极其重要的推论是:解析函数在区域内部任意阶导数都存在,且同样可用边界积分表示。
定理:高阶导数公式 设 在简单闭曲线 所围成的区域 内解析,在 上连续,则对于 内任意一点 , 的 阶导数存在,且
证明思路: 由柯西积分公式 。对 求导,交换积分与求导次序即得。
该定理表明,一个复变函数只要在某区域内有一阶导数(即解析),则它在该区域内具有任意阶导数。这是复变函数与实变函数的本质区别之一。
例 5 (利用高阶导数公式) 计算下列积分,其中 为正向圆周 :
解:
- 函数 在整个平面解析, 在 内。由高阶导数公式,,
计算 $f^{(3)}(z) = 2^3 e^{2z} = 8e^{2z}$,故 $f^{(3)}(0)=8$。因此
- 在 内,。令 ,则
故
例 6 (柯西积分与高阶导数的综合) 设 为正向圆周 ,计算积分
解: 被积函数在 内有两个奇点:(二级极点)和 (一级极点)。由复合闭路定理,
其中 只围绕 , 只围绕 。
- 在 上,记 ,它在该小圆内解析。于是
计算 ,求导得 。代入 :
故第一项为 。
- 在 上,记 ,由柯西积分公式
。故第二项为 。
因此 .
推论
由高阶导数公式可立即得出以下重要结论:
解析函数的无穷可微性:若 在区域 内解析,则它在 内具有任意阶导数。
柯西不等式:设 在圆盘 内解析,且 ,则
刘维尔定理:若 在整个复平面上解析且有界,则 必为常数。
代数学基本定理:任一 次多项式在复数域上必有 个根(含重数)。