1. 引言
恰当微分方程(全微分方程)是尤为重要的微分方程,因为用积分因子的观点可以统一各种一阶微分方程的初等积分法,也就是说,在理论上,积分因子法可以代替各种一阶微分方程的初等解法。因此,把作为根本的恰当微分方程(全微分方程)的概念剖析透彻是至关重要的。在导入恰当微分方程(全微分方程)的概念时,用通解来反推出和它对应的微分方程,一方面可以充分地体会到恰当微分方程(全微分方程)概念出现时的自然而然,一方面又可以再次强化对所求得的微分方程的通解是否正确的检验意识。
文中给出的齐次函数欧拉定理必要条件的证明中所采用的方法,既能加深对齐次函数特点的理解,又能很容易地理解 [1] [2] 中为什么把导数形式的微分方程
(1)
称为齐次微分方程,以及 [3] 中所述的微分形式的齐次方程
(2)
的一个等价定义是,它可以化为如下的形式:
. (3)
这以及涉及齐次函数的积分因子和通解中运用齐次函数欧拉定理的问题,在所举的例子中都体现了出来。
2. 恰当方程概念的导入
例1 通解如下的相应的微分方程是什么?其中
。
1)
;2)
;3)
。
解(1)等式两边对x求导,得
;
解(2)等式两边对x求导,得
;
解(3)等式两边对x求导,得
.
一般地,通解为
的相应的微分方程为
.
从上面的例子也可以看出,两个偏导数
和
通常来说仍然是
的二元函数。记
,
,
则通解为
的微分方程为
(4)
反之,在形如(4)的微分方程中,如果
恰好是某一个二元函数
对x的偏导数
,而
恰好是这个二元函数
对y的偏导数
,那么微分方程(4)的通解就是
,这里c是任意常数。
这样一来,从这个角度出发,由果溯因,我们就发现了具有某种特征的一类微分方程的新的解法,结论就是:
设给定微分方程(4),如果其中
,则这个微分方程的通解就是
,(c是做任意常数)。
在这种情形,方程(4)称为恰当微分方程,在应用上,常把它写成更加对称的形式
. (5)
于是,上面的讨论就写成
.
式子
称为恰当微分(全微分),进而方程(5)称为恰当微分方程(全微分方程)。
例2 设方程
(6)
找出
,求通解。
解 由于
,
,
于是
,
方程(6)的通解为
,其中c是任意常数。
例3 求方程
(7)
的通解。
解(7)改写为
.
由于
,
,
方程即
,
.
于是(7)的通解为
,
即
,
这里
为任意常数。
再有如
,即
,
,通解为
,其中c是任意常数。
还有如
,即
,
,
通解为
,
其中c是任意常数。
3. 关于齐次函数的欧拉定理的必要性的证明和该定理的应用
3.1. 必要性的证明
定理 [4] 若函数
满足恒等式
,则称
为k次齐次函数。试证下述关于齐次函数的欧拉定理:可微函数
为k次齐次函数的充要条件是
[5] 给出了证明。现在给出必要性的另一种证法。
由于
,取
,则
, (8)
于是
,
,
。
从而
,
注意到式(8),则
。
3.2. 例子
例4 [1] 试证齐次微分方程
当
时有积分因子
。
证 只需证明二元函数
满足
。
因
,(9)
同理可得
。 (10)
不妨设M、N为m次齐次函数,则有
与
,
从而
,
。
将它们代入(10),则
。
注意到式(9),于是
。
例5 [3] 证明齐次方程
的一个等价定义是,它可以化为如下的形式:
。
证 设
,
。取
,则
,
,
从而
,
。
原齐次方程可写成
。
例6 [1] 假设例4中微分方程还是恰当的,试证它的通解可表为
(c为任意常数)。
证 由于方程
是恰当的,则
。 (11)
又由于方程是齐次的,不妨设M、N是m次齐次函数,则有
, (12)
。 (13)
结合上述(11)、(12)、(13),可得到
,(14)
。 (15)
原方程为
,由(14)、(15),则方程化为
。
即
,
或
。从而方程的通解为
,这里c是任意常数。