[数学]31解的存在唯一性定理与逐步逼近法.pptVIP

作业 P88 1,3,4,8(思考) 3.1.2 近似计算和误差估计 求方程近似解的方法---Picard逐步逼近法,这里 * * 第三章  一阶微分方程的解的存在定理 问题的提出：在前一章，我们介绍了能用初等方法求解的 一阶方程的几种类型，但同时指出，大量的一阶微分方程是不 能用初等方法求出其通解的．另一方面，实际问题所需要的往 往是要求满足某种初始条件的解．因此现在我们把注意力集中 在Cauchy问题 的求解上．与代数方程类似，对于不能用初等方法求解的微分 方程，我们往往用数值法求解（以后会学到的计算方法课程内 容之一） ．在用数值法求Cauchy问题解之前，需要在理论上 先解决下面两个基本问题： 需解决的问题 §3.1 解的存在唯一性定理与逐步逼近法 3.1.1 存在唯一性定理 一、 定理1 考虑初值问题 证明思路 (2) 构造(3.3)近似解函数列 (1) 初值问题(3.1)的解等价于积分方程 的连续解. (逐步求(3.3)的解,Picard逐步逼近法) 由于 即 下面分五个命题来证明定理,为此先给出 积分方程的解 如果一个数学关系式中含有定积分符号且在定积分符号下含有未知函数, 则称这样的关系式为积分方程. 积分方程 命题1 初值问题(3.1)等价于积分方程 证明 即 反之 故对上式两边求导,得 且 构造Picard逐步逼近函数列 问题: 这样构造的函数列是否行得通, 即上述的积分是否有 意义? 注: 命题2 证明 (用数学归纳法) 证明 考虑函数项级数 它的前n项部分和为 命题3 对级数(3.9)的通项进行估计 于是由数学归纳法得知,对所有正整数n,有 现设 命题4 证明 即 命题5 证明 由 综合命题1—5得到存在唯一性定理的证明. 一、 定理1 考虑初值问题 命题1 初值问题(3.1)等价于积分方程 命题2 命题3 命题4 命题5 二、存在唯一性定理的说明 为了保证方程(3.1)的初值解的唯一性，较为著名的常用的 充要条件就是定理3.1中所给的Lipschitz条件.但这个条件却并 非必要的！ 例1 试证方程 经过xOy平面上任一点的解都是唯一的. 证明 故其通解为 但是，我们有 从而方程的右端函数在y=0的任何领域上并不满足Lipschitz条件 这个例子说明Lipschitz条件并不是保证初值解唯一的必要条件． 三、一阶隐方程解存在唯一性定理 定理2 考虑一阶隐方程 则方程(3.5)存在唯一解 满足初始条件