第三章一阶线性微分方程组第一讲一阶微分方程及解的存在唯一性定理.docVIP

韩山师范学院数学系常微分方程精品课程教案 PAGE PAGE 1 教案编写人:李承耕 第一讲 一阶微分方程组及解的存在惟一性定理（2课时） 目的与要求: 了解高阶微分方程与一阶微分方程组的等价关系, 理解用向量和矩阵来研 究一阶微分方程组的作用, 了解微分方程组解的存在唯一性定理. 二、重点：一阶微分方程组的向量和矩阵表示及解的存在唯一性定理. 三、难点：向量和矩阵列的收敛性的定义, 二者的范数定义及其相关性质. 四、教学方法：讲练结合法、启发式与提问式相结合教学法. 五、教学手段：传统板书与多媒体课件辅助教学相结合. 六、教学过程： 1 课题引入 在前两章里，我们研究了含有一个未知函数的常微分方程的解法及其解的性质.但是，在很多实际和理论问题中，还要求我们去求解含有多个未知函数的微分方程组，或者研究它们的解的性质. 例如，已知在空间运动的质点 SKIPIF 1 0 的速度与时间 SKIPIF 1 0 及该点的坐标的关系为 SKIPIF 1 0 SKIPIF 1 0 且质点在时刻 SKIPIF 1 0 经过点 SKIPIF 1 0 ，求该质点的运动轨迹。 因为 SKIPIF 1 0 和 SKIPIF 1 0 , 所以这个问题其实就是求一阶微分方程组 SKIPIF 1 0 的满足初始条件 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 的解 SKIPIF 1 0 . 另外，在n阶微分方程 （1.12） SKIPIF 1 0 中,令 SKIPIF 1 0 就可以把它化成等价的一阶微分方程组 SKIPIF 1 0 注意，这是一个含n个未知函数 SKIPIF 1 0 的一阶微分方程组. 含有n个未知函数 SKIPIF 1 0 的一阶微分方程组的一般形式为： SKIPIF 1 0 (3.1) 如果方程组(3.1)右端函数不显含 SKIPIF 1 0 , 则相应的方程称为是自治的. 方程组(3.1)在 SKIPIF 1 0 上的一个解，是这样的一组函数 SKIPIF 1 0 使得在 SKIPIF 1 0 上有恒等式 SKIPIF 1 0 SKIPIF 1 0 含有n个任意常数 SKIPIF 1 0 的解 SKIPIF 1 0 称为(3.1)的通解. 如果通解满足方程组 SKIPIF 1 0 则称后者为(3.1)的通积分. 如果已求得(3.1)的通解或通积分，要求满足初始条件 SKIPIF 1 0 (3.2) 的解，可以把初始条件(3.2)代入通解或通积分之中，得到关于 SKIPIF 1 0 的n个方程式，如果从其中解得 SKIPIF 1 0 ，再代回通解或通积分中，就得到所求的初值问题的解. 2 一阶微分方程组的向量和矩阵表示 　　为了简洁方便，经常采用向量与矩阵来研究一阶微分方程组(3.1). 令n维向量函数 SKIPIF 1 0 SKIPIF 1 0 并定义 SKIPIF 1 0 SKIPIF 1 0 则(3.1)可记成向量形式 SKIPIF 1 0 (3.3) 初始条件(3.2)可记为 SKIPIF 1 0 其中 SKIPIF 1 0 (3.2)′ (3.3)的满足(3.2)′的初值问题可记为 SKIPIF 1 0 (3.4) 这样，从形式上看，一阶方程组与一阶