《线性微分方程组解存在唯一性定理.pptx》由会员分享，可在线阅读，更多相关《线性微分方程组解存在唯一性定理.pptx（29页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 掌握高阶线性微分方程与线性微分方程组的关系。掌握高阶线性微分方程与线性微分方程组的关系。理解线性微分方程组解的存在唯一性定理。理解线性微分方程组解的存在唯一性定理。熟练掌握解的逐次逼近序列的构造方法。熟练掌握解的逐次逼近序列的构造方法。本节要求本节要求/Requirements/第1页/共29页5.1.1 5.1.1 记号与定义记号与定义/Symbol and Definition/Symbol and Definition/一阶微分方程组一阶微分方程组初值条件初值条件 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第2页
2、/共29页一阶线性微分方程组一阶线性微分方程组(5.1)5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第3页/共29页.(5.2)(5.3).(5.4)5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第4页/共29页 可定义矩阵与向量函数可定义矩阵与向量函数在区间在区间连续连续:连续。连续。在区间在区间可微可微:可微。可微。在区间在区间可积可积:可积。可积。在区间在区间 5.1 E 5.1 Existence&Uniqueness Theorems of o
3、f Linear ODEs 第5页/共29页 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第6页/共29页上的连续上的连续 维向量，方程组维向量，方程组上连续且满足上连续且满足定义定义1 1 设设是区间是区间上的连续上的连续矩阵，矩阵，是区间是区间.(5.4)在某区间在某区间的解就是向量的解就是向量在区间在区间 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第7页/共29页定义定义2初值问题初值问题(Cauchy Problem).(5.5)的解就是方程
4、组的解就是方程组(5.4)在包含在包含使得使得 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第8页/共29页例例1 1 验证向量验证向量是初值问题是初值问题 在区间在区间上的解。上的解。解解因此因此 是给定初值问题的解。是给定初值问题的解。5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第9页/共29页5.1.2 n 阶线性微分方程与一阶线性微分方程组等价阶线性微分方程与一阶线性微分方程组等价例例1令令解解 5.1 E 5.1 Existence&Uniq
5、ueness Theorems of of Linear ODEs 第10页/共29页满足满足解解构造构造向量向量 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第11页/共29页解解满足满足 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第12页/共29页令令 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第13页/共29页 5.1 E 5.1 Existence&Uniqueness
6、 Theorems of of Linear ODEs 第14页/共29页(5.6)等价等价(5.7)5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第15页/共29页例例2令令将初值问题将初值问题化为与之等价的一阶方程组的初值问题。化为与之等价的一阶方程组的初值问题。解解 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第16页/共29页例例3 将下列方程组化为高阶方程将下列方程组化为高阶方程解解注意注意：不是所有方程组都可化为高阶方程：不是所有方程组都可化
7、为高阶方程 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第17页/共29页5.1.3 存在唯一性定理存在唯一性定理初值问题初值问题(Cauchy Problem).(5.5)5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第18页/共29页定理定理1 1f(t)是是 n 维列向量，维列向量，上连续，则对于区间上连续，则对于区间上的任何数上的任何数及任一常数向量及任一常数向量方程组方程组(5.5)存在唯一解存在唯一解定义于整个区间定义于整个区间上，且满足初始
8、条件上，且满足初始条件如果如果矩阵，矩阵，它们都在区间它们都在区间 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第19页/共29页现取现取，构造皮卡逐步逼近向量函数序列：，构造皮卡逐步逼近向量函数序列：向量函数向量函数称为称为(5.4)(5.4)的第的第 k k 次近似解。次近似解。5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第20页/共29页例例4 求方程组的初值问题求方程组的初值问题的二次近似解。的二次近似解。解解令令 5.1 E 5.1 Exis
9、tence&Uniqueness Theorems of of Linear ODEs 第21页/共29页 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第22页/共29页5.1.4 简单方程组的消元法简单方程组的消元法例例5 求解方程组解解关键关键：保留一个未知函数，消掉另一个未知函数 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第23页/共29页方程组的解为 5.1 E 5.1 Existence&Uniqueness Theorems of of
10、Linear ODEs 第24页/共29页例例6 求解方程组解解：保留一个未知函数 x，消掉另一个未知函数 y 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第25页/共29页另外，由方程组的解为 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第26页/共29页练习：练习：2 求方程组的初值问题求方程组的初值问题 的二次近似解。的二次近似解。1 P.184 2(b)5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第27页/共29页作业作业：P.184 第第2(c),3题。题。3 求下列方程组的解求下列方程组的解 5.1 E 5.1 Existence&Uniqueness Theorems of of Linear ODEs 第28页/共29页感谢您的观看！第29页/共29页