授课题目解的存在唯一性定理与逐步逼近法授课类型理论课首次.doc

PAGE PAGE 12 授课题目 解的存在唯一性定理与逐步逼近法 授课类型 理论课 首次授课时间 2011年 3月 学时 4 教学目标 使学生掌握解的存在唯一性定理，要求会叙述并证明，利用皮卡的逐步逼近序列进行近似计算和误差估计 重点与难点 重点：一阶显示微分方程解的存在唯一性定理内容及证明，解的近似计算和误差估计； 难点：定理的证明 教学手段与方法 讲授 教学过程：（包括授课思路、过程设计、讲解要点及各部分具体内容、时间分配等） ㈠授课思路： 讲授微分方程的理论基础——解的存在唯一性定理。阐述定理的内容，简述证明思路，然后对定理进行详细证明，对定理的几何意义进行说明，最后利用皮卡的逐步逼近序列进行近似计算和误差估计。 ㈡过程设计 ⒈稳定课堂秩序，组织教学； ⒉引入新课； ⒊讲授新课 ⒋课堂练习与讨论 ⒌课堂小结与布置作业 ㈢讲解要点及各部分具体内容 对于反映某一运动规律的方程，如果能找到其通解，就可以通过初始条件确定其特解，从而很好的反映事物的运动规律。但是，大量的一阶方程一般是不能用初等解法求他的通解，而实际问题中所需要的往往是要求满足某种初始条件的解，从而对初值问题的研究显得尤为重要，对初值问题的研究主要基于两方面的内容： 1、初值问题的解是否存在？ 2、如果存在是否唯一？ 例如 初值问题，都为此初值问题在上的解。这表明此初值问题的解存在但并不唯一。 本章讲的解的存在唯一性定理明确的肯定了方程得解在一定条件下的存在性和唯一性，是常微分方程理论中最基本的定理，也是微分方程近似解法的前提和理论依据。 一、方程的初值问题的解的存在唯一性 1、存在唯一性定理 考虑初值问题 　 　 　　定理1 (存在与唯一性定理)如果方程(2.1)的右端函数 在闭矩形域 　　　　　　　　　　上满足如下条件： 　　(1) 在R上连续; 　　(2) 在R上关于变量y满足李普希兹(Lipschitz)条件，即存在常数N，使对于R上任何一对点和 有不等式： 　　　　　　　　 则初值问题(2.2)在区间 上存在唯一解　　　　　　　　　　　　 其中 　　 2 存在性的证明 　 命题1 求解初值问题（2.2） 求解积分方程（2.3）. 　　因此，只要证明积分方程(2.3)的连续解在 上存在而且唯一就行了. 下面用毕卡(Picard)逐次逼近来证明积分方程(2.3)的连续解的存在性，可分三个步骤进行: 　　构造逐次近似序列. 近似序列 或写成 　　　　　　　　　　 命题2 对于所有的，函数列在上有定义连续且满足不等式。 证 数学归纳法 这时 证 考虑级数 它的部分和 及 现设， 命题4 证 由利普希茨条件 即 命题5 证 。 　　贝尔曼引理 ?设为区间 上非负的连续函数，.若存在 ，使得y(x)满足不等式 　　　　 　　　　　， 　　　　　　　　(2.9) 则有 　　证明 先证明 的情形. 　　令 ，于是从(2,9)式立即有 　　　　　　　　　　　　　　上式两端同乘以因子,则有 　　　　　　　　　　　　　 上式两端从x0到x积分，则有 　　　　　　　　　　　　　 　　即 　　　　　　　　　　　　　　　　　　　由(2.9)知， ,从而由上式得到 　　　　　　　　　　　　　　　　　　的情形类似可证，引理证毕. 　　积分方程(2.3)解的唯一性证明，采用反证法. 　　假设积分方程(2.3)除了解 之外，还另外有解，我们下面要证明：在 上，必有 . 　　 事实上，因为 　　　　　　　　　　　　　　　　　及 　　　　　　　　　　　　　　　　　　　　　　　　　 将这两个恒等式作差，并利用李普希兹条件来估值，有 　　　　　　　　　　　　　　　　　　　　　　　　　　?令 ,从而由贝尔曼引理可知，在 上有 ，即 . 　　至此，初值问题(2.2)解的存在性与唯一性全部证完. 附注： 　　1. 在实际应用时，李普希兹条件的检验是比较费事的.然而，我们能够用一个较强的，但却易于验证的条件来代替它.即如果函数 在闭矩形域R上关于y的偏导数 存在并有界， .则李普希兹条件成立，事实上，由拉格朗日中值定理有 　　　　　　　　　其中 满足 ，从而 .如果 在R上连续，它在R上当然就满足李普希兹条件. 　　　 　　　　　　　　　　　　　　　 图 2-5 图 2-6 2. 现对定理中的数h0做些解释。从几何直观上，初值问题(