版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
§2.2解存在唯一性定理和
逐步迫近法
/Existence&UniquenessTheorem&ProgressiveMethod/
1/37概念和定义存在唯一性定理内容提要/ConstantAbstract/§2.2Existence&UniquenessTheorem&ProgressiveMethod2/37本节要求/Requirements/
掌握逐步迫近方法本思想
深刻了解解存在唯一性定理条件与结论§2.2Existence&UniquenessTheorem&ProgressiveMethod3/37一、概念与定义/ConceptandDefinition/1.一阶方程初值问题(Cauchyproblem)表示§2.2Existence&UniquenessTheorem&ProgressiveMethod4/372.利普希兹条件
函数称为在矩形域:…………(3.1.5)关于y
满足利普希兹(Lipschitz)条件,假如存在常数L>0使得不等式对全部都成立。L
称为利普希兹常数。§2.2Existence&UniquenessTheorem&ProgressiveMethod5/37二、存在唯一性定理
定理1假如f(x,y)
在R上连续且关于y满足利普希兹条件,则方程(3.1.1)存在唯一连续解定义在区间,且满足初始条件这里§2.2Existence&UniquenessTheorem&ProgressiveMethod6/37定理1证实需要证实五个命题:
命题1求解微分方程初值问题等价于求解一个积分方程
命题2结构一个连续逐步迫近序列
命题3证实此逐步迫近序列一致收敛
命题4证实此收敛极限函数为所求初值问题解
命题5证实唯一性§2.2Existence&UniquenessTheorem&ProgressiveMethod7/37定理1证实命题1
设是初值问题解充要条件是是积分方程……(3.1.6)定义于上连续解。证实:微分方程初值问题解满足积分方程(3.1.6)。积分方程(3.1.6)连续解是微分方程初值问题解。§2.2Existence&UniquenessTheorem&ProgressiveMethod8/37证明因为是方程(3.1.1)解,故有:两边从积分得到:把(3.1.2)代入上式,即有:所以,是积分方程在上连续解.§2.2Existence&UniquenessTheorem&ProgressiveMethod9/37反之,假如是(3.1.6)连续解,则有:………(3.1.8)微分之,得到:又把
代入(3.1.8),得到:所以,是方程(3.1.1)定义于上,且满足初始条件(3.1.2)解。命题1证毕.同理,可证在也成立。§2.2Existence&UniquenessTheorem&ProgressiveMethod10/37现在取,结构皮卡逐步迫近函数序列以下:§2.2Existence&UniquenessTheorem&ProgressiveMethod11/37xyox0x0+ax0-ay0y0-by0+bx0-hx0+h§2.2Existence&UniquenessTheorem&ProgressiveMethod12/37命题2
对于全部(3.1.9)中函数在上有定义、连续,即满足不等式:证明:
(只在正半区间来证实,另半区间证实类似)当n=1
时,§2.2Existence&UniquenessTheorem&ProgressiveMethod13/37即命题2当n=1时成立。现在用数学归纳法证实对于任何正整数n
,命题2都成立。即当n=k
时,在也就是满足不等式在上有定义,连续上有定义,连续,而当n=k+1
时,上有定义,连续。在§2.2Existence&UniquenessTheorem&ProgressiveMethod14/37
即命题2在n=k+1时也成立。由数学归纳法得知命题2对于全部n
均成立。命题3在上是一致收敛。命题2证毕函数序列考虑级数:它部分和为:§2.2Existence&UniquenessTheorem&ProgressiveMethod15/37为此,进行以下预计,由逐步迫近序列(3.1.9)有:§2.2Existence&UniquenessTheorem&ProgressiveMethod16/37设对于正整数n,不等式成立,于是,由数学归纳法得到:对于全部正整数k,有以下预计:§2.2Existence&UniquenessTheorem&ProgressiveMethod17/37由此可知,当时(3.1.14)右端是正项收敛级数普通项,由维尔斯特拉斯(Weierstrass)判别法(简称维氏判别法),级数(3.1.11)在上一致收敛,因而序列也在上一致收敛。命题3证毕§2.2Existence&UniquenessTheorem&ProgressiveMethod18/37则也在又可知现设上连续,且由(3.1.10)命题4
是积分方程(3.1.6)定义于证明:由利普希兹条件以及在上一致收敛于上连续解。§2.2Existence&UniquenessTheorem&ProgressiveMethod19/37因而,对(3.1.9)两边取极限,得到:即即知序列在一致收敛这就是说,是积分方程(3.1.16)定义于上连续解。命题4证毕§2.2Existence&UniquenessTheorem&ProgressiveMethod20/37命题5也是积分方程(3.1.6)定义于
上一个连续解,则证实若首先证实也是序列一致收敛极限函数。为此,从进行以下预计§2.2Existence&UniquenessTheorem&ProgressiveMethod21/37现设则有§2.2Existence&UniquenessTheorem&ProgressiveMethod22/37有故由数学归纳法得知对于全部正整数n
,有下面预计式§2.2Existence&UniquenessTheorem&ProgressiveMethod23/37所以,在上有:是收敛级数公项,故时因而在上一致收敛于依据极限唯一性,即得:命题5证毕综合命题1-5,即得到存在唯一性定理证实。§2.2Existence&UniquenessTheorem&ProgressiveMethod24/37例求初值问题第三次近似解。§2.2Existence&UniquenessTheorem&ProgressiveMethod25/37附注/Remark/1)假如在R
上存在且连续,则f(x,y)
在R上关于
y
满足利普希兹条件,反之不成立。证在R上连续,则在R上有界,记为L由中值定理故
f(x,y)
在R上关于y满足利普希兹条件。§2.2Existence&UniquenessTheorem&ProgressiveMethod26/37这条件是充分条件,而非必要条件。例1R为中心在原点矩形域但故
f(x,y)
在R上关于y满足利普希兹条件。在R上存在且有界
f(x,y)
在R上关于y满足利普希兹条件。在R上存在且无界
f(x,y)
在R上关于y不满足利普希兹条件。§2.2Existence&UniquenessTheorem&ProgressiveMethod27/372)定理1中两个条件是确保CauchyP存在唯一充分条件,而非必要条件。例2
当连续条件不满足时,解也可能存在唯一。f(x,y)
在以原点为中心矩形域中不连续,但解存在唯一§2.2Existence&UniquenessTheorem&ProgressiveMethod28/37例3
当Lipscitz条件不满足时,解也可能存在唯一。f(x,y)
在(x,0)任何邻域内不满足Lipscitz条件,但解存在唯一不可能有界§2.2Existence&UniquenessTheorem&ProgressiveMethod29/37xy§2.2Existence&UniquenessTheorem&ProgressiveMethod30/37
例4
设方程(3.1)为线性方程则当P(x),Q(x)
在区间上连续,则由任一初值所确定解在整个区间上都存在。3)若f(x,y)在带域中连续,且对y满足Lipschitz条件,则在整个区间中存在唯一满足条件方程解。记§2.2Existence&UniquenessTheorem&ProgressiveMethod31/374)一阶隐式方程解存在唯一性定理2假如在点某一邻域中,对全部变元连续,且存在连续偏导数;则上述初值问题解在某一邻域存在。§2.2Existence&UniquenessTheorem&ProgressiveMethod32/37实际上,由条件知所确定隐函数在邻域内存在且连续,且在邻域内连续,在以为中心某一闭矩形区域D中有界,所以f(x,y)在D中关于y满足Lipschitz条件。由解存在唯一性定理,解y(x)
存在唯一,存在区间中
h
可足够小。同时,有§2.2Existence&UniquenessTheorem&ProgressiveMethod33/37三、近似计算和误差预计
第
n
次近似解第
n
次近似解误差公式§2.2Existence&UniquenessTheorem&ProgressiveMethod34/37例4方程定义在矩形域试确定经过点(0,0)解存在区间,并求在此区间上与真正解误差不超出0.05近似解表示式。解满足解存在唯一
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024-2030年中国干式环境空气冷却器行业发展状况与应用前景预测报告
- 2024-2030年中国布酚宁行业当前经济形势及投资建议研究报告
- 2024-2030年中国工程项目管理行业市场发展现状及竞争格局与投资发展研究报告
- 2024-2030年中国工控系统及装备行业发展分析及投资风险预测分析报告
- 2024-2030年中国工业自动控制系统装置制造行发展方向与投资潜力分析报告
- 2024-2030年中国工业搅拌器行业市场深度调研及前景趋势与投资研究报告
- 2024-2030年中国工业互联网行业发展前景及发展策略与投资风险研究报告
- 2024-2030年中国展示柜市场容量趋势预测及发展规划分析报告
- 2024-2030年中国少儿期刊出版行业市场深度调研及前景趋势与投资研究报告
- 2024-2030年中国小型标准体积管行业盈利动态及需求趋势预测报告版
- 2024年退役军人事务员职业资格考试题库(浓缩300题)
- 卷扬机吊装专项施工方案
- 2024年浙江杭州西湖区科创股权投资有限公司招聘笔试参考题库含答案解析
- 2021-2023年高考数学真题分类汇编12 数列
- 基于STM32单片机的机械手控制系统
- 2024年北京市东城区2024届高三一模英语试卷及答案
- 煤矿矿井主要通风机停止运转现场处置方案(全)
- 金融科技与农村电子商务的集群发展-来自淘宝村的证据
- 食品安全主体责任
- DB64++1995-2024+水泥工业大气污染物排放标准
- 中国居民膳食指南(全)
评论
0/150
提交评论