一阶线性微分方程解的存在唯一性证明
大学专业课考试复习资料--《常微分方程》试题库含答案
大学专业课考试复习资料--《常微分方程》试题库含答案一、填空题1．微分方程0)(22=+-+x y dx dy dx dy n 的阶数是____________ 答：12．若),(y x M 和),(y x N 在矩形区域R 内是),(y x 的连续函数,且有连续的一阶偏导数,则方程0),(),(=+dy y x N dx y x M 有只与y 有关的积分因子的充要条件是 _________________________ 答：)()1)((y Mx N y M φ=-∂∂-∂∂ 3．_________________________________________ 称为齐次方程.答：形如)(xy g dx dy =的方程 4．如果),(y x f ___________________________________________ ,则),(y x f dx dy =存在唯一的解)(x y ϕ=,定义于区间h x x ≤-0 上,连续且满足初始条件)(00x y ϕ= ,其中=h _______________________ .答：在R 上连续且关于y 满足利普希兹条件 ),min(mb a h = 5．对于任意的),(1y x ,),(2y x R ∈ (R 为某一矩形区域),若存在常数)0(>N N 使 ______________________ ,则称),(y x f 在R 上关于y 满足利普希兹条件.答： 2121),(),(y y N y x f y x f -≤-6．方程22y x dxdy +=定义在矩形区域R :22,22≤≤-≤≤-y x 上 ,则经过点 )0,0(的解的存在区间是 ___________________ 答：4141≤≤-x 7．若),.....2,1)((n i t x i =是齐次线性方程的n 个解,)(t w 为其伏朗斯基行列式,则)(t w 满足一阶线性方程 ___________________________________答：0)(1'=+w t a w8．若),.....2,1)((n i t x i =为齐次线性方程的一个基本解组，)(t x 为非齐次线性方程的一个特解,则非齐次线性方程的所有解可表为_____________________答：x x c x n i i i +=∑=19．若)(x ϕ为毕卡逼近序列{})(x n ϕ的极限，则有≤-)()(x x n ϕϕ __________________ 答：1)!1(++n nh n ML 10．______________________称为黎卡提方程，若它有一个特解)(x y ，则经过变换 ___________________ ，可化为伯努利方程． 答：形如)()()(2x r y x q y x p dxdy ++=的方程 y z y += 11．一个不可延展解的存在区间一定是 区间．答：开12．方程1d d +=y x y 满足解的存在唯一性定理条件的区域是 ． 答：}0),{(2>∈=y R y x D ，（或不含x 轴的上半平面）13．方程y x xy sin d d 2=的所有常数解是 ． 答： ,2,1,0,±±==k k y π14．函数组)(,),(),(21x x x n ϕϕϕ 在区间I 上线性无关的 条件是它们的朗斯基行列式在区间I 上不恒等于零．答：充分15．二阶线性齐次微分方程的两个解)(),(21x y x y 为方程的基本解组充分必要条件是 ． 答：线性无关（或：它们的朗斯基行列式不等于零）16．方程02=+'-''y y y 的基本解组是 ．答：x x x e ,e17．若)(x y ϕ=在),(∞+-∞上连续，则方程y x x y )(d d ϕ=的任一非零解 与x 轴相交． 答：不能18．在方程0)()(=+'+''y x q y x p y 中，如果)(x p ，)(x q 在),(∞+-∞上连续，那么它的任一非零解在xoy 平面上 与x 轴相切．答：不能19．若)(),(21x y x y ϕϕ==是二阶线性齐次微分方程的基本解组，则它们 共同零点．答：没有20．方程21d d y xy -=的常数解是 ．答：1±=y21．向量函数组)(,),(),(21x x x n Y Y Y 在其定义区间I 上线性相关的 条件是它们的朗斯基行列式0)(=x W ，I x ∈．答：必要22．方程22d d y x x y+=满足解的存在唯一性定理条件的区域是 ． 答： xoy 平面23．方程0d )1(1)d (22=-+-y x y x y x 所有常数解是 ．答：1,1±=±=x y24．方程04=+''y y 的基本解组是 ．答：x x 2cos ,2sin25．一阶微分方程的通解的图像是 维空间上的一族曲线． 答：2二、单项选择题1．n 阶线性齐次微分方程基本解组中解的个数恰好是（ A ）个．（A ）n （B ）n -1 （C ）n +1 （D ）n +22．如果),(y x f ，y y x f ∂∂),(都在xoy 平面上连续，那么方程),(d d y x f x y=的任一解的存在区间（D ）．（A ）必为),(∞+-∞ （B ）必为),0(∞+（C ）必为)0,(-∞ （D ）将因解而定3．方程y x x y+=-31d d 满足初值问题解存在且唯一定理条件的区域是（ D ）．（A ）上半平面 （B ）xoy 平面（C ）下半平面 （D ）除y 轴外的全平面4．一阶线性非齐次微分方程组的任两个非零解之差（ C ）．（A ）不是其对应齐次微分方程组的解 （B ）是非齐次微分方程组的解（C ）是其对应齐次微分方程组的解 （D ）是非齐次微分方程组的通解5. 方程21d d y x y-=过点)1,2(π共有（ B ）个解．（A ）一 （B ）无数 （C ）两 （D ）三6. 方程2d d +-=y x xy （ B ）奇解． （A ）有三个 （B ）无 （C ）有一个 （D ） 有两个7．n 阶线性齐次方程的所有解构成一个（ A ）线性空间．（A ）n 维 （B ）1+n 维 （C ）1-n 维 （D ）2+n 维8．方程323d d y xy =过点（ A ）． （A ）有无数个解 （B ）只有三个解 （C ）只有解0=y （D ）只有两个解 9. ),(y x f y '连续是保证),(y x f 对y 满足李普希兹条件的（ B ）条件．（A ）充分 （B ）充分必要 （C ）必要 （D ）必要非充分10．二阶线性非齐次微分方程的所有解（ C ）．（A ）构成一个2维线性空间 （B ）构成一个3维线性空间（C ）不能构成一个线性空间 （D ）构成一个无限维线性空间11．方程y x y =d d 的奇解是（ D ）． （A ）x y = （B ）1=y （C ）1-=y （D ）0=y12．若)(1x y ϕ=，)(2x y ϕ=是一阶线性非齐次微分方程的两个不同特解，则该方程的通解可用这两个解表示为（ C ）．（A ）)()(21x x ϕϕ- （B ）)()(21x x ϕϕ+（C ）)())()((121x x x C ϕϕϕ+- （D ）)()(21x x C ϕϕ+13．),(y x f y '连续是方程),(d d y x f xy =初值解唯一的（ D ）条件． （A ）必要 （B ）必要非充分 （C ）充分必要 （D ）充分14. 方程1d d +=y x y （ C ）奇解．（A ）有一个 （B ）有两个 （C ）无 （D ）有无数个15．方程323d d y xy =过点(0, 0)有（ A ）． (A) 无数个解 (B) 只有一个解 (C) 只有两个解 (D) 只有三个解 三、求下列方程的通解或通积分1．3yx y dx dy += 解：23y y x y y x dy dx +=+= ，则 )(121⎰+⎰⎰=-c dy e y e x dy y dy y 所以 cy y x +=23另外 0=y 也是方程的解2．求方程2y x dxdy +=经过)0,0(的第三次近似解 解：0)(0=x ϕ[]2020121)()(x dx x x x x =+=⎰ϕϕ []52021220121)()(x x dx x x x x +=+=⎰ϕϕ []81152022316014400120121)()(x x x x dx x x x x+++=+=⎰ϕϕ 3．讨论方程2y dx dy = ，1)1(=y 的解的存在区间 解：dx y dy =2两边积分 c x y+=-1 所以 方程的通解为 cx y +-=1 故 过1)1(=y 的解为 21--=x y 通过点 )1,1(的解向左可以延拓到∞-，但向右只能延拓到 ２，所以解的存在区间为 )2,(-∞4． 求方程01)(22=-+y dxdy 的奇解 解: 利用p 判别曲线得⎩⎨⎧==-+020122p y p 消去p 得 12=y 即 1±=y 所以方程的通解为 )sin(c x y += , 所以 1±=y 是方程的奇解5．0)1()1(cos 2=-++dy yx y dx y x 解: y M ∂∂=2--y , xN ∂∂=2--y , y M ∂∂=x N ∂∂ , 所以方程是恰当方程.⎪⎪⎩⎪⎪⎨⎧-=∂∂+=∂∂211cos yx y y v y x x u 得 )(sin y y x x u ϕ++= )('2y xy yu ϕ+-=∂∂- 所以y y ln )(=ϕ 故原方程的解为 c y yx x =++ln sin 6． x x x y y y 22'sin cos sin 2-=-+解: x x x y y y 22'sin cos sin 2-++-= 故方程为黎卡提方程.它的一个特解为 x y sin = ,令x z y sin += , 则方程可化为2z dx dz -= , c x z +=1 即 c x x y +=-1sin , 故 cx x y ++=1sin 7．0)37()32(232=-+-dy xy dx y xy解: 两边同除以2y 得037322=-+-xdy dy y ydx xdx 0732=--yd xy d dx 所以 c y xy x =--732 , 另外 0=y 也是方程的解 8．21d d x xy x y += 解 当0≠y 时，分离变量得x x x y y d 1d 2+= 等式两端积分得C x y ln )1ln(21ln 2++=即通解为21x C y +=9. x y xy 2e 3d d =+ 解 齐次方程的通解为x C y 3e -= 令非齐次方程的特解为x x C y 3e )(-=代入原方程，确定出 C x C x +=5e 51)( 原方程的通解为x C y 3e -=+x 2e 51 10. 5d d xy y xy += 解 方程两端同乘以5-y ，得x y xy y +=--45d d 令 z y =-4，则xz x y y d d d d 45=--，代入上式，得 x z x z =--d d 41 通解为41e 4+-=-x C z x 原方程通解为41e 44+-=--x C y x 11．0)d (d 222=-+y y x x xy解 因为xN x y M ∂∂==∂∂2，所以原方程是全微分方程． 取)0,0(),(00=y x ，原方程的通积分为C y y x xy yx=-⎰⎰020d d 2 即 C y y x =-3231 12． y y xy ln d d = 解：当0≠y ，1≠y 时，分离变量取不定积分，得C x yy y +=⎰⎰d ln d 通积分为 x C y e ln = 13．03)(22=+'+''x y y y解 原方程可化为0)(2='+'x y y 于是 12d d C x xy y =+ 积分得通积分为23123121C x x C y +-= 14．xy x y x y +-=2)(1d d 解：令xu y =，则xu x u x y d d d d +=，代入原方程，得 21d d u x u x -= 分离变量，取不定积分，得C xx u uln d 1d 2+=-⎰⎰ （0≠C ） 通积分为： Cx xy ln arcsin= 15． xy x y x y tan d d += 解 令u xy =，则x u x u x y d d d d +=，代入原方程，得 u u x u x u tan d d +=+，u xu x tan d d = 当0tan ≠u 时，分离变量，再积分，得C x x u u ln d tan d +=⎰⎰ C x u ln ln sin ln +=即通积分为： Cx x y =sin16． 1d d +=xy x y 解：齐次方程的通解为Cx y = 令非齐次方程的特解为x x C y )(=代入原方程，确定出 C x x C +=ln )( 原方程的通解为Cx y =+x x ln17. 0d d )e (2=+-y x x y x y解 积分因子为21)(x x =μ原方程的通积分为1012d d )(e C y x x y y x x=+-⎰⎰即 1e ,e C C C x yx +==+18．0)(2='+''y y y解：原方程为恰当导数方程，可改写为0)(=''y y即1C y y ='分离变量得x C y y d d 1=积分得通积分21221C x C y +=19．1)ln (='-'y x y解 令p y ='，则原方程的参数形式为⎪⎩⎪⎨⎧='+=py p p x ln 1由基本关系式 y x y'=d d ，有p p pp x y y )d 11(d d 2+-⋅='= p p)d 11(-= 积分得 C p p y +-=ln得原方程参数形式通解为⎪⎩⎪⎨⎧+-=+=C p p y p p x ln ln 120．022=+'+''x y y y解 原方程可化为0)(2='+'x y y于是 12d d C x xy y =+ 积分得通积分为23123121C x x C y +-= 21． 0)d (d )(3223=+++y y y x x xy x 解：由于xN xy y M ∂∂==∂∂2，所以原方程是全微分方程． 取)0,0(),(00=y x ，原方程的通积分为103023d d )(C y y x xy x yx=++⎰⎰ 即 C y y x x =++42242四、计算题1．求方程x y y e 21=-''的通解． 解 对应的齐次方程的特征方程为：012=-λ特征根为： 1,121-==λλ故齐次方程的通解为： x x C C y -+=e e 21因为1=α是单特征根．所以，设非齐次方程的特解为x Ax x y e )(1=代入原方程，有 x x x x Ax Ax A e 21e e e 2=-+， 可解出 41=A ． 故原方程的通解为 x x x x C C y e 41e e 21++=- 2．求下列方程组的通解 ⎪⎪⎩⎪⎪⎨⎧+=--=y x ty y x t x 43d d 2d d ． 解 方程组的特征方程为04321=----=-λλλE A即 0232=+-λλ特征根为 11=λ，22=λ11=λ对应的解为t b a y x e 1111⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡ 其中11,b a 是11=λ对应的特征向量的分量，满足⎥⎦⎤⎢⎣⎡=⎥⎦⎤⎢⎣⎡⎥⎦⎤⎢⎣⎡----0014321111b a 可解得1,111-==b a ．同样可算出22=λ对应的特征向量分量为 3,212-==b a ．所以，原方程组的通解为⎥⎦⎤⎢⎣⎡-+⎥⎦⎤⎢⎣⎡-=⎥⎦⎤⎢⎣⎡t t t t C C y x 2221e 32e e e 3．求方程x y y 5sin 5='-''的通解．解：方程的特征根为01=λ，52=λ齐次方程的通解为 x C C y 521e +=因为i i 5±=±βα不是特征根。
一阶线性微分方程解的存在唯一性证明
一阶线形微分方程解的存在唯一性定理的证明)()(x q y x p dxdy +=摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令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 dxdy+=定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解,定义于区间上,连续)(x y ϕ=h x x ≤-0且满足初始条件:这里 00)(y x =ϕ),min(Mba 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替代,因此也就等价于求积分方程 的连续解,然⎰+=xx dx y x f y y 0),(0后去证明积分方程的解的存在唯一性.任取一个连续函数 代入上面的积分方程右端的y 就得)(0x ϕ到函数dx x x f y x xx ))(,()(0001⎰+≡ϕϕ显然也是连续解,如果那么就是积分方)(1x ϕ)(1x ϕ≡)(0x ϕ)(0x ϕ程的解.否则,我们又把代入积分方程右端的y 得到)(1x ϕ dxx x f y x xx ))(,()(0102⎰+≡ϕϕ如果 ,那么就是积分方程的解,否则我们继≡)(2x ϕ)(1x ϕ)(1x ϕ续这个步骤.一般地做函数 (2)dx x x f y x xx n n ))(,()(010⎰-+≡ϕϕ这样就得到连续函数序列,……)(0x ϕ)(1x ϕ)(x n ϕ如果那么就是积分方程的解,如果始终不发生这种≡+)(1x n ϕ)(x n ϕ)(x n ϕ情况,我们可以证明上面的函数序列有一个极限函数即)(x ϕ 存在因此对(2)取极限就得到)()(lim x x n n ϕϕ=∞→dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+=ϕϕ =dxx x f y xx n n ))(,(lim 010⎰-∞→+ϕ =dxx x f y xx ))(,(00⎰+ϕ即 dxx x f y x xx ))(,()(00⎰+≡ϕϕ这就是说是积分方程的解,这种一步一步地求出方程的解的方法)(x ϕ就成为逐步逼近法,由(2)所确定的函数称为问题(1)的n 次近)(x n ϕ似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设是一阶线形微分方程(1)的定义于区间)(x y ϕ=上的,且满足初始条件的解,则是积分方h x x x +≤≤0000)(y x =ϕ)(x y ϕ=程()的定义于上的连续解,反⎰+=xx dx y x f y y 0),(0h x x x +≤≤00h x x x +≤≤00之亦然.因为是一阶线形微分方程(1)的解故有)(x y ϕ=))(,()(x x f dxx d ϕϕ=两边从到x 取定积分得到0x dx x x f x x x x ))(,()()(00⎰≡-ϕϕϕhx x x +≤≤00把代上式,即有00)(y x =ϕ dx x x f y x xx ))(,()(00⎰+≡ϕϕhx x x +≤≤00因此, 是积分方程定义于上的)(x y ϕ=⎰+=xx dx y x f y y 0),(0h x x x +≤≤00连续解反之如果是积分方程的连续解,则有)(x y ϕ=⎰+=xx dx y x f y y 0),(0 (3)dx x x f y x xx ))(,()(00⎰+≡ϕϕh x x x +≤≤00微分之,得到))(,()(x x f dxx 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 nd 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它的部分和为=[]∑=--+nk k k x x x 110)()()(ϕϕϕ)(x ϕ因此,要证明序列在上一致收敛,只需证明级数(5)在{})(x n ϕh x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有h x x x +≤≤00 (6))())(,()()(00001⎰-≤≤-xx x x M d f x x ξξϕξϕϕ及 ⎰-≤-xx d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ利用利普希兹条件及(6)得到⎰-≤-xx d L x x 0)()()()(0112ξξϕξϕϕϕ =ξξd x M L x x ⎰-≤0)(020)(!2x x ML-设对于正整数n,不等式nn 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ξξϕξξϕξϕϕ⎰--≤xx n n d L 0)()(1ξξϕξϕ100)()!1()(!+-+=-≤⎰n n xx nnx 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)kk k k h k ML x x !)()(11--≤-ϕϕ(8)的右端是正项收敛级数∑∞=1!k kkk 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 ϕ限,得到dxx x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+≡ϕϕ =⎰-∞→+xx n n d f y 0))(,(lim 10ξξϕξ即⎰+=xx d f y x 0))(,()(0ξξϕξϕ这就是说是积分方程(2)的定义于上的连续解.命)(x ϕh x x x +≤≤00题3证毕.命题4 设是积分方程(2)的定义于上的一个连)(x φh x x x +≤≤00续解,则 , )()(x x ϕφ≡hx x x +≤≤00证明:我们首先证明也是序列的一致收敛极限函数.)(x φ{})(x n ϕ为此,从0)(y x =ϕ (n=1,2,…)⎰+=xx n d f y x 0))(,()(0ξξϕξϕ ξξφφd x f y x xx ))(,()(00⎰+≡我们可以进行如下估计)()(,()()(000x x M d f x x xx -≤≤-⎰ξξφξφϕξξφξξϕξφϕd f f x x x x ⎰-≤-0))(,())(,()()(01 ξξφξϕd L xx ⎰-≤0)()(0 200)(!2)(0x x MLd x ML xx -=-≤⎰ξξ现设,则有n n n x x n ML x x )(!)()(011-≤---φϕ ξξφξξϕξφϕd f f x x xx n n ⎰-≤--0))(,())(,()()(1 ξξφξϕd L xx n ⎰-≤-0)()(1 100)()!1()(!+-+=-≤⎰n xx Nx x n MLd x n ML ξξ故有数学归纳法得知,对于所有的正整数n,有下面的估计式(10)10)()!1()()(+-+≤-n nn 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 dxdy+=一定理的证明.。
存在唯一性定理
注: 每一个 n 阶线性微分方程可化为 n 个一阶线性 微分方程构成的方程组, 反之却不成立. 如:
1 0 方程组 x x , 0 1
不能化为一个二阶微分方程.
x 5 y 7 x 6 y e t 例 将初值问题 y 2 y 13 y 15 x cos t x ( 0 ) 1 , x ( 0 ) 0 , y ( 0 ) 0 , y ( 0 ) 1
则(5.6)可化为一阶线性微分方
程组的初值问题:
x A( t )x f ( t ) . x( t0 ) η
(5.6)与(5.7)两者关系：
若已知 (t )是(5.6)的解, 则作向量函数
1 ( t ) ( t ) 2 ( t ) ( t ) φ( t ) , ( n1) ( t ) n ( t )
其中已知函数aij ( t ) 、f i ( t ) C [a , b], ( i , j 1,2, , n)
(5.1)
满足(5.1)每一个方程的一组函数 x1 ( t ), x2 ( t ) , xn ( t )
称为(5.1)的一个解.
设函数组 xi (t ) C[a, b], (i 1,2,, n), 且有：
故向量 u( t ) 是所给初值问题的解.
5. n 阶线性微分方程可化为一阶线性微分方程组 n阶线性微分方程的初值问题 x ( n ) a1 ( t ) x ( n1) an1 ( t ) x an ( t ) x f ( t ) , ( n1) x ( t ) , x ( t ) , , x ( t0 ) n 0 1 0 2 引进代换 x1 x , x2 x, x3 x ,, xn x ( n1) ,
一阶微分方程的解的存在性定理
y ( x )为积分方程y y0 f ( x , y )dx的定义于x0 x x0 h
x0
上的解。
现在我们先构造积分方程y y0 f ( x , y )dx的定义于 x0 x x0 h上的Picard的逐次逼近函数列 n ( x ) .
结果1：如果f ( x , y )在R上关于y的偏导数f y ( x , y )存在且有界，则 f ( x , y )在R上关于y满足Lipschitz条件。
结果2：如果f ( x , y )在R上关于y的偏导数f y ( x , y )连续，则f ( x , y ) 在R上关于y满足Lipschitz条件。
下面我们分五个命题来证明定理。为此先给出： 定义2（积分方程）：如果一个数学关系式中含有定积 分符号且在定积分符号下含有未知函数，则称这样的 数学关系式为一个积分方程。
x 例如， y e y(t )dt 0 x
就是一个简单的积分方程。
x
定义3(积分方程的解)对于积分方程 y y0 f ( x , y )dx，
满足初始条件
y( x0 ) y0 ,
y( x0 ) y0.
3. 近似计算和误差估计
存在唯一性定理不仅肯定了解的存在唯一性,同时还 给出了第n次近似解n(x)和真正解(x)的误差估计
n
ML n ( x) ( x) hn1 (n 1)!
有了误差估计式, 我们就可根据实际要求, 选取适当 的逼近函数 n ( x ).
问题：这样构造函数列是否行的通，即上述的积分是否有 意义？
命题2：对任意的自然数n， n ( x )在x0 x x0 h上有定义、 连续且满足不等式
n ( x) y0 b.
【免费下载】第三章 一阶线性微分方程组 第一讲一阶微分方程组及解的存在唯一性定理
韩山师范学院数学系常微分方程精品课程教案第一讲 一阶微分方程组及解的存在惟一性定理（2课时）一、目的与要求: 了解高阶微分方程与一阶微分方程组的等价关系, 理解用向量和矩阵来研 究一阶微分方程组的作用, 了解微分方程组解的存在唯一性定理.二、重点：一阶微分方程组的向量和矩阵表示及解的存在唯一性定理.三、难点：向量和矩阵列的收敛性的定义, 二者的范数定义及其相关性质.四、教学方法：讲练结合法、启发式与提问式相结合教学法.五、教学手段：传统板书与多媒体课件辅助教学相结合.六、教学过程：1 课题引入在前两章里，我们研究了含有一个未知函数的常微分方程的解法及其解的性质.但是，在很多实际和理论问题中，还要求我们去求解含有多个未知函数的微分方程组，或者研究它们的解的性质.例如，已知在空间运动的质点的速度与时间及(,,)P x y z t 该点的坐标的关系为(,,)x y z v v v v韩山师范学院数学系常微分方程精品课程教案123(,,,)(,,,)(,,,)x y z v f t x y z v f t x y z v f t x y z =⎧⎪=⎨⎪=⎩且质点在时刻经过点，求该质点的运动轨迹。
0t 000(,,)x y z 因为和, 所以这个问题其实就是求,x y dx dy v v dt dt ==z dz v dt =一阶微分方程组123(,,,)(,,,)(,,,)x f t x y z y f t x y z z f t x y z =⎧⎪=⎨⎪=⎩ 的满足初始条件 00(),x t x =00(),y t y =00()z t z =的解.(),(),()x t y t z t 另外，在n 阶微分方程（1.12）()(1)(,,,,)n n y f x y y y -'= 中,令就可(1)121,,,n n y y y y y y --'''=== 以把它化成等价的一阶微分方程组韩山师范学院数学系常微分方程精品课程教案11221111(,,,,)n n n n dy y dx dy y dx dy y dx dy f x y y y dx ----⎧=⎪⎪⎪=⎪⎪⎨⎪⎪=⎪⎪⎪=⎩ 注意，这是一个含n 个未知函数 的一阶微分11,,,n y y y - 方程组.含有n 个未知函数的一阶微分方程组的一般形12,,,n y y y 式为： (3.1)11122112112(,,,,)(,,,,)(,,,,)n n n n dy f x y y y dx dy f x y y y dx dy f x y y y dx ⎧=⎪⎪⎪=⎪⎨⎪⎪⎪=⎪⎩ 如果方程组(3.1)右端函数不显含, 则相应的方程称为是自x 治的. 方程组(3.1)在上的一个解，是这样的一组函数[,]a b韩山师范学院数学系常微分方程精品课程教案12(),(),,()n y x y x y x 使得在上有恒等式[,]a b 12()(,(),(),,())i i n dy x f x y x y x y x dx = (1,2,,)i n = 含有n 个任意常数 的解12,,,n C C C 1112221212(,,,,)(,,,,)(,,,,)n n n n n y x C C C y x C C C y x C C C ϕϕϕ=⎧⎪=⎪⎨⎪⎪=⎩ 称为(3.1)的通解. 如果通解满足方程组11212212121212(,,,,,,,,)0(,,,,,,,,)0(,,,,,,,,)0n n n n n n n x y y y C C C x y y y C C C x y y y C C C Φ=⎧⎪Φ=⎪⎨⎪⎪Φ=⎩ 则称后者为(3.1)的通积分.如果已求得(3.1)的通解或通积分，要求满足初始条件 1010202000(),(),,()n n y x y y x y y x y ===韩山师范学院数学系常微分方程精品课程教案(3.2)的解，可以把初始条件(3.2)代入通解或通积分之中，得到关于的n 个方程式，如果从其中解得，12,,,n C C C 12,,,n C C C 再代回通解或通积分中，就得到所求的初值问题的解. 2 一阶微分方程组的向量和矩阵表示 为了简洁方便，经常采用向量与矩阵来研究一阶微分方程组(3.1). 令n 维向量函数 12()()(),()n y x y x Y x y x ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 11221212(,,,,)(,,,,)(,)(,,,,)n n n n f x y y y f x y y y F x Y f x y y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 并定义 111(),dy dx dy dY x dx dx dy dx ⎡⎤⎢⎥⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦ 00001()()()()x x x x n x x x n x f x dx f x dx F x dx f x dx ⎡⎤⎢⎥⎢⎥⎢⎥=⎢⎥⎢⎥⎢⎥⎢⎥⎣⎦⎰⎰⎰⎰ 则(3.1)可记成向量形式(3.3)(,)dY F x Y dx =初始条件(3.2)可记为 其中 00(),Y x Y =102000n y y Y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ (3.2)′(3.3)的满足(3.2)′的初值问题可记为(3.4)00(,)()dY F x Y dx Y x Y ⎧=⎪⎨⎪=⎩这样，从形式上看，一阶方程组与一阶方程式完全一样了.进一步，对n 维向量Y 和矩阵,()ij A a =12,n y y Y y ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦ 111212122212n nn n nn a a a a a a A a a a ⎡⎤⎢⎥⎢⎥=⎢⎥⎢⎥⎣⎦定义 1,n i i Y y ==∑,1niji j A a ==∑易于证明以下性质：1., 且, 当且仅当0Y ≥0Y =0Y =( 表示零向量，下同);02.;1212Y Y Y Y +≤+3.对任意常数，有;αY Y αα=A 4.;0A ≥5.;A B A B +≤+6.对任意常数，有;γA A γγ=A 7.;AY A Y ≤A 8. .AB A B ≤A 称和分别为向量和矩阵的范数. 进而还有如Y A Y A 下性质韩山师范学院数学系常微分方程精品课程教案00()()x x x x F x dx F x dx≤⎰⎰有了维空间的范数定义后，我们可以定义按范数收敛n 的概念. 即：如果对 上的任意x ，有[,]a b lim ()()0n n Y x Y x →∞-=则称 在 上按范数收敛于Y (x ).如果上式对 ()n Y x [,]a b [,]a b 上的x 为一致的，则称 在上 按范数一致收敛()n Y x [,]a b 于.()Y x 另外, 如果对n 维向量函数F (x )有00lim ()()0x x F x F x →-=则称 在 连续. 如果 在区间 上每()F x 0x ()F x [,]a b 一点 都连续, 则称 在区间 上连续.0x ()F x [,]a b 有了以上准备，完全类似于第二章定理2.2，我们有如下的关于初值问题(3.4)的解的存在与唯一性定理.定理3.1 如果函数 在 维空间的区域(,)F x Y 1n +00:,R x x a Y Y b -≤-≤上满足：1) 连续；2) 关于满足李普希兹条件，即存在, 使对于上Y 0N >R 任意两点 ,有1(,),x Y 2(,)x Y韩山师范学院数学系常微分方程精品课程教案1212(,)(,)F x Y F x Y N Y Y -≤-则存在, 使初值问题(3.4)的解在 上存在00h >00x x h -≤且唯一，其中0min(,b h a M =.(,)max (,)x Y R M F x Y ∈= 定理的证明方法与定理2.2完全类似,也是首先证明(3.4)与积分方程 00()(,())x x Y x Y F x Y x dx =+⎰(3.5)同解.为证(3.5)的解在 上的存在性，同样用00x x h -≤逐次逼近法，其步骤可以逐字逐句重复定理2.2的证明.最后，唯一性的证明，同样用贝尔曼不等式完成. 对于方程组(3.3)也有类似第二章关于纯量方程(1.9)的解的延展定理和解对初值的连续依赖性定理，这只要在第二章相应定理中把纯量换成向量即可.y Y 最后，我们要指出方程组(3.3)解的几何意义：我们已经知道，纯量方程(1.9)的一个解是二维空间平面上的一条xoy 曲线，或称为积分曲线，那么，很自然地有方程组(3.3)的一韩山师范学院数学系常微分方程精品课程教案个解就是维空间中的一条曲线了，也称它为方程组x Y1n (,)(3.3)的积分曲线.本节要点：1．一阶微分方程组解的存在唯一性定理及解的几何意义.2．一阶线性微分方程组解的存在唯一性定理及其特征：系数和非齐次项连续区间上整体存在.作业: 完成定理3.1的证明. 。
一阶微分方程解存在唯一性定理Picard定理及其证明
3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理，难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3；讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理（柯西版本和Picard版本）;3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结（1）认识一阶微分方程：一阶线性方程（交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的）、一阶可分离变量型方程（齐次方程以及其他可化为可分离变量型的）、一阶对称形式的恰当方程（通过引入积分因子可化为恰当方程的方程）一阶隐方程（可解出x或y的类型，以及x, y, y’只含有其中两个的方程类型）（2）解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法（3）例题上述提到的方程类型各举出一个例子来，并用上面的方法来求解，允许一题多解.（4）介绍一些可以化为微分方程来求解的函数方程和积分方程（参见上节讲义）.（5）预告：下周二上午第一节课进行上一章测试，请相互转告.2. 必要准备：数学中的进化论生物上，比如水稻品种一代一代通过基因重组往高产优质方向优化，还有如下图片.在数学上也有类似的进化过程，下面就说一说.（1）考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一：运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代；将]b ,[a 11平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代，即]21 [0,]b ,[a 22=；将]b ,[a 22平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代，即]21 ,41[]b ,[a 33=；将]b ,[a 33平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代，即]21 ,81[]b ,[a 44=；... ... 这样下去，]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二：运用教材P89习题9的结论和证明过程，改写方程为x 42x -3=+，记42x f(x)3+-= 则方程就是f(x)x =，方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件（自行验证）,于是方程的根存在且唯一，下面就用进化的思想来寻找方程的根.选取第一代1x 1=（这里可以选其他实数）；经过进化机制（用f(x)作用一下）得到第二代25.0)f(x x 12==；再经过进化机制（用f(x)作用一下）得到第三代496094.0)f(x x 23≈=；再经过进化机制（用f(x)作用一下）得到第四代469477.0)f(x x 34≈=；再经过进化机制（用f(x)作用一下）得到第五代474131.0)f(x x 45≈=；再经过进化机制（用f(x)作用一下）得到第六代473354.0)f(x x 56≈=；... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方，把方程的根比作我们想要的某种属性的对象，我们可以通过迭代（进化）过程来把它造出来或找出来。
微分方程的解的存在性与唯一性
微分方程的解的存在性与唯一性微分方程的解的存在性与唯一性是微分方程理论中的重要问题之一。
它涉及到了微分方程的解是否存在以及是否唯一的问题。
在研究微分方程的过程中，我们常常需要确定方程的解的存在性和唯一性，以便得到准确的结果和合理的推论。
首先，我们来讨论微分方程解的存在性。
对于一阶微分方程dy/dx=f(x, y)来说，如果函数f(x, y)在某个区域内是连续的，那么根据连续函数的存在性定理，方程必有一个解存在。
这个解可能通过求不定积分得到，也可能是通过其他方法求得的特解。
如果方程涉及到一些特殊的函数，如分段定义的函数或含有非连续点的解，那么解的存在性的问题可能就会更加复杂。
其次，我们来探讨微分方程解的唯一性。
唯一性通常需要借助某些定理来证明。
在微分方程理论中，最常用的唯一性定理就是皮卡-林德洛夫定理（Picard-Lindelof定理）。
该定理表明，如果函数f(x, y)在某个区域内是局部利普希茨连续的，即满足|f(x, y1)-f(x, y2)|≤K|y1-y2|，其中K是一个常数，那么方程的初值问题y(x0)=y0必有唯一解存在。
这里需要说明的是，皮卡-林德洛夫定理中的条件比较严格，f(x, y)需要满足利普希茨连续性，这并不是一个常见的条件。
对于一些非连续的函数，可能无法直接使用皮卡-林德洛夫定理来证明解的存在唯一性。
此时，我们可以尝试使用其他的方法来证明解的存在性和唯一性，如变量分离、恰当方程等。
此外，还有一种特殊情况需要考虑，即微分方程解的多解性。
有时候，微分方程的解可能存在多个，这取决于方程本身的特性和约束条件。
比如，对于一元二次方程dy/dx=ax²+bx+c，根据韦达定理，方程的解可能有两个或零个。
在这种情况下，我们需要根据问题的具体条件来确定解的个数，并选择出最符合问题要求的解。
总结起来，微分方程解的存在性与唯一性是微分方程理论中的重要问题。
通过合理选择条件和引入适当的定理，我们可以判断微分方程的解是否存在，以及是否唯一。
3. 一阶常微分方程解的存在唯一性
由于ϕn(x) = ϕ0(x) + ϕ1(x) − ϕ0(x) + ϕ2(x) − ϕ1(x) + · · · + ϕn(x) − ϕn−1(x) ，
∞
故只需证明无穷级数ϕ0(x) + [ϕn+1(x) − ϕn(x)]在I上一致收敛即可。采用数学 n=0
归纳法来证明：
特别，取ϕ0(x) = y0，则 |ϕ1(x) − ϕ0(x)| =
设ϕ(x)和ψ(x)都 是 微 分 方 程(3.1)在I上 的 解。 记M = max |ϕ(x) − ψ(x)|， 根 x∈I
据Lipschitz条件，当x ∈ I时，有
|ϕ(x) − ψ(x)| ≤
x
|f (t, ϕ(t)) − f (t, ψ(t))|dt
x0 x
≤ L |ϕ(t) − ψ(t)|dt
第三章 一阶常微分方程解的存在唯一性
本章主要介绍和证明一阶微分方程解的Picard存在和唯一性定理，解的延拓，解对 初值的连续性和可微性等概念。
3.1 Picard存在唯一性定理
3.1.1 一阶显式微分方程
考虑一阶显式常微分方程的初值问题
dy dx
=
f (x, y)
y|x=x0 = y0
(3.1)
≤
LnM n!
x
|t − x0|ndt
x0
=
LnM (n + 1)!
|x
−
x0|n+1
特别，当|x − x0| ≤ h时，
|ϕn+1(x)
−
ϕn(x)|
≤
LnM (n + 1)!
hn+1
∞
由于正项级数
3.1 解的存在唯一性定理与逐步逼近法
问题的提出
在前一章中，我们学习了用初等方法求解一阶
方程的几种类型。但是，大量的一阶方程一般是不
能用初等解法求出其通解，而实际问题中所需要的
往往是要求满足某种初始条件的解。因此对初值问 题(又称Cauchy问题)的研究被提到了重要的地位。
dy f ( x, y ) dx y ( x0 ) y0
下面分五个命题来证明定理1： 命题1 设 y ( x) 是方程(3.1)的定义于区间
x0 x x0 h 上，满足初始条件 ( x0 ) y0 的解，则 y ( x) 也是积分方程
y y0 f ( x, y)dx
x0
x
(3.5)
的定义于 x0 x x0 h 上的连续解。反之亦然。
dy 2 x(1 y ), dx
的解. 解：其迭代序列分别为
y (0) 0
y0 ( x) 0,
y1 ( x) 2 d x
0
x
x
2
4 x y2 ( x) 2 (1 2 )d x 2 0 2!
4 6 x x y3 ( x) 2 (1 2 )d x 2 0 2! 2! 3! x
L y1 y2
这里( x, y1 ),( x, y2 ) R,0 1.
二 近似计算和误差估计
求方程近似解的方法---Picard逐步逼近法,这里
0 ( x) y0 n ( x) y0
(n 1,2,)
x
x0
f ( , n1 ( ))d
需解决的问题
dy f ( x, y ) 1、初值问题 dx 的解是否存在？ y ( x0 ) y0 dy f ( x, y ) 2、若初值问题 dx 的解存在， y ( x0 ) y0
第三章 解的存在唯一性
x
n1(x) n (x) x0 f (,n ( )) f (,n1( ))d
x
L x0 n ( ) n1( )d
MLn
n!
x x0
(
x0 )nd
MLn (x (n 1)!
x0 )n1,
于是由数学归纳法得知,对所有正整数n,有
n (x) n1(x)
MLn1 n!
(x
x0 )n ,
x0 x x0 h,
u' (x) Lu(x), (u' (x) Lu(x))eLx 0,
0 g(x) u(x)
(u' (x) Lu(x))eLx 0,
对最后一个不等式从 x0到x积分得 u(x)eLx u(x0 )eLx0 0,
故g(x) u(x) 0, 即g(x) 0, x [x0, x0 h]. 综合命题1—5得到存在唯一性定理的证明.
现设
lim
n
n
(
x)
(
x),
x0 x x0 h,
则由{n (x)}在[x0, x0 h]的连续性和一致收敛性 得,
(x)在[x0, x0 h]上连续,且
(x) y0 b
命题4 (x)是积分方程 (3.5)定义于[x0, x0 h]上连续解.
证明: 由Lipschitz条件有
f (x,n (x)) f (x,(x)) Ln(x) (x)
以及{n (x)}在[x0, x0 h]的一致收敛性得 ,
函数列{ fn (x)}, ( fn (x) f (x,n (x)))
在[x0, x0 h]上一致收敛于函数 f (x,(x)),
因此对(3.7)两边取极限 ,得
x
lim
n
解的存在唯一性定理
上连续,从而k1(x)在[x0 , x0 h]上连续且
k1(x) y0
x
x0 f ( ,k ( ))d
x x0
f (,k ( ))d
M x x0 Mh b
即当n k 1时成立,命题2成立
综上，命题2得证
二、存在唯一性定理
定理1
dy =f (x, y)
(1)
dx
D :| x x0 | a,| y y0 | b
如果f (x, y)在D上连续且关于y满足利普希茨条件，
则方程(1)存在唯一的连续解y (x),定义在|x x0| h
上，连续且满足初值条件
(x0 ) y0
这里h min(a, b ), M max | f (x, y) |
x
L x0 n ( ) n1( )d
MLn
n!
x x0
(
x0 )nd
MLn (x (n 1)!
x0 )n1,
于是由数学归纳法得知,对所有正整数n,有
n (x) n1(x)
MLn1 n!
(x
x0 )n ,
x0 x x0 h,
(3.11)
从而当x0 x x0 h时,
n (x) n1(x)
于是{n (x)}一致收敛性与级数 (3.9)一致收敛性等价 .
对级数(3.9)的通项进行估计
x
1(x) 0(x) x0 f (,0( ))d M x x0
x
2(x) 1(x) x0 f (,1( )) f (,0 ( ))d
x
L x0 1( ) 0( )d
L
x x0
M (
3-19 - 一阶微分方程解存在唯一性定理Picard定理及其证明
3.1 一阶微分方程存在唯一性定理(Existence and Uniqueness Theorem ofInitial Value Problem of ODE )[教学内容] 1. 上一章内容小结和习题课; 2.介绍研究初值问题解的存在唯一性定理必要性; 3. 介绍柯西解的存在唯一性定理和Picard定理; 4. 介绍定理的证明.[教学重难点] 重点是知道并会运用微分方程初值问题的解的存在唯一性定理，难点是如何引入了解定理的证明思路和过程[教学方法] 自学1、2、3；讲授4、5课堂练习[考核目标]1.知道一阶微分方程的类型及其解法;2. 知道Lipshitz条件和解的存在唯一性定理（柯西版本和Picard版本）;3. 知道Picard定理的证明思路和过程;4. 会用Picard函数序列给出微分方程初值问题的近似函数解.5. 了解和掌握Graonwall积分不等式.1. 一阶微分方程类型及其初等解法小结（1）认识一阶微分方程：一阶线性方程（交换x,y或Bernoulli方程及其他可通过引入变量替换化为一阶线性方程的）、一阶可分离变量型方程（齐次方程以及其他可化为可分离变量型的）、一阶对称形式的恰当方程（通过引入积分因子可化为恰当方程的方程）一阶隐方程（可解出x或y的类型，以及x, y, y’只含有其中两个的方程类型）（2）解法常数变易公式、Bernoulli方程的变量替换分离变量方法、齐次方程的变量替换恰当方程的解法、积分因子的求法隐方程的求导法和参数法（3）例题上述提到的方程类型各举出一个例子来，并用上面的方法来求解，允许一题多解.（4）介绍一些可以化为微分方程来求解的函数方程和积分方程（参见上节讲义）.（5）预告：下周二上午第一节课进行上一章测试，请相互转告.2. 必要准备：数学中的进化论生物上，比如水稻品种一代一代通过基因重组往高产优质方向优化，还有如下图片.在数学上也有类似的进化过程，下面就说一说.（1）考察三次代数方程 x 3+4x-2 0. 该方程没有有理根. 该方程只有唯一实根且落在[0,1]. 下面有两种思路来找到该方程的根.思路一：运用连续函数的零点定理, 记1] [0,]b ,[a 11=表示第一代；将]b ,[a 11平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第二代，即]21 [0,]b ,[a 22=；将]b ,[a 22平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第三代，即]21 ,41[]b ,[a 33=；将]b ,[a 33平分为两个子区间，取满足如下条件0)f(b )f(a i i ≤⋅子区间作为第四代，即]21 ,81[]b ,[a 44=；... ... 这样下去，]b ,[a n n 越来越接近方程的根 x ≈ 0.473466,其中误差就是|a b |n n -.思路二：运用教材P89习题9的结论和证明过程，改写方程为x 42x -3=+，记42x f(x)3+-= 则方程就是f(x)x =，方程的根也就是函数f(x)的不动点. 可以验证f(x)满足教材P89习题9的条件（自行验证）,于是方程的根存在且唯一，下面就用进化的思想来寻找方程的根.选取第一代1x 1=（这里可以选其他实数）；经过进化机制（用f(x)作用一下）得到第二代25.0)f(x x 12==；再经过进化机制（用f(x)作用一下）得到第三代496094.0)f(x x 23≈=；再经过进化机制（用f(x)作用一下）得到第四代469477.0)f(x x 34≈=；再经过进化机制（用f(x)作用一下）得到第五代474131.0)f(x x 45≈=；再经过进化机制（用f(x)作用一下）得到第六代473354.0)f(x x 56≈=；... ... n x 越来越接近方程的根 x ≈ 0.473466.打个比方，把方程的根比作我们想要的某种属性的对象，我们可以通过迭代（进化）过程来把它造出来或找出来。
一阶微分方程的解的存在定理
第三章 一阶微分方程的解的存在定理教学目的讨论一阶微分方程的解的存在与唯一性定理，解的延拓定理，解对初值的连续性与可微性定理，解对参数的连续性定理教学要求掌握存在与唯一性定理及其证明，会用皮卡逼近法求近似解，理解解对初值的连续性与可微性定理，解对参数的连续性定理，了解奇解及其求法。
教学重点几个主要定理的条件及其证明 教学难点逐次逼近法的应用及其思想；应用存在与唯一性定理及解的延拓定理来研究方程的解；奇解及其求法教学方法讲练结合教学法、提问式与启发式相结合教学法。
教学手段传统板书与多媒体课件辅助教学相结合。
课题导入在上一章我们讨论了一阶方程的解的初等积分法。
解决了几个特殊的方程。
但是，对许多微分方程，为22'y x y +=，不可能通过初等积分法求解，这就产生了一个问题，一个不能用初等积分法求解的微分方程是否意味着没有解呢？或者说，一个微分方程的初值问题在何种条件下一定有解呢？当有解时，农的解是否是唯一的呢？毫无疑问，这是一个很基本的问题，不解决这个问题对微分方程的进一步研究，就无从谈起，本章将重点讨论一阶微分方程的解存在问题的唯一定理，§3.1解的存在唯一性定理与逐步逼近法教学目的讨论Picard 逼近法及一阶微分方程的解的存在与唯一性定理，解的延拓定理，解对初值的连续性与可微性定理。
教学要求熟练掌握Picard 逼近法，并用它证明一阶微分方程初值问题解的存在与唯一性定理及其证明，会用Picard 逼近法求近似解， 教学重点Picard 存在唯一性定理及其证明教学难点逐次逼近分析法的应用及其思想.教学方法讲练结合教学法、提问式与启发式相结合教学法。
教学手段传统板书与多媒体课件辅助教学相结合。
一． 存在唯一性定理1．定理1，考虑初值问题),(y x f dxdy= （3.1）00)(y x y =其中f(x,y)在矩形区域R ： b y y a x x ≤-≤-||,||00 （3.2）上连续，并且对y 满足Lipsthits 条件：即存在常数L>0，使对所有R y x y x ∈),(),,(21常存成立，|||),(),(|2121y y L y x f y x f -≤-则初值问题（cauchy 问题）（3.1）在区间h x x ≤-||0上解存在唯一，这里|),(|max ),,min(),(y x f M Mba h R y x ∈==证明思路：1.初值问题（3.1）的解存在等价一动积分方程⎰+=x x dy y x f y y 0),(0（3.5）的连续解。
3.0 一阶微分方程解的存在唯一性定理
Existence & Uniqueness Theorem of First-Order ODE Ch.3 E
研究Байду номын сангаас象
dy = f ( x, y ) dx ( x 0 ) = y 0
存在性,存在区间? 唯一性? 延拓性,最大存在区间? 初值微小变动时,解的变化情况?
主要问题
本章要求
掌握逐步逼近 逐步逼近方法的基本思想 逐步逼近 会用解的存在唯一性和延拓定理解决具体问题
30一阶微分方程解的存在唯一性定理偏微分方程比较定理一阶线性微分方程二阶微分方程一阶微分方程二阶线性微分方程一阶非线性微分方程二阶齐次线性微分方程分数阶微分方程二阶微分方程的解法
第三章 一阶微分方程解的 存在唯一性定理
Existence & Uniqueness Theorem of First-Order ODE
Existence & Uniqueness Theorem of First-Order ODE Ch.3 E
本章要求/Requirements/ 本章要求 深刻理解解的存在唯一性定理的条件与结论 掌握逐步逼近 逐步逼近方法的本思想 逐步逼近 理解解的一般性质 解的延拓 解对初值的连续依赖性和可微性 掌握求奇解的两个方法 利用逐步逼近序列进行似计算和误差估计
本章目录 /Main Contents/
解的存在唯一性定理与逐步逼近法 解的延拓 解对初值的连续性和可微性 奇解* 奇解*
�
第三章 一阶微分方程解的存在唯一性定理
/Existence & Uniqueness Theorem of First-Order ODE/ /E
解的存在唯一性定理与逐步逼近法
chapter-3 一阶微分方程的解的存在性定理
x3.1 解的存在唯一性定理与逐步逼近法
11
命题 2 对所有的 n，函数 有定义、连续且满足不等式
在区间
上
张强
常微分方程 第三章 一阶微分方程的解的存在性定理
x3.1 解的存在唯一性定理与逐步逼近法
12
证明：当 且
有定义、连续
张强
常微分方程 第三章 一阶微分方程的解的存在性定理
x3.1 解的存在唯一性定理与逐步逼近法
x3.3 解对初值的连续性和可微性定理
38
x3.3 解对初值的连续性和可微性定理
3.3.1 解关于初值的对称性
解关于初值的对称性定理 设初值问题 在此表达式中 即在解的存在区间
例 方程 定义在矩形区域 上的解，试利用存在唯一性定理确定经过点 (0,0) 的解的 存在区间，并求在此区间上与真解的误差不超过 0.05 的近 似解的表达式。
解
经过点 (0,0) 的解的存在区间为
张强
常微分方程 第三章 一阶微分方程的解的存在性定理
x3.1 解的存在唯一性定理与逐步逼近法
30
x3.1 解的存在唯一性定理与逐步逼近法
张强
常微分方程 第三章 一阶微分方程的解的存在性定理
x3.3 解对初值的连续性和可微性定理
37
x3.3 解对初值的连续性和可微性定理
初值问题 其解随着初值不同而变化。 可理解为自变量，以及初值的函数
满足 由此，我们可以讨论解关于初值的一下基本性质
张强
常微分方程 第三章 一阶微分方程的解的存在性定理
x3.1 解的存在唯一性定理与逐步逼近法
17
利普希茨条件 命题 3 函数序列 证明： 在 上是一致收敛的。
故
成立 为正项收敛级数 魏氏判别法
解的存在唯一性定理
函数列{ fn (x)}, ( fn ( x) f ( x, n ( x)))
在[x0, x0 h]上一致收敛于函数 f (x,(x)),
因此对(3.7)两边取极限 ,得
x
lim
n
n
(
x)
y0
lim
n
x0
f (,n1( ))d
x
y0
x0
lim
n
dy dx
f
(x, y),
(3.1)
y(x0 ) y0
其中f (x, y)在矩形区域 R : x x0 a, y y0 b, (3.2)
上连续, 并且对y满足Lipschitz条件 :
即存在L 0, 使对所有( x, y1), ( x, y2 ) R常成立
由Weierstras s判别法知,级数(3.9)在[x0, x0 h]上一致收敛 .
因而函数序列{n (x)}在[x0, x0 h]上一致收敛 .
现设
lim
n
n
(
x)
(
x),
x0 x x0 h,
则由{n (x)}在[x0, x0 h]的连续性和一致收敛性 得,
M
x, yD
证明思路：5个步骤
步骤1 证明求解微分方程的初值问题等价于求解 一个积分方程
步骤2 用逐次迭代法构造一个连续的逐步逼近序 列
步骤3 证明此逐步逼近序列一致收敛
步骤4 证明此收敛的极限函数为所求的初值问题 的解
步骤5 证明连续解的唯一性
命题1
初值问题(1.1)等价于积分方程
x
y y0
3.1 一阶微分方程解的存在唯一性定理
第三章 一阶微分方程解的存在定理[教学目标]1. 理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解的误差估计式。
2. 了解解的延拓定理及延拓条件。
3. 理解解对初值的连续性、可微性定理的条件和结论。
[教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。
[教学方法] 讲授，实践。
[教学时间] 12学时[教学内容] 解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。
[考核目标]1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。
2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。
3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。
§1 解的存在性唯一性定理和逐步逼近法微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。
在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。
而实际问题中所需要的往往是要求满足某种初始条件的解。
因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。
他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。
例如方程dydx=过点(0,0)的解就是不唯一，易知0y =是方程过(0,0)的解，此外，容易验证，2y x =或更一般地，函数20 0() c<1x cy x c x ≤≤⎧=⎨-≤⎩都是方程过点(0,0)而且定义在区间01x ≤≤上的解，其中c 是满足01c <<的任一数。
解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性和唯一性。
解的存在唯一性定理
一阶微分方程解的存在性定理的其它证明方法姜旭东摘要 本文在文[1]对一阶微分方程初值问题解得存在唯一性定理证明的基础上,应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.关键词 一阶微分方程 不动点定理 解的存在性 唯一性 1、引言微分方程来源于生活实际，研究微分方程的目的在于掌握它所反映的客观规律。
在文[1]第二章里,介绍了能用初等解法求解的一阶方程的若干类型,但同时指出,大量的一阶方程一般是不能用初等解法求解它的通解,而实际问题需要的往往是要求满足某种初始条件的解. 本文在文[1]对一阶微分方程初值问题解的存在唯一性定理证明的基础上,应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解的存在唯一性定理的其它几种证法.考虑一阶微分方程 (,)dyf x y dx= (1.1)这里(,)f x y 是在矩形区域00:||,||R x x a y y b -≤-≤ (1.2)上的连续函数.函数(,)f x y 在R 上满足Lipschitz 条件，即存在常数L ＞0，使得不等式1212|(,)(,)|||f x y f x y L y y -≤- (1.3)对所有12(,),(,)x y x y R ∈都成立, L 称为Lipschitz 常数。
定理1.1、如果(,)f x y 在R 上连续且关于y 满足Lipschitz 条件，则方程(1.1)存在唯一的解()y x ϕ=,定义于区间0||x x h -≤上,连续且满足初始条件00()x y ϕ=这里min(,)bh a M=,(,)max |(,)|x y R M f x y ∈=.文[1]中采用皮卡逐步逼近法来证明这个定理.为了简单起见,只就区间00x x x h≤≤+来讨论,对于00x h x x -≤≤的讨论完全一样.分五个命题来证明这个定理:命题1、设()y x ϕ=是方程(1.1)定义于区间00x x x h ≤≤+上满足初始条件00()x y ϕ=的解,则()y x ϕ=是积分方程0(,)xx y y f x y dx =+⎰ 00x x x h ≤≤+ (1.4)的定义于00x x x h ≤≤+上的连续解.反之亦然. 现在取00()x y ϕ=,构造皮卡逐步逼近函数序列如下:0000100()()(,())x nn x x y x y f d x x x hϕϕξϕξξ-=⎧⎪⎨=+≤≤+⎪⎩⎰ (1.5)(n=1,2,…)命题2 、对于所有的n ，(1.5)中()n x ϕ在00x x x h ≤≤+上有定义、且满足不等式0|()|n x y b ϕ-≤命题3 、函数序列{}()n x ϕ在00x x x h ≤≤+上是一致收敛的. 命题4 、()x ϕ是积分方程(1.4)的定义于00x x x h ≤≤+上的连续解.命题5 、()x ψ是积分方程(1.4)的定义于00x x x h ≤≤+上的一个连续解，则()()x x ϕψ=，00x x x h ≤≤+.综合命题1—5，即得到存在唯一性定理.本文在方程(1.1)在满足定理1.1条件下,应用应用压缩映像原理，Schauder 不动点定理，以及Euler 折线法，给出了一阶微分方程解得存在唯一性定理的其它几种证法.2、预备知识定义 2.1、 定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =,如果存在数M ＞0，使得对任一f F ∈，都有()f t M ≤，当t αβ≤≤时，则称函数族F 在t αβ≤≤上是一致有界的.定义2.2 、定义在t αβ≤≤上的实值(m 维)向量函数族{}()F f t =，如果对于任给的ε﹥0，总存在δ﹥0，使得对任一f F ∈和任意的12,[,]t t αβ∈，只要12|,|t t -＜δ就有12()()f t f t -＜ε则称函数族F 在 t αβ≤≤上是同等连续.定义2.3、设X 是度量空间，M 是X 中子集，若M 是X 中紧集，则称M 是X 中相对紧集。
【典型例题】 第三章 一阶微分方程的解的存在定理
第三章 一阶微分方程的解的存在定理例3-1 求方程22y x dxdy+= 满足初始条件0)0(=y 的解的逐次逼近)(),(),(321x y x y x y ，并求出h 的最大值，其中h 的意义同解的存在唯一性定理中的h 。
解 函数22),(y x y x f +=在整个平面上有意义，则在以原点为中心的任一闭矩形区域b y a x D ≤≤,:上均满足解的存在唯一性定理的条件，初值问题⎪⎩⎪⎨⎧=+=0)0(22y yx dxdy 的解在],[h h -上存在唯一，其中)(max ),,min(22),(y x M Mba h D y x +==∈。
因为逐次逼近函数序列为⎰-+=xx n n dx x y x f y x y 0))(,()(10，此时，2200),(,0,0y x y x f y x +===，所以0)(0=x y ，⎰=+=xx dx x y x x y 0320213)]([)(，633)]([)(7032122x x dx x y x x y x+=+=⎰，⎰⎰+++=+=xxdxx x x x dx x y x x y 01410622223)396918929()]([)(5953520792633151173x x x x +++=。
现在求h 的最大值。
因为 ),,min(22ba ba h += 对任给的正数b a ,，ab b a 222≥+，上式中，当 b a = 时，22b a b+取得最大值aab b 212=。
此时，)21,min()2,min(a a ab b a h ==，当且仅当aa 21=，即22==b a 时，h 取得最大值为22。
评注：本题主要考查对初值问题的解的存在唯一定理及其证明过程的基本思想（逐次逼近方法）的理解。
特别地，对其中的by a x D y x f M Mba h D y x ≤≤==∈,:),,(max ),,min(),(等常数意义的理解和对逐次逼近函数列⎰-+=xx n n dx x y x f y x y 0))(,()(10的构造过程的理解。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
一阶线形微分方程)()(x q y x p dxdy +=解的存在唯一性定理的证明摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一?首先,我们令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使不等式2121),(),(y y L y x f y x f -≤- 对于所有的R y x y x ∈),(),,(21 都成立,L 称为利普希兹常数下面我们给出一阶线形微分方程)()(x q y x p dxdy+=(1)解的存在唯一性定理:如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹条件,则方程(1)存在唯一的解)(x y ϕ=,定义于区间h x x ≤-0上,连续且满足初始条件:00)(y x =ϕ 这里 ),min(Mba h = ),(max y x f M = R y x ∈),( 我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见,只就区间h x x x +≤≤00来讨论,对于00x x h x ≤≤-的讨论完全一样.现在简单叙述一下运用逐步逼近法证明定理的主要思想,首先证明求微分方程的初值问题的解等价于求积分方程[]⎰++=xx dx x q y x p y y 0)()(0的连续解这里我们用f(x,y)=p(x)y+q(x)来替代,因此也就等价于求积分方程 ⎰+=xx dx y x f y y 0),(0 的连续解,然后去证明积分方程的解的存在唯一性.任取一个连续函数)(0x ϕ 代入上面的积分方程右端的y 就得到函数dx x x f y x xx ))(,()(0001⎰+≡ϕϕ显然)(1x ϕ也是连续解,如果)(1x ϕ≡)(0x ϕ那么)(0x ϕ就是积分方程的解.否则,我们又把)(1x ϕ代入积分方程右端的y 得到dx x x f y x xx ))(,()(0102⎰+≡ϕϕ如果 ≡)(2x ϕ)(1x ϕ,那么)(1x ϕ就是积分方程的解,否则我们继续这个步骤.一般地做函数 dx x x f y x xx n n ))(,()(010⎰-+≡ϕϕ(2)这样就得到连续函数序列)(0x ϕ ,)(1x ϕ…)(x n ϕ…如果≡+)(1x n ϕ)(x n ϕ那么)(x n ϕ就是积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数)(x ϕ即)()(lim x x n n ϕϕ=∞→ 存在因此对(2)取极限就得到dx x x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+=ϕϕ=dx x x f y xx n n ))(,(lim 010⎰-∞→+ϕ=dx x x f y xx ))(,(00⎰+ϕ即 dx x x f y x xx ))(,()(00⎰+≡ϕϕ这就是说)(x ϕ是积分方程的解,这种一步一步地求出方程的解的方法就成为逐步逼近法,由(2)所确定的函数)(x n ϕ称为问题(1)的n 次近似解,在定理的假设条件下以上步骤是可以实现的下面我们分四个命题来证明这个定理.命题1,设)(x y ϕ=是一阶线形微分方程(1)的定义于区间h x x x +≤≤00上的,且满足初始条件00)(y x =ϕ的解,则)(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0(h x x x +≤≤00)的定义于h x x x +≤≤00上的连续解,反之亦然.因为)(x y ϕ=是一阶线形微分方程(1)的解故有))(,()(x x f dxx d ϕϕ= 两边从0x 到x 取定积分得到dx x x f x x xx ))(,()()(00⎰≡-ϕϕϕ h x x x +≤≤00把00)(y x =ϕ代上式,即有dx x x f y x xx ))(,()(00⎰+≡ϕϕ h x x x +≤≤00因此, )(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0定义于h x x x +≤≤00上的连续解反之如果)(x y ϕ=是积分方程⎰+=xx dx y x f y y 0),(0的连续解,则有dx x x f y x xx ))(,()(00⎰+≡ϕϕ h x x x +≤≤00 (3)微分之,得到))(,()(x x f dxx d ϕϕ= 又把0x x =代入(3)得到00)(y x =ϕ因此)(x y ϕ=是方程(1)的定义于 h x x x +≤≤00上且满足初始条件00)(y x =ϕ的解.命题1证毕.现在取00)(y x =ϕ,构造皮卡逐步逼近函数序列如下:⎪⎩⎪⎨⎧+==⎰-x x n nd f y x y x 0))(,()()(1000ξξϕξϕϕ h x x x +≤≤00 (n=1,2,…)(4)命题2 函数序列{})(x n ϕ在h x x x +≤≤00上是一致收敛的 证明:我们考虑级数[]∑∞=--+110)()()(k k k x x x ϕϕϕ h x x x +≤≤00(5)它的部分和为[]∑=--+nk k k x x x 110)()()(ϕϕϕ=)(x ϕ因此,要证明序列{})(x n ϕ在h x x x +≤≤00上一致收敛,只需证明级数(5)在h x x x +≤≤00上一致收敛.为此,我们进行如下估计.由(4)有)())(,()()(00001⎰-≤≤-xx x x M d f x x ξξϕξϕϕ (6)及 ⎰-≤-xx d f f x x 0))(,())(,()()(0112ξξϕξξϕξϕϕ利用利普希兹条件及(6)得到⎰-≤-xx d L x x 0)()()()(0112ξξϕξϕϕϕξξd x M L xx ⎰-≤0)(0=20)(!2x x ML- 设对于正整数n,不等式n n n n x x n ML x x )(!)()(011-≤---ϕϕ 成立,则有利普希兹条件,当h x x x +≤≤00时,有⎰-+-≤-xx n n n n d f f x x 0))(,())(,()()(11ξξϕξξϕξϕϕ⎰--≤xx n n d L 0)()(1ξξϕξϕ100)()!1()(!0+-+=-≤⎰n n xx nn x x n ML d x n ML ξξ 于是,由数学归纳法得知,对于所有的正整数k,有如下的估计k k k k x x k ML x x )(!)()(011-≤---ϕϕ h x x x +≤≤00 (7)从而可知,当h x x x +≤≤00时kk k k h k ML x x !)()(11--≤-ϕϕ (8)(8)的右端是正项收敛级数∑∞=1!k kkk h ML的一般项,由维尔斯特拉斯判别法级数(5)在h x x x +≤≤00上一致收敛,因而序列{})(x n ϕ也在h x x x +≤≤00上一致收敛,命题2证毕.命题3 )(x ϕ是积分方程(2)的定义于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 ϕ≡在h x x x +≤≤00上一致收敛于{})(,(x x f ϕ.因而对于(4)两边取极限,得到dx x x f y x xx n n n n ))(,(lim )(lim 010⎰-∞→∞→+≡ϕϕ=⎰-∞→+xx n n d f y 0))(,(lim 10ξξϕξ即⎰+=xx d f y x 0))(,()(0ξξϕξϕ这就是说)(x ϕ是积分方程(2)的定义于h x x x +≤≤00上的连续解.命题3证毕.命题4 设)(x φ是积分方程(2)的定义于h x x x +≤≤00上的一个连续解,则)()(x x ϕφ≡ , h x x x +≤≤00证明:我们首先证明)(x φ也是序列{})(x n ϕ的一致收敛极限函数.为此,从00)(y x =ϕ⎰+=xx n d f y x 0))(,()(0ξξϕξϕ (n=1,2,…)ξξφφd x f y x xx ))(,()(00⎰+≡我们可以进行如下估计)()(,()()(000x x M d f x x xx -≤≤-⎰ξξφξφϕξξφξξϕξφϕd f f x x x x ⎰-≤-0))(,())(,()()(01ξξφξϕd L xx ⎰-≤0)()(0200)(!2)(0x x MLd x ML xx -=-≤⎰ξξ 现设n n n x x n ML x x )(!)()(011-≤---φϕ,则有 ξξφξξϕξφϕd f f x x xx n n ⎰-≤--0))(,())(,()()(1ξξφξϕd L xx n ⎰-≤-0)()(1100)()!1()(!+-+=-≤⎰n xx Nx x n MLd x n ML ξξ 故有数学归纳法得知,对于所有的正整数n,有下面的估计式10)()!1()()(+-+≤-n nn x x n ML x x φϕ (10) 因此,在h x x x +≤≤00上有1)!1()()(++≤-n n n h n ML x x φϕ (11) 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 dxdy+=解的存在唯一定理的证明.仅供个人用于学习、研究；不得用于商业用途。
For personal use only in study and research; not for commercial use.Nur für den persönlichen für Studien, Forschung, zu kommerziellen Zwecken verwendet werden.Pour l 'étude et la recherche uniquement à des fins personnelles; pas à des fins commerciales.толькодля людей, которые используются для обучения, исследований и не должны использоваться в коммерческих целях.以下无正文。