第五章：线性微分方程组.doc

第五章：线性微分方程组 本章教学目的和要求： 使学生掌握线性微分方程组解的结构。要求学生熟练掌握求解 常系数线性问粉方程组。熟练掌握常数变易法。 本章重点： 解的性质与结构，常系数方程组的解法，常数变易法。 本章难点： 向量函数组的线性相关性，一般理论中的定理证明。 本章课时安排： 讲16学时，习题及总结测验2学时 第五章：线性微分方程组 说明： 本章所讨论的线性微分方程组仅限与一阶微分方程，从讲义的开头所说的，方程组不仅能在实际中应用广泛，而且她对高阶方程的求解具有不可忽视的作用。不仅如此，方程组的有关定理在近代微分方程理论中也占有重要地位。 本章内容： 一．一阶微分线性方程组及其解的概念；初值问题解的存在和唯一性定理。 二.线性方程组及其解的一般理论/包括解的线线性相关性，基本解组和解的结构定理。 三.方程组的具体解法。 §5.1 存在唯一性定理 5.1.1 记号和定义 ①引言：在第二章我们研究了含有一个未知函数的微分方程的解法以及它们的性质。但是，在很多实际问题与理论问题中，还要求我们去求解含有多个未知数函数的微分方程组，或者研究它们的解的性质。如空间运动质点P 的速度与 以及坐标的关系式为： 又如： 令 化成一阶微分方程组。 用类似的方法，如果在 阶微分方程 中，令 它就可以化成方程组 共同点：出现的未知函数的导数都是一阶的 它 们都是一阶微分方程组。 ②定义： 含有n 个未知数 的一阶微分方程组的一般形式： ③解的定义： 一组函数 使得在 上有恒等式 含有n个任意常数, 的解 (2) 称为（1） 的通解;如果通解满足方程组 (3) 则称（3）为（1） 的通积分。 ④满足初始条件的解 称为初值问题的 通解。 研究 特解。 ⑤为了简洁方便经常采用向量与短矩阵来研究一阶微分方程组（1），令维向量函数 并定义 则（1）可记成向量形式 （4） 初始条件可记成 其中 初值问题可记为： 这样从形式上看 ，方程组就与一阶微分方程式完全一样了。 ⑥ i 定义Y 的范数， ii性质略 . iii 按范数收敛概念 ⑦解存在于唯一性定理 ⑧第3章Th3.1于是也得到了证明。 5.1.2 存在唯一性定理 ①定义：若（4.4）中关于是线性的， 即写成 （1） 我们称（1）为线性微分方程组 阶方程可化成线性方程。 ②介绍某些概念：以后总假定 及在某个区间I ：上连续，而不再每次都加说明。 i 为方便写成向量的形式 及向量 满足初始条件仍记为 其中 ii 若在I上即 （2）我们把（2）称为线性齐次方程组。若在I上不为零向量，则称非线性齐次方程组。 〈iii〉解的存在与唯一性定理 定理：如果及在I: 上连续则对上任一以及任意给定的，方程组（1）满足初始条件的解在上存在且唯一。 §5.2 线性线性方程组的一般理论 5.2.1 齐次线性微分方程组 1°线性齐次方程组的通解结构 定理4.2： 如果: 是方程组（1）的 m个解，则 （2） 也是（1）的解，其中是任意常数。换言之，线性齐次方程组（1）的任何有限个解的线性组合仍为（1）的解。 若有（1）的n个解，那么在什么条件下，含有n个任意常数的解。才是齐次方程组（1）的通解呢？为了说明这一问题，我们先给出向量函数线性相关的概念。 2° i 定义4.1:设: (3)是m 个定义在区间I上的n 维向量函数。如果存在m 个不全为零的常数，使得 =0 在区间I上恒成立，则称这m 个向量在区间 I上线性相关。否则，称在区间I上线性无关。 两个特殊的情况: i如果两个向量函数与的对应分量成比例,即有等式： 则它们在区间I上线性相关。 〈ii如果向量组（3）中有一零向量 则（3）在I上线性相关。 例1.向量函数 ，在R上线性无关。 例2. ， 在R上线性无关 3°下面介绍n个n维向量函数组 （4） 在其定义区间I上线性相关与线性无关的判别准则。 〈i〉我们称这些列向量所组成的行列式 为向量组（4）的朗斯基行列式。 〈ii〉判定定理 Th4.3：如果向量组（4）在其区间I上线性相关，则它的朗斯基行列式在I上恒为零。 Th4.4：如果 是方程组（1）的n个线性无关解，则它的朗斯基行列式 推论4.1：如果向量组（4）的朗斯基行列式在区间I 上的某一点处不等于零，，则向量组（4）在I上就线性无关。 推论4.2：若个解必线性相关。 推论4.3：方程组（1）的n个解在其定义区间I上线性无关的充要条件是它的朗斯基行列式在I上的任一点处不为零。 4°①定义基本解组。(1)的n个线性无关解称为