1. 常数变易法简介
考虑如下一阶线性微分方程组
, (1)
其中,
为
阶矩阵。若
,则方程组变为
, (2)
称为齐次线性方程组。假设方程组(1)的基本解矩阵为
,则线性齐次方程组(2)的通解为
,c为任意n维列向量。求相应非齐次方程组(1)的特解,我们使用常数变易法,即假设方程组(1)的特解形式为
,其中
为待定的向量值函数,将其带入方程组(1)得到一个关于
的一阶线性齐次微分方程组,解出
即可。
作为求解线性非齐次方程(组)的一种重要方法,据文献 [1],常数变易法可追溯至Newton的《自然哲学之数学原理》;1697年John Bernoulli将这种方法应用于特殊的非齐次方程的求解;1739年Euler用常数变易法研究了一类特殊的二阶非齐次微分方程;后来著名数学家Lagrange在1774~1808年期间充分发展了常数变易法。《常微分方程》教材在叙述一阶线性非齐次方程的求解过程时,使用的方法有积分因子法(例如文献 [2]),常数变易法(例如文献 [3] [4] [5])等,然而在求解一阶线性非齐次方程组时均使用常数变易法(例如文献 [2] [3] [4] [5])。然而以上教材仅给出了这样做的结果,并无探讨过程。在《常微分方程》教学过程中,难免会有学生提出疑问(当然在《高等数学》教学过程中也会遇到同样的问题)。往往我们只能惊叹于前人丰富的数学想象力。笔者在翻阅文献 [6] 时注意到了一些结论,这些结论将有助于给常数变易法一个较为合理的数学解释。
2. 伴随方程
我们首先引入一阶线性齐次方程组伴随方程的概念。
引理 [6] 若
为齐次方程组(2)的基本解矩阵,则矩阵
是伴随方程
, (3)
的基本解矩阵。
证明:令
。由
(单位方阵)可知
。
由于
非奇异,故
,
即
是伴随方程(3)的矩阵解,
的非奇异性易得。
[证毕]
利用伴随方程的结论我们可以得到如下恒等式。
定理 [6] 若
为齐次方程组(2)的基本解矩阵,
为齐次方程组(1)的解,则齐次方程组(1)等价于
。 (4)
证明:由引理知,
是伴随方程的基本解矩阵,即满足
,
两边乘以非齐次方程组(1)的任意解
可得
,
即
,
于是我们得到
。
[证毕]
3. 常数变易法的原理
当
时,齐次方程组(2)的解
满足
,
得到
,即
。
当
时,非齐次方程(1)的解
满足
,
得到
,即
,其中
为
的一个原函数。
由上述结论我们看出为了构造非齐次方程组的特解只需将齐次方程通解中的常数向量c变为待定的向量值函数
即可。这应该就是常数变易法的一个比较合理的数学解释。
利用定理中的结论,我们还可以直接得到非齐次方程特解的常数变易公式。事实上,对(4)式从t0到t进行积分可得
,
即
。
4. 一阶线性方程
对于一阶线性方程组的特殊形式,一阶线性方程
,考虑其相应的齐次方程
,利用分离变量法容易得到它的通解
,事实上
。显然在
的定义域内满足
,因此
有意义。
考虑到《高等数学》课程的教学过程中一般不引入线性微分方程组的相关概念,因此我们可以这样解释一阶线性方程的常数变易法。
注意
,两边关于t求导可得
注意到
满足齐次方程
,代入上式可得并整理可得
上式两端乘以非齐次方程
的任意解
可得
整理之后可知
可得
,即
,其中
为
的一个原函数。这样我们就解释清楚了,在构造非齐次方程组的特解时,为什么只需将齐次方程通解中的常数c变易为函数
即可。
致谢
作者感谢审稿人提出的宝贵意见。
基金项目
本文得到河南省教育厅高等学校重点科研项目:19A110018,河南省研究生教育改革和质量提升工程:HNYJS2017KC09,河南省高校基本科研业务费专项:NSFRF180320,河南理工大学博士基金(理工类):B2016-58,河南理工大学教育教学改革研究与实践项目:2019JG044的支持。
NOTES
*通讯作者。