- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
一阶微分方程的解的存在定理.
第三章 一阶微分方程的解的存在定理
教学目的
讨论一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理,解对参数的连续性定理
教学要求
掌握存在与唯一性定理及其证明,会用皮卡逼近法求近似解,理解解对初值的连续性与可微性定理,解对参数的连续性定理,了解奇解及其求法。
教学重点
几个主要定理的条件及其证明
教学难点
逐次逼近法的应用及其思想;应用存在与唯一性定理及解的延拓定理来研究方程的解;奇解及其求法
教学方法
讲练结合教学法、提问式与启发式相结合教学法。
教学手段
传统板书与多媒体课件辅助教学相结合。
课题导入
在上一章我们讨论了一阶方程的解的初等积分法。解决了几个特殊的方程。但是,对许多微分方程,为,不可能通过初等积分法求解,这就产生了一个问题,一个不能用初等积分法求解的微分方程是否意味着没有解呢?或者说,一个微分方程的初值问题在何种条件下一定有解呢?当有解时,农的解是否是唯一的呢?毫无疑问,这是一个很基本的问题,不解决这个问题对微分方程的进一步研究,就无从谈起,本章将重点讨论一阶微分方程的解存在问题的唯一定理,
§3.1解的存在唯一性定理与逐步逼近法
教学目的
讨论Picard逼近法及一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理。
教学要求
熟练掌握Picard逼近法,并用它证明一阶微分方程初值问题解的存在与唯一性定理及其证明,会用Picard逼近法求近似解,
教学重点
Picard存在唯一性定理及其证明
教学难点
逐次逼近分析法的应用及其思想.
教学方法
讲练结合教学法、提问式与启发式相结合教学法。
教学手段
传统板书与多媒体课件辅助教学相结合。
存在唯一性定理
定理1,考虑初值问题
(3.1)
其中f(x,y)在矩形区域
R: (3.2)
上连续,并且对y满足Lipsthits条件:即存在常数L0,使对所有常存成立,
则初值问题(cauchy问题)(3.1)在区间上解存在唯一,这里
证明思路:1.初值问题(3.1)的解存在等价一动积分方程(3.5)的连续解。
2.构造(3.5)所得解函数序列{}
任取一连续函数,代入(3.5)左端的y,得
3.函数序列{}在上一致收敛到。这里为3
=
即则需由则需由于从而{}在上的一收敛性等价于函数项级数
在一收敛性。
4.为(3.5)的连续解且唯一。首先在区间是讨论,在上类似。
命题3.1 初值问题(3.1)等价于积分方程
(3,5)
Proof:若为(3.1)的解,则:
对第一式从到x取定积分可得
即
反之,若为(3.5)的连续解。,则有
由于对f(x,y)在R上连续,从而连续故对上两式两边求导得
且即为(3.1)的连续解。
下面取,构造picard逐步逼近函数如下:
(3.7)
命题2,对于所有;连续且满足
Proof(用数学归纳法证明)
N=1时,虽然在上连续且
设命题2为时成立即在上连续,且
当时
由在R上连续可知,在上连续从而在上连续且
而命题2,在时成立,故由数学归纳法得知,命题跋对所有n成立
命题3。函数序列在上一致收敛
Proof:考虑函数级数:
(3.9)
它前几项和为
于是{}一致收敛性等于(级数3.9)的一致收敛性等价,我们对级数(3.9)的通项进行诂计
其中第二个方程不等式是由Lipsthits条件得到的,高对正整数n有不等式
则当时,由Lipsthits条件有
于是,由数学归纳法得知,对所有的正整数n有
(3.11)
从而当时
由于正级数收敛,由weierstrass判别法知,级数(3.9)在一致收敛,因而{}在上一致收敛。
现设,则由连续性和一致收敛性得在上连续且
命题4.是积分方程(3.5)的定义于上的连续解.
Proof:由Lipschits条件
以及{}在上的一致收敛,解出函数列{},在上的一致收敛于函数.因而对(3.7)两边取极限.得到
即
这表明.是积分方程(3.5)在的连续解.命题目四得证.
命题5. 设, 是积分方程(3.5)的定义于上的一个连续解.则,
Prof: 令则是定义在的的非负连续函数.由和所满足的积分方程式和的Lipschits条件得
令则是定义在上的连续中微函且
于是
对最后一个不等式从 到x积分得
故,即
综合命题1-5得到存在任一性定理的证明,
2存在任一性定理的证明
定理中的Lipschits条件比较困难,我们经常用
文档评论(0)