常微分方程第四章第一节.pptVIP

1§4.1高阶线性微分方程的

一般理论

/GeneralTheoryofHigher-OrderLinearODE/

2?理解高阶齐次线性方程解的性质和解的结构?理解高阶非齐次线性方程解的性质和解的结构本节要求/Requirements/

3n阶线性微分方程一般形式：其中是区间上的连续函数。称它为n阶齐次线性微分方程，而方程〔4.1〕为n阶非齐次线性微分方程。4.1.1引言/Introducation/n阶微分方程一般形式：

2阶齐次线性方程2阶非齐次线性方程

5方程〔4.1〕的解的存在唯一性定理:上，且满足初始条件：定理1及都是区间则对于任一及任意的方程（4.1）存在，定义于区间上的连续函数,唯一解如果

64.1.2齐线性方程解的性质与结构定理2〔叠加原理〕如果那么它们的线性组合的解，这里是任意常数。是方程〔4.2〕也是〔4.2〕的k个解，例有解

7证明

8问题：时，假设能否成为方程〔4.2〕的通解？不一定不包含解要使为方程〔4.2〕的通解还需满足一定的条件。?当是齐线性方程的解，如在上例中

9函数线性无关和相关定义在上的函数，如果存在使得恒等式不全为零的常数对所有成立，称这些函数是线性相关的，否那么称是线性无关的。如上线性无关上线性相关上线性无关要使得那么

10定义在区间上的k个可微k-1次的函数所作成的行列式称为这些函数的朗斯基行列式。朗斯基行列式

11定理3在区间上线性相关，上它们的朗斯基行列式。那么在证明由假设，即知存在一组不全为零的常数〔4.6〕〔4.7〕使得依次对t微分此恒等式，得到假设函数的齐次线性代数方程组，关于

12它的系数行列式方程存在非零解的充要条件是系数行列式必须为零，即由线性代数理论证毕其逆定理是否成立？例如：即由其构成的朗斯基行列式为零，但它们也可能是线性无关的。不一定

13故是线性无关的。推论

14如果方程(4.2)的解在区间上线性无关，那么任何点上都不等于零，即在这个区间的定理4设有某个，使得考虑关于的齐次线性代数方程组证明反证法〔4.9〕

15其系数行列式，故〔4.9〕有非零解构造函数根据叠加原理，是方程〔4.2〕的解，且满足初始条件由解的唯一性知，即因为不全为0，与的假设矛盾。〔4.10〕另也是方程(4.2)的解，线性无关证毕也满足初始条件〔4.10〕

16定理5n阶齐次线性方程(4.2)一定存在n个线性无关的解，线性相关定理4定理3重要结论方程(4.2)的解在区间上线性无关的充分必要条件是且任意n+1个解都线性相关。证明在上连续，取那么满足条件存在唯一。

17线性无关。即齐线性方程(4.2)一定存在n个线性无关的解。任取方程(4.2)的n+1个解，

18任意n+1个解都线性相关。

19定理6〔通解结构定理〕其中是任意常数，且通解〔4.11〕是方程〔4.2〕的n个线性无关的解，那么方程〔4.2〕的通解可表为〔4.11〕包括方程〔4.2〕的所有解。如果推论：

证明:首先,由叠加原理(4.11)是(4.2)的解,它包含有n个任常数,又因为故(4.11)为(4.2)的解.

考虑方程组以这组常数构造

由解的唯一性定理得:即根本解组:注:根本解组不是唯一的.

例1因而有证明:由于

微分上述行列式,得这时行列式最后一行的元素是

那么

即从而所以故刘维尔公式

非齐次线性微分方程对应齐次线性微分方程4.1.3非齐次线性方程与常数变易法

证明:因为所以,由微分性质两式相加得性质1如果是方程〔4.1〕的解，而〔4.2〕的解，那么是方程也是方程〔4.1〕的解。

证明:那么故性质2方程〔4.1〕的任意两个解之差必为方程〔4.2〕的解。

30是任意常数，且通解〔4.14〕包括定理7为方程〔4.2〕的根本解组，是方程〔4.1〕的某一解，那么方程〔4.1〕的通解为其中〔4.14〕设方程〔4.1〕的所有解。证明1)〔4.14〕一定是方程〔4.1〕的解，且含有n个独立的任意常数，是通解。2)是方程〔4.1〕的任一个解，那么是方程〔4.2〕的解证毕

31设为方程〔4.2〕的根本解组，为〔4.2〕的通解。〔4.15〕〔4.16〕非齐次线性方程齐次线性方程非齐次线性方程通解特解基解组表示关键常数变易法为〔4.1〕的解。

32令

33〔4.16〕代入方程〔4.1〕

34方程组有唯一的解，设为〔4.16〕

35特解通解非齐线性方程的通解等于对应齐次方程的结构:通解与自身的一个特解之和。

36例1求方程根本解组为，的通解，它对应齐线性方程的解解得原方程的通解为令

37例2求方程于域解