第三章一阶线性微分方程组第二讲一线性微分方程组的一般概念及理论.docVIP

陇东学院数学系常微分方程精品课程教案 PAGE PAGE 1 教案编写人:李相锋 李万军 第二讲 一阶线性微分方程组的一般概念与 一阶线性齐次方程组的一般理论（4课时） 目的与要求: 了解一阶线性微分方程组的一般概念与一阶线性齐次方程组的一般理论, 掌握一阶线性齐次方程组的通解结构, 理解基本解矩阵, Wronsky行列式等概念. 二、重点：一阶线性齐次方程组的通解结构, 基本解矩阵, Wronsky行列式. 三、难点：基本解矩阵, Wronsky行列式. 四、教学方法：讲练结合法、启发式与提问式相结合教学法. 五、教学手段：传统板书与多媒体课件辅助教学相结合. 六、教学过程： 1. 一阶线性微分方程组的一般概念 　　如果在一阶微分方程组(3.1)中, 函数 SKIPIF 1 0 , 关于 SKIPIF 1 0 是线性的, 即(3.1)可以写成 SKIPIF 1 0 (3.6) 则称(3.6)为一阶线性微分方程组. 我们总假设(3.6)的系数 SKIPIF 1 0 及 SKIPIF 1 0 在某个区间 SKIPIF 1 0 上连续. 为了方便, 可以把(3.6)写成向量形式. 为此, 记 SKIPIF 1 0 及 SKIPIF 1 0 根据第13讲的记号, (3.6)就可以写成向量形式 SKIPIF 1 0 (3.7) 　如果在 SKIPIF 1 0 上, SKIPIF 1 0 ,方程组(3.7)变成 SKIPIF 1 0 (3.8) 我们把(3.8)称为一阶线性齐次方程组. 如果(3.8)与(3.7)中 SKIPIF 1 0 相同, 则称(3.8)为(3.7)的对应的齐次方程组.与第二章中关于一阶线性微分方程的结果类似, 我们可以证明如下的关于(3.7)的满足初始条件(3.2)′的解的存在与唯一性定理. 定理3.1′ 如果(3.7)中的 SKIPIF 1 0 及 SKIPIF 1 0 在区间 SKIPIF 1 0 上连续, 则对于 SKIPIF 1 0 上任一 SKIPIF 1 0 以及任意给定的 SKIPIF 1 0 , 方程组(3.7)的满足初始条件(3.2)′的解在 SKIPIF 1 0 上存在且唯一. 这个定理的证明留给读者完成. 它的结论与定理3.1的不同之处是定理3.1的解的存在区间是局部的，而定理3.1′则指出解在整个区间 SKIPIF 1 0 上存在. 2. 一阶线性齐次方程组的一般理论 ?⑴一阶线性齐次微分方程组解的性质 本节主要研究一阶线性齐次方程组(3.8)的通解结构.为此我们首先从(3.8)的解的性质入手. ???定理3.2 如果 SKIPIF 1 0 是方程组(3.8)的 SKIPIF 1 0 个解，则 SKIPIF 1 0 ????????????????? ?(3.9) 也是(3.8)的解，其中 SKIPIF 1 0 是任意常数.换句话说，线性齐次方程组(3.8)的任何有限个解的线性组合仍为(3.8)的解. ?证明 因为 SKIPIF 1 0 是(3.8)的解，即 SKIPIF 1 0 SKIPIF 1 0 成立. 再由 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 SKIPIF 1 0 这就证明了(3.9)是(3.8)的解. ????定理3.2告诉我们，一阶线性齐次微分方程组(3.8)的解集合构成了一个线性空间.为了搞清楚这个线性空间的性质，进而得到方程组(3.8)的解的结构，我们引入如下概念. 定义3.1??设 SKIPIF 1 0 是 SKIPIF