1. 引言
微元法的一般步骤:第一步,找所求量增量的一个近似可求量;第二步,将近似可求量表达成为某个函数与自变量增量的高阶无穷小之和;第三步,对第二步的函数取定积分 [1] [2] [3] 。两个自然的问题:每一步的目的是什么?以及为什么这样所得定积分的值就是所求的量?如果这两个问题不能解答清楚,在解决实际问题过程中往往不知道每一步该怎么做,特别是,如何找第一步中的近似可求量。为解决这些疑惑,本文就从以下几个方面展开论述:第一,微元法的理解与导出;第二,微元法的关键点与难点及其处理方法;第三,从量的定义导出微元法的优点。
本文余下章节主要内容如下:第二节,利用牛顿莱布尼茨公式给出了微元法的一个解释,并给出了微元法的一个新的表述形式。第三节,为了克服微元法在实际应用中的难点提出了从量的定义到处微元法的观点,并提出了一个基于量的定义的微元法。通过两个定理初步解释了量的定义导出微元法的数学原理。第四节,通过两个例题,展示了从量的定义导出微元法的优点。
2. 微元法的导出及理解
应用定积分求解某个分布在
上的量
时,其过程是“分割、近似求和、取极限”,利用定积分的定义可得到
(1)
上式表明:如果求出被积函数
,就可以求出量
。那么,有没有办法直接求出被积函数
呢?我们来看一下
与量
的关系。
对任意的
,分布在
上的量记为
,则
是定义在
上的函数。显然,
,
是所求的量。如果能求出函数
的导函数
且
连续,则由牛顿莱布尼茨公式可得所求量
(2)
对比(1)与(2)知,此处
相当于(1)中的
。这告诉我们只需求出
的导函数
问题就解决了。当前面临的问题是:在
的表达式及函数值都不知道的前提下,如何求出其导函数?由导函数的定义知道
其中
。虽然
不知道,但如果能给出其近似可求量
,使得
,则
至此,我们发现上面的分析提供了一个求解分布在
上的量
的方法:通过选取
上的增量
的近似可求量
,进而求出
即
(微元),最后得到所求量
。这个方法称为微元法。
是增量
的近似可求量,与增量
或
相关的变量有x,
。我们不妨设
,
,则求分布在
上的量
的微元法可描述如下:
注. 微元法求某个量与定积分定义求某个量的区别:定积分的定义求量是采用“分割、近似求和、取极限”的过程导出定积分进而求出所求量。微元法是直接找出定积分的被积函数,进而通过求解定积分得到所求量。
3. 微元法的关键点与难点及其处理方法
微元法的关键点与难点是:如何选取
的近似可求量
,使得
?
为了克服微元法应用的难点,我们提出从量的定义导出微元法的观点,即从所求量
的定义确定
。
首先,我们要明确每个量都有定义,如教材上给出的非闭曲线弧长的定义、三维空间立体的体积定义等。量定义的一般形式如下:
定义设物体O介于
之间,
为区间
上的任意分割。若
(其中
为对应于
的某一个可计算量,
),则极限A定义为对象O的量
。
有了量的定义,我们如何求量呢?
的近似可求量
可以按照定义中的
进行选取。基于此微元法可如下表述(称为微元法B)
从量的定义出发的导出的微元法B具有如下的优点:
1) 无需记公式,只需了解定义即可;
2) 便于实际应用:因为实际所求的量都有定义,即在实际应用中
的选取方式已经给出。
由量的定义导出的微元法B,如果定义中
,则可像微元法A一样解释其数学原理。也可以尝试直接从量的定义出发给出微元法B的数学原理,即证明定积分恰好等于所求量。为便于理解,我们尝试给出如下两个结果:
定理1设
。若
在区间
上可积,在任意区间
有
,其中M,m分别是
在区间
上的上下确界。则
.
证明:对
的任意分割
,有
,
其中
,
。所以
(1)
令
,记
,
。因
上可积,所以
。对(1)式两边取极限,有
.
证毕。
为了进一步认识微元法,我们给出下面的定义。
定义2若对
,
,使得当
时就有
,
,则称
当
时在区间
上一致收敛于
,记作
。
定理2若
,
且
在
上可积,则
。
证明:由于
,
,则对
,
,当
时,有
。
对区间
的任意分割
,若
,则
。
故
。即
。
由
的任意性,有
。证毕。
4. 微元法B的应用举例
为了进一步展示从量的定义导出微元法的优点,我们举几个教材中出现的例子。
4.1. 平面曲线的弧长
先对弧长的概念有一个了解。设弧AB是一条没有自交点的非闭的平面曲线,把它称为曲线C。在C上从A到B依次取分点:
,它们称为对曲线C的一个分割,记为T。然后用线段连接T中相邻的两点,得到C的n条弦
,这n条弦又成为C的一条内接折线。记
表示n条弦当中的最长弦,
表示这条内接折线的总长度。
定义3如果存在有限极限
,则称曲线C是可求长的,并把极限S定义为曲线C的弧长。
例1 设曲线C是一条没有自交点的非闭的平面曲线,由参数方程
给出。若
,
在
上连续可微,求C的弧长。
解:下面利用微元法B,推导出C的弧长。
Step 1. 根据量的定义,
为区间
上的线段长,则
。
Step 2. 确定被积函数。当
时,对
求极限,即
。
Step 3. 计算定积分。
。
4.2. 旋转曲面的面积
设平面光滑曲线C的方程为
,(不妨设
),这段曲线绕x轴旋转一周得到旋转曲面。我们先回顾旋转曲面面积的定义。
定义4 设旋转曲面介于
之间,
为区间
上的任意分割。若
,
为
上圆台的侧面积,则称旋转曲面是可求面积的,极限S定义为旋转曲
面的面积。
例2 利用微元法B推导旋转曲面的面积公式:
Step 1. 根据量的定义,
为
上圆台的侧面积,则
。
Step 2. 确定被积函数。当
时,对
求极限,即
。
Step 3. 计算定积分
。
上述两例在适当的条件下可以借助定理1或者定理2证明所求量等于所得定积分。在此就不深入展开分析。
5. 总结
本文从定积分的表达式出发,给出了对微元法提出的一个理解。特别指出微元法中每一步的目的。其次,为了解决微元法的难点与关键点,提出了从量的定义导出微元法的观点。并分析了定义导出微元法的数学原理。最后,通过两个例子展示了由量的定义导出微元法的优点。
基金项目
国家自然科学基金(12061013);广西高校中青年教师科研基础能力提升项目(2022KY1135)。
NOTES
*通讯作者。