《常微分方程第二章(共24页).doc》由会员分享,可在线阅读,更多相关《常微分方程第二章(共24页).doc(24页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、精选优质文档-倾情为你奉上第二章 基本定理 我们在第一章主要学习了初等积分法,掌握了几类常微分方程的解法.但是这些解法只适用于某些特殊的类型,很多其它的常微分方程不能用初等解法进行求解.1841年,法国数学家刘维尔(Liouville)证明了里卡蒂(Riccati)方程除了某些特殊的类型外,一般不能用初等积分法求解.例如,很简单的里卡蒂方程就不能用初等积分法求解.自然地,如果一个常微分方程不能用初等积分法求解,那么应该如何处理呢?是否存在解呢?如果存在解,它的解是否唯一呢?解的存在区间是什么呢?初值的微小误差对解有什么影响呢?这些问题在理论的研究和实际应用中,都有着重要的意义.本章将解决这些基
2、本问题. 本章主要介绍解的存在唯一性定理、解的延展定理与比较定理、解对初值的连续依赖性定理以及解对初值的可微性定理,这些定理就回答了我们刚才的疑问,有效的处理解的存在性、唯一性、存在区间、初值对解的影响等问题,为我们使近似解法奠定理论基础,同时这些定理也是常微分方程理论的基础内容,对进一步的学习奠定基础.2.1 解的存在唯一性定理对于一般的常微分方程 (2.1)如果给出了初始条件,我们就得到了柯西初值问题 (2.2)这时,在什么样的条件下,柯西初值问题的解存在且唯一呢?解的存在区间是什么呢?我们有如下的解的存在唯一性定理.2.1.1 存在唯一性定理的叙述定理2.1(存在唯一性定理)如果方程(2
3、.1)的右端函数在闭矩形区域上满足如下条件:(1)在上连续;(2)在上关于变量满足李普希兹(Lipschitz)条件,即存在常数,使对于上的任何一对点和有不等式:则初值问题(2.2)在区间上存在唯一解其中. 在给出定理2.1的证明之前,我们先对定理2.1的条件和结论做些说明: 1、在两个条件中,条件(2),即李普希兹条件比较难于验证,因为李普希兹常数难以确定.但是,我们可以将该条件加强,替换为:如果函数在闭矩形区域关于的偏导数存在且有界.这样,可以推出李普希兹条件成立.事实上,因为有界,故设,对,由拉格朗日中值定理得:我们验证在闭矩形区域上有界也不容易,可以进一步将条件加强为:在闭矩形区域上连
4、续.由闭区域上连续函数的性质知:在闭矩形区域上有界,所以李普希兹条件成立.因此,有如下的关系式:在上连续在上存在且有界李普希兹条件2、在定理2.1的结论中,解的存在区间为,其中.为什么解的存在区间不是呢?这是因为我们研究问题的范围为闭矩形区域,方程的解不能超出的范围,又因为,所以即 由和得:,因此,即夹在与之间.又,与在上的存在区间为,故的存在区间也是. 2.1.2 存在性的证明 首先,我们给出柯西初值问题(2.2)的等价转化,即求(2.2)的解,等价于求解积分方程 (2.3) 事实上,如果是初值问题(2.2)的解,即有且从到积分得:即是积分问题(2.3)的解. 反过来,如果是积分问题(2.3
5、)的解,即有则且即是初值问题(2.2)的解. 经过等价转化,我们将初值问题(2.2)的求解,转化为积分问题(2.3)的求解. 下面用皮卡(Picard)逐次逼近来证明积分问题(2.3)的解的存在性,分为三个步骤: 1、构造近似函数列 任取一个满足初值条件的函数作为首项(初始项),并要求在上的存在区间为:,简单起见,取,将它代入方程(2.3)的右端,所得到的函数用表示,并称为一次近似,即再将代入方程(2.3)的右端就得到二次近似序行此法,可以得到次近似为了保证上述的逐次逼近过程可以一直进行下去,必须有,即当时,有下面用数学归纳法证明.显然,当时,有假设,当时,有,那么,对于有从而有由数学归纳法知
6、,当时,有 这样,我们就可以得到一个近似函数列. 2、证明近似函数列在区间上一致收敛. 由于无法得到的通项公式,只知道首项和递推关系式,直接证明函数列的收敛性比较困难,为此我们构造函数项级数 (2.4)它的部分和是因此,证明的收敛性转化为证明级数(2.4)的收敛性,下面我们证明级数(2.4)在区间上一致收敛.首先研究级数(2.4)的通项即所以 因为,所以由李普希兹条件,得 下面用数学归纳法证明显然,的时候,不等式成立(上面已经给出),假设成立,那么对于的情形有由数学归纳法知,对一切自然数,均有又,所以级数(2.4)的通项满足: ()利用比式判别法,可知以为通项的级数收敛,从而以为通项的级数(2
7、.4)绝对收敛且一致收敛.又,每一个是连续的,所以级数(2.4)的和函数也是连续的,记为,其存在区间也是.因此函数列就收敛于. 3、证明是积分问题(2.3)的解,从而也是初值问题(2.2)的解. 在两端取极限,得到即所以是积分问题(2.3)的解,从而也是初值问题(2.2)的解. 2.1.3 唯一性的证明 下面我们证明解的唯一性.在证明唯一性之前,先介绍一个重要的不等式,即贝尔曼(Bellman)不等式. 贝尔曼引理 设为区间上的非负连续函数,.若存在,使得满足不等式 (2.5)则有 证明 仅证明的情形,的情形类似. 令的原函数为,代入(2.5)得两边同时乘以积分因子,得从到积分得即由(2.5)
8、知,所以 下面证明积分问题(2.3)的解的唯一性.假设积分问题(2.3)有两个解和,我们只需要证明:, 事实上,因为,所以有由李普希兹条件知令,由贝尔曼引理可知,即. 这样,我们就完成了解的存在性与唯一性的证明. 2.1.4 三点说明 为了更好的理解和掌握解的存在唯一性定理,我们对该定理再做三点说明. 1、在存在性的证明过程中,我们利用逐次逼近法构造了近似函数列,其中首项为:,递推关系式为:.该方法实际上给出了我们一种求初值问题(2.2)的近似解的方法,当用次近似解逼近精确解时,需要给出它的误差估计.事实上,有 2、如果方程(2.1)是线性方程,即其中和在区间上连续,这时,初值问题(2.2)在
9、带型区域满足定理2.1的条件.事实上,在上连续,而且在上也连续,所以关于变量满足李普希兹条件. 这时,初值问题(2.2)的解存在且唯一,存在区间为. 3、定理2.1中的李普希兹条件是保证解唯一的充分条件,那么这个条件是不是必要条件呢?回答是否定的,即李普希兹条件是解唯一的充分非必要条件.下面我们给出一个例子来说明李普希兹条件是解唯一的非必要条件,也就是说,即使李普希兹条件不成立,初值问题(2.2)的解也可能是唯一的. 例1 试证方程经过平面上任一点的解都是唯一的.证明 由可得:或.任给平面上的一个点,只会对应或中的一个解,也就是说,过平面上任一点的解都是唯一的. 但是,我们有因为,所以找不到,
10、使得从而方程右端函数在的任何邻域上不满足李普希兹条件,但是初值问题(2.2)的解却是唯一的,这说明李普希兹条件是非必要条件.习 题 2.11.试判断方程在区域(1);(2)上是否满足定理2.1的条件?2.讨论方程在怎样的区域中满足定理2.1的条件.并求通过的一切解.3.试用逐次逼近法求方程满足初值条件的近似解:并在闭矩形区域给出三次近似的误差估计.4.利用逐次逼近法求方程适合初值条件的近似解:并在闭矩形区域给出二次近似的误差估计.5.试证明定理2.1中的次近似解与精确解有如下的误差估计式:6.在条形区域内,假设方程(2.1)的所有解都唯一,对其中任意两个解,如果有,则必有.7.讨论方程解的唯一
11、性.2.2 延展定理和比较定理 由解的存在唯一性定理,我们知道,初值问题(2.2)的解在满足一定条件的情况下存在且唯一,但是解的存在区间不是,而是 其中.如果比较大的话,则解的存在区间就非常小,这对我们研究解的性质产生了很大的局限性,只能在很小的范围内有解,当超出这个范围时,解的情况就不清楚了.为了解决这个问题,我们有下面的延展定理.2.2.1 延展定理 定理2.2(延展定理)如果方程(2.1)的右端函数在区域上连续,且关于变量满足局部的李普希兹条件,即对于内的任一闭矩形区域都满足李普希兹条件,则对任何一点,初值问题(2.2)的解可以向左右无限延展,直到任意接近区域的边界.在给出定理的证明之前
12、,先对“任意接近区域的边界”进行说明.当区域有界时,积分曲线向左右延展可以任意接近;当区域无界时,积分曲线向左、右延展,或者任意接近区域的边界(边界存在的话),或者无限远离坐标原点. 证明 首先证明区域有界的情形.设区域的边界为(为的闭包).对于任意给定的正数,记的邻域为,记的邻域为,记的邻域为.则集合为闭集,且,所以有界. 只要证明积分曲线可以到达的边界,由的任意性知,积分曲线就可以任意接近区域的边界. 事实上,以中的任意一点为中心,以为半径的闭圆区域均包含在区域的内部.且在闭区域之内.从而,以中的任意一点为中心,以为边长的正方形也在闭区域之内.记则过的任意一点的积分曲线,必至少可在区间上存
13、在,其中.于是,过点的积分曲线每向左或向右延展一次,其存在区间就伸长一个确定的正数,由于有界,经过有限次延展后一定可以达到的边界.于是也就可以任意接近区域的边界. 其次考虑区域为无界的情形.这时,我们可以用闭圆区域与区域取交集,令,则.由于为有界的区域,根据前面的证明,我们可知,过内任一点的积分曲线能够任意接近的边界.因此,过点的积分曲线可以无限接近区域的边界. 延展定理的证明,关键是第一步证明,也就是区域有界的时候,过点的积分曲线向左向右延展的时候,一定要做等速延展,即延展步幅是不变的. 例1 试讨论方程通过点的解和通过点的解的存在区间. 解 该题目中研究问题的区域为整个坐标平面.方程右端函
14、数满足延展定理的条件.由可以解得方程的通解为代入得:.故通过点的解为它可以向左无限延展,而当时,所以通过点的解的存在区间为.代入得:.故通过点的解为它可以向右无限延展,而当时,所以通过点的解的存在区间为. 这个例子说明,尽管在整个坐标平面上满足延展定理的条件,解上的点也能无限接近区域的边界,但是延展的方向却不一定是无限向右和向左,可能是向上或向下,从而导致解的存在区间不是. 例2 试证明:对任意的及满足条件的,方程的满足条件的解在上存在.证明:令,则显然在平面上连续,满足解的存在唯一性条件及延展定理的条件,而是的解,因此,满足,的解存在,而且可以无限延展到平面的边界,且不能穿过,故只能向左右无
15、限延展,所以,在上存在. 该例题说明,在整个坐标平面上满足延展定理的条件,当方程的解不能穿过时,它就不能向上向下无限延展了,只能向左、向右延展,所以解的存在区间就是.在这里,控制了解的延展方向,使它按照我们的要求进行延展,因此就有了下面的比较定理. 2.2.2 比较定理 我们在使用延展定理的时候,通常会和比较定理配合使用,从而起到控制延展方向的作用.下面介绍一下比较定理.我们在考察方程(2.1)时,通常将右端函数进行放缩的处理,比如这时,我们可以同时考察和 我们有如下的比较定理: 定理2.3 (第一比较定理)设定义在某个区域上的函数,和满足条件: (1)在满足解的存在唯一性定理及延展定理的条件
16、,即在上连续,在上关于变量满足李普希兹条件; (2)在上有不等式设初值问题,和的解分别为,和,则在它们的共同存在区间上有下列不等式:证明 仅证当时,其它的情形相类似. 由比较定理的条件(1),初值问题和的解在的某一邻域内存在且唯一,分别记为和,它们满足令,则且所以函数在的某一右邻域内是严格单调增加的. 如果在时,不是总成立,则至少存在一点,使得,且当时,因此在点的左导数,这与矛盾.因此当时,总成立,即. 比较定理的应用,关键是和的选取,因为初值问题的解的存在区间的延展,受到和的控制,即夹在和之间.因此,我们必须能确定出和的存在区间,这就是我们选取和的标准,即和的解和必须能够求得. 下面我们给出
17、第二比较定理. 定理2.4 (第二比较定理)设定义在某个区域上的函数,和满足条件: (1)在满足解的存在唯一性定理及延展定理的条件,即在上连续,在上关于变量满足李普希兹条件; (2)在上有不等式设初值问题,和的解分别为,和,则在它们的共同存在区间上有下列不等式:习 题 2.21设方程为假设及在平面上连续,试证明:对于任意的及,方程满足的解都在上存在.2.指出方程的每一个解的最大存在区间,以及当趋于这个区间的右端点时解的极限.3.讨论方程解的存在区间.4.设在整个平面上连续有界,对有连续偏导数,试证明方程的任一解在区间上有定义.5.讨论方程的通过点的解,以及通过点的解的存在区间.6.在方程中,如
18、果在上连续可微,且,求证方程满足的解在区间上存在,且有.2.3 解对初值的连续依赖性定理和解对初值的可微性定理 通过前两节的存在唯一性定理和延展定理,加上比较定理,我们知道了初值问题(2.2)在什么样的条件下,解是存在的,是唯一的,而且存在区间比较小的时候,通过延展定理和比较定理可以将解的存在区间变大,从而在实际问题中可以达到我们的要求.但是,在实际问题中,还有一个问题需要解决,那就是误差问题.我们的初始条件如果产生了微小的偏差,这个偏差对我们的初值问题(2.2)的解会有什么影响呢?下面我们来解决这个问题. 我们在研究初值问题(2.2)的时候,习惯上把和当作常数来看待,这样初值问题(2.2)的
19、解被看作的函数.实际上,如果,变化,初值问题(2.2)的解也会发生变化.例如方程经过点的解为,可以看作的函数.对于一般的情形,初值问题(2.2)的解也可以看作的函数,记为,代入得:. 如果我们的初始条件发生了微小的误差,变为了,初值问题(2.2)的解也变化不大的话,称解连续依赖于初值.下面我们给出连续依赖性的严格定义. 定义2.1 设初值问题的解在区间上存在,如果对于任意给定的正数,存在正数(的选取与有关),使得对于满足(2.2)的解都在上存在,且有则称初值问题(2.2)的解在点连续依赖于初值. 定理2.4 (解对初值的连续依赖性定理)设在区域内连续,且关于变量满足李普希兹条件.如果,初值问题
20、(2.2)有解,且当时,则对任意的正数,存在,使对于满足的任意,初值问题的解也在区间上存在,且有 证明 对于任意给定的正数,取,使得闭区域整个含在区域内,这是可以做到的,因为区域是开区域,且当时,所以,只要的选取足够小,以曲线为中线,宽度为的带形开区域就整个包含在区域内, 选取满足其中为李普希兹常数,同时还要求的选取,必须保证闭正方形含于带形开区域内. 由存在唯一性定理知,对于任一,初值问题(2.2)在的某邻域上存在唯一解,而且在的该邻域上可以表示为而可以表示为对上述两式做差得:所以由贝尔曼引理,得因此,只要在有定义的区间上,就有. 下面我们证明:在区间上有定义.事实上,因为即解夹在和之间,而
21、且,初值问题(2.2)满足延展定理的条件,所以,解可以向左向右无限延展,直到无限接近区域的边界,于是,它在延展的时候,必须由直线和直线穿出区域,从而在区间上有定义. 解对初值的连续依赖性说明,初值无法准确得到,但是我们能得到测量数据,只要误差比较小,即.我们就可以用代替去计算,得到初值问题的解,这个解可以非常接近真实解,即.同理,如果方程的右端函数不能准确得到,只能得到的近似函数,即我们就可以用代替去计算,得到初值问题的解,那么能否代替呢?我们有下面的解的连续依赖性定理.定理2.5 (解对被积函数的连续依赖性定理)在区域上,和都连续,而且关于变量满足李普希兹条件, 若初值问题在上有解,则对任意
22、给定的正数,存在,只要满足则初值问题(2.2)的解在上存在,且有.证明 由解的存在唯一性定理知,初值问题的解存在,设其存在区间为,且有而初值问题的解也存在,且可以表示为则从而有由贝尔曼引理,得取,则.且解在上存在. 例1 考虑方程解的情况.解 显然是方程的解,当时,有这时解得上半平面的通解为,下半平面的通解为. 可以看到,对于轴上的初值,在任意有限闭区间上解对初值连续依赖,但是,在上,无论,如何接近,只要充分大,过的积分曲线就不能与过的积分曲线(即)任意接近了. 这个例子说明,解在有限闭区间上对初值连续依赖,不能推广到无限区间,即,在无限区间上解对初值的连续依赖定理就不成立了. 我们有时不仅要
23、求解对初值连续依赖,而且还要知道解对初值的偏导数是否存在.下面给出解对初值的可微性定理. 定理2.6 (解对初值的可微性定理)如果函数以及在区域内连续,则初值问题的解在它有定义的区间上有连续偏导数.并且有及习 题 2.31.若函数,在区域内连续且满足李普希兹条件,设初值问题的解为,存在区间为.对任意的正数,存在,使对于满足的,以及满足的任意,初值问题的解也在区间上存在,且有2.已知方程试求和3.设是初值问题的解,试证明2.4 欧拉折线法 在第一章,我们介绍了方程的初等解法,即用微积分的知识求得常微分方程的函数解.但是绝大多数的方程不能用初等方法求解,在第二章的前三节中,我们给出了柯西初值问题在
24、什么样的条件下,解存在且唯一;在什么条件下,解的存在区间可以延展;在什么条件下连续依赖于初值;在什么条件下,解对初值是可微的.有了这些准备,我们就可以研究柯西初值问题的近似解.下面我们介绍求近似解的方法,欧拉折线法.假定函数在区域:上连续,且关于变量满足李普希兹条件,求柯西初值问题在区间上的近似解,我们采用的方法是:(1)等分区间,分点为;小区间长度,(2)第一个小区间上用切线段逼近曲线:,(3)求出所对应的纵坐标,(4)依次重复(2),(3)得到每个小区间上的线段,从而得到欧拉折线.这样,我们就用欧拉折线作为柯西初值问题在区间近似解.欧拉折线法的前提是:柯西初值问题的解存在且唯一,而且解的存在区间是.例1试用欧拉折线法,取步长,求初值问题的解在时的近似值.解 令,这时,代入得:,这时,代入得:,这时,代入得:,这时,代入得:习 题 2.41. 试用欧拉折线法,取步长,求初值问题的解在时的近似值.2试用欧拉折线法,取步长,求初值问题在区间上的近似解.专心-专注-专业