3.1一阶微分方程解的存在唯一性定理.docVIP

3.1一阶微分方程解的存在唯一性定理.doc

  1. 1、本文档共10页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
3.1一阶微分方程解的存在唯一性定理.doc

第三章 一阶微分方程解的存在定理 [教学目标] 理解解的存在唯一性定理的条件、结论及证明思路,掌握逐次逼近法,熟练近似解的误差估计式。 了解解的延拓定理及延拓条件。 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明,解对初值的连续性、可微性定理的证明。 [教学方法] 讲授,实践。 [教学时间] 12学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路,解的延拓概念及延拓条件,解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论,能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式,解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际,研究微分方程的目的就在于掌握它所反映的客观规律,能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型,但是,大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要,从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性,而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位,是近代常微分方程定性理论,稳定性理论以及其他理论的基础。 例如方程 过点的解就是不唯一,易知是方程过的解,此外,容易验证,或更一般地,函数 都是方程过点而且定义在区间上的解,其中是满足的任一数。 解的存在唯一性定理能够很好地解释上述问题,它明确地肯定了方程的解在一定条件下的存在性和唯一性。另外,由于能得到精确解的微分方程为数不多,微分方程的近似解法具有重要的意义,而解的存在唯一性是进行近似计算的前提,如果解本身不存在,而近似求解就失去意义;如果存在不唯一,不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1.存在性与唯一性定理: (1)显式一阶微分方程 (3.1) 这里是在矩形域: (3.2) 上连续。 定理1:如果函数满足以下条件:1)在上连续:2)在上关于变量满足李普希兹(Lipschitz),使对于上任何一对点,均有不等式成立,则方程(3.1)存在唯一的解,在区间上连续,而且满足初始条件 (3.3) 其中,称为Lipschitz常数. 思路: 求解初值问题(3.1)的解等价于积分方程 的连续解。 构造近似解函数列 任取一个连续函数,使得,替代上述积分方程右端的 ,得到 如果,那么是积分方程的解,否则,又用替代积分方程右端的,得到 如果,那么是积分方程的解,否则,继续进行,得到 (3.4) 于是得到函数序列. 函数序列在区间上一致收敛于,即 存在,对(3.4)取极限,得到 即. 4) 是积分方程在上的连续解. 这种一步一步求出方程解的方法——逐步逼近法.在定理的假设条件下,分五个命题来证明定理. 为了讨论方便,只考虑区间,对于区间的讨论完全类似. 命题1 设是方程(3.1)定义于区间上,满足初始条件 (3.3) 的解,则是积分方程 (3.5) 的定义于上的连续解.反之亦然. 证明 因为是方程(3.1)满足的解,于是有 两边取到的积分得到 即有 所以是积分方程定义在区间上的连续解. 反之,如果是积分方程(3.5)上的连续解,则

文档评论(0)

2752433145 + 关注
实名认证
文档贡献者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档