一阶线性微分方程解的存在唯一性证明

-.z一阶线形微分方程解的存在唯一性定理的证明摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的假设干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足*种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令f(*,y)=p(*)y+q(*)这里f(*,y)是在矩形域R:上的连续函数.函数f(*,y)称为在R上关于y满足利普希兹条件,如果存在常数L>0使不等式对于所有的都成立,L称为利普希兹常数下面我们给出一阶线形微分方程(1)解的存在唯一性定理:如果f(*,y)=p(*)y+q(*)在R上连续且关于y满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续且满足初始条件:这里我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只就区间来讨论,对于的讨论完全一样.现在简单表达一下运用逐步逼近法证明定理的主要思想,首先证明求微分方程的初值问题的解等价于求积分方程的连续解这里我们用f(*,y)=p(*)y+q(*)来替代,因此也就等价于求积分方程的连续解,然后去证明积分方程的解的存在唯一性.任取一个连续函数代入上面的积分方程右端的y就得到函数显然也是连续解,如果则就是积分方程的解.否则,我们又把代入积分方程右端的y得到如果,则就是积分方程的解,否则我们继续这个步骤.一般地做函数(2)这样就得到连续函数序列,……如果则就是积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数即存在因此对(2)取极限就得到==即这就是说是积分方程的解,这种一步一步地求出方程的解的方法就成为逐步逼近法,由(2)所确定的函数称为问题(1)的n次近似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设是一阶线形微分方程(1)的定义于区间上的,且满足初始条件的解,则是积分方程()的定义于上的连续解,反之亦然.因为是一阶线形微分方程(1)的解故有两边从到*取定积分得到把代上式,即有因此,是积分方程定义于上的连续解反之如果是积分方程的连续解,则有(3)微分之,得到又把代入(3)得到因此是方程(1)的定义于上且满足初始条件的解.命题1证毕.现在取,构造皮卡逐步逼近函数序列如下:(n=1,2,…)(4)命题2函数序列在上是一致收敛的证明:我们考虑级数(5)它的局部和为=因此,要证明序列在上一致收敛,只需证明级数(5)在上一致收敛.为此,我们进展如下估计.由(4)有(6)及利用利普希兹条件及(6)得到=设对于正整数n,不等式成立,则有利普希兹条件,当时,有于是,由数学归纳法得知,对于所有的正整数k,有如下的估计(7)从而可知,当时(8)(8)的右端是正项收敛级数的一般项,由维尔斯特拉斯判别法级数(5)在上一致收敛,因而序列也在上一致收敛,命题2证毕.命题3是积分方程(2)的定义于上的连续解.证明:由利普希兹条件以及在上一致收敛于,即知序列在上一致收敛于.因而对于(4)两边取极限,得到=即这就是说是积分方程(2)的定义于上的连续解.命题3证毕.命题4设是积分方程(2)的定义于上的一个连续解,则,证明:我们首先证明也是序列的一致收敛极限函数.为此,从(n=1,2,…)我们可以进展如下估计现设,则有故有数学归纳法得知,对于所有的正整数n,有下面的估计式