授课题目线性微分方程组授课类型理论课首次授课时间2011年5月23.docVIP

PAGE PAGE 1 授课题目 线性微分方程组 授课类型 理论课 首次授课时间 2011年 5月 23日 学时 2 教学目标 掌握线性方程组的解的性质及结构，会用常数变易法求简单方程组和二阶线性方程的解。 重点与难点 重点：解的结构，常数变易法 难点：线性相关、无关与伏朗斯基行列式的关系，常数变易法 教学手段与方法 讲授 教学过程：（包括授课思路、过程设计、讲解要点及各部分具体内容、时间分配等） ㈠授课思路： 讲述齐线性方程和非齐线性方程解的性质和结构，以及常数变易法。 ㈡过程设计 ⒈稳定课堂秩序，组织教学； ⒉引入新课； ⒊讲授新课 ⒋课堂练习与讨论 ⒌课堂小结与布置作业 ㈢讲解要点及各部分具体内容 有了线性微分方程组的初值问题解的存在唯一性定理作为理论基础，我们就可以着手讨论线性微分方程组的一般求解理论. 不失一般性，主要研究一阶线性微分方程组 （14） 的解的性质及通解的结构。 则称(14)为非齐线性的。 则称方程组 为齐线性方程组。 下面为了保证满足解的存在唯一性定理，总假定在上连续。 令，则（14）的线性算子表示是 （15）的线性算子表示是 一、齐线性微分方程组解的性质及通解的结构 1. 解的性质 （1）解的叠加性 定理2 若维列向量函数都是（15）的解，则这个解的线性组合也是（15）的解。 特别的，当时，也是（15）的解。 （2）解的线性相关性与线性无关性 ①定义 给定[a, b]上和向量函数若存在一组不全为零的数使得 则称线性相关。否则，称线性无关。 例如， (1)k+1个向量在任何区间线性无关。 (2) 在任何区间线性相关。 为了便于判断个维列向量函数的线性相关性与线性无关性，我们建立 ② 个维列向量函数的伏朗斯基行列式的概念 给定n个[a ,b]上的向量函数 构成的行列式 称为这些向量函数的伏朗斯基行列式。 ③判断个维列向量函数线性相关与线性无关的条件 定理 3 若向量函数在[a ,b]上线性相关,则其伏朗斯基行列 式 W (t)o0.t?[a, b] 证明 设有不全为零的使 把(16)视为以为未知函数的齐线性方程组，则其系数行列式W (t)=0,t?[a, b]. 定理 4 若向量函数在[a ,b]上线性无关,则其伏朗斯基行列式W (t)10. t?[a, b] 证明 采用反证法：设有t0 ?[a, b] W (t)=0对于 因其系数行列式W (t)=0，故(17)有非零解则由定理2可知， 是(15)的解。再由(17)知 x(t0)=0。 (19) 注：（15）的个解做成的的伏朗斯基行列式或者恒等于零，或者恒不等于零。 定理 5 (15)必有n个线性无关的解 证明 任取t? [a, b],由解的存在唯一性定理知，方程(15)分别满足 的解故由定理3知， 注：上述证明中的初始条件自然还有别的给法，只要别的给法能满足相应的伏朗斯基行列式在处的值不等于零即可。由此可见，（15）在上存在的n个线性无关的解不唯一。 2. 通解的结构 定理6 则(15)的任一解可表示为 其中 证 任取t0 ?[a, b],令 把(20)的c1,… c n视为未知数，则(20)是线性代数方程组，其系数行列式为 故(20)有唯一解c1,…, c n。作向量 则由叠加原理知，它是(15)的解。由(20) 知，(15)的两个解x (t)和 有相同的初始条件。故由解的唯一性，有 推论1 (15)的线性无关解的最大个数为n. 称(15)的n个线性无关的解为(15)的一个基本解组。 一阶线性微分方程组在[a, b]上所有解做成的集合，称为该方程组在[a, b]上的解空间，维数为n，其基底就是他的基本解组，其基底不唯一。 现在将本节定理写成矩阵的形式。 称该矩阵为(15)的解矩阵。它的线性无关的解矩阵称为[a, b]上(15)的基解矩阵。 作为列构成的基解矩阵。 定理5和定理6可表述为： 定理1* (15)必有基解矩阵F(t)。若Y(t)是(15)的任一解，则 此处C为确定的常 向量。 定理3和定理4可表述为： 定理2* (15)的解阵F(t)为基解矩阵?d etF(t)10,(t ?[a ,b]).并且若对t0 ?[a ,b], d etF(t0)10则 detF(t)10,(t?[a ,b]). 注: 行列式为0的矩阵，其列向量不一定是线性相关的。例如： 例1. 验证 证明： 推论1* 若F(t)是(15)在[a, b]上的基解矩阵，C是非奇异 n ′ n常数矩阵,则F(t) C也是[a, b]上的基解矩阵。 证明 (15)的任一解矩阵X (t)满足 微分上式得 异性，有 推论2* 若F (t),