- 1、本文档共9页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Picard存在及唯一性定理
Picard存在和唯一性定理
本节利用逐次逼近法,来证明微分方程 (2.1) 的初值问题 (2.2) 的解的存在与唯一性定理.
定理2.2 (存在与唯一性定理)如果方程(2.1)的右端函数 在闭矩形域 上满足如下条件: (1) 在R上连续; (2) 在R上关于变量y满足李普希兹(Lipschitz)条件,即存在常数N,使对于R上任何一对点 和 有不等式:
则初值问题(2.2)在区间 上存在唯一解 其中 在证明定理之前,我们先对定理的条件与结论作些说明: 1. 在实际应用时,李普希兹条件的检验是比较费事的.然而,我们能够用一个较强的,但却易于验证的条件来代替它.即如果函数 在闭矩形域R上关于y的偏导数 存在并有界, .则李普希兹条件成立,事实上,由拉格朗日中值定理有 其中 满足 ,从而 .如果 在R上连续,它在R上当然就满足李普希兹条件.(这也是当年Cauchy证明的结果)
2.可以证明,如果偏导数 在R上存在但是无界,则Lipschitz条件一定不满足,但是Lipschitz条件满足,偏导数不一定存在,如。
3.现对定理中的数h0做些解释.从几何直观上,初值问题(2.2)可能呈现如图2-5所示的情况. 这时,过点 的积 图 2-5 分曲线 当 或 时,其中 , ,到达R的上边界 或下边界 .于是,当 时,曲线 便可能没有定义.由此可见,初值问题(2.2)的解未必在整个区间 上存在. 由于定理假定 在R上连续,从而存在 于是,如果从点 引两条斜率分别等于M和-M的直线,则积分曲线 (如果存在的话)必被限制在图2-6的带阴影的两个区域内,因此,只要我们取 则过点 的积分曲线 (如果存在的话)当x在区间上变化时,必位于R之中.
图 2-6
存在性的证明 求解初值问题(2.2) 求解积分方程(2.3).
因此,只要证明积分方程(2.3)的连续解在 上存在而且唯一就行了. 下面用毕卡(Picard)逐次逼近来证明积分方程(2.3)的连续解的存在性,可分三个步骤进行: 1.构造逐次近似序列.
近似序列 或写成 的每一项都在 上有定义,这是因为 于是 .这样,我们在区间 上,按逐次逼近手续得到了一个连续函数列(近似序列)
2. 证明近似序列 在区间 上一致收敛.
“ 函数序列的一致收敛 1.设 (1) 是定义在I上的函数序列,若对 ,数列 收敛,则称 为序列(1)的收敛点.收敛点的全体叫收敛域. 在收敛域上每一点,序列(1)都有极限,这极限形成收敛域上的一个函数,称为极限函数.设此函数为 ,即 2.若对 ,总存在一个只与 有关的自然数N,使得对I上任何一点 ,当 时,有 ,则称序列(1)在I上一致收敛.
?
证明分如下二步: (1)序列 在 上一致收敛 级数(2.7)在 上一致收敛(级数).因为级数 ?????? (2.7) 的部分和
“ 函数项级数的一致收敛 1.设函数项级数??????????????????? ??????????(1) 在区间I上收敛于和函数 ,即对 ,数项级数 收敛于 ,或级数(1)的部分和所组成的数列 = ???????? 由数列极限定义,对 , ,使得 时,有? ????????????? 2.级数(1)在I上一致收敛 对 , ,使得对 ,当 时,有 .?????? 3.若函数项级数(1)的每一项都在I上连续,并且在I上一致收敛, 则(1)的和函数 在I上连续.
?
(2)级数(2.7)在 上一致收敛. 用数学归纳法,易证级数(2.7)从第二项开始,每一项绝对值都小于正项级数 的对应项,而上面这个正项级数显然是收敛的.所以,由优级数判别法,
“ 函数项级数的一致收敛判别法 (魏尔斯特拉斯优级数判别法) 函数项级数??????????????????? ??????????(1) 若函数项级数(1)在区间I上满足????????????????? ( I ) ;?????????
文档评论(0)