Banach空间中常微分方程解的存在与唯一性定理.doc

《Banach空间中常微分方程解的存在与唯一性定理.doc》由会员分享，可在线阅读，更多相关《Banach空间中常微分方程解的存在与唯一性定理.doc（10页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、空间中常微分方程解的存在唯一性定理魏婷婷(天水师范学院 数学与统计学院,甘肃,天水,)摘要: 在空间中, 常微分方程解的存在唯一性定理中,初值问题的解的变量在上变化,把的变化范围扩大为,为此给出变化范围后的空间中常微分方程解的存在唯一性定理,并对定理给予明确的证明.关键词: 存在唯一;常微分方程;数学归纳法;皮卡逐步逼近法;空间引言 常微分方程解的存在唯一性定理明确地肯定了在一定条件下方程的解的存在性和唯一性,它是常微分方程理论中最基本且实用的定理,有其重大的理论意义,另一方面,它也是近似求解法的前提和理论基础.对于人们熟知的空间中常微分方程解的存在唯一性定理,解的存在区间较小, 只限制在一个

2、小的球形邻域内,(球形邻域的半径若为,还需满足,且解只在以为中心以为半径的闭球存在唯一,其中是空间)因此在应用过程中受到了一定的限制.如今我们尝试扩大了解的存在范围,从而使此重要的定理今后有更加广泛的应用.1 预备定理我们给出空间中常微分方程解的存在唯一性定理如下设是空间, 是一个开集. 上关于满足利普希茨条件,即存在常数,使得不等式,对于所有都成立.取,在内,以为中心作一个半径为的闭球,对所有的都成立,且有,取,则存在唯一的曲线,使得在上满足,并有,.2 结果与证明笔者通过改进对的限制,即仅取,预备定理仍然成立,从而使定理的应用进一步广泛.2.1改进条件后的定理定理 假设条件同上预备定理,设

3、初值为,则存在唯一的曲线,对任意的,满足,且使得,.显然可有,且.2.2定理的证明证明 证明过程中我们利用皮卡逐步逼近法.为了简单起见,只就区间进行讨论,对于区间的讨论完全一样. 2.2.1定理证明的思想现在先简单叙述一下运用皮卡逐步逼近法证明的主要思想.首先证明条件,等价于求积分方程 . (1)再证明积分方程的解的存在唯一性.任取一个为连续函数,将它代入方程(1)的右端,可得到函数,显然,也为连续函数.若,则可知就是方程(1)的解.若不然,我们又把代入积分方程(1)的右端,可得到函数.若,则可知就是方程(1)的解.若不然,我们如此下去,可作连续函数,. (2)这样就得到连续函数列若,那么就是

4、积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数,即存在,因而对(2)式两边取极限时,就得到,即,这就是说,是积分方程的解.在定理的假设条件下,以上的步骤是可以实现的.2.2.2定理证明的步骤下面我们分五个命题来证明定理.命题1 设是的定义于区间上,满足初值条件 (3) 的解,则是积分方程定义于上的连续解,反之亦然.证明 因为是方程的解,故有.对上式两边从到取定积分得到,把(3)式代入上式,即有 ,. (4)因此, 是(4)的定义于上的连续解.反之,如果是(4)的连续解, ,.微分之,得到.又把代入(4)式,得到,因此, 是方程的定义于区间,且满足初值条件(3)的

5、解.命题1证毕.现在取,构造皮卡逐步逼近函数序列如下 (5)命题2 对于所有的,(5)中函数在上有定义,连续且满足不等式.证明 用数学归纳法可以证明,如下,对于任意,当时, ,显然在上有定义,连续且有.设当时有,也即在上有定义,连续且满足不等式,这时.由假设,命题2当时成立,则可知在上有定义,连续且有当时,即命题2当时也成立,从而得知命题2对于所有的均成立.命题2证毕.命题3 函数序列在上是一致收敛的.证明 我们考虑级数, (6)(6)式级数的部分和为,因此,要证明函数序列在上一致收敛,我们仅证明级数(6)在上一致收敛.因此,我们可进行如下计算,由 , (7)及,利用利普希茨条件及(7)式可知

6、对于任意的为正整数,不等式成立.则由利普希茨条件,当时,有为此,由数学归纳法可知,对于所有的正整数,可有如下的式子成立, ,.因此可有,当 , (8)(8)式右端为收敛的正项级数的一般项.由魏尔斯特拉斯判别法,级数(6)在上是一致收敛的,因此序列也在上一致收敛,命题3证毕.现设,为此也在上连续,且由命题2又可知,命题4 是积分方程的定义在区间上的连续解.证明 由利普希茨条件以及在上一致收敛于,且函数列逐项连续,即知序列在上一致收敛于.因而对(5)式两边取极限,得到即,这就是说, 是积分方程的定义于上的连续解.命题4证毕.命题5 (证明解的唯一性)设是积分方程定义于上的另一个连续解,则,.证明

7、现在我们证明也是序列的一致收敛极限函数.为此,从, ,可以进行如下的估计,现在我们可以假设,则有故由数学归纳法得知,对于所有的正整数,有下面的估计式,于是我们可知在上有 , (9)是收敛级数的公项,且当时, .因而在上一致收敛于.根据极限的唯一性,即可知,.命题5证毕.综合命题15,即得到空间中常微分方程解的存在唯一性定理的证明.例题 求初值问题其中:,的解的存在区间,并求第二次近似解,给出在解的存在区间的误差估计.解 则利用本文的结果,在上函数的利普希茨常数可取,因为.,.在本文的估计式(9)中令,则有误差估计式,从而可得.利用本文结果,初值问题解的存在区间为为此将,代入上式,可得解的存在区

8、间为;第二次近似解为;在解的存在区间的误差估计为.结束语在空间中,通过运用皮卡的逐步逼近法,从证明解的存在性,到解的唯一性,采用严密的逻辑推理和理论证明,得到扩大解的存在区间后空间中常微分方程解的存在唯一性定理,从而使定理更加实用.当然,展望未来,我们还可以利用所得到的结果进一步作为探究其他问题的可靠性依据.参考文献1 王高雄,周之铭,朱思铭,王寿松,编.常微分方程M.北京：高等教育出版社,2006.2 郭大均,孙经先.抽象空间常微分方程M.济南:山东科学技术出版社,2003.3 王兴涛,编.常微分方程M.哈尔滨:哈尔滨工业大学出版社,2004.4 邓海荣,马兆丰.空间中常微分方程解的存在唯一

9、性定理的注J.扬州大学学报:自然科学版,2007,10（1）: 13.5 房琦贵.关于常微分方程解的存在唯一问题的讨论J.高校讲坛,2010.6 王声望,郑伟行,编.实变函数与泛函分析概要M.北京：高等教育出版社,2005. 致谢在完成终稿的今天,在敲完最后一个句号的时刻,我的思想同周围凝固的热气一样停驻了,不知道是慰藉还是悲伤,大学四年的生活就这样结束了,而眼前的路还很长,虽然似乎有些迷茫,但我必须整理心情,背上行囊,坚定的踏上新的征程我要感谢,非常感谢我的指导老师何老师.在忙碌的教学工作中挤出时间来审查修改我的论文,循循善诱的教导和不拘一格的思路给予我无尽的启迪.他为人随和热情治学严谨细心广博的学识深厚的学术素养,在论文的写作和措辞等方面他也总会以专业标准严格要求,从选题定题开始,一直到论文的反复修改,何老师始终认真负责地给予我深刻而细致地指导,帮助我开拓研究思路,精心点拨热忱鼓励.正是何老师的无私帮助与热忱鼓励,我的毕业论文才能够得以顺利完成,谢谢何老师.再次,我还要认真地谢谢我身边所有的朋友和同学,你们对我的关心帮助和支持是我不断前进的动力之一,我的大学生活因为有你们而更加精彩.最后,向在百忙中抽出时间对本文进行评审并提出宝贵意见的各位专家表示衷心地感谢!