常微分方程课件--解的存在唯一性定理.ppt
目录 上页 下页 返回 结束 2.2 2.2 解的存在惟一性定理解的存在惟一性定理 引入：对于给定的微分方程引入：对于给定的微分方程,它的通解一它的通解一般有无限多个般有无限多个,而给定初始条件后而给定初始条件后,其解有时惟其解有时惟一一,有时不惟一有时不惟一.确定给定初始条件的微分方程解的存在惟一确定给定初始条件的微分方程解的存在惟一性十分重要性十分重要:(一一)它是数值解和定性分析的前提它是数值解和定性分析的前提;(二二)若实际问题中建立的方程模型的解不是若实际问题中建立的方程模型的解不是存在且惟一的存在且惟一的,该模型就是一个坏模型该模型就是一个坏模型.而同一方程满足而同一方程满足例例1:初值问题初值问题 有解有解:在在 .的解为的解为:.它的存在区间为它的存在区间为例例2:初值问题初值问题的解为的解为:存在区间为存在区间为例例3:3:初始值问题初始值问题:有无穷多解有无穷多解,存在区间为存在区间为:2.2.12.2.1例子和思路例子和思路例例 4:4:证明初值问题证明初值问题的解存在且惟一的解存在且惟一。证：若证：若是初始值问题的解是初始值问题的解,两端积分两端积分满足满足反之，若一个连续函数反之，若一个连续函数满足满足则它是则它是的解的解。取取来证明来证明构造迭代序列构造迭代序列有解有解由于由于收敛，且收敛，且代入验证函数代入验证函数为初值问题为初值问题的解的解,这就得到解的存在性。这就得到解的存在性。惟一性证明惟一性证明:设有两个解设有两个解则则可微，且满足可微，且满足这就证明了惟一性。这就证明了惟一性。2.2.2 2.2.2 存在惟一性定理及其证明存在惟一性定理及其证明设设在矩形区域在矩形区域上连续，如果有常数上连续，如果有常数 L0,L0,使得对于所有的使得对于所有的都有都有:考虑微分方程考虑微分方程:Lipschitz 条件条件:(2.2.3)L L 称为称为 Lipschitz Lipschitz 常数。常数。则称则称在在R R上关于上关于y y满足满足 Lipschitz Lipschitz 条件。条件。注注:若若关于关于y y 的偏导数连续的偏导数连续,则则则则在在R R上关于上关于y y满足满足 Lipschitz Lipschitz 条件。条件。定理定理1:1:在在R R上连续且关于上连续且关于y y满足满足在区间在区间LipschitzLipschitz条件，则初值问题条件，则初值问题一的解，其中一的解，其中上存在惟上存在惟证明：证明：若若（）（）将初值问题解的存在惟一性化为积分方将初值问题解的存在惟一性化为积分方程的解的存在惟一性程的解的存在惟一性思路：思路：(2.2.3)（）构造积分方程迭代函数序列，并证明该（）构造积分方程迭代函数序列，并证明该序列收敛序列收敛（）证明该序列的极限是积分方程的解（）证明该序列的极限是积分方程的解（）证明惟一性（）证明惟一性仅考虑仅考虑上存在上存在.详细证明：详细证明：的解等价。的解等价。(1)(1)等价积分方程等价积分方程初值问题初值问题与积分方程与积分方程(2.2.3)（2 2）构造）构造 Picard Picard 迭代数列迭代数列这样就得到一个连续函数列这样就得到一个连续函数列PicardPicard迭代序列迭代序列。它称为它称为（3)Picard 3)Picard 序列的收敛性序列的收敛性引理引理1.11.1 对于一切对于一切续且满足续且满足连连.证明证明:显然对一切的显然对一切的都有都有有定义且连有定义且连则则上满足上满足:设设在区间在区间续续,证明：证明：考虑函数项级数考虑函数项级数它的前它的前估计级数通项估计级数通项:于是于是的一致收敛性与级数的一致收敛性等价。的一致收敛性与级数的一致收敛性等价。引理引理 2.22.2上一致收敛。上一致收敛。函数列函数列项的部分和为项的部分和为:其中第二个不等式由其中第二个不等式由LipschitzLipschitz条件可以得到，条件可以得到，设：设：对对有有于是，由数学归纳法得，对于所有自然数于是，由数学归纳法得，对于所有自然数k k，有，有级数在级数在上一致收敛。上一致收敛。因为正项级数因为正项级数收敛收敛,由由WeiestrassWeiestrass判判别法知，别法知，设设:由由的连续性和一致收敛性可得的连续性和一致收敛性可得:在在上连续上连续.（4 4）Picard Picard 迭代数列的极限函数就是积分迭代数列的极限函数就是积分方程方程的连续解。的连续解。引理引理1.31.3 是积分方程定义于是积分方程定义于 上的连续解。上的连续解。证明：证明：由由 Lipschitz Lipschitz 条件条件以及以及在在上的一致收敛，上的一致收敛，得出函数序列得出函数序列在在上一上一因而对因而对取极限，得取极限，得即即这表明这表明是积分方程的连续解。是积分方程的连续解。收敛于函数收敛于函数.（5 5）解的惟一性）解的惟一性证明：证明：则则引理引理 1.41.4上的上的连续解，则必有连续解，则必有是积分方程在是积分方程在设设和和令令上的连续可微函数，上的连续可微函数，则则是定义于是定义于且且令令于是于是注注1:1:定理中定理中的几何意义的几何意义:故取故取.注注2:2:函数函数的连续性得解的存在性的连续性得解的存在性,LipschitzLipschitz条件得解的惟一性条件得解的惟一性注注:定理的结论只是在局部范围内给出解的存定理的结论只是在局部范围内给出解的存惟一性在许多情况下，可反复使用该定理，惟一性在许多情况下，可反复使用该定理，使使解的范围延拓到最大的区间解的范围延拓到最大的区间则在解有可能跑到之外的解的解证明证明：取：取在矩形区域：在矩形区域：连续，且它关于连续，且它关于y y有连续的偏导数。有连续的偏导数。计算计算例例证明初始值问题：证明初始值问题：对对等价的积分方程得等价的积分方程得故由解得存在唯一性定理可知，初始值问题的解故由解得存在唯一性定理可知，初始值问题的解内存在唯一，当然也在内存在唯一，当然也在内存在唯一。内存在唯一。对于任意的正数对于任意的正数函数在内连续，且对有连续的偏导数因任意先取使最大解：解：的解存在唯一的区间的解存在唯一的区间例讨论初始值问题例讨论初始值问题显然显然使得使得最大，且最大，且取取则由定理得解的存在惟一区间为：则由定理得解的存在惟一区间为：再使用依次存在惟一性定理：再使用依次存在惟一性定理：，以，以令令为区域的中心，讨论为区域的中心，讨论新的初始值问题：新的初始值问题：当当时，时，取得最大值取得最大值此时此时故取故取可得到解在可得到解在上存在，事实上，初值问题的解是：上存在，事实上，初值问题的解是：存在区间为：存在区间为：内容小结内容小结微分方程解的存在惟一性微分方程解的存在惟一性迭代法构造解的思想迭代法构造解的思想
