- 1、本文档共10页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
Banach空间中微常分方程解的存在与唯一性定理
空间中常微分方程解的存在唯一性定理
魏婷婷
(天水师范学院 数学与统计学院,甘肃,天水,741000)
摘要: 在空间中, 常微分方程解的存在唯一性定理中,初值问题的解的变量在上变化,把的变化范围扩大为,为此给出变化范围后的空间中常微分方程解的存在唯一性定理,并对定理给予明确的证明.
关键词: 存在唯一;常微分方程;数学归纳法;皮卡逐步逼近法;空间
引言
常微分方程解的存在唯一性定理明确地肯定了在一定条件下方程的解的存在性和唯一性,它是常微分方程理论中最基本且实用的定理,有其重大的理论意义,另一方面,它也是近似求解法的前提和理论基础.对于人们熟知的空间中常微分方程解的存在唯一性定理,解的存在区间较小, 只限制在一个小的球形邻域内,(球形邻域的半径若为,还需满足,且解只在以为中心以为半径的闭球存在唯一,其中是空间)因此在应用过程中受到了一定的限制.如今我们尝试扩大了解的存在范围,从而使此重要的定理今后有更加广泛的应用.
1 预备定理
我们给出空间中常微分方程解的存在唯一性定理如下
设是空间, 是一个开集. 上关于满足利普希茨条件,即存在常数,使得不等式,对于所有都成立.取,在内,以为中心作一个半径为的闭球,对所有的都成立,且有,取,则存在唯一的曲线,使得在上满足,并有,.
2 结果与证明
笔者通过改进对的限制,即仅取,预备定理仍然成立,从而使定理的应用进一步广泛.
2.1改进条件后的定理
定理 假设条件同上预备定理,设初值为,则存在唯一的曲线,对任意的,满足,且使得,.显然可有
,且.
2.2定理的证明
证明 证明过程中我们利用皮卡逐步逼近法.为了简单起见,只就区间进行讨论,对于区间的讨论完全一样.
2.2.1定理证明的思想
现在先简单叙述一下运用皮卡逐步逼近法证明的主要思想.
首先证明条件,等价于求积分方程
. (1)
再证明积分方程的解的存在唯一性.
任取一个为连续函数,将它代入方程(1)的右端,可得到函数,显然,也为连续函数.若,则可知就是方程(1)的解.若不然,我们又把代入积分方程(1)的右端,可得到函数.若,则可知就是方程(1)的解.若不然,我们如此下去,可作连续函数,
. (2)
这样就得到连续函数列
若,那么就是积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数,即存在,因而对(2)式两边取极限时,就得到
,
即,这就是说,是积分方程的解.在定理的假设条件下,以上的步骤是可以实现的.
2.2.2定理证明的步骤
下面我们分五个命题来证明定理.
命题1 设是的定义于区间上,满足初值条件
(3)
的解,则是积分方程定义于上的连续解,反之亦然.
证明 因为是方程的解,故有
.
对上式两边从到取定积分得到
,,
把(3)式代入上式,即有
,. (4)
因此, 是(4)的定义于上的连续解.
反之,如果是(4)的连续解, ,.
微分之,得到
.
又把代入(4)式,得到,因此, 是方程的定义于区间,且满足初值条件(3)的解.命题1证毕.
现在取,构造皮卡逐步逼近函数序列如下
(5)
命题2 对于所有的,(5)中函数在上有定义,连续且满足不等式.
证明 用数学归纳法可以证明,如下
,对于任意,,
当时, ,显然在上有定义,连续且有
.
设当时有,也即在上有定义,连续且满足不等式,这时
.
由假设,命题2当时成立,则可知在上有定义,连续且有当时
,
即命题2当时也成立,从而得知命题2对于所有的均成立.命题2证毕.
命题3 函数序列在上是一致收敛的.
证明 我们考虑级数
,, (6)
(6)式级数的部分和为,因此,要证明函数序列在上一致收敛,我们仅证明级数(6)在上一致收敛.因此,我们可进行如下计算,由
, (7)及,利用利普希茨条件及(7)式可知
对于任意的为正整数,不等式成立.
则由利普希茨条件,当时,有
为此,由数学归纳法可知,对于所有的正整数,可有如下的式子成立,
,.
因此可有,当
, (8)
(8)式右端为收敛的正项级数的一般项.
由魏尔斯特拉斯判别法,级数(6)在上是一致收敛的,因此序列也在上一致收敛,
您可能关注的文档
- 2012年中考模拟考历试史卷(潮阳卷).doc
- 612014年度绩计效划制定情况的说明.doc
- 60年来日本文化究研述评.docx
- 2012年中考数学试题类分解析22多边形与平行四边形.doc
- 6155KW挖泥操船作规程.doc
- 61条常用安全管术理语释义.doc
- 60条知乎神回复毒是舌这样炼成的.doc
- 62011年学生暑社期会实践参考项目.doc
- 2012年中考数学知识备点考复习6.doc
- 60年中最经典的行流词语.doc
- 2025年湖北轻工职业技术学院单招语文测试题库及答案一套.docx
- 2025年湖北省宜昌市单招(语文)测试模拟题库完整.docx
- 2025年湖北省襄樊市单招语文测试模拟题库及参考答案.docx
- 4.2特异性免疫(第1课时)(教学课件)-高二上学期生物人教版选择性必修.pptx
- 6.1让我们选择坚强.ppt
- 高三化学一轮复习限定条件的同分异构体的数目与书写课件.pptx
- 21.2.4一元二次方程的根与系数的关系课件人教版数学九年级上册(1).pptx
- Module5Unit2It'stoobigforyou(课件)-外研版(2012)英语五年.pptx
- 23.1.1图形的旋转1课件人教版数学九年级上册.pptx
- 运动的描述课件.ppt
文档评论(0)