常微分方程课件--解的存在唯一性定理.ppt_第1页
常微分方程课件--解的存在唯一性定理.ppt_第2页
常微分方程课件--解的存在唯一性定理.ppt_第3页
常微分方程课件--解的存在唯一性定理.ppt_第4页
常微分方程课件--解的存在唯一性定理.ppt_第5页
已阅读5页，还剩21页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

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

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论