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

推论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）的通解即可得到。(阶线性微分方程通解的结构定理．)推论3：如果是阶微分方程的n个线性无关解，其中是区间上的连续函数，则（5.21）的任一解均可表示为其中是任意常数。二、基本概念1、解矩阵2、基解矩阵如果一个矩阵的每一列在区间上都是线性无关的解矩阵称为在区间上（5.15）的基解矩阵。如果一个矩阵的每一列都是（5.15）的解，则称这个矩阵为（5.15）的解矩阵。3、定理（通解的结构定理）为了寻求齐线性微分方程组（5.15）的任一解，需要寻求一个基解矩阵。那么，怎样判定一个解矩阵是基解矩阵？这里是确定的维常数列向量．C定理1*(5.15)一定存在一个基解矩阵，如果是的任一解，那么注意：行列式恒等于零的矩阵的列向量未必是线性相关的。例如：定理2*（5.15）的一个解矩阵是基解矩阵的充要条件是．而且，如果对于某一个，则（表示矩阵的行列式）．无穷与有限的转换！线性无关组不一定能构成解！例1验证是方程组的基解矩阵。其中2、计算解矩阵的行列式值，并进行判断。解（步骤）：1、首先验证是解矩阵：即把矩阵的每一列作为一个向量验证是否是解？推论1*如果是（5.15）在区间上的一个基解矩阵，是非奇异常数矩阵，那么,也是在区间上的一个基解矩阵．这说明：基解矩阵的表示形式不是唯一的．验证方法证明。推论2*如果，在区间上是的两个基解矩阵，那么,存在一个非奇异常数矩阵，使得在区间上，有这说明基解矩阵的相似性．构造方法证明：构造常数矩阵C.、非齐线性微分方程组非齐线性微分方程组解的结构应用非齐线性微分方程组解的性质目的：利用（5.15)解的结构来讨论（5.14)解的结构.1、非齐线性微分方程组解的性质性质1如果是(5.14)的解，是对应的齐线性微分方程组(5.15)的解,则是(5.14)的解.性质2如果,是（5.14）的解，则是（5.15）的解.基本思想：代入式验证。基本思想：代入式验证。2、非齐线性微分方程组解的结构基本思想：代入式验证？利用性质2。定理7设是（5.15）的基解矩阵，是（5.14）的某一解，则（5.14）的任一解都可表示为这里是确定的常数列向量.由定理7得知，为了寻求（5.14)的任一解，只要知道（5.14)的一个解和它对应的齐线性微分方程组（5.15)的基解矩阵。那么,如何求它的一个特解？应用前面介绍的常数变易方法求（5.14)的一个解。01注释01定理８设是（5.15）的基解矩阵，则向量函数是（5.14）的解，且满足初始条件：.分析定理7和定理8，非齐线性