文章目录
- abstract
- 对弧长的曲线积分
- 曲线形构件的质量
- 第一类曲线积分
- 曲线积分存在性
- 利用曲线积分的定义描述曲线形构件质量问题
- 推广
- 曲线积分可加性
- 闭曲线积分
- 曲线积分性质
- 曲线积分的计算方法
- 证明(部分推导)
- 小结
- 曲线弧显函数形式方程下的曲线积分公式
- 推广
- 例
- 例
- 例
abstract
- 在积分学中,积分范围先是从数轴上(直线)的一个区间的情形,推广到平面或看空间内的一个闭区域的情形
- 不仅如此,积分概念可以推广到积分范围为一段曲线弧或一片曲面的情形,分别称为曲线积分和曲面积分
对弧长的曲线积分
曲线形构件的质量
- 对弧长的曲线积分源自某些问题的研究,其中最经典的一个问题模型是曲线形构建的质量问题
- 在讨论定积分和二重积分时,分别对应曲边梯形面积问题和曲顶柱体的体积问题
- 而理解曲线积分时,用类似理解定积分时的几何的角度就不容易,也不太合适,而从物理意义角度就比较合适
- 通过对这个问题问题模型的抽象,定义出弧长的曲线积分(第一类曲线积分)
第一类曲线积分
- 定义:设为面内的一条光滑曲线弧,函数在上有界,在上任意插入一系列点,把分成个小段
- 设第小段的长度为,又为第个小段上任意取定的,作乘积
(0)
,,并作和式(1)
- 若当各个小弧段的长度的最大值时,式(1)的极限总存在,切曲线弧的分法以及点的取法无关,则称此极限为函数在曲线弧上对弧长的曲线积分或第一类曲线积分,记为,即=
(3)
- 其中称为被积函数,称为积分弧段(积分弧段类似于定积分的积分区间或重积分的积分区域)
- 而弧段元素或类似于定积分中的区间元素
- Note:和的方程是相对独立的,最简单的情形是
- 为常数
- 为直线方程
曲线积分存在性
- 当在光滑曲线弧上连续时,对弧长的曲线积分总是存在的
- 在讨论曲线积分时,我们总假定在上是连续的
- 函数在曲线上连续表示?(TODO)
利用曲线积分的定义描述曲线形构件质量问题
- 根据上述定义,曲线形构件的质量当线密度在上连续时,就有等于对弧长的曲线积分,即
(4)
推广
- 上述曲线积分的定义是平面曲线积分,可以类似地推广到积分弧段为空间曲线的情形,即函数在曲线弧上对弧长的曲线积分=
(5)
- 可以表示空间中坐标为的点处的密度(点附近小区域密度的代表值)
曲线积分可加性
- 若是分段光滑的(有限个点不光滑),则规定函数在上的曲线积分等于函数在光滑的各段上的曲线积分之和(空间曲线也类似)
- 例如设可分成两段光滑曲线弧以及,记为),就规定=+
(6)
闭曲线积分
- 若是闭曲线,则函数在闭曲线上对弧长的曲线积分记为
曲线积分性质
- 由对弧长的曲线积分的定义可知,其具有如下性质(这些性质和定积分类似)
- 线性性
- =+
(7)
- 可加性
- 若积分弧段可分为两段光滑曲线弧,则
- =+
(8)
- 设上,则
(9)
(10)
- 因为
- 改写成绝对值不等式即得证不等式
曲线积分的计算方法
- 定理:设在曲线弧上有定义且连续**,的参数方程**为;,
- 若在上具有一阶连续导数,且,则曲线积分存在,且=,
(11)
证明(部分推导)
- 利用弧长公式,我们可以将第一类曲线积分化为定积分计算
- 弧长公式我们在定积分的应用中讨论过,=
(12)
- 令
(12-1)
- 假定当参数由变至时,曲线弧上的点依点运动至,该过程描出曲线弧
- 在上取一列点:
- 设它们对应于一列单调增加的参数值(这表明)
- 根据对弧长的曲线积分的定义:=(即式(3))
- 设点对应于参数值,即,
(13)
,这里, - 记在上对应的弧长为,使用弧长公式(12),有=
(14)
- 由积分中值定理:=
(15)
;其中=,于是 - Note:这里有联系(都是区间上的点),但并不相同
- 将式(13),(15)代入到式(3),于是=
(16)
- 由于函数(12-1)在闭区间上连续,可以把上式中替换为,从而式(16)写作式(11)
- 这一步要用到(12-1)函数在上的一致连续性
- 式(11)等号右端是一个定积分式子,因为其被积函数在上连续,所以这个定积分是存在的,因此式(11)等号左端也存在;并且可以有式(11)计算结果
小结
- 公式(11)表明,计算对弧长的曲线积分时,只要将分别替换为:
- 然后做上的定积分即可
曲线弧显函数形式方程下的曲线积分公式
- 若曲线弧由方程
(17)
,给出,则可以把这种情况看作特殊的参数方程:(参数方程的简单情形)
- ,,
(17-1)
- 将其代入公式(11),得=,
(18)
- 类似地,若曲线弧由方程
(19)
,给出
- ,
(19-1)
,
- 则=,
(20)
推广
- 若空间曲线由参数方程,,,给出的情形,这时=
例
- 计算其中时抛物线上点与之间的一段弧
- 曲线表示为为参数的参数方程:,
- ==
- 第一换元法:====
例
- 若:,,
- ==
- ====
例
- 若:,,,,求=
- =
- ==
- 提取与无关的因式到积分号前
- =
- =