第三章 一阶性微分方程组教案.doc

第三章 一阶性微分方程组 §3.1 一阶微分方程　　在前两章里，我们研究了含有一个未知函数的常微分方程的解法及其解的性质.但是，在很多实际和理论问题中，还要求我们去求解含有多个未知函数的微分方程组，或者研究它们的解的性质. 例如，已知在空间运动的质点的速度与时间及点的坐标的关系为且质点在时刻经过点，求该质点的运动轨迹.因为和,所以这个问题其实就是求一阶微分方程组的满足初始条件的解另外，在n阶微分方程中,令就可以把它化成等价的一阶微分方程组注意，这是一个含n个未知函数的一阶微分方程组含有n个未知函数的一阶微分方程组的一般形式为：方程组(3.1)方程组方程组(3.1)在上的一个解，是这样的一组函数 使得在上有恒等式含有n个任意常数的解称为(3.1)的通解. 如果通解满足方程组则称后者为(3.1)的通积分.如果已求得(3.1)的通解或通积分，要求满足初始条件 (3.2) 的解，可以把初始条件(3.2)代入通解或通积分之中，得到关于的n个方程式，如果从其中解得，再代回通解或通积分中，就得到所求的初值问题的解. 为了简洁方便，经常采用向量与矩阵来研究一阶微分方程组(3.1).令n维向量函数并定义 则(3.1)可记成向量形式 (3.3) 初始条件(3.2)可记为 , 其中 (3.2)′ (3.3)的满足(3.2)′的初值问题可记为 (3.4) 这样，从形式上看，一阶方程组与一阶方程式完全一样了. 进一步，对n维向量Y和矩阵, , 定义 易于证明以下性质： 　　1., 且当且仅当(表示零向量，下同); 　　2. 　　3.对任意常数，有 　　4. 　　5. 　　6.对任意常数，有 　　7. 　　8. 称Y‖和A‖分别为向量Y和矩阵A的范数. 进而还有如下性质 有了n维空间的范数定义后，我们可以定义按范数收敛的概念.即：如果对上的任意，有 则称在上按范数收敛于.如果上式对上的x为一致的，则称在上按范数一致收敛于 另外，如果对n维向量函数有 则称在连续. 有了以上准备，完全类似于第二章定理2.2，我们有如下的关于初值问题(3.4)的解的存在与唯一性定理.定理3.1 如果函数F(x,Y)在n+1维空间的区域 上满足： 　　1) 连续； 2) 关于满足李普希兹条件，即存在, 使对于上任意两点，有 则存在,使初值问题(3.4)的解在上存在且唯一，其中 定理的证明方法与定理2.2完全类似,也是首先证明(3.4)与积分方程 (3.5) 同解.为证(3.5)的解在上的存在性，同样用逐次逼近法，其步骤可以逐字逐句重复定理2.2的证明.最后，唯一性的证明，同样用贝尔曼不等式完成. 对于方程组(3.3)也有类似第二章关于纯量方程(1.9)的解的延展定理和解对初值的连续依赖性定理，这只要在第二章相应定理中把纯量y换成向量Y即可. 最后，我们要指出方程组(3.3)解的几何意义：我们已经知道，纯量方程(1.9)的一个解是二维空间xoy平面上的一条曲线，或称为积分曲线，那么，很自然地有方程组(3.3)的一个解就是n+1维空间(x,Y)中的一条曲线了，也称它为方程组(3.3)的积分曲线3.2 一阶线性微分方程组的一般概念如果在一阶微分方程组(3.1)中，函数，关于是线性的，即(3.1)可以写成 (3.6) 则称(3.6)为一阶线性微分方程组. 我们总假设(3.6)的系数及在某个区间上连续. 为了方便，可以把(3.6)写成向量形式.为此,记 及 根据3.1节的记号，(3.6)就可以写成向量形式 (3.7) 如果在I上，, 方程组(3.7)变成 (3.8) 我们把(3.8)称为一阶线性齐次方程组. 如果(3.8)与(3.7)中相同，则称(3.8)为(3.7)的对应的齐次方程组. 与第二章中关于一阶线性微分方程的结果类似，我们可以证明如下的关于(3.7)的满足初始条件(3.2)′的解的存在与唯一性定理. 定理3.1′ 如果(3.7)中的及在区间I =上连续，则对于上任一以及任意给定的，方程组(3.7)的满足初始条件(3.2)′的解在上存在且唯一. 这个定理的证明留给读者完成. 它的结论与定理3.1的不同之处是定理3.1的解的存在区间是局部的，而定理3.1′则指出解在整个区间上存在. 一阶方程刘维尔公式??齐次方程组的解和其系数之间联系刘维尔公式??齐次方程组的解和其系数之间联系1．一阶线性齐次微分方程组解的性质本节主要研究一阶线性齐次方程组(3.8)的通解结构.为此我们首先从(3.8)的解的性质入手. 定理3.2 如果 是方程组(3.8)的m个解，则??????????(3.9) 也是(3.8)的解，其中是任意常数.换句话说，线性齐次方程组(3.8)的任何有限个解的线性组合仍为(3.8)的解. 证明 因为是(3.8)的解，即 成立. 再由 这就证明了(3.