常微分方程第三章

1、第三章存在和唯一性定理一.内容提要本章主要介绍解的存在和唯一性定理、接的延伸和解的最大存在区间等有关问题.解的存在和唯一性定理是微分方程中最常用的定理，学过这一定理之后，对于微分方程的通解概念，才由形 式上的理解转为实质上的理解；另外在求近似解之前，都必须从理论上做解的存在唯一性判定关于解的延伸定理，它把解的存在唯一性定理所得到的、具有局部性的结果，延伸到全局上去.这一定理无论在微分方程的理论研究和实际应用中，都是很有意义的二.关键词存在和唯一性，解的延伸，毕卡逐次逼近法 三.目的和要求1 .熟练掌握毕卡逐次逼近法，并用它证明一阶常微分方程初值问题解的存在唯一性定理2 . 了解右端函数连续性保

2、证初值问题解的存在性，李普希茨条件保证初值问题解的唯一性这些事 实.3 .理解初值问题解的存在唯一性中解的存在区间的意义，会求其解的存在区间4 .理解解的延伸概念，理解延伸定理的意义.四.教学过程在第二章中我们已经讨论了不少寻找微分方程的通解或通积分的方法，但是我们也看出，多数微分方程是不能通过初等积分法求解的，而很多重要的实际问题又需要用微分方程的解去刻画它.为解决这个矛盾，人们在分析了这些微分方程之后，发现在很多情况下，其实只要能够求出满足一定条件的特解就行了；在另外一些情况下，即使不去求特解和通解，但若能知道解族的某些性质，问题同样可以得到解决，例如第八章中将讨论的稳定性问题.但要求特解

3、，首先必须证明满足某给定条件的解的存在性和唯一性.否则，若要求的解根本不存在，而去求解那显然是荒唐的.或者即使解存在但不唯一，那也不知取哪一个好.此外，解的存在唯一性问题如果不得到解决，要想研究整个解族的性质也会有很多的困难.这样解的存在唯一性问题就是一个十分基本的问题，不解决这个问题，对微分方程的进一步研究就无从谈起.关于初值问题，柯西第一个在很一般的条件下，建立了初值问题解的存在与唯一性定理以后皮亚诺(peano)和毕卡(picard)等人又在更广泛的条件下，分别证明了解的存在性和解的唯一性 1 毕卡存在和唯一性定理关于初值问题dy f(x,y)(1.1)dx/ 、(1.2)y(xo) v

4、o的解的存在唯一性，我们将利用著名的picard逐次逼近法来证.此方法的主要思想是在所设条件下，构造一个连续函数列，它一致收敛的极限函数正好是所求始值问题的解.采用这个方法不仅证明了解的存在性,而且在证明解的存在唯一性的过程中，还提供了求近似解的构造性途径定理1假设：1) f(x, y)在矩形区域r： x xo a, y yo b内连续，记mmyaxf(x，y)，h minam2) f (x,y)对y满足李普希茨条件(或简称李氏条件)，即存在常数l 0,使得f (x, y1) f(x,y2)ly1丫2其中(x, y1),(x, y2)r,则方程(1.1)在区间x xo(1.3)h上存在唯一的，

5、满足初值条件(1.2)的解y （x）.证明证明步骤如下：（1） 求微分方程的初值问题的解等价于求积分方程xy v。 f（x,y）dx（1.4）x0的连续解；（2） 在区间x x。 h上构造一个连续函数序列vn（x）,称为毕卡序列；（3） 证明yn （x）在区间x x0h上一致收敛；（4） 证明yn（x）的极限函数 （x）是积分方程（1.4）的解；（五）证明满足方程 （1.1）和条件（1.2）的解必为 （x）.（一） 求微分方程的初值问题的解等价于求积分方程(1.4)xy y。f（x,y）dxx。的连续解.事实上，设y y（x）是方程（1.1）的解，故有dy(x)丁f(x，y(x), y(x。)

6、y。，两边从x。到x取定积分得到xy(x) y(x。)f(x,y(x)dx,x0xy(x) y。 f(x,y(x)dx，x0因此，y y（x）是（1.4）的定义在x x0h的连续解.反之，若y y（x）是（1.4）的的连续解，则有微分之，得xy(x) y。f(x, y(x)dx, x x。h,x0dy3 f(x,y(x).dx(1.5)又把x x。代入（1.5）,得到y（x。）y。.故yy（x）是方程（1.1）的定义在x x。件（1.2）的解.因此，下面我们只需证明积分方程（1.4）在区间x x0h上有且仅有一个解（二）在区间xx。h上，用逐次迭代法构造毕卡连续函数序列yn(x)h上，且满足初

7、值条取初值yo为零次近似：yo(x) yo.利用(1.4),用零次近似yo代替积分号下的y(x),得到函数显然,这表明函数再利用yi(x)yoxf (x, yo)dxxo(1.6)yi(x)在区间xyi(x)y y1(x) 当 xxoyoxo(1.4),作出二次近似y2(x) yoh上是连续可微的，且由(1.6)推出f(x,yo)dx m x xomh b(1.7)h时是连续的，且将位于矩形域 r上，我们称它为一次近似xf(x,y1(x)dx,xo同样地有可以看出，当y2(x) yof (x,y(x) dxm x xomh b,xx0h时，函数yy2(x)也是连续的，且它也完全位于矩形域r上.

8、般地，规定了 n 1次近似以后,就可以利用(1.4)式得出n次近似:yn(x)v。xof(x,yn 1(x)dx(1.8)这样，我们就可以得到一个毕卡连续函数序列丫口屋).用数学归纳法可证，每一个 yn(x)在区间x xoh上都是连续的.都满足yn(xo)yo,都位于矩形域 r上.(三)下面证明按上述方法造的函数序列yn(x)在区间x xoh上一致收敛要证yn(x)在区间x xoh上一致收敛，只须证明级数yo y1 (x) yo yn 1(x) yn(x)(1.9)一致收敛，因为yn(x)是此级数的前n 1项之和.现在我们对级数(1.9)的各项作估计，为此证明估计式,、,、 mlnn 1yn

9、1(x) yn(x)- x xo(n o,1,2, )(1.1o)(n 1)!在x xoh上成立.事实上，当n 。时，由(1.7)可知(1.1o)成立.假设当n k时(1.10)成立，注意到f(x,y)对y满足李普希茨条件及(1.8)式，便可推出yk 2(x) yki(x)xf (xi (x) dxxoxof (x,yk i(x)f(x,yk(x) dxf(x,yk(x)dxxoxxolyki(x) yk(x)dxmlk 1 x x(k 1)! xok 1xodxmlk 1(k 2)!x xoy(0) 0所以当当n k 1时(1.1。)成立，故(1.1。)得证.由于x xoh ,从而yn 1(

10、x) yn(x)j1(n 1)!yom / lh 八(e 1)(四)证明yn(x)的极限函数(x)是积分方程(1.4)的解.由此可见，级数(1.9)的每一项的绝对值都不大于收敛正项级数mln .vo hn o(n 1)!现对(1.8)式yn(x) v。xxof(x，yn1(x)dx两端取极限，当n时，注意到收敛的一致性和f (x, v)的一致连续性，就得到x(x)yof(x, (x)dxxo这表明(x)是积分方程(1.4)的连续解，从而也是始值问题(1.1), (1.2)的解，故存在性获证(五)证明解的唯一性.设积分方程(1.4)还有另一个解(x),则由(1.4)推出xx(x)(x) f(x,

11、 (x)dx f(x, (x)dxxoxo,xl (x)(x) dx(1.11)xo由于在x xoh上，(x)(x)是连续有界的，故可取它的一个上界k ,则由(1.11)有(x)(x) lk x xo ,(lx xo|)2(x)(x)k 如此递推，在 x x0h上，可用数学归纳法得到(x)(x)jl|xxd)nk n!n!让n ,则上述不等式的右端趋于零，故可推出(x)(x) , x xo h.即积分方程(1.4)的解是唯一的，从而定理得证附注1由于李普希兹条件比较难于检验，常用f (x, y)在r上有对y的连续偏导数来代替.事实上,如果在r上f 存在且连续，则在r上有界，设在 r上， m ,

12、此时 yyyf(x,yj f(x,y2)f(x,y2 y(y2-y1)|yi y?| m|yi y2f (x, y)不一定有偏导数存在.例这里(x,yi),(x, y2)r,01 .但反过来满足李普希兹条件的函数如，函数f (x,y)y在任何区域都满足李普希兹条件，但它在 y 0处没有导数附注2设方程(1.1)是线性的，即方程为dy p(x)y q(x)(1.12)dx那么易知，当p(x),q(x)在区间a,b上为连续时，定理1的一切条件就能满足.附注3在证明定理1中所采用的毕卡逼近法在实用上也是求方程近似解的一种方法.容易证明：第n次近似解yn(x)与精确解(x)在区间x x0h内的误差估计

13、式为lnhn 1 yn(x)(x) m -l-.(n 1)!其中l是李普希兹常数，m是|f(x,y)在r： x x0a, y y0b上的上界.附注4李普希兹条件是初值问题解的唯一性的充分条件，容易举仞说明.为了保证初值问题解的唯一性，并非一定要求满足李普希兹条件不可，即李普希兹条件不是初值问题解的唯一性的必要条件.例如，设当y 0时，f (x,y) 0；当y 0时，f (x, y) y in y ,试讨论初值问题(*)dx f(x，y)解的唯一性易知f(x,y)在全平面上连续，但在点(xo，0)的任意小的矩形邻域 u内不满足李普希兹条件.事实上，设(xo, yi)是u内的任意一点，yi 0.考

14、虑f(xo,y) f(xo,0) yjnyi0 y ln y1，于是有f(x0,yi) f(x0,0)yi|lnyi|,当 yi 0 时，in y1|,所以不存在常数 l 0,使f(x0,y1)f (x0,0) l y1 .但可通过具体求解，证明初值问题(*)的解仍唯一 .事实上，y 0显然是(*)的解.此外y 0时，用变量分离法求得 y 0和y 0的区域内的通解为yece(*)对于c的任何有限值，曲线(*)都不与y 0相遇，因此，对 x轴上的点(x0,0),仍只有唯一的积分曲线y 0经过此点，即y 0是(*)的唯一解.此例说明，对于cauchy问题解的存在性和唯一性，lipschitz条件不

15、是必要的.关于初值问题解的唯一性条件的探讨，迄今仍是数学工作者的研究课题之一.下面我们介绍一个由美国数学家osgood用较弱的条件来代替李普希兹条件给出的有关解的一个唯一性定理设函数f(x, y)在区域g内连续，且满足不等式f(x,y1) f (x, y2) f(y1 v2)，其中f(r) 0是r 0的连续函数，且瑕积分ri dr、八n(常数ri 0)0 f(r)则称f (x, y)在区域g内对y满osgood条件.显然，李普希兹条件条件是osgood条件的特例，因为 f(r) lr满足上述要求.定理2(osgood) 设f(x, y)在区域g内对y满osgood条件，则方程 包 f(x, y

16、)过g内每dx点至多有一个解.证明用反证法.若g内可以找到一点(x0,y0),使得方程 f(x, y)过点(x0,y0)有两个解dxyy( x)和 y y2 (x) , ji 至少有一个xx。,使得y(xi)y2(xi), 不妨设x1x。,jhx supx xo,xiyi(x) y2(x),则显然有x0xx1,且r(x) yi(x) y2(x) 0, 当 x x x1 ； r(x) 0.因此 r (x) yi(x) y2(x)f(x,yi(x) f(x,y2(x)f(yi(x) y2(x)f(r(x),dr(x)即 dx ,( x x x1)f(r(x)从x到xi积分上式得ri dr0 f(r)其中rir(xi) 0 ,但这不等式左端为,右端是一个有限的数，因此矛盾 .故定理2得证.再把条件减弱，只要求 f(x, y)连续，就未必再有唯一性的结论了1 1例如：dy y3 , y3在(x, y)平面上连续，(1在包含点(x0 ,0)的任何区域上不满足李普希兹条件dx这个方程有通解3