常微分方程 15讲.pptVIP

中央民族大学数学与计算机学院 第十五讲 第五章线性微分方程组 一阶微分方程组的一般形式 一阶线性微分方程组的概念 解的存在性与唯一性 关于齐次方程组(LH)的解的结构 一阶微分方程组的一般形式 含有n个未知函数的一阶微分方程组的一般形式为： 一阶微分方程组的一般形式 ★方程组(1)在区间上的一个解，是这样的一组函数，它使得在区间上有下列恒等式成立 一阶微分方程组的一般形式 一阶微分方程组的一般形式 一阶微分方程组的一般形式 一阶微分方程组的一般形式 并定义： 一阶微分方程组的一般形式 相关定义：即，称一矩阵（包括作为特殊矩阵的向量）函数的导数（或积分，或极限）是指这样一个矩阵函数，它的各个元素是原矩阵的相应元素的导数（或积分，或极限）；称一矩阵（包括作为特殊矩阵的向量）函数序列是收敛（或在区间上一致收敛）的，指的是它的相应元素做成的函数序列是收敛（或在区间上一致收敛）的. 一阶微分方程组的一般形式 这样，则(1)可记成向量形式： 补充：向量Y和矩阵A的范数或模 一阶线性微分方程组 本章我们研究一类具有特殊结构的方程，称为线性方程. 这类方程，虽然结构简单，但一般不能用初等积分法求得它的通解表达式. 然而，人们却可以直接根据方程的特点，从理论上推断它的通解结构. 如果在一阶微分方程组(1)中，函数 关于 是线性的，即(1)可以写成如下形式： 一阶线性微分方程组 一阶线性微分方程组 为了方便，可把(2)写成向量和矩阵形式.为此记： 一阶线性微分方程组 如果在I上， 解的存在性与唯一性 对于一个不能用初等积分法求解的微分方程，首要问题是，它是否有解？更明确地说，是否存在满足初始条件的解？进而还要问：满足初始条件的解是否唯一？这些问题得不到满意的回答，就很难再谈关于这一方程的其他问题的研究. 解的存在性与唯一性 定理5.1 如果(NH)中的 A(x),F(x)在区间I上连续，则对于任一 以及任意给定的n维 ,向量方程组(NH)的满足初始条件的解在区间I上存在且唯一. 证明分4步完成：1、把初值问题(NH)，化成下述等价的积分方程组： 解的存在性与唯一性 2、用逐步逼近法构造皮卡向量序列，即函数向量序列： 3、证明函数向量序列 于区间I内部一致收敛（即于区间I的任意有限闭子区间上一致收敛），且其极限向量函数是积分方程组（3）在区间I上的连续解向量. 解的存在性与唯一性 3、事实上，由数列与级数的关系可知，只须证明无穷向量级数 于区间上一致收敛. 解的存在性与唯一性 解的存在性与唯一性 4、最后证明唯一性，即证明：如果 上也是（3）连续解向量，则在区间I必有 解的存在性与唯一性 注1、方程组（NH）的任何解向量都能延拓到整个区间上. 注2、皮卡迭代序列提供了近似求（NH）的初值问题的方法. 本节要点： 　　1．一阶微分方程组解的存在唯一性定理及解的几何意义。 　2．一阶线性微分方程组解的存在唯一性定理及其特征：系数和非齐次项连续区间上整体存在。 关于方程组(LH)的解的结构 m个向量函数在区间I上线性相关(无关)。 是m个定义在区间I上的n维向量函数.如果存在m个不全为零的常数 ，使得 在区间上恒成立，则称这m个向量函数在区间I上线性相关；否则称它们在区间I上线性无关. 关于方程组(LH)的解的结构 关于方程组(LH)的解的结构 关于方程组(LH)的解的结构 关于方程组(LH)的解的结构 齐次微分方程组（LH）通解的结构 关于方程组(LH)的解的结构 关于方程组(LH)的解的结构 关于方程组(LH)的解的结构 本讲要点： 一阶线性齐次微分方程组的所有解构成一个线性空间． 向量函数组和解组相关性判定 向量函数组、向量解组 线性相关 线性相关 线性无关 线性无关 齐次线性方程组通解基本定理5.6解空间是n维线性空间． 刘维尔公式(5.3.6)解与系数关系． 定理5.5 齐次线性方程组(LH) 在区间I上必存在 基本解组. 证明提示：取特殊的初始条件 (5.3.3) 憎抑苛入凉龟拦垢涎牵孜穆量吵齿佯畸镜裁茂毕阑科两钥篡尘侨酪处呵屉常微分方程 第15讲常微分方程 第15讲 由于它们所构成的朗斯基行列式 因而，由推论知 是（LH）在区 间上的基本解组. 榔蒙印飞鄙淄炊芝雨昏诺妄菌性股榆乌引轧丽掂青吉急屁段贷勾恃铲奋焚常微分方程 第1