线性微分方程组的一般理论ppt课件.ppt

《线性微分方程组的一般理论ppt课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、5.2线性微分方程组的一般理论讨论线性微分方程组的一般理论，主要研究它的解的结构。如果，则（5.14）称为非齐线性的。如果，则（5.14）称为齐线性的，即称：为齐线性的，通常（5.15）称为对应于（5.14)的齐线性方程组。5.2.1齐线性微分方程组主要讨论齐线性微分方程组（5.15）所有解的集合的代数结构。前提：A(t)在区间上是连续的。1、定理2（叠加原理）如果和是（5.15）的解，则它们的线性组合也是（5.15）的解，这里是任意常数。（5.15）的所有解构成一个线性空间，那么这个空间的维数是多少？于是有类似的概念：向量函数组线性相关（无关）性，以及向量函数组的伏朗斯基行列式。一

2、、基本定理分析：2、向量函数的相关性考虑定义在区间上的向量函，如果存在不全为零的常数，使得恒等式对于所有都成立，则称这些向量函数是线性相关的，否则就称这些向量函数在所给区间上线性无关的。3、向量函数的伏朗斯基（Wronsky）行列式由定义在区间上的n个向量函数所作成的如下行列式称为伏朗斯基行列式，即其中，构造一个齐次线性代数方程组，由代数方程解的理论得证。分析：4、定理3若向量函数在区间上线性相关，则在上它们的伏朗斯基(Wronsky)行列式为零，即有：6、定理5齐线性方程组（5.15）一定存在n个线性无关的解。分析：反证方法。分析：构造方法。5、定理4如果方程(5.15)的解在区间

3、上线性无关，则在内的任何点上都不等于零，即有：　　　　　　．推论1：方程（5.15）的线性无关解的最大个数等于　．因此有：齐线性方程组的所有解构成一个维线性空间．定义：方程（5.15）的一组个线性无关解称为方程的一个基本解组，显然，基本解组不唯一．7、定理6（通解结构定理）如果是方程（5.15）的个线性无关的解，则方程（5.15）的任一解均可表为：其中是相应的确定常数。推论2：如果已知（5.15）的k个线性无关解，则（5.15）可以降低为含n-k个未知函数的线性微分方程组。特别地，如果已知（5.15）的n－1个线性无关解，则（5.15）的通解即可得到。(阶线性微分方程通解的结构定理．

4、)推论3：如果是　阶微分方程的n个线性无关解，其中是区间上的连续函数，则（5.21）的任一解均可表示为其中是任意常数。二、基本概念1、解矩阵2、基解矩阵如果一个矩阵的每一列在区间上都是线性无关的解矩阵称为在区间上（5.15）的基解矩阵。如果一个矩阵的每一列都是（5.15）的解，则称这个矩阵为（5.15）的解矩阵。3、定理（通解的结构定理）为了寻求齐线性微分方程组（5.15）的任一解，需要寻求一个基解矩阵。那么，怎样判定一个解矩阵是基解矩阵？这里是确定的维常数列向量．C定理1*(5.15)一定存在一个基解矩阵　　，如果　是的任一解，那么注意：行列式恒等于零的矩阵的列向量未必是线性相关的

5、。例如：定理2*（5.15）的一个解矩阵　　是基解矩阵的充要条件是　　　　　　　　　．而且，如果对于某一个　　　　，则（　　　　表示矩阵　　的行列式）．无穷与有限的转换！线性无关组不一定能构成解！例1验证是方程组的基解矩阵。其中2、计算解矩阵的行列式值，并进行判断。解（步骤）：1、首先验证是解矩阵：即把矩阵的每一列作为一个向量验证是否是解？推论1*如果是（5.15）在区间上的一个基解矩阵，是非奇异常数矩阵，那么,也是在区间上的一个基解矩阵．这说明：基解矩阵的表示形式不是唯一的．验证方法证明。推论2*如果，在区间上是的两个基解矩阵，那么,存在一个非奇异常数矩阵，使得在区间上，有这

6、说明基解矩阵的相似性．构造方法证明：构造常数矩阵C.5.2.2、非齐线性微分方程组目的：利用（5.15)解的结构来讨论（5.14)解的结构.1、非齐线性微分方程组解的性质2、非齐线性微分方程组解的结构3、应用1、非齐线性微分方程组解的性质性质1如果是(5.14)的解，是对应的齐线性微分方程组(5.15)的解,则是(5.14)的解.性质2如果,是（5.14）的解，则是（5.15）的解.基本思想：代入式验证。基本思想：代入式验证。2、非齐线性微分方程组解的结构定理7设是（5.15）的基解矩阵，是（5.14）的某一解，则（5.14）的任一解都可表示为这里是确定的常数列向量.基本思想：代入式

7、验证？利用性质2。由定理7得知，为了寻求（5.14)的任一解，只要知道（5.14)的一个解和它对应的齐线性微分方程组（5.15)的基解矩阵。那么,如何求它的一个特解？应用前面介绍的常数变易方法求（5.14)的一个解。注释定理８设是（5.15）的基解矩阵，则向量函数是（5.14）的解，且满足初始条件：.分析定理7和定理8，非齐线性微分方程组（5.14）的满足初始条件的解可由下面公式给出(5.15)满足初始条件的解公式（5.26）或(5.27)称为非齐线性微分