常微分方第三章.doc

《常微分方第三章.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

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

2、．熟练掌握毕卡逐次逼近法，并用它证明一阶常微分方程初值问题解的存在唯一性定理.2．了解右端函数连续性保证初值问题解的存在性，李普希茨条件保证初值问题解的唯一性这些事实.3．理解初值问题解的存在唯一性中解的存在区间的意义，会求其解的存在区间.4．理解解的延伸概念，理解延伸定理的意义.四．[教学过程]在第二章中我们已经讨论了不少寻找微分方程的通解或通积分的方法，但是我们也看出，多数微分方程是不能通过初等积分法求解的，而很多重要的实际问题又需要用微分方程的解去刻画它.为解决这个矛盾，人们在分析了这些微分方程

3、之后，发现在很多情况下，其实只要能够求出满足一定条件的特解就行了；在另外一些情况下，即使不去求特解和通解，但若能知道解族的某些性质，问题同样可以得到解决，例如第八章中将讨论的稳定性问题.但要求特解，首先必须证明满足某给定条件的解的存在性和唯一性.否则，若要求的解根本不存在，而去求解那显然是荒唐的.或者即使解存在但不唯一，那也不知取哪一个好.此外，解的存在唯一性问题如果不得到解决，要想研究整个解族的性质也会有很多的困难.这样解的存在唯一性问题就是一个十分基本的问题，不解决这个问题，对微分方程的进一步研究

4、就无从谈起.关于初值问题，柯西第一个在很一般的条件下，建立了初值问题解的存在与唯一性定理.以后皮亚诺（Peano）和毕卡（Picard）等人又在更广泛的条件下，分别证明了解的存在性和解的唯一性.§1毕卡存在和唯一性定理关于初值问题的解的存在唯一性，我们将利用著名的Picard逐次逼近法来证.此方法的主要思想是在所设条件下，构造一个连续函数列，它一致收敛的极限函数正好是所求始值问题的解.采用这个方法不仅证明了解的存在性，而且在证明解的存在唯一性的过程中，还提供了求近似解的构造性途径.定理1假设：1）在矩

5、形区域，内连续，记，.2）对满足李普希茨条件（或简称李氏条件），即存在常数，使得其中，则方程在区间上存在唯一的，满足初值条件的解.证明证明步骤如下：（一）求微分方程的初值问题的解等价于求积分方程的连续解；（二）在区间上构造一个连续函数序列，称为毕卡序列；（三）证明在区间上一致收敛；（四）证明的极限函数是积分方程的解；（五）证明满足方程和条件的解必为.（一）求微分方程的初值问题的解等价于求积分方程的连续解.事实上，设是方程的解，故有，两边从到取定积分得到，，即，，因此，是的定义在的连续解.反之，若是的的

6、连续解，则有，，微分之，得.又把代入，得到.故是方程的定义在上，且满足初值条件的解.因此，下面我们只需证明积分方程在区间上有且仅有一个解.（二）在区间上，用逐次迭代法构造毕卡连续函数序列.取初值为零次近似：.利用，用零次近似代替积分号下的，得到函数显然，在区间上是连续可微的，且由推出这表明函数当时是连续的，且将位于矩形域上，我们称它为一次近似.再利用，作出二次近似，同样地有，可以看出，当时，函数也是连续的，且它也完全位于矩形域上.一般地，规定了次近似以后，就可以利用式得出次近似：这样，我们就可以得到一

7、个毕卡连续函数序列.用数学归纳法可证，每一个在区间上都是连续的.都满足，都位于矩形域上.（三）下面证明按上述方法构造的函数序列在区间上一致收敛.要证在区间上一致收敛，只须证明级数一致收敛，因为是此级数的前项之和.现在我们对级数的各项作估计，为此证明估计式在上成立.事实上，当时，由可知成立.假设当时成立，注意到对满足李普希茨条件及式，便可推出，所以当当时成立，故得证.由于，从而.由此可见，级数的每一项的绝对值都不大于收敛正项级数的对应项，（四）证明的极限函数是积分方程的解.现对式两端取极限，当时，注意到

8、收敛的一致性和的一致连续性，就得到这表明是积分方程的连续解，从而也是始值问题，的解，故存在性获证.（五）证明解的唯一性.设积分方程还有另一个解，则由推出由于在上，是连续有界的，故可取它的一个上界，则由有，然后，把它代入的右端，得到.如此递推，在上，可用数学归纳法得到.让，则上述不等式的右端趋于零，故可推出，.即积分方程的解是唯一的，从而定理得证.[附注1]由于李普希兹条件比较难于检验，常用在上有对的连续偏导数来代替.事实上，如果在上存在且连续，则在上有界