- 1、本文档共6页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
常微分方程学习辅导(二)
常 微 分 方 程 学 习 辅 导(二)
基 本 定 理
(第一部分)
一、本章的中心内容是初值问题
(2.1)
解的存在唯一性定理.
定理2.2 (存在与唯一性定理)如果方程的右端函数在闭矩形域
上满足如下条件:
(1) 在R上连续;
(2) 在R上关于变量y满足李普希兹(Lipschitz)条件,即存在常数N,使对于R上任何一对点和有不等式:
则初值问题(2.1)在区间上存在唯一解:
其中.
这一定理是常微分方程的基本定理,无论在理论上还是在应用上,都是十分重要的.在学习这个定理的过程中,应注意以下几点:
1.从几何的观点来看,方程在平面的某一区域内确定了一个线素场,而方程的积分曲线是处处以这个线素场所确定的线素方向为切线方向的曲线.
线素场: 设方程的右端函数在区域G内有定义(图2-1),即对G内任意一点,都存在确定值.以点为中点,作一单位线段,使其斜率恰为,称为在的线素.于是在G内每一点都有一个线素,因此,方程 在区域G上确定了一个线素场.
图2-1
2. f(x,y)对x,y的连续性只能保证解的存在,而保证不了解的唯一性.李普希兹条件是保证解的唯一性的一个最常见的充分条件.
在实际应用时,李普希兹条件的检验是比较麻烦的.一般地,用一个较强的但却易于验证的条件来代替它.即
如果函数在闭矩形域R上关于y的偏导数存在并有界,,则李普希兹条件成立.
3.Picard的逐次逼近法,是分析学里的一种基础方法,有着广泛的应用.利用它不仅证明了解的存在唯一,而且还提供了近似解的具体求法.对于求得的近似解,还可以估计误差.
用毕卡(Picard)逐次逼近来证明积分方程
(2.2)
的连续解的存在性,一般分成三个步骤进行,即
(1)构造逐次近似序列:,其中
(2)证明近似序列在区间上一致收敛.
一致收敛: 若对,总存在一个只与有关的自然数N,使得对I上任何一点,当时,有,则称序列在I上一致收敛于.
(3)证明是积分方程(2.2)的解,从而也是初值问题(2.1)的解.
二、对于解的延展定理,应注意的是:
1.方程存在不可延展解.
定理2.3 如果方程的右端函数在区域上连续,且对y满足局部李普希兹条件,则对任何,初值问题(2.1)存在唯一的不可延展解.
局部李普希兹条件: 设定义在开区域上,如果对于D上任一点,都存在以为中心的,完全属于D的闭矩形域R,使得在R上的关于y满足李普希兹条件,对于不同的点,闭矩形域R的大小以及常数N可以不同,则称在D上关于y满足局部李普希兹条件.
不可延展解: 设是初值问题(2.1)在区间上的一个解,如果(2.1)还有一个在区间上的解,且满足
(1);
(2)当时,。
则称解是可延展的,并称是在I2上的一个延展解.否则,如果不存在满足上述条件的解,则称是初值问题(2.1)的一个不可延展解,(亦称饱和解).
2.不可延展解在定义区间两端点的性状.
定理2.4 如果方程的右端函数在(有界或无界)区域D上连续,且关于y满足局部李普希兹条件,那么对于D上任意一点,方程的以为初值的不可延展解,当时,相应积分曲线上的点都趋于D的边界.
3. 不可延展解的定义区间因解而异.
推论 在定理2.4中的右行不可延展解的存在区间必为下列情形之一:
(1)[,+∞),(见图2-9-1),或
(2)[,b),b为有限数.
在后一种情形下,有且仅有下面二种可能
①当x→b-0时,无界;(见图2-9-2),
②在[x0, b]上有界,且
注2. 在[x0, b)上有界时,若存在有限值d,那么(b, d) ,(见图2-9-3).
若不存在,x→b-0时,的值振荡,那么.(见图2-9-4).
左行不可延展解的存在区间有相同结论.
图 2-9-1 图 2-9-2
图 2-9-3 图 2-9-4
三、奇解、包络线概念,判别法及求法.
1.如果方程存在某一解,在它所对应的积分曲线上每点处,解的唯一性都被破坏,则称此解为微分方程的奇解.奇解对应的积分曲线称为奇积分曲线.
不存在奇解的判别方法:
(1)若方程在全平面上解唯一,则方程不存在奇解;
(
文档评论(0)