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

授课题目 解的存在唯一性定理与逐步逼近法 授课类型 理论课 首次授课时间 2011年 3月 28 日 学时 4 教学目标 使学生掌握解的存在唯一性定理，要求会叙述并证明，利用皮卡的逐步逼近序列进行近似计算和误差估计 重点与难点 重点：一阶显示微分方程解的存在唯一性定理内容及证明，解的近似计算和误差估计； 难点：定理的证明 教学手段与方法 讲授 教学过程：（包括授课思路、过程设计、讲解要点及各部分内容时间分配㈠授课思路 ㈡过程设计 ⒈稳定课堂秩序，组织教学； ⒉引入新课； ⒊讲授新课 ⒋课堂练习与讨论 ⒌课堂小结与布置作业 ㈢讲解要点及各部分具体内容，都为此初值问题在上的解。这表明此初值问题的解存在但并不唯一。 本章讲的解的存在唯一性定理明确的肯定了方程得解在一定条件下的存在性和唯一性，是常微分方程理论中最基本的定理，也是微分方程近似解法的前提和理论依据。 一、方程的初值问题的解的存在唯一性 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)的连续解的存在性，可分三个步骤进行: 　　构造逐次近似序列. 证 由利普希茨条件 即 命题5 证 。 　　贝尔曼引理 ?设为区间 上非负的连续函数，.若存在 ，使得y(x)满足不等式 　　　　 　　　　　， 　　　　　　　　(2.9) 则有 　　证明 先证明 的情形. 　　令 ，于是从(2,9)式立即有 　　　　　　　　　　　　　　上式两端同乘以因子,则有 　　　　　　　　　　　　　上式两端从x0到x积分，则有 　　　　　　　　　　　　　 　　即 　　　　　　　　　　　　　　　　　　　由(2.9)知， ,从而由上式得到 　　　　　　　　　　　　　　　　　　的情形类似可证，引理证毕. 　　积分方程(2.3)解的唯一性证明，采用反证法. 　　假设积分方程(2.3)除了解 之外，还另外有解，我们下面要证明：在 上，必有 .　　 事实上，因为 　　　　　　　　　　　　　　　　　及 　　　　　　　　　　　　　　　　　　　　　　　　　 将这两个恒等式作差，并利用李普希兹条件来估值，有 　　　　　　　　　　　　　　　　　　　　　　　　　　?令 ,从而由贝尔曼引理可知，在 上有 ，即 . 　　至此，初值问题(2.2)解的存在性与唯一性全部证完.在闭矩形域R上关于y的偏导数 存在并有界， .则李普希兹条件成立，事实上，由拉格朗日中值定理有 　　　　　　　　　其中 满足 ，从而 .如果 在R上连续，它在R上当然就满足李普希兹条件. 　　　 　　　　　　　　　　　　　　　 图 2-5 图 2-6 2. 现对定理中的数h0做些解释。从几何直观上，初值问题(2.2)可能呈现如图2-5所示的情况. 这时，过点 的积分曲线当 或 时，其中 ， ，到达R的上边界 或下边界.于是，当 时，曲线 便可能没有定义.由此可见，初值问题(2.2)的解未必在整个区间 上存在. 但是，由2.1节的常微分方程的几何解释可知，定理2.1就是要证明：在线素场R中，存在唯一一条过点 的积分曲线　　　　　 它在其上每点处都与线素场在这点的线素相切. 现在定理假定 在R上连续,从而存在 　　　　　　　　　　　　　 于是，如果从点 引两条斜率分别等于M和-M的直线，则积分曲线 (如果存在的话)必被限制在图2-6的带阴影的两个区域内，因此，只要我们取 　　　　　　　　　　　则过点 的积分曲线 (如果存在的话)当x在区间上变化时，必位于R之中. 　　　 　　. 如果方程(2.1)是线性方程，即 　　　　　　　　　　　　　　　　　　其中p(x)和q(x)在区间 上连续，我们不难验证，此时方程的右端函数关于y满足李普希兹条件，在这些条件下，利用定理2