第3章_第2节_解的延拓定理(解的整体存在唯一性定理)
- 格式:ppt
- 大小:1.41 MB
- 文档页数:66
第三章 一阶微分方程的解的存在定理教学目的讨论一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理,解对参数的连续性定理教学要求掌握存在与唯一性定理及其证明,会用皮卡逼近法求近似解,理解解对初值的连续性与可微性定理,解对参数的连续性定理,了解奇解及其求法。
教学重点几个主要定理的条件及其证明 教学难点逐次逼近法的应用及其思想;应用存在与唯一性定理及解的延拓定理来研究方程的解;奇解及其求法教学方法讲练结合教学法、提问式与启发式相结合教学法。
教学手段传统板书与多媒体课件辅助教学相结合。
课题导入在上一章我们讨论了一阶方程的解的初等积分法。
解决了几个特殊的方程。
但是,对许多微分方程,为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)的连续解。
第三章一阶微分方程解的存在定理[教学目标]1.理解解的存在唯一性定理的条件、结论及证明思路,掌握逐次逼近法,熟练近似解的误差估计式。
[[[[[§1解的存在性唯一性定理和逐步逼近法微分方程来源于生产实践际,研究微分方程的目的就在于掌握它所反映的客观规律,能动解释所出现的各种现象并预测未来的可能情况。
在第二章介绍了一阶微分方程初等解法的几种类型,但是,大量的一阶方程一般是不能用初等解法求出其通解。
而实际问题中所需要的往往是要求满足某种初始条件的解。
因此初值问题的研究就显得十分重要,从前面我们也了解到初值问题的解不一定是唯一的。
他必须满足一定的条件才能保证初值问题解的存在性与唯一性,而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位,是近代常微分方程定性理论,稳定性理论以及其他理论的基础。
例如方程过点(0,0)的解就是不唯一,易知0y =是方程过(0,0)的解,此外,容易验证,2y x =或更一般地,函数都是方程过点(0,0)而且定义在区间01x ≤≤上的解,其中c 是满足121212(,)(,)f x y f x y L y y -≤-成立,则方程(3.1)存在唯一的解()y x ϕ=,在区间0||x x h -≤上连续,而且满足初始条件00()x y ϕ=(3.3)其中,min(,),max (,)x y R bh a M f x y M∈==,L 称为Lipschitz 常数.思路:1) 求解初值问题(3.1)的解等价于积分方程 的连续解。
2) 构造近似解函数列{()}n x ϕ任取一个连续函数0()x ϕ,使得00|()|x y b ϕ-≤,替代上述积分方程右端的3为了讨论方便,只考虑区间00x x x h ≤≤+,对于区间00x h x x -≤≤的讨论完全类似.命题1设()y x ϕ=是方程(3.1)定义于区间00x x x h ≤≤+上,满足初始条件00()x y ϕ=(3.3)的解,则()y x ϕ=是积分方程00(,)xx y y f x y dx =+⎰00x x x h ≤≤+(3.5)的定义于00x x x h ≤≤+上的连续解.反之亦然.证明因为()y x ϕ=是方程(3.1)满足00()x y ϕ=的解,于是有 两边取0x 到x 的积分得到即有00()(,())xx x y f x x dx ϕϕ=+⎰00x x x h ≤≤+0|()|n x y b ϕ-≤(3.8)证明用数学归纳法证明当1n =时,0100()(,)xx x y f y d ϕξξ=+⎰,显然1()x ϕ在00x x x h ≤≤+上有定义、连续且有 即命题成立.假设n k =命题2成立,也就是在00x x x h ≤≤+上有定义、连续且满足不等式 当1n k =+时,由于),(y x f 在R 上连续,从而(,())k f x x ϕ在00x x x h ≤≤+上连续,于是得知1()k x ϕ+在00x x x h ≤≤+上有定义、连续,而且有即命题2对1n k =+时也成立.由数学归纳法知对所有的n 均成立.1110|()()|() !!k k kk k k ML ML x x x x h k k ϕϕ----≤-≤00x x x h ≤≤+(3.11)由正项级数11!kK k h MLk ∞-=∑的收敛性,利用Weierstrass 判别法,级数(3.9)在00x x x h ≤≤+上一致收敛.因而序列{()}n x ϕ在00x x x h ≤≤+上一致收敛. 设lim ()()n n x x ϕϕ→∞=,则()x ϕ也在00x x x h ≤≤+上连续,且命题4()x ϕ是积分方程(3.5)的定义在00x x x h ≤≤+上的连续解.证明由Lipschitz 条件以及{()}n x ϕ在00x x x h ≤≤+上一致收敛于()x ϕ,可知(,())n f x x ϕ在00x x x h ≤≤+上一致收敛于(,())f x x ϕ.因此 即00()(,()) xn x x y f d ϕξϕξξ=+⎰故()x ϕ是积分方程(3.5)的定义在00x x x h ≤≤+上的连续解.00(,)x y M -M 当b M a≤时,即ba M ≤,(如图(a)所示),解()y x ϕ=在00x a x x a -≤≤+上有定义;当b M a ≥时,即ba M≤,(如图(b)所示),不能保证解在00x a x x a -≤≤+上有定义,它有可能在区间内就跑到矩形R 外去,只有当00b bx x x M M-≤≤+才能保证解()y x ϕ=在R 内,故要求解的存在范围是0||x x h -≤.(2)、由于李普希兹条件的检验是比较费事的,而我们能够用一个较强的,但却易于验证的条件来代替他,即如果函数),(y x f 在矩形域R 上关于y 的偏导数),('y x f y 存在并有界,即'(,)y f x y L ≤,则李普希兹条件条件成立.事实上这里12(,),(,),01x y x y R θ∈<<.如果),('y x f y 在R 上连续,它在R 上当然满足李普希兹条件.但是,满足李普希兹条件的函数),(y x f 不一定有偏一存在的.又由可得方程的通解为xce y e =±,其中xce y e=为上半平面的通解,xce y e =-为下半平面的通解,它们不可能与0y =相交.注意到0y =是方程的解,因此对x 轴上的任一点0(,0)x ,只有0y =通过,从而保证xoy 平面上任一点的解都是唯一的. 但是因为0lim |ln |||y y →=+∞,故不可能存在0L >,使得所以方程右端函数在0y =的任何邻域并不满足Lipschitz 条件. 此题说明Lipschitz 条件是保证初值问题解惟一的充分条件,而非必要条件. 2)考虑一阶隐方程(,,)0F x y y '=(3.12)ⅲ)000(,,)0F x y y y∂≠'∂ 则方程(3.12)存在唯一的解0() || y y x x x h =-≤(h 为足够小的正数)满足初始条件0000(), ()y x y y x y ''==(3.15)1、近似计算和误差估计求方程近似解的方法——Picard 的逐次逼近法对方程的第n 次近似解()n x ϕ和真正解()x ϕ在0||x x h -≤内的误差估计式1|()()|(1)!n n n ML x x h n ϕϕ+-≤+(3.16)此式可用数学归纳法证明.上节我们学习了解的存在唯一性定理,当),(y x f dxdy=的右端函数),(y x f 在R 上满足解的存在性唯一性条件时,初值问题⎪⎩⎪⎨⎧==)(),(00x y y y x f dxdy的解在0||x x h -≤上存在且唯一.但是,这个定理的结果是局部的,也就是说解的存在区间是很小的.可能随着),(y x f 的存在区域的增大,而能肯定的解得存在区间反而缩小。
第三章 一阶微分方程的解的存在定理教学目的讨论一阶微分方程的解的存在与唯一性定理,解的延拓定理,解对初值的连续性与可微性定理,解对参数的连续性定理教学要求掌握存在与唯一性定理及其证明,会用皮卡逼近法求近似解,理解解对初值的连续性与可微性定理,解对参数的连续性定理,了解奇解及其求法。
教学重点几个主要定理的条件及其证明 教学难点逐次逼近法的应用及其思想;应用存在与唯一性定理及解的延拓定理来研究方程的解;奇解及其求法教学方法讲练结合教学法、提问式与启发式相结合教学法。
教学手段传统板书与多媒体课件辅助教学相结合。
课题导入在上一章我们讨论了一阶方程的解的初等积分法。
解决了几个特殊的方程。
但是,对许多微分方程,为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-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的构造过程的理解。
《常微分方程》教学大纲课程编号:121013A课程类型:□通识教育必修课□通识教育选修课□专业必修课□专业选修课□√学科基础课总学时:48 讲课学时:32 实验(上机)学时:16学分:3适用对象:数学与应用数学(金融方向)先修课程:微积分、线性代数毕业要求:1.掌握数学、统计及计算机的基本理论和方法2.建立数学、统计等模型解决金融实际问题3.具备国际视野,能够与同行及社会公众进行有效沟通和交流一、课程的教学目标《常微分方程》是本科生二年级的基础课。
常微分方程有着悠久的发展历史和极其丰富的内容,一种基本的数学工具,常微分方程在数学学科与其他学科领域,诸如数值分析、优化理论、微分方程、概率统计、运筹学、控制论、系统工程等学科都有广泛的应用,甚至在经济管理中,常微分方程的理论和方法也起着十分重要的作用。
现代科学技术的发展,特别是计算机技术的发展,为常微分方程的应用开辟了更广阔的前景,因此,学习和(掌握)常微分方程的基本理论和方法,对于学生运用数学方法解决经济问题具有极大帮助。
二、教学基本要求本课程系统介绍求解各类微分方程的方法、常微分方程的基本理论与方法等;采用“少而精”的原则,通过循序渐进的方法,使学生对常微分方程的基本理论与方法具有较为系统的概略认识;贯彻理论与实际相结合的原则,培养学生分析问题和解决问题的能力。
本课程以教师讲授为主,辅以课堂讨论,课后学生自主学习、推荐参考教材及参考书目。
重视师生的互动,做到课上课下有交流,注意培养学生的自主性学习能力和创造性思维。
课程讲授一学期,周课时为3学时,共51学时。
期末考试采用闭卷形式。
平时成绩(包括作业和课堂讨论、答问情况)、出勤率占总评成绩的百分之二十;期末考试成绩占总评成绩的百分之八十。
三、各教学环节学时分配以表格方式表现各章节的学时分配,表格如下:教学课时分配四、教学内容第一章绪论微分方程与解 (1) 微分方程、阶、解。
(掌握)(2) 隐式解、通解与特解。
解的存在唯一性定理利用逐次逼近法,来证明微分方程(,),dyf x y dx =的初值问题00(,)()dy f x y dx y y x ==⎧⎨⎩的解存在与唯一性定理。
一、【存在、唯一性定理叙述】 如果方程(,),dyf x y dx=的右端函数(,)f x y 在闭矩形区域0000:,R x a x x a y b y y b -≤≤+-≤≤+上满足如下条件:(1)、在R 上连续;(2)、在R 上关于变量y 满足利普希茨条件,即存在常数N ,使对于R 上任何一点(),x y 和(),x y 有以下不等式:()|(,),|||f x y f x y N y y -≤-。
则初值问题00(,)()dyf x y dx y y x ==⎧⎨⎩在区间0000x h x x h -≤≤+上存在唯一解00(),()y x x y ϕϕ==, 其中0(,)min ,,max (,)xy R bh a M f x y M∈⎛⎫== ⎪⎝⎭二、【证明】 逐步迫近法:微分方程(,)dyf x y dx=等价于积分方程00(,)x x y y f x y dx =+⎰。
取00()x y ϕ=,定义001()(,()),1,2,3, (x)n n x x y f x x dx n ϕϕ-=+=⎰可证明lim ()()n n x x ϕϕ→∞=的()y x ϕ=满足积分方程。
通过逐步迫近法可证明解的存在唯一性。
命 题 1:先证积分方程与微分方程等价: 设()y x ϕ=是微分方程(,)dyf x y dx=定义于区间0000x h x x h -≤≤+上满足初值条件00()x y ϕ=的解,则()y x ϕ=是积分方程00(,),x x y y f x y dx =+⎰定义于区间0000x h x x h -≤≤+上的连续解。
反之亦然。
证: 因()y x ϕ=是微分方程(,)dy f x y dx =的解,有'()()(,())d x x f x x dxϕϕϕ== 两边从0x 到x 取定积分,得:000000()()(,()),xx x x f x x dx x h x x h ϕϕϕ-=-≤≤+⎰代入初值条件00()x y ϕ=得:000000()(,()),xx x y f x x dx x h x x h ϕϕ=+-≤≤+⎰即()y x ϕ=是积分方程00(,)xx y y f x y dx =+⎰定义于区间0000x h x x h -≤≤+上的连续解。