贡献者: FFjet; addis
我们之前已经接触过了实函数的积分,那么我们如何推广到复数上呢?实际上,同高等数学一样,也采用 “分割”、“求和”、“取极限” 的步骤来定义积分。
图 1:复积分的定义
定义 1 复积分的定义
设 为复平面上一条起点在 ,终点在 ()的有向曲线,其方程为
函数 定义在 上。用一组点 沿曲线从 到 对曲线 进行分割。当 不断增加,设 , 为 之间任意一点,分割 所得各个弧段长度中的最大值 ,不论对 的分法及 的取法如何,若存在极限
则称 沿 (从 到 )
可积,称 为 沿 (从 到 )的积分,记作
其中 称为
被积函数, 称为
积分路径。
现在来看一下用定义计算复积分的一个简单例子。
例 1
设 是一条起点为 终点为 的曲线,试计算 。
解:用定义来计算该积分。由定义,将 代入,得:
通过这道例题,我们发现对于函数 ,它的积分值只依赖于积分路径 的起点 和终点 ,而与积分路径的形状是无关的。这个性质对于更一般的 是否成立?在后面的柯西积分定理中,我们将给出答案。
有了积分定义后,最先关心的问题是:积分存在的条件,积分的性质与积分的计算。下面就来讨论这几个问题。
1. 复积分与线积分
定理 1
令复平面的实轴为 轴,虚轴为 轴,用两个二元实函数 来表示
令两个矢量场为( 为 平面上的位置矢量)
那么积分 的实部和虚部分别可以看作两个矢量场 在曲线 上的线积分
研究复变函数的积分问题,可以转化为研究实变量的二元实值函数沿曲线 的线积分问题。
证明
证毕。
2. 复积分的性质与计算
上面我们看到了将线积分和复积分联系起来的。容易想到,线积分的一些性质可移到复变函数的积分上来。
若 与 沿曲线 ( 表示与曲线 方向相反的同一条曲线)可积,则有
设 为曲线 的长度,若 沿 可积,且在 上满足 ,则
该式提供了一种估计复变函数积分的模的方法。
未完成:以下待审阅
到现在为止,计算复变函数积分只有两种方法,一是定义,二是。有无其他方法呢?
我们注意到,由于积分路径常取光滑曲线(或逐段光滑曲线),所以 沿曲线 的积分可归结为 关于曲线 的参数的积分。
事实上,若 为光滑曲线(或逐段光滑曲线)
则 在 上连续,且 。再设 在 上连续及
则有
这样一来,便将 沿曲线 的积分归结为 关于曲线 的参数 的积分。
用式 16 来计算积分 包含三个步骤:
- 写出曲线 的方程
- 将 与 代入所求积分 中
- 计算式 16 右端的关于参数 的积分。
有了上述求复变函数的积分的方法之后,我们一起来看几个例子,并尝试用不同的方法来求解。
例 2
计算 ,其中 为起点在 终点在 的一条逐段光滑曲线。
我们用定义来计算一下。
由题知,。取 ,则 ,作和:
因 在 上连续,所以积分一定存在,于是
另外,若取 ,则 ,作和:
由之前的讨论知,
由
式 18 和
式 20 知,
我们再次发现: 也有一个和 一样好的性质:它沿曲线 的积分只依赖于起点与终点,而与 的形状无关!
例 3
试计算 ,其中 为起点在 ,终点在 的直线段。
图 2:积分路径
我们用式 16 计算。首先,写出 的方程为
由 得 ,将 和 代入所求积分,得
最后,计算上式右端的积分得
例 4
设 为由 与 首尾相接而成的起点在 ,终点在 的曲线,如图 3 所示。计算 。
图 3:积分路径
首先写出 和 的方程为
下面分别计算 和 。
在 上有 ,代入 得 。在 上有 ,代入 得到 。
最后,计算积分得
比较例 3 和例 4 ,我们发现,对于复变函数 ,积分的结果却与积分路径的选取很有关系。
再来介绍一个十分重要的例题。
例 5
试证:
其中 是为以 为圆心,以 为半径的圆周。
证明:这里的 是一条围线,对于沿围线的积分,若无特殊声明,则今后总理解为沿围线的正向积分。
用计算积分的方法来证明本题。
首先,写出 的方程为
其次,,被积函数当 时为 ,当 且为整数时,为
再次,计算积分, 时,有
当 且为整数时,有
综上所述,问题得证。
例 6
计算积分
由积分路径为 ,得 。于是,积分路径的方程为
故
致读者: 小时百科一直以来坚持所有内容免费无广告,这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此,我们请求广大读者
热心打赏 ,使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元,我们一周就能脱离亏损, 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款, 他们的付出帮助了 99% 的读者免费获取知识, 我们在此表示感谢。