资源预览内容
第1页 / 共7页
第2页 / 共7页
第3页 / 共7页
第4页 / 共7页
第5页 / 共7页
第6页 / 共7页
第7页 / 共7页
亲,该文档总共7页全部预览完了,如果喜欢就下载吧!
资源描述
1第三章 存在和唯一性定理一 内容提要 本章主要介绍解的存在和唯一性定理、接的延伸和解的最大存在区间等有关问题.解的存在和唯一性定理是微分方程中最常用的定理,学过这一定理之后,对于微分方程的通解概念,才由形式上的理解转为实质上的理解;另外在求近似解之前,都必须从理论上做解的存在唯一性判定.关于解的延伸定理,它把解的存在唯一性定理所得到的、具有局部性的结果,延伸到全局上去.这一定理无论在微分方程的理论研究和实际应用中,都是很有意义的.二 关键词 存在和唯一性,解的延伸,毕卡逐次逼近法三 目的和要求1 熟练掌握毕卡逐次逼近法,并用它证明一阶常微分方程初值问题解的存在唯一性定理.2 了解右端函数连续性保证初值问题解的存在性,李普希茨条件保证初值问题解的唯一性这些事实.3 理解初值问题解的存在唯一性中解的存在区间的意义,会求其解的存在区间.4 理解解的延伸概念,理解延伸定理的意义.四教学过程在第二章中我们已经讨论了不少寻找微分方程的通解或通积分的方法,但是我们也看出,多数微分方程是不能通过初等积分法求解的,而很多重要的实际问题又需要用微分方程的解去刻画它.为解决这个矛盾,人们在分析了这些微分方程之后,发现在很多情况下,其实只要能够求出满足一定条件的特解就行了;在另外一些情况下,即使不去求特解和通解,但若能知道解族的某些性质,问题同样可以得到解决,例如第八章中将讨论的稳定性问题.但要求特解,首先必须证明满足某给定条件的解的存在性和唯一性.否则,若要求的解根本不存在,而去求解那显然是荒唐的.或者即使解存在但不唯一,那也不知取哪一个好.此外,解的存在唯一性问题如果不得到解决,要想研究整个解族的性质也会有很多的困难.这样解的存在唯一性问题就是一个十分基本的问题,不解决这个问题,对微分方程的进一步研究就无从谈起.关于初值问题,柯西第一个在很一般的条件下,建立了初值问题解的存在与唯一性定理.以后皮亚诺(Peano)和毕卡(Picard)等人又在更广泛的条件下,分别证明了解的存在性和解的唯一性.1 毕卡存在和唯一性定理关于初值问题0)(,yxfd )2.1(的解的存在唯一性,我们将利用著名的 Picard 逐次逼近法来证.此方法的主要思想是在所设条件下,构造一个连续函数列,它一致收敛的极限函数正好是所求始值问题的解.采用这个方法不仅证明了解的存在性,而且在证明解的存在唯一性的过程中,还提供了求近似解的构造性途径.定理 1 假设:1) 在矩形区域),(yxf,aR0: by0内连续,记 , .),(m),(xfMRyx),min(Mh2) 对 满足李普希茨条件(或简称李氏条件) ,即存在常数 ,使得f 0L2121),(),(yLyxff )3.1(其中 ,则方程 在区间 上存在唯一的,满足初值条件 的解Ryx),(,21 .hx0 22.)(xy证明 证明步骤如下:(一) 求微分方程的初值问题的解等价于求积分方程xdyfy0),( )4.1(的连续解;(二) 在区间 上构造一个连续函数序列 ,称为毕卡序列;hx0 )(xyn(三) 证明 在区间 上一致收敛;)(ynx0(四) 证明 的极限函数 是积分方程 的解;x)()4.1((五)证明满足方程 和条件 的解必为 .)1.(2.x(一) 求微分方程的初值问题的解等价于求积分方程xdyfy0),( )4.1(的连续解.事实上,设 是方程 的解,故有)(xy)1.(,0)(,yxyfd两边从 到 取定积分得到0x, ,xdxyfyx0)(,)( hx0即 , ,x0因此, 是 的定义在 的连续解.)(xy4.1h反之,若 是 的的连续解,则有).(, , xdxyfy0)(, hx0)5.1(微分之,得 .()d又把 代入 ,得到 .故 是方程 的定义在 上,且满足初值0x5.1(0yx)(x)1.(hx0条件 的解.)2(因此,下面我们只需证明积分方程 在区间 上有且仅有一个解.)4.1(hx0(二)在区间 上,用逐次迭代法构造毕卡连续函数序列 .hx0 )(xyn3取初值 为零次近似: .0y00)(yx利用 ,用零次近似 代替积分号下的 ,得到函数)4.1( )(xxdyfy0,()(1 )6.1(显然, 在区间 上是连续可微的,且由 推出xyh)6.1(bMhxyxfy 00010),()( )7.(这表明函数 当 时是连续的,且将位于矩形域 上,我们称它为一次近似.xy R再利用 ,作出二次近似)4.(,xdxyfy0)(,(12同样地有,bMhxfx 01020)(,)(可以看出,当 时,函数 也是连续的,且它也完全位于矩形域 上.hx02yR一般地,规定了 次近似以后,就可以利用 式得出 次近似:1n)4.(nxndxyfy0,()(1 )8.1(这样,我们就可以得到一个毕卡连续函数序列 .用数学归纳法可证,每一个 在区间)( xyn上都是连续的.都满足 ,都位于矩形域 上.hx0 0)(yxnR(三) 下面证明按上述方法构造的函数序列 在区间 上一致收敛.)(xnhx0要证 在区间 上一致收敛,只须证明级数)(xynhx0 )()(110 xyynn )9.1(一致收敛,因为 是此级数的前 项之和.xyn现在我们对级数 的各项作估计,为此证明估计式)9.(101)!(nnnn xMLxy ),210(0.(在 上成立.hx0事实上,当 时,由 可知 成立.n)7.1()0(4假设当 时 成立,注意到 对 满足李普希茨条件及 式,便可推出kn)10.(),(yxf )8.1(xxkkkk dxyfdyx0 0,(112 xx Lyff 00 )()(,), 1,xkkdxML011)!( 21)!(kkM所以当当 时 成立,故 得证.n.)由于 ,从而hx0.11)!()(nnn hMLxy由此可见,级数 的每一项的绝对值都不大于收敛正项级数)9.)1()!1(00 LhnneyhLy的对应项,(四) 证明 的极限函数 是积分方程 的解.)(xn)(x)4(现对 式 )8.1(xnn dxyfy0)(,)(1两端取极限,当 时,注意到收敛的一致性和 的一致连续性,就得到,fxxfy0)(,)(这表明 是积分方程 的连续解,从而也是始值问题 , 的解,故存在性获证.)(x4.1)1.(2(五)证明解的唯一性.设积分方程 还有另一个解 ,则由 推出).()(x)4.(xxdxfdfx0 0)(,L0)( )1.(由于在 上, 是连续有界的,故可取它的一个上界 ,则由 有hx0)(K,0)(xKx5然后,把它代入 的右端,得到)1.(.!2)()0xLKx如此递推,在 上,可用数学归纳法得到hx0.!)(!)()(0nLhnxLx让 ,则上述不等式的右端趋于零,故可推出n, .)(x0即积分方程 的解是唯一的,从而定理得证.)41(附注 1 由于李普希兹条件比较难于检验,常用 在 上有对 的连续偏导数来代替.事实),(yxfRy上,如果在 上 存在且连续,则 在 上有界,设在 上, ,此时RyfyfRMf,2121221 )(,(),(),( yyyxfxff 这里 .但反过来满足李普希兹条件的函数 不一定有偏导数存在.例如,0,),(21Ryx ),(xf函数 在任何区域都满足李普希兹条件,但它在 处没有导数.f 0y附注 2 设方程 是线性的,即方程为)1.()(xqypdx )12.(那么易知,当 在区间 上为连续时,定理 1 的一切条件就能满足.)(,qp,ba附注 3 在证明定理 1 中所采用的毕卡逼近法在实用上也是求方程近似解的一种方法.容易证明:第 次近似解 与精确解 在区间 内的误差估计式为n)(xyn)(xhx0.)!1(nLMn其中 是李普希兹常数, 是 在 , 上的上界.L),(yxfaxR0: by0附注 4 李普希兹条件是初值问题解的唯一性的充分条件,容易举例说明.为了保证初值问题解的唯一性,并非一定要求满足李普希兹条件不可,即李普希兹条件不是初值问题解的唯一性的必要条件.例如,设当 时, ;当 时, ,试讨论初值问题0y),(yxfyxfln),(0)(,yfd(*)6解的唯一性.易知 在全平面上连续,但在点 的任意小的矩形邻域 内不满足李普希兹条件.事实上,),(yxf )0,(xU设 是 内的任意一点, .考虑,10U1y,1100 lnln),(),( yyxff 于是有 ,1yx当 时, ,所以不存在常数 ,使 .01yln0L1010),(),(yLxfyf但可通过具体求解,证明初值问题(*)的解仍唯一.事实上, 显然是(*)的解.此外 时,0用变量分离法求得 和 的区域内的通解为0y(*)xCe对于 的任何有限值,曲线(*)都不与 相遇,因此,对 轴上的点 ,仍只有唯一的积分C0yx)0,(曲线 经过此点,即 是(*)的唯一解.0y0y此例说明,对于 Cauchy 问题解的存在性和唯一性,Lipschitz 条件不是必要的.关于初值问题解的唯一性条件的探讨,迄今仍是数学工作者的研究课题之一.下面我们介绍一个由美国数学家 Osgood 用较弱的条件来代替李普希兹条件给出的有关解的一个唯一性定理.设函数 在区域 内连续,且满足不等式),(yxfG,)(),(2121yFyxf其中 是 的连续函数,且瑕积分0)(rF(常数 )10)(rd01r则称 在区域 内对 满 Osgood 条件.),(yxfGy显然,李普希兹条件条件是 Osgood 条件的特例,因为 满足上述要求.LrF)(定理 2 (Osgood ) 设 在区域 内对 满 Osgood 条件,则方程 过 内每),(yxfGy ),(yxfdG点至多有一个解.证明 用反证法 .若 内可以找到一点 ,使得方程 过点 有两个解),(0x),(yxf),(0和 ,且至少有一个 ,使得 ,不妨设 ,且)(1xy)(2xy1)(121y1.令17,)(,sup210xyxx则显然有 ,且10, 当 ; .)()(2xyxr 1x0)(r因此 )(,)(,)()( 2121 yfyf,xrFxyF即 , ( )dr)( 1从 积分上式得1x到,xrFd101)(其中 ,但这不等式左端为 ,右端是一个有限的数,因此矛盾.故定理 2 得证.)(1xr再把条件减弱,只要求 连续,就未必再有唯一性的结论了.),(yxf例如: , 在 平面上连续,但在包含点 的任何区域上不满足李普希兹条件.31ydx, )0,(x这个方程有通解,23)()(Cxy其中 为任意常数.还有一个平凡解 ,积分曲线如图 所示,从左向右看,每个点 上有C0y )0,(x三分叉的三条积分曲线,一条是 ,还有与 相且的上下两条曲线形积分曲线;事实上,过 A点沿 轴及,等曲线的每一条吻合成一条曲线,故过 A 点的积分曲线有无穷x之多.最后,给出一个不加证明的 Peano 存在性定理.证明请参看2.定理 3 设 在矩形区域 内连续,则方程 在区间
网站客服QQ:2055934822
金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号