解的存在唯一性定理解决方案.docVIP

一阶微分证[1]对阶微分问题证础,应压缩Schauder不动点Euler折线给阶微分证. 关键词 阶微分不动点 唯一性 1、引言 微分方程来实际观规[1]第二章里,介绍阶类,但同时,大量的一阶,而实际问题满条. 本文在文[1]对阶微分问题证础,应压缩Schauder不动点Euler折线给阶微分证. 考虑阶微分 (1.1) 这是在矩形区域 (1.2) 上的连续函数. 函数在R上满足Lipschitz条件，即存在常数L＞0，使得不等式 (1.3) 对都成立, L称为Lipschitz常数。 定理1.1、如果在R上连续且关于y满足Lipschitz条件，则方程(1.1)存在唯一的解,定义于区间上,连续且满足初始条件 这里,. 文[1]中采用皮卡逐步逼近法来证明这个定理.为了简单起见,只就区间来讨论,对于的讨论完全一样. 分五个命题来证明这个定理: 命题1、设是方程(1.1)定义于区间上满足初始条件 的解,则积 (1.4) 的定义于上的连续解.反之亦然. 现,构造皮卡逐步逼近函数: (1.5) (n=1,2,…) 命题2 对n ，(1.5)中在上有定义、且满足不等式 命题3 、函数序列在上是一致收敛的. 命题4 、是积分方程(1.4)的定义于上的连续解. 命题5 、是积分方程(1.4)的定义于上的一个连续解，则，. 综合命题1—5，即得到存在唯一性定理. 本文在方程(1.1)在满足定理1.1条件下,应用应压缩Schauder不动点Euler折线给阶微分证. 2、预备识义 2.1义上的实值(m维)向量函数族,如果存在数M＞0，使得对任一，都有，当时，则称函数族在上是一致有界的. 定义2.2 、定义上的实值(m维)向量函数族，如果对于任给的﹥0，总存在 ﹥0，使得对任一和任意的，只要＜就有 ＜ 则称函数族F在 上是同等连续. 定义2.3设间是中子集，若是中紧则称中相对紧义2.4设是赋线间是到的线对，都是中相对紧则称为连续称紧为连续条设中的有界点则敛义2.5设间是到中的映射，如果存在一个数对，成立 则称压缩2.6、完备间间备间条为闭间2.7、是完备间表示区间连续数全2.8、(压缩)设备间是上的压缩有且只有一个不动点说有且只有一个解2.9、(Banach压缩映象原理) 设是Banach空间的一个非空闭子集,是到其自身内的映象,对任意的,有,则必存在唯一的,即在内有唯一不动点. 定理2.10、(Ascoli-Arzela定理)设义上的一致有界且同等连续的实数则从选个上一致收敛数。 定理2.11、（Schauder不动点设Banach空间个闭是到其自身的任一全连续则内个不动点3、主要证虑组 （3.1） 其中，，，是中的某一区给点这是一实常数是一实维数的某一区间满条(1) (2) (3) 这问题称为组3.1）的初值问题记为 若存在满条数则称为满条或过点个解3.1 Picard逐次逼近法（压缩 3.1 若函数间区： 上连续，设在上关于满Lipschitz条存在常数L对，有 （3.2） 则组3.1）在区间满条的连续,为欧氏范数. 证设区间连续数全所成的度量空间2.7知是完备间表示中满条 （3.3） 的连续数全间难看是闭间2.6可得，是完备间 （3.4） 则到的映射。事实，所以如果，那么当时，又因为上的连续数3.4）式右端积义对成立： 所以，当时。下面指出是压缩实Lipschitz条对两点，有 令，则 所以是上的压缩2.8.存在唯一的，使，即 且，两边对导，这说是方程满条的解，那么， 因而，且是的不动点2.8中不动点，即方程在区间满条的连续数中,受Lipschitz条组3.1）在区间不受Lipschitz条 3.2 若函数间区： 上连续，设在上关于满Lipschitz条存在常数L对，有 则组