1. 引言
用积分因子的观点可以统一各种一阶微分方程的初等积分法,也就是说,在理论上,积分因子法可以代替各种一阶微分方程的初等解法。
定理1 (积分因子的存在性定理)如果微分方程
(1)
有通解
,那么它就总有一个积分因子
,同时
也都是方程(1)的积分因子,并且(1)的积分因子必具有
的形式,其中
是u的任意一个可微函数。
2. 定理的证明
由于方程(1)有通解
,则有
(2)
于是
(3)
而(1)可改写为
(4)
比较(3)与(4),可得。
即
把这个相等的比记作
,即有
,
用
乘以(1)两端,得
即
这是一个恰当微分方程。又因
(5)
(6)
因
比较(5)与(6),便得到
这就证得了
也都是方程(1)的积分因子。
反之,设
也是方程(1)的积分因子,则同时有
和
其中
与
类似,即
由于雅可比行列式
且
所以函数
与
彼此相关,可表示为
于是
从而
。记
,则
。这就证得了方程(1)的其它积分因子必具有
的形式。
3. 应用举例
例1 [1] 设
是方程(1)的两个积分因子,且
常数,求证
(任意常数)是方程(1)的通解。
证明 已知
是方程(1)的一个积分因子,则相应地有一个可微函数u,使得
且
(任意常数)为方程(1)的通解。根据上述定理知
,其中
是t的可微函数,于是
(7)
由(7),则
(任意常数)就等价于
(任意常数)。从而
因
,
不恒为常数,即
,故
,即对
微分后推导出
。这说明由
(任意常数)所确定的y与x的关系式是方程(1)的解,故
(任意常数)是(1)的通解。
例2 [1] 齐次微分方程
当
时有积分因子
,假设该微分方程还是恰当的,试证它的通解可表为
(c为任意常数)。
证明 所给方程是恰当的,即它的积分因子为1。根据例1的结果,则
是所给方程的通解,这里c为任意常数。
例3 [1] 求解方程
解:对第一组,有
则其积分因子和二元函数如下:
对第二组,有
易见它有一个积分因子
,相乘后得
相应地有
。根据积分因子的存在性定理,可以考虑选择适当的可微函数
与
,使得
取
,
,则得到原方程的一个积分因子
。用它乘原方程两边,得
即
原方程的通解为
这里c是任意常数。
例4 [2] 求解方程
解 将方程改写为
即
(8)
第一组有积分因子
和原函数
;第二组有积分因子
和原函数
。现在要寻找可微函数
与
,使得
取
,
,则得到原方程的一个积分因子
用它乘以改写后的方程(8),得
即
或
因此,原方程的通解为
这里c为任意常数。此外,
也是原方程的一个解。