微分方程课件--解的存在唯一性定理.pptVIP

目录 上页 下页 返回 结束 § 2.2 解的存在惟一性定理 引入：对于给定的微分方程,它的通解一般有无限多个,而给定初始条件后,其解有时惟一,有时不惟一. 确定给定初始条件的微分方程解的存在惟一性十分重要: (一)它是数值解和定性分析的前提; (二)若实际问题中建立的方程模型的解不是 存在且惟一的,该模型就是一个坏模型. 而同一方程满足 例1:初值问题 有解: 在 . 的解为: . 它的存在区间为 例2: 初值问题 的解为: 存在区间为 例3:初始值问题: 有无穷多解,存在区间为: 2.2.1例子和思路 例 4: 证明初值问题 的解存在且惟一。 证：若 是初始值问题的解, 两端积分 满足 反之，若一个连续函数 满足 则它是 的解。 …… 取 来证明 构造迭代序列 有解． 由于 收敛，且 代入验证函数 为初值问题 的解, 这就得到解的存在性。 惟一性证明: 设有两个解 则 可微，且满足 这就证明了惟一性。 2.2.2 存在惟一性定理及其证明 设 在矩形区域 上连续，如果有常数 L0,使得对于所有的 都有: 考虑微分方程: Lipschitz 条件: (2.2.3) L 称为 Lipschitz 常数。 则称 在R上关于y满足 Lipschitz 条件。 注: 若 关于y 的偏导数连续, 则 　则 在R上关于y满足 Lipschitz 条件。 定理1:　 在R上连续且关于y满足 在区间 Lipschitz条件，则初值问题 一的解，其中 上存在惟 证明： 若 （１）将初值问题解的存在惟一性化为积分方 程的解的存在惟一性． 思路： (2.2.3) （２）构造积分方程迭代函数序列，并证明该 序列收敛． （３）证明该序列的极限是积分方程的解． （４）证明惟一性． 仅考虑 上存在. 详细证明： 的解等价。 ( 1 ) 等价积分方程 初值问题 与积分方程 (2.2.3) （ 2 ）构造 Picard 迭代数列 这样就得到一个连续函数列 Picard迭代序列。 它称为 （ 3 ) Picard 序列的收敛性 引理1.1 对于一切 续且满足 连 . 证明: 显然对一切的 都有 有定义且连 则 上满足: 设 在区间 续, 证明：考虑函数项级数 它的前 估计级数通项: 于是 的一致收敛性与级数的一致收敛性等价。 引理 2.2 上一致收敛。 函数列 项的部分和为: 其中第二个不等式由Lipschitz条件可以得到， 设： 对 有 于是，由数学归纳法得，对于所有自然数k，有 级数在 上一致收敛。 因为正项级数 收敛, 由Weiestrass判别法知， 设: 由 的连续性和一致收敛性可得: 在 上连续. （4）Picard 迭代数列的极限函数就是积分方程 的连续解。 引理1.3 是积分方程定义于 上的连续解。 证明：由 Lipschitz 条件 以及 在 上的一致收敛， 得出函数序列 在 上一 因而对 取极限，得 即 这表明 是积分方程的连续解。 收敛于函数 . （ 5 ）解的惟一性 证明： 则 引理 1.4 上的连续解，则必有 是积分方程在 设 和 令 上的连续可微函数， 则 是定义于 且 令 于是 注1: 定理中 的几何意义: 故取 . 注2: 函数 的连续性得解的存在性, Lipschitz条件得解的惟一性． 注３: 定理的结论只是在局部范围内给出解的存 惟一性．在许多情况下，可反复使用该定理， 使解的范围延拓到最大的区间． 则在 解有可能跑到 之外． 的解 证明：取 在矩形区域： 连续，且它关于y有连续的偏导数。 计算 例５　证明初始值问题： 对 等价的积分方程得 故由解得存在唯一性定理可知，初始值问题的解 内存在唯一，当然也在 内存在唯一。 对于任意的正数 函数 在 内连续，且对 有连续的偏导数． 因 任意．先取 使 最大． 解： 的解存在唯一的区间． 例６讨论初始值问题 显然 使得 最大，且 取 则由定理得解的存在惟一区间为： 再使用依次存在惟一性定理： ，以 令 为区域的中心，讨论 新的初始值问题： 当 时， 取得最大值 此时 故取 可得到解在 上存在，事实上，初值问题的解是： 存在区间为： 内容小结 微分方程解的存在惟一性 迭代法构造解的思想