常微分方程(第四版)课件 王高雄 高等教育出版社 第三章 一阶微分方程的解的存在定理.pptx

第三章 一阶微分方程的解的存在定理§3.1解的存在唯一性定理与逐步逼近法 3.1.1 存在唯一性定理考虑方程 定理1 如果 在上连续且关于 满足Lipschitz条件, 则初值问题(E)在上存在唯一解, 其中注: 1. h 的几何意义. 2. L-条件常用 在 上对 有连续偏导数来代替. (但二者不等价)3. 对线性微分方程在 上连续, 则由任一初值确定的解在 上存在唯一. 4. L-条件只是解唯一存在的一个充分条件.若只要求 在 内连续, 则能保证解的存在性.考虑一阶隐式方程: (2) 由隐函数定理, 可得 在点 的某一邻域内: 定理: (1). 关于 连续且有连 续偏导;(2). (3). 则方程 (2) 存在唯一解满足: 第 n 次近似解 与真正解 有误差估计式3.1.2近似计算与误差估计 § 3.2解的延拓和解对初值的连续性 与可微性3.2.1解的延拓 设 在 区域 内连续, 且关于 满足局部Lipschitz条件: 即对 内任一点 存在以 为中心的矩形 使在 内, 对满足Lipschitz条件, 相应Lipschitz常数与 有关. 设过 的解 的存在 区间为 取 过 的 解 的存在区间为 由解的唯一性, 当 时，于是得到 的延伸:最后得到一个不能再向左右两方延拓的解 称为方程的饱和解, 它的最大存在区间必为开区间, 且将任意接近 的边界.延拓定理: 初值问题的解或积分曲线将在区域 内延拓到边界.推论: 若 为无界区域, 解 延拓到 的边界有如下两种情形: (只考虑 x 增大的方向)(1). 解可延拓到 上. (2). 解仅延拓到 上. 当 时, 或者 无界, 或者的边界.3.2.2解对初值的连续性和可微性的解不仅依赖于, 还依赖于初始条件: 初值问题故将解表为:(3.1)解关于初值的连续性定理: 设 在 区域 内连续, 且关于 满足局部Lipschitz条件,则方程 (3.1) 的解: 作为的函数在它的存在范围内是连续的. 解对初值的可微性定理:: 设 都在 区域 内连续, 则方程 (3.1)的解 作为的函数在它的存在范围内是连续可微的, 且§ 3.3奇 解 在《常微分方程教程》中，奇解的定义：§ 3.3奇 解 定义：如果在微分方程的某个解上每一点至少还有方程的另外一个解通过，且在交点相切，称这个解为方程的奇解.