常微分方程第三章.docVIP

第三章 存在和唯一性定理 一． [内容提要] 本章主要介绍解的存在和唯一性定理、接的延伸和解的最大存在区间等有关问题.解的存在和唯一性定理是微分方程中最常用的定理，学过这一定理之后，对于微分方程的通解概念，才由形式上的理解转为实质上的理解；另外在求近似解之前，都必须从理论上做解的存在唯一性判定. 关于解的延伸定理，它把解的存在唯一性定理所得到的、具有局部性的结果，延伸到全局上去.这一定理无论在微分方程的理论研究和实际应用中，都是很有意义的. 二． [关键词] 存在和唯一性，解的延伸，毕卡逐次逼近法 三． [目的和要求] 1． 熟练掌握毕卡逐次逼近法，并用它证明一阶常微分方程初值问题解的存在唯一性定理. 2． 了解右端函数连续性保证初值问题解的存在性，李普希茨条件保证初值问题解的唯一性这些事实. 3． 理解初值问题解的存在唯一性中解的存在区间的意义，会求其解的存在区间. 4． 理解解的延伸概念，理解延伸定理的意义. 四．[教学过程] 在第二章中我们已经讨论了不少寻找微分方程的通解或通积分的方法，但是我们也看出，多数微分方程是不能通过初等积分法求解的，而很多重要的实际问题又需要用微分方程的解去刻画它.为解决这个矛盾，人们在分析了这些微分方程之后，发现在很多情况下，其实只要能够求出满足一定条件的特解就行了；在另外一些情况下，即使不去求特解和通解，但若能知道解族的某些性质，问题同样可以得到解决，例如第八章中将讨论的稳定性问题.但要求特解，首先必须证明满足某给定条件的解的存在性和唯一性.否则，若要求的解根本不存在，而去求解那显然是荒唐的.或者即使解存在但不唯一，那也不知取哪一个好.此外，解的存在唯一性问题如果不得到解决，要想研究整个解族的性质也会有很多的困难.这样解的存在唯一性问题就是一个十分基本的问题，不解决这个问题，对微分方程的进一步研究就无从谈起. 关于初值问题，柯西第一个在很一般的条件下，建立了初值问题解的存在与唯一性定理.以后皮亚诺（Peano）和毕卡（Picard）等人又在更广泛的条件下，分别证明了解的存在性和解的唯一性. §1 毕卡存在和唯一性定理 关于初值问题 的解的存在唯一性，我们将利用著名的Picard逐次逼近法来证.此方法的主要思想是在所设条件下，构造一个连续函数列，它一致收敛的极限函数正好是所求始值问题的解.采用这个方法不仅证明了解的存在性，而且在证明解的存在唯一性的过程中，还提供了求近似解的构造性途径. 定理1 假设：1）在矩形区域 ， 内连续，记，. 2） 对满足李普希茨条件（或简称李氏条件），即存在常数，使得 其中，则方程在区间上存在唯一的，满足初值条件的解. 证明 证明步骤如下： （一） 求微分方程的初值问题的解等价于求积分方程 的连续解； （二） 在区间上构造一个连续函数序列，称为毕卡序列； （三） 证明在区间上一致收敛； （四） 证明的极限函数是积分方程的解； （五）证明满足方程和条件的解必为. （一） 求微分方程的初值问题的解等价于求积分方程 的连续解. 事实上，设是方程的解，故有 ， 两边从到取定积分得到 ， ， 即 ， ， 因此，是的定义在的连续解. 反之，若是的的连续解，则有 ， ， 微分之，得 . 又把代入，得到.故是方程的定义在上，且满足初值条件的解. 因此，下面我们只需证明积分方程在区间上有且仅有一个解. （二）在区间上，用逐次迭代法构造毕卡连续函数序列. 取初值为零次近似：. 利用，用零次近似代替积分号下的，得到函数 显然，在区间上是连续可微的，且由推出 这表明函数当时是连续的，且将位于矩形域上，我们称它为一次近似. 再利用，作出二次近似 ， 同样地有 ， 可以看出，当时，函数也是连续的，且它也完全位于矩形域上. 一般地，规定了次近似以后，就可以利用式得出次近似： 这样，我们就可以得到一个毕卡连续函