版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、第三章 一阶微分方程的解的存在定理例3-1 求方程满足初始条件的解的逐次逼近,并求出的最大值,其中的意义同解的存在唯一性定理中的。解 函数在整个平面上有意义,则在以原点为中心的任一闭矩形区域上均满足解的存在唯一性定理的条件,初值问题的解在上存在唯一,其中。因为逐次逼近函数序列为 ,此时,所以 , 。现在求的最大值。因为 对任给的正数,上式中,当 时,取得最大值。此时,当且仅当,即时,取得最大值为。评注:本题主要考查对初值问题的解的存在唯一定理及其证明过程的基本思想(逐次逼近方法)的理解。特别地,对其中的等常数意义的理解和对逐次逼近函数列的构造过程的理解。例3-2 证明下列初值问题的解在指定区间
2、上存在且唯一。1) 。2) 。证 1) 以原点为中心作闭矩形区域。易验证在区域上满足解的存在唯一性定理的条件,求得,则。因此初值问题的解在上存在唯一,从而在区间上方程满足条件的解存在唯一。2) 以原点为中心作闭矩形区域。易验证在上满足解的存在唯一性定理的条件,并求得,则。由于,所以当时,当取到最小值,从而可取到最大值,故。当且仅当,即时,取到最大值为。即证明了初值问题的解在区间上存在唯一。 从而在区间上解存在唯一。评注:此例是应用解的存在唯一性定理,求出初值问题解存在唯一的区间。一般解法是先作出适当的闭矩形区域;然后验证在此区域中满足解的存在唯一性定理的条件;最后求出定理3.1中的。例3-3
3、证明如果在闭矩形域上存在且连续, 则在上关于满足利普希兹条件,反之不成立。证 因为在闭矩形域上存在且连续,所以在区域上有界,即,有成立,利用中值定理,其中是介于之间的点,命题得证。反之不成立。因为对于方程,取以原点为中心的矩形域,在无导数,但,故 在上关于满足利普希兹条件。评注:通过本例的证明显然可以得到下面结论:若在某矩形区域内某一点处不存在,且在的邻域内无界,则 在上关于不满足利普希兹条件。例3-4 举例说明定理3.1 中的两个条件是保证初值问题的解存在唯一的充分条件,而非必要条件。解 1) 当连续条件不满足时,解也可能存在唯一。如方程,显然在以原点为中心的矩形域中不连续,间断点为直线,但
4、解存在唯一,过原点的解为,。2) 当利普希兹条件不满足时,解也可能存在唯一。如方程, 由于,无界,因而在的任何邻域内不满足利普希兹条件。然而,可见方程通过解存在唯一。评注:在应用定理3.1时,一定要注意,当条件不满足时,不能得出解不存在唯一的结论。例3-5 利用解的存在唯一性定理,寻找区域,使得,方程满足初始条件的解存在唯一。 解 设,显然,它在整个平面上连续。而,由例3-3,在不包含的区域内,有满足利普希兹条件。若时,不存在,但当,无界,即在包含点或的任何区域中利普希兹条件不成立。故得所求区域为。评注:寻找解的存在唯一性定理中的条件所满足的区域,就是寻找连续和关于满足利普希兹条件的区域。对于
5、所得到的区域,都能存在一个完全包含在内的闭矩形区域,使得在此矩形域中满足解的存在唯一性定理的条件,从而保证初值问题的解存在唯一。例3-6 对于方程和点能否应用定理3.1?解 当时,我们可以考虑方程,其右端函数满足定理3.1的条件,即方程通过点的解存在唯一,此时解为。 时,定理3.1不能用。事实上,由方程的通解表达式知,方程通过的解不为一。 评注:在研究解的存在唯一性时,也可以将视为的函数。例3-7 能否用逐次逼近序列求初值问题的解。解 不能,因为用逐次逼近函数序列,得,。即收敛于解。但另一方面,通过方程直接求解得也是方程满足条件的解,即用逐次逼近函数序列就不能得到此解。评注:应在保证初值问题解
6、存在唯一的情况下,利用逐次逼近序列序列求近似解。例3-8 证明:如果函数于整个平面上连续有界,且关于满足局部利普希兹条件,则方程的任一解均可以延拓到区间。证 易验证满足延拓定理的推论的条件,则过平面上任一点的解存在唯一且可延拓,设过的解为。因为有界,即,均有不等式成立,我们考虑下列三个初值问题, , ,显然,由第一比较定理,得,当时, ,当时,即对任何有限区间,当趋于区间端点时,都不可能无界,由延拓定理的推论知,的解可延拓到整个区间。又由的任意性,命题得证。评注:解的延拓定理的条件再加上有界是保证解的存在区间为的充分条件,而非必要条件,比如柯西问题的解为,其存在区间为,而在面上无界。例3-9
7、设在上连续,求证:对,只要充分小,初值问题 (1)的解必可延拓到。证 因为在上连续,则方程的右端函数在上连续;且在任意有界闭区域上都有下式成立 其中表示在中的最大值。这样就关于满足局部利普希兹条件。故初值问题(1)的解必存在唯一、且连续可微,可进行延拓。下面将证明对,当充分小时,初值问题(1)的解在区间上存在。用反证法。若不然,初值问题(1)有解,其中取 ,它的右行饱和区间为,且当时无界。这样,必存在点,使得(或),且(或)。 另一方面,由于,可知在曲线上,解曲线的斜率为零,即有。矛盾。因此,对,当时,初值问题(1)的解在区间上存在。评注:在应用解的延拓定理时,注意特殊曲线上积分曲线的性质。类
8、似的问题有:设在上连续,求证:对,只要充分小,初值问题的解必可延拓到。例3-10 试证对任意,方程 满足初始条件的解都在上存在。证 函数在整个平面上满足存在唯一性定理的条件,且有。将原方程与下列方程与比较,由比较定理,原方程满足的解在其存在区间上满足 , 当时, , 当时, 由延拓定理,积分曲线可以无限远离原点,故必在上存在。评注:本例是比较定理的应用,也可用例3-8直接得出结论。例3-11 利用克莱罗(Clairaut)方程构造一个以为奇解的一阶方程式,这里假设,且为的严格单调函数。解 需要构造的一阶方程式是克莱罗方程,且应满足此方程的判别曲线方程,因此,我们构造判别曲线方程,其中将视为的函数,现寻求关于的表达式。为此,对式两端关于求偏导数,得,整理得,或 =0 (不合题意,舍弃)。由于为的严格单调函数
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2024年度技术开发合作合同标的为人工智能应用研发
- 2024年度农产品购销合同及其质量标准
- 空调压缩机市场需求与消费特点分析
- 真空电子管无线电市场发展预测和趋势分析
- 2024年度技术转让合同:新能源专利技术转让协议
- 2024年度保险合同标的保险范围与保险金额确定
- 运载工具用座椅市场发展现状调查及供需格局分析预测报告
- 羽毛球球拍线市场需求与消费特点分析
- 2024年度大蒜进出口贸易合同
- 2024年度技术开发合同研发项目与期限
- 2024水样采集与保存方法
- 2025届高考语文一轮复习:二元思辨类作文思辨关系高阶思维
- 糖尿病患者体重管理专家共识(2024年版)解读
- 《中国慢性阻塞性肺疾病基层诊疗与管理指南(2024年)》解读
- HSK标准教程5下-课件-L7
- 设备故障报修维修记录单
- 集会游行示威申请登记表
- 关于整治我校周边环境的请示报告5篇
- 中国矿业大学矿山测量学课程设计
- 2021年学校内部审计工作总结范文
- 大型火力发电厂创优工程达标创优规划
评论
0/150
提交评论