1. 引言
常微分方程的发展历史可以追溯到17世纪,对于一类特殊的一阶微分方程,牛顿利用无穷级数进行求解。在18世纪,瑞士大数学家欧拉提出了积分因子的概念,他还确定了采用积分因子方法的微分方程类型,证明了只要是可用变量分离求解的微分方程都可以用积分因子进行求解,但是反之不然[1]。
积分因子及其应用在常微分方程以及数学分析中有着重要的作用。如何求解积分因子一直是一个难点问题。另外,积分因子可以和罗尔定理结合应用,构造相应的辅助函数,更深刻地揭示辅助函数构造的原理,可以在教学过程中帮助学生理解和掌握如何构造辅助函数。
2. 积分因子的定义和性质
在常微分方程中,积分因子的性质和应用一直是教学的重点和难点。我们首先给出恰当方程的定义。
定义1 [2]:称方程
(1)
为区域
上的恰当方程,如果存在D上的可微函数
,使得:
.
上面的
称为
的原函数。
对于恰当方程,我们可以很快得到,方程的通解为
。那么我们又该如何判断方程是否为恰当方程呢?我们有如下定理。
定理2 [2]:设
,
在矩形区域
内连续可微,则方程(1)为D内的恰当方程当且仅当:
.
接下来,我们介绍积分因子的概念。
定义3 [2]:如果不恒为零的函数
使得方程
成为恰当方程,则称
是方程(1)的一个积分因子。
如果对于方程(1),我们已经得到了一个积分因子
,使得:
.
则对于任何连续可微的一元函数
,函数
(如果不恒为零)也是方程(1)的一个积分因子[2]。
但是如何求解积分因子一直是一个热点问题。目前常见的是观察法、分项组合法以及公式法,参见[3] [4]。我们以如下例子来说明分项组合法。
例1 求解方程:
。
解:将方程分组,即为:
.
易得前一组的积分因子为
,且
.
那么对任何非零的连续可微函数
,
也是第一组的积分因子。
对于第二组,有积分因子
,
.
那么对任何非零的连续可微函数
,
也是第二组的积分因子。
因此,我们待定
和
,使得:
.
经过计算,可以得到,当
,上式成立。此时得到原方程的积分因子
,从而得到恰当方程为:
.
得到通解为:
.
最后补上特解
和
。
3. 应用举例
有了积分因子之后,由于积分因子是作为乘子乘到方程中的,可以很大程度地避免讨论分母出现零的情形,这对于学生求解微分方程提供了便利,尤其是针对可分离变量的微分方程。
利用积分因子,对于微分中值定理中需要用到罗尔定理构造辅助函数的题目有很大的帮助,便于学生理解和解题。由于大学的课程设置中,数学分析或者高等数学都是在大一,而常微分方程一般是在大二、大三,这就需要任课老师在平时的练习以及授课中适时地提醒学生将两者方法结合起来。
例1 设
在
上连续,且在
内可导,证明至少存在一点
,使得:
.
证:由结论分析可知,需要构造一个函数
,使得
满足罗尔定理的条件,且
的导数含有
的因子,即
。因此,构造:
,
那么
,在
内可导,且
。根据罗尔定理,存在
,使得:
.
从而完成证明。
例2 设
在
上连续,在
内可导,且
。证明至少存在一点
,使得:
.
证:观察结论可知,构造的辅助函数需要在求导之后含有因子n,才能使得结论中的等式成立。因此,取:
,
那么
,在
内可导,且
。根据罗尔定理,存在
,使得:
.
又由于
,上式两边同除以
,即得到所需结论。
事实上,以上两个例题都可以利用积分因子。但是数学分析或者高等数学都是在大一授课,此时学生还没有接触到积分因子这个知识点。因此,老师在授课的时候可以引导学生去思考构造的辅助函数和积分因子之间的联系,让学生自主思考,激发学生的学习兴趣。接下来,我们针对以上两个例题,简要说明下积分因子的构造。
对于例1中的结论:
。先把
换成x,即我们需要证明:
.
利用公式法,可以知道上式的积分因子为:
,
所以构造辅助函数为
。
对于例2中的结论:
。同理,先把
换成x,且
,即我们需要证明:
.
利用公式法,可以知道上式的积分因子为:
,
所以构造辅助函数为
。
然而,有的题目是需要用到多次微分中值定理,相应的积分因子是需要用在后面构造辅助函数,这无疑是增加了题目的难度。
例3 设
在
上连续,且在
内可导,
,
,对于
,
。证明至少存在一点
,使得:
.
证:根据需要证明的结论,我们知道,需要利用罗尔定理,构造相应的辅助函数
,使得
的导数含有因子
。因此,可以构造:
,
根据题目中的已知条件,可以得到
在
上连续,且在
内可导:
.
但是这仍然不够。为了使所构造的辅助函数
满足罗尔定理,我们需要得到至少存在一点
,使得:
.
根据已知条件,对于
,
。所以上式中
换成x,并同时除以
,即我们需要证明:
.
因此,我们构造的辅助函数
的导数中需要含有因子
。从而我们取:
.
那么
在
上连续,且在
内可导,且
以及
.
所以
满足罗尔定理的条件,至少存在一点
,使得:
.
那么我们就完成了证明。
上面这个例题用了两次罗尔定理,构造了两次不同种类的辅助函数,这无疑是增加了题目的难度。事实上,对于:
,
就是上式的积分因子。因此,了解并掌握积分因子对于学生利用微分中值定理构造辅助函数具有较大帮助。
基金项目
上海理工大学本科教学研究与改革项目(JGXM202310)。