常微分方程2.2解的在唯一性定理常微分方程2.2解的存在唯一性定理.ppt

4) 一阶隐式方程的解的存在唯一性 定理 2 如果在点 的某一邻域中， 对所有的变元 连续，且 存在连续的偏导数； 则上述初值问题的解在 的某一邻域存在。 § 2.2 Existence Uniqueness Theorem Progressive Method 事实上，由条件知 所确定的隐函数 在 邻域内存在且连续，且 在 邻域内连续，在以 为中心的某一闭矩形区域 D 中有界，所以 f(x,y) 在D 中关于 y 满足Lipschitz条件。 由解的存在唯一性定理， 的解 y(x) 存在唯一， 存在区间中的 h 可足够小。同时，有 § 2.2 Existence Uniqueness Theorem Progressive Method 三 、 近似计算和误差估计 第 n 次近似解 第 n 次近似解的误差公式 § 2.2 Existence Uniqueness Theorem Progressive Method 例4 方程 定义在矩形域 试确定经过点 (0,0) 的解的存在区间，并求在此区间上与真 正解的误差不超过0.05 的近似解的表达式。 解 满足解的存在唯一性定理的条件 Lipschitz 常数取为 L=2 ，因为 § 2.2 Existence Uniqueness Theorem Progressive Method § 2.2 Existence Uniqueness Theorem Progressive Method 思考： 1、 求方程 ，满足条件 的解的最大存在区间，即 h 的最大值。 2、证明下列初值问题的解在指定的区间上存在且唯一： 作业 P.90 第1(1), 5题 * § 2.2 解的存在唯一性定理和逐步逼近法 /Existence Uniqueness Theorem Progressive Method/  概念和定义 存在唯一性定理 内容提要/Constant Abstract/ § 2.2 Existence Uniqueness Theorem Progressive Method 本节要求/Requirements/ ? 掌握逐步逼近方法的本思想 ? 深刻理解解的存在唯一性定理的条件与结论 § 2.2 Existence Uniqueness Theorem Progressive Method 一 、概念与定义/Concept and Definition/ 1. 一阶方程的初值问题(Cauchy problem)表示 § 2.2 Existence Uniqueness Theorem Progressive Method 2. 利普希兹条件 函数 称为在矩形域 : …………(3.1.5) 关于 y 满足利普希兹 (Lipschitz)条件，如果存在常数 L0 使得不等式 对所有 都成立。 L 称为利普希兹常数。 § 2.2 Existence Uniqueness Theorem Progressive Method 二 、存在唯一性定理 定理1 如果 f(x,y) 在 R 上连续且关于 y 满足利普希兹条件, 则方程(3.1.1)存在唯一的连续解 定义在区间 , 且满足初始条件 这里 § 2.2 Existence Uniqueness Theorem Progressive Method 定理1的证明需要证明五个命题： ? 命题 1 求解微分方程的初值问题等价于 求解一个积分方程 ? 命题 2 构造一个连续的逐步逼近序列 ? 命题 3 证明此逐步逼近序列一致收敛 ? 命题 4 证明此收敛的极限函数为所求 初值问题的解 ? 命题 5 证明唯一性 § 2.2 Existence Uniqueness Theorem Progressive Method 定理1的证明 命题1 设 是初值问题 的解的充要条件是 是