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

一阶线形微分方程解的存在唯一性定理的证明)()(x q y x p dx dy +=摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?

首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域 R:上的连续函数.b y y a x x ≤-≤-00,函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式 对于所有的 都成立,L 称

2121),(),(y y L y x f y x f -≤-R y x y x ∈),(),,(21为利普希兹常数下面我们给出一阶线形微分方程(1)解的存在唯一性)()(x q y x p dx dy +=定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续)(x y ?=h x x ≤-0且满足初始条件: 这里 00)(y x =?),min(M b a h =),(max y x f M =R y x ∈),(我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只

就区间来讨论,对于的讨论完全一样.h x x x +≤≤0000x x h x ≤≤-现在简单叙述一下运用逐步逼近法证明定理的主要思想,首路习题到位。在管路敷对设备进行调整使其在正限度内来确保机组高中

先证明求微分方程的初值问题的解等价于求积分方程 的连续解这里我们用f(x,y)=p(x)y+q(x)来[]?++=x x dx x q y x p y y 0

)()(0替代,因此也就等价于求积分方程 的连续解,然?+=x x dx y x f y y 0),(0后去证明积分方程的解的存在唯一性.任取一个连续函数 代入上面的积分方程右端的y 就得)(0x ?到函数 dx x x f y x x x ))(,()(0001?+≡??显然也是连续解,如果那么就是积分方)(1x ?)(1x ?≡)(0x ?)(0x ?程的解.否则,我们又把代入积分方程右端的y 得到)(1x ? dx x x f y x x x ))(,()(0102?+≡??如果 ,那么就是积分方程的解,否则我们继≡)(2x ?)(1x ?)(1x ?续这个步骤.一般地做函数 (2)dx x x f y x x x n n ))(,()(010?-+≡??这样就得到连续函数序列,……

)(0x ?)(1x ?)(x n ?如果那么就是积分方程的解,如果始终不发生这种≡+)(1x n ?)(x n ?)(x n ?情况,我们可以证明上面的函数序列有一个极限函数即)(x ? 存在因此对(2)取极限就得到)()(lim x x n n ??=∞

→dx x x f y x x x n n n n ))(,(lim )(lim 010?-∞→∞→+=?? =dx x x f y x x n n ))(,(lim 010?-∞→+? =dx x x f y x x ))(,(00?+?即 dx x x f y x x x ))(,()(00?+≡??这就是说是积分方程的解,这种一步一步地求出方程的解的方法)(x ?

就成为逐步逼近法,由(2)所确定的函数称为问题(1)的n 次近)(x n ?似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.

命题1,设是一阶线形微分方程(1)的定义于区间)(x y ?=上的,且满足初始条件的解,则是积分方h x x x +≤≤0000)(y x =?)(x y ?=程()的定义于上的连续解,反

?+=x x dx y x f y y 0),(0h x x x +≤≤00h x x x +≤≤00之亦然.

因为是一阶线形微分方程(1)的解故有)(x y ?= ))(,()(x x f dx x d ??=两边从到x 取定积分得到0x dx x x f x x x x ))(,()()(00?≡-???h

x x x +≤≤00把代上式,即有00)(y x =? dx x x f y x x x ))(,()(00?+≡??h x x x +≤≤00因此, 是积分方程定义于上的)(x y ?=?+=x x dx y x f y y 0),(0h x x x +≤≤00连续解反之如果是积分方程的连续解,则有)(x y ?=?+=x x dx y x f y y 0),(0 (3)dx x x f y x x x ))(,()(00?+≡??h x x x +≤≤00微分之,得到 ))(,()(x x f dx

x d ??=又把代入(3)得到0x x =00)(y x =?因此是方程(1)的定义于 上且满足初始条件)(x y ?=h x x x +≤≤00

的解.命题1证毕.00)(y x =?现在取,构造皮卡逐步逼近函数序列如下:00)(y x =? ?????+==?-x x n n d f y x y x 0))(,()()(1000ξξ?ξ??h x x x +≤≤00(n=1,2,…)(4)

命题2 函数序列在上是一致收敛的{})(x n ?h x x x +≤≤00证明:我们考虑级数 (5)[]∑∞=--+110)()()(k k k x x x ???h x x x +≤≤00它的部分和为=[]∑=--+n k k k x x x 110)()()(???)(x ?因此,要证明序列在上一致收敛,只需证明级数(5)在{})(x n ?h x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有h x x x +≤≤00 (6))())(,()()(0

0001?-≤≤-x

x x x M d f x x ξξ?ξ??及 ?-≤-x x d f f x x 0))(,())(,()()(0112ξξ?ξξ?ξ??利用利普希兹条件及(6)得到 ?-≤-x x d L x x 0)()()()(0112ξξ?ξ??? =ξξd x M L x x ?-≤0)(020)(!

2x x ML -设对于正整数n,不等式 n n n n x x n ML x x )(!)()(011-≤---??成立,则有利普希兹条件,当时,有h x x x +≤≤00 ?-+-≤-x x n n n n d f f x x 0))(,())(,()()(11ξξ?ξξ?ξ??

?--≤x x n n d L 0)()(1ξξ?ξ?100)()!1()(!0+-+=-≤?n n x x n

n x x n ML d x n ML ξξ于是,由数学归纳法得知,对于所有的正整数k,有如下的估计 (7)k k k k x x k ML x x )(!)()(011-≤---??h x x x +≤≤00从而可知,当时h x x x +≤≤00 (8)k k k k h k ML x x !)()(11--≤-??(8)的右端是正项收敛级数 ∑∞=1!k k k k h ML 的一般项,由维尔斯特拉斯判别法级数(5)在上一h x x x +≤≤00致收敛,因而序列也在上一致收敛,命题2证毕.

{})(x n ?h x x x +≤≤00命题3 是积分方程(2)的定义于上的连续解.)(x ?h x x x +≤≤00证明: 由利普希兹条件)()())(,())(,(x x L x x f x x f n n ????-≤-以及在上一致收敛于,即知序列{})(x n ?h x x x +≤≤00)(x ? {}{})(,()(x x f x f n n ?≡在上一致收敛于.因而对于(4)两边取极h x x x +≤≤00{})(,(x x f ?限,得到 dx x x f y x x x n n n n ))(,(lim )(lim 010?-∞→∞→+≡?? =?-∞→+x x n n d f y 0))(,(lim 10ξξ?ξ即

?+=x x d f y x 0))(,()(0ξξ?ξ?这就是说是积分方程(2)的定义于上的连续解.命

)(x ?h x x x +≤≤00题3证毕.

命题4 设是积分方程(2)的定义于上的一个连)(x φh x x x +≤≤00续解,则 , )()(x x ?φ≡h

x x x +≤≤00证明:我们首先证明也是序列的一致收敛极限函数.)(x φ{})(x n ?为此,从 0

0)(y x =? (n=1,2,…)?+=x

x n d f y x 0

))(,()(0ξξ?ξ? ξξφφd x f y x x x ))(,()(0

0?+≡我们可以进行如下估计)()(,()()(000

x x M d f x x x

x -≤≤-?ξξφξφ?ξξφξξ?ξφ?d f f x x x x ?-≤-0))(,())(,()()(01 ξξφξ?d L x

x ?-≤0

)()(0 200)(!2)(0x x ML d x ML x x -=-≤?ξξ现设,则有n n n x x n ML x x )(!)()(011-≤---φ? ξξφξξ?ξφ?d f f x x x

x n n ?-≤--0

))(,())(,()()(1 ξξφξ?d L x

x n ?-≤-0)()(1 100)()!1()(!0+-+=

-≤?n x x N x x n ML d x n ML ξξ故有数学归纳法得知,对于所有的正整数n,有下面的估计式 (10)10)()!1()()(+-+≤-n n n x x n ML x x φ?，不仅可以解决吊顶层配料试卷要求，对电气设备配置技术是指机组在进行

因此,在上有h x x x +≤≤00 (11)1)!

1()()(++≤-n n n h n ML x x φ?是收敛级数的公项,故因而1)!1(++n n h n ML 0)!1(1→+∞→+n n h n ML n 时在上一致收敛于,根据极限的唯一性,即得

{})(x n ?h x x x +≤≤00)(x φ )()(x x ?φ≡h x x x +≤≤00命题4证毕.综合1-4,即得到一阶线性微分方程解的存在唯)()(x q y x p dx dy +=一定理的证明.