《三阶常微分方程的线性化.doc》由会员分享,可在线阅读,更多相关《三阶常微分方程的线性化.doc(4页珍藏版)》请在金锄头文库上搜索。
1、三阶常微分方程的线性化摘要研究三阶常微分方程的线性化,可便于对三阶常微分方程进行求解,本文主要研究,通过可逆的变量变换,将所有可线性化的三阶常微分方程转化成三阶程常微分方程的规范形式,进而得到它的通解。由于变量变换是可逆的,所以两种形式可以互相转化,从而可以利用该方法将一般三阶常微分方程转化成三阶常微分方程的规范形式。关键词:变量变换,可线性化,三阶常微分方程1. 三阶常微分方程的规范化由于一般三阶常微分方程(ODE)比较繁琐,难以求解,所以需要找到将一般三阶常微分方程转化成线性化的三阶常微分方程(三阶常微分方程的规范形式)的方法。1.1.背景 一般线性齐次方程 (1.1)可以写成如下二项式系
2、数的标准形式: (1.2) E. 拉盖尔于1879年证明了方程(1.2)里最高阶数以下的两个阶次项可以同时被消去,相应的结果可以用如下定理来表述:定理1.1 阶常微分方程(1.2)可以通过合适的等价变换 (1.3)化简为: (1.4)1.2.主要思想 我们把方程(1.4)称为线性齐次阶方程的Laguerre规范形式。特别地,三阶方程的规范形式为 (1.5)方程(1.5)很显然是线性的,那接下来的问题是,哪些三阶ODE可以线性化为(1.5)呢?下面我们给出可线性化的三阶方程的形式。定理 1.2 形如 (1.6)的三阶方程可以通过等价变换 (1.7)线性化为方程(1.5),其中并且和满足方程组 (
3、1.8) (1.9) (1.10) (1.11) (1.12)变换(1.7)中的函数和满足下列方程组 (1.13) (1.14) (1.15) (1.16) (1.17)由下列式子给出 (1.18)证明:由于等价变换(1.7)是可逆的,因此下面我们从方程(1.5)推出(1.6)。由于 代入得:上式为(1.6)的形式。其中经验证上述和满足方程组(1.8)-(1.18).2.相关例题例:将下列方程线性化 (2.1)解:上式为(1.6)的形式,下面我们验证是否满足定理1.2,由于 (2.2)我们很容易验证系数(2.2)满足条件(1.8)-(1.12)。下面我们求解等价变换。由于 (2.3)则方程(1
4、.13)可写为 (2.4)让我们采用它最简单的解,我们可以取。则由方程(1.14)和(1.15)可以得到 (2.5) 为常数,因此 (2.6)我们可以采用任意特解,设则 (2.7)另外,由方程(1.17)可以得到,由方程(1.18)给出。因此,变换 (2.8)将方程(2.1)线性化为 (2.9)参考文献:1 Ibragimov N.H., CRC handbook of Lie group analysis of differential equations, CRC Press Inc., Boca Raton,1994.2 Olver P.J., Applications of Lie groups to differential equations, Springer, New York, 1986.3 Ibragimov N.H. and Meleshko S.V., J. Math. Anal. Appl., 308(1), 2005, 266-289.4 卢琦等译, 微分方程与数学物理问题, 高等教育出版社, 北京, 2010.