解的存在唯一性定理与逐步逼近法.ppt

内江师范学院数学与信息科学学院 吴开腾 制作 解的存在唯一性定理 与 逐步逼近法 3.1 在前一章中，介绍了能用初等方法求解的一阶微分方程的几种类型，但是，也指出，大量的一阶微分方程是不能用初等方法求出其通解的。而另一方面，实际问题所需要的往往是要求满足某种初始条件的解。因此，现在把注意力集中在Cauchy问题 的求解上，与代数方程类似，对于不能用初等方法求解的微分方程，往往用数值方法求解（这是以后要学的数值分析课程的内容之一）。在用数值方法求Cauchy问题解之前，需要在理论上解决下面两个基本问题： 问题的提出 (1) Cauchy问题 的解是否存在？如果解不存在，要去求解就毫无意义，以后我们将给出在相当一般的条件下，上述Cauchy问题的是存在的. (2) 若已知Cauchy问题的解是存在的，我们进一步要问这样的解是否唯一的？因为如果解是不唯一的，由于不知道要确定哪一个解，却要去近似地确定它，问题也是不明确的。 下面讨论解的存在唯一性的条件，对于微分方程 及相应的Cauchy问题 其中 是固定的正数。 记 定义1：设 在 上有定义，若存在 ，对任意的 使得 则称 在 上关于 满足Lipschitz条件，且 称为Lipschitz常数。 3.1.1 解的存在唯一性定理与逐步逼近法 1、定理的内容 如果 在上R连续且关于y满足利普希茨条件，则方程（3.1）存在唯一的解 ，定义于区间 上，连续且满足初始条件 这里 一阶微分方程 2、拟解决的问题 微分方程(3.1)解是否存在？ 若存在，解是否唯一？ 如何确定解的存在区间？ 3、手段：转化 微分方程 积分方程 目标：解？ 4、方法：逐步逼近法 任取一连续函数： 如果 则终止。否则， 如果 则终止。否则， 如果 则终止。 否则，称 为方程（3.1）的第n次近似解。 例：求方程 在点(0,0)的3次近似解的表达式。 就是所求的近似解。 分析，有 5、皮卡（Picard）的逐步逼近法的主要思想 定义：通过适当的方法，一步一步的逼近所要求的问题的解的方法称为逐步逼近法。 定理的等价变形：引入等价的积分方程； 作近似函数序列； 证明连续系列在区间上一致收敛； 证明极限函数是积分方程的连续解； 证明是积分方程的唯一解。 主要步骤 命题1：（等价积分方程） 的解，则 是积分方程 的定义于区间上 的连续解。反之亦然。 设 是方程（3.1）的定义于区间 上，满足初始条件： （3.5） 证明方法：代入方法。 6、等价命题及其证明 现在取 ，构造皮卡逐步逼近函数系列如下： 命题2 对于所有的n，(3.7)中函数 在上 有定义、连续且满足不等式： 证明方法：数学归纳法。 命题3 函数序列 在上 是一致收敛的。 分析：转化为函数项级数，讨论该函数项级数的收敛性！ 工具：利用M-判别法（Weierstass）判别收敛性。 目的：寻求收敛正项数项级数。 收敛正项级数的通项 构造级数 它的部分和为： 命题4 函数 是积分方程(3.5)的定义于在 上的连续解。 利用一致收敛的性质：函数项级数（各项连续）一致收敛的极限函数是连续的，再利用解的定义方法证明极限函数是积分方程的连续解。 分析： 命题5 设 是积分方程（3.5）的定义于 上的一个连续解，则 ， ． 分析：证明任意另一个连续解 都是函数序列 的极限函数，有 以及估计式 误差估计式 存在唯一性定理中的几何意义 ; 由于Lipschitz条件比较难以检验，常用f(x,y)在R上有对y的连续偏导数来代替。 当 在