1. 引言
积分等式在微积分中扮演着重要的角色,它将微分和积分联系在一起,是解决各种数学问题的关键。首先,积分等式是微积分的基础。微积分的核心思想是研究变化率和累积量的关系,而积分等式正是将这两个概念联系起来的桥梁。其次,积分等式的应用广泛。例如在物理学中积分等式可以用来求解与时间相关的物理量:速度、加速度等;在经济学中,积分等式可以用来计算与产量相关的经济指标,如总收益、总成本等。此外求解积分等式需要运用数学推理和逻辑思维,这有助于培养学生的抽象思维能力。同时,积分等式的应用需要将数学知识与实际问题相结合,这有助于培养学生解决问题的能力。故无论是在学术研究还是实际应用中,掌握积分等式都是至关重要的。
本文主要介绍几类积分等式证明的相关问题,事实上这些内容很早就引起了学者的关注。早在1995年,李振宇和章邦基 [1] 就研究了一元函数和多元函数的积分等式问题。赵亚林 [2] 主要讨论了重积分与定积分之间的转换、两类曲线积分与定积分之间的等式关系。李庆娟 [3] 和李源 [4] 等以解题方法为切入点,分别以例题解析的形式阐述了证明定积分等式的若干种方法与技巧;此外李庆娟 [5] 立足教学实际,还给出了四个重要结论的证明及应用实例。郑华盛 [6] 利用多项式插值理论,结合数值求积公式代数精度的概念,给出了一类含中介值定积分等式证明的编制和构造方法。而游雪肖和赵大方 [7] 则从积分限和积分次序入手,给出了一个积分等式的推广与应用。
虽然诸多学者从不同角度和方面对定积分等式进行了研究和探索,但其实这类题目类型多变,证明方法多:利用函数的单调性、连续函数的零点定理、罗尔定理、分部积分法、换元法、积分中值定理、微分中值定理、泰勒公式、洛必达法则、放缩技巧、挖洞法、重积分证明法。在其解题过程中,需要学生纵观全局,灵活运用微分和积分的相关知识。若对已知条件稍作变动,相应的解题方法也要随之改变,即牵一发而动全身。对于这个阶段的学生而言,他们储备的知识不够系统性、全面性,且没有把碎片化的知识内化成自身能力和素质的一部分。所以在面对这些题目时,常常毫无头绪,一筹莫展。但如果我们能从不同的角度和维度去剖析这些问题的结构特征,总能得到一些启示或规律。
本文以结构分析的视角带领学生进入分析问题的世界,用形式统一的方法揭示数学理论中隐藏的思想和方法。在例题的设计上,突出分析和总结的全过程,体现对能力培养的设计思想;希望学生从模仿开始,循序渐进地学会发现并分析问题、解决并提炼问题、领悟并升华数学思想。
安排如下:第二部分阐述本文所用到的基本理论。第三部分是核心,深入解析与定积分等式相关的三部分内容:连续函数的零点问题(介值问题)或导函数的零点问题、某些特殊结构的定积分向重积分的转化问题、定积分的极限问题;并挖掘了解决这类问题的一般方法与思路,还对相关问题进行了推广。第四部分对全文内容进行总结和概括。
2. 准备知识
定理1 (积分中值定理)
设
在
上连续,
在
上可积,则存在
,使得
。
根据定积分的性质和连续函数的性质,可得如下推广形式的积分中值定理。
定理2 (推广形式的积分中值定理)
设
在
上连续且可积,则存在
,使得
。
分析 按照由简单到复杂、由特殊到一般的思路证明。关键是证明如下结论:
设
在
上连续且
,则存在
,使得
。
证明 情形1
时,
1) 若
在
上不变号,不妨设
,
。取
,则
,
对
在
上使用积分中值定理,即存在
,使得
。
因
,故必有
。
2) 若
在
上变号,则至少存在两个不同的点
且
,使得
。
对
在
上使用连续函数的介值定理,存在
,使得
。
情形2
时,构造函数
,则
在
上连续且满足
,
利用情形1的结论,则存在
,使得
;即
,即
。
定理3 (积分第二中值定理)
设
在
上可积,
在
上单调,则存在
,使得
。
注 定理1和定理3不再详述,可参考 [8] [9] 。
3. 经典解析
3.1. 连续函数的零点问题(介值问题)或导函数的零点问题
这针对类问题,常见的证明方法有三种:第一:利用函数的单调性;第二:连续函数的零点定理(介值定理);第三:罗尔定理(可看成导函数的零点问题)。
例1 设
,证明:存在
,使得
。
结构分析 记
,形式上这是一个函数
的零点问题。根据已
知条件,无法确定
的可导性,所以第一种方法不可行。若使用第二种方法,不易确定点
,使得
成立。那么能否使用罗尔定理证明呢?若可以,则要构造一个函数
,满足
且
有两个等值点。
观察
的结构特点,注意到
,
,
即
,结合两个乘积函数的求导法则,可构造
函数
满足上述要求。
证明 记
,因
,故
且
。又
,由罗尔定理,存在
,使得
,即
。
例2 设
,
,证明:存在
,
,使得
。
结构分析 思路1 形式上这是一个函数
的零点问题,根据题目条件无法确定
的可导性,且不易找到
的三个等值点。那么能否应用罗尔定理证明呢?若可以,需将其视为导函数的零点问题呢。即要构造一个函数
,使得
且
有等值点。如何构造这样的函数呢?
利用变限积分理论,可构造函数
,则
。故我们可将
的零点问题视为
的导函数的零点问题。
为此需要证明
至少有三个等值的点,由第一个定量条件
很容易找到
的两个零点(两个等值点):
,
。因此还必须找到其第三个零点,这必然借助于第二个定量条件
来完成。因而必须建立
和第二个定量条件的关系,即整个证明的核心是通过第二个定量条件确定
的零点。
要从第二个定量条件中产生
,即将其导函数还原到原函数,涉及到函数和导函数的转换,故考虑用分部积分:
,
即
。对其使用推广形式的积分中值定理,则存在
,使得
。
注意到当
时,
。故必有
。
思路2 反证法 假设原结论不成立,即
在
只有一个零点或没有零点。
对
使用推广形式的积分中值定理,则存在
,使得
。即排除
在
内没有零点的情形。
证明 方法1 使用罗尔定理证明。
令
,则
且
。再结合思路1中的分析可知,存在
时使得
。对
在
,
上分别使用罗尔定理,则存在
,
,使得
,
。结合
,即
,
。
方法2 反证法 根据思路2的分析可知,必存在
,使得
。则
。
下面判断
在
内的符号。
若
在
内有唯一的零点
,因
且
,则
在
和
上异号。注意到当
时,
;当
时,
。则
在
内的不变号,因而必有
或
。
这与
矛盾,故至少存在两个不同的点
,使得
,
。
科学抽象 总结上述两种证明方法的思路步骤:
1) 对于方法1,首先利用变限积分理论,构造变限函数
,得到
有两个等值的点。其次对第二个定量条件
分部积分得到
,对其使用推广形式的积分中值定理,得到
的第三个等值点,最后使用罗尔定理证明即可。
2) 对于方法2,使用反证法。首先对第一个定量条件
使用推广形式的积分中值定理得
到
在
内必存在零点。其次结合
的性质和第二个定量条件,排除
在
内只有一个零点的情况。
据此可给出上述题型的一般形式:
设
,
且
在
内没有零点,若
,
证明:存在
,
,使得
。
注 请读者试着自主完成证明。
3.2. 某些特殊结构的定积分向重积分的转化问题
例3 (2016年第七届全国大学生数学(非数学专业)竞赛决赛第三题)设
在
上连续,证明:
。
结构分析 思路1 注意到关系式
,利用导数与原函数之间的关系,想到牛顿–莱布尼茨公式。
思路2 二重积分的计算是将其化为两个定积分计算,利用逆向思维,两个定积分的乘积也可转化为二重积分,故这里利用二重积分的相关理论证明。
证明 方法1 牛顿–莱布尼茨公式
因
,故
,令
,则
且
。此时
方法2 记
,其中
,
,
则
,因
关于
对称,则x和y互换得
,
即
。
3.3. 定积分的极限问题
3.3.1. 积分号下的极限问题,即
的计算或证明
思路1 若函数列
在
上一致收敛且
,则由函数项级数的连续性定理知,求极限与求积分可以交换顺序,即
,此时问题迎刃而解。
思路2 无法确定或不易确定极限与积分换序的条件,不能将极限转移到积分号下进行,即
,此时常借助积分中值定理、放缩方法、挖洞法等。这里着重介绍该类型的积分极限问题。
例4 证明下列极限。
1)
;2)
。
结构分析 下面给出详细的分析思路。
1) 当
时,
;当
时,
。即
这一点破环了函数
的性质(将
视为“坏点”)。借鉴格林公式的挖洞法,这里也使用挖洞法(参考 [8] 中
例11),对任意充分小的
,将
分成两部分:
,
。
对于
,被积函数有界,当
时,积分区间趋于0。
对于
,积分区间有界,当
时,
。
2) 当
时,
;当
时,
。即
这一点破环了函数
的性质(将
视为“坏点”)。类比1)的处理方法,对任意充分小的
,将
分成两部分:
,
,则
。
对于
,被积函数有界,当
时,
。
证明 1) 易知
;另外,对
,有
,即
,当
时,有
,因而成立
。
故
。
2) 易知
;另外,对
,有
又
,故对上述
,
,当
时,有
,
即
。从而当
时,有
,故
。
科学抽象 总结例4的解题思路:首先分析出被积函数在所给积分区间
上的坏点
,取任意充分小的
,挖去以
为圆心、
为半径的小区间:
、
或
,根据
在
中的位置,挖掉的小区间的形式略有不同。在剩下的没有坏点的区间上,被积函数具有较好的性质,可以很好地处理。在包含坏点的小区间里,用其它条件处理。这就是挖洞法的处理思想。
例5 证明
1)
,其中
;
2)
,其中
。
分析 1) 因
,
故要证
,即证
。
因
,故对
,存在
,当
时,有
。
故将
分成两部分:
,
。
对于
,利用
的有界性,则可证明
。
对于
,当
时,有
,可证明
。
2) 因
,
故要证
,即证
。接下来的分析与1)类似。
证明 例5的处理思想与例4类似,重点是挖掘“坏点”附近的性质,这里不再详述。
注 关于例5的补充说明:
1) 当
时,可用分部积分法证明(1)。设
,则
。
又
,
故
。
2) 将2)的证明思想抽取出来,可以得到更简洁的证明方法。
易知
,
对于
,由积分中值定理,存在
,使得
。
对于
作估计,设
,则
。
其实上述过程中
的可以用
代替。
3.3.2. 与变限积分有关的极限问题
这类问题常借助微分中值定理、积分中值定理、洛必达法则、放缩、积分的性质等计算或证明极限。
例6 证明下列极限。
1)
;2)
;
证明 1) 方法1 从结构看,
在积分区间内都有极限且极限为0,因此解决问题的关键是能否将其
分离出来。从积分号下分离出因子的常用工具是积分中值定理,我们试着用中值定理进行处理,可以计算出结论。
利用积分第二中值定理,存在
,使得
,
故
。
方法2 直接估计法,由于
,
故
。
2) 从结构看,与1)积分结构类似,因此,处理的方法是如何将被积函数转化为1)中的结构。
令
,则
;由积分第二中值定理,存在
,使得
,
故
。
综上,证明定积分等式的难度和复杂性各不相同,取决于具体的函数和问题,对于简单的定积分等式,可以利用已知的积分公式、变量代换、分部积分、对称性、周期性、积分中值定理等技巧,将复杂的积分化简为简单的形式,从而证明积分等式。对于较复杂的积分等式或者特殊函数,需要结合问题的特点具体问题具体分析。在实际操作中可能会遇到复杂的情况。因此在解决积分等式问题时,一定要纵观全局,统筹分析,灵活应用微积分的知识。
4. 结束语
本文从结构分析的视角出发,对常见的三类定积分等式问题进行了详细的探究和解析,并对解题思路进行了高度概括、科学抽象,进而得到解题方法的一般规律。这些规律往往是在分析与解题过程中发现的,这就要求学习者要善于发现和总结,在学习过程中把知识内化成自己的能力,不断优化、迭代自身的整体认知体系和知识体系。
事实上,定积分理论博大精深,结构体系完善;而且内容中蕴含着丰富的数学思想和数学方法。这些数学方法和思想在培养学生的思维观和方法论等方面具有不可代替的重要作用。但定积分等式在数学中所具有的重要作用和意义不仅仅局限于此。其不仅有实际应用意义,也是深入理解微积分理论和解决各类问题的基础。
基金项目
强军新工科一般课题:强联[2022]2号。