阶微分方程的解的存在性定理.pptVIP

§ 3.1 解的存在唯一性定理和逐步逼近法 /Existence Uniqueness Theorem Progressive Method/  § 3.2 解的延拓定理 / Theorem on extension of solution/ §3.3 解对初值的连续性和可微性 /Continuous and differentiable dependence of the solutions/  的解 作为 的函数在它的存在范围内是连续的。 解对初值的连续性定理 假设 f (x,y) 于域 G 内连续且关于 y 满足局部利普希茨条件，则方程 §3.3 Continuity differentiability 3.4 奇解 包络和奇解 克莱罗方程（Clairant Equation） 本节要求： 了解奇解的意义； 2 掌握求奇解的方法。 主要内容 一 包络和奇解的定义 曲线族的包络：是指这样的曲线，它本身并不包含在曲线族中，但过这条曲线上的每一点，有曲线族中的一条曲线与其在此点相切。 奇解：在有些微分方程中，存在一条特殊的积分曲线，它并不属于这个方程的积分曲线族，但在这条特殊的积分曲线上的每一点处，都有积分曲线族中的一条曲线与其在此点相切。这条特殊的积分曲线所对应的解称为方程的奇解。 注：奇解上每一点都有方程的另一解存在。 例 单参数曲线族 R是常数，c是参数。 x y o 显然， 是曲线族 的包络。 一般的曲线族并不一定有包络，如同心圆族，平 行线族等都是没有包络的。 二 求奇解（包络线）的方法 C-判别曲线法 P-判别曲线法 设一阶方程 的通积分为 1 C-判别曲线法 结论：通积分作为曲线族的包络线（奇解）包含在下列方程组 消去 C 而得到的曲线中。 设由 能确定出曲线为 则 对参数 C 求导数 从而得到恒等式 x y § 3.1 Existence Uniqueness Theorem Progressive Method 例4 设方程(3.1)为线性方程 则当 P(x),Q(x) 在区间 上连续，则由任一初值 所确定的解在整个区间 上都存在。 3） 若f (x,y)在带域 中连续， 且对 y 满足Lipschitz条件，则在整个区间 中存在唯一满足条件 的方程 的解 。记 § 3.1 Existence Uniqueness Theorem Progressive Method 4) 一阶隐式方程的解的存在唯一性 定理 2 如果在点 的某一邻域中， 对所有的变元 连续，且 存在连续的偏导数； 则上述初值问题的解在 的某一邻域存在。 § 3.1 Existence Uniqueness Theorem Progressive Method 事实上，由条件知 所确定的隐函数 在 邻域内存在且连续，且 在 邻域内连续，在以 为中心的某一闭矩形区域 D 中有界，所以 f(x,y) 在D 中关于 y 满足Lipschitz条件。 由解的存在唯一性定理， 的解 y(x) 存在唯一， 存在区间中的 h 可足够小。同时，有 § 3.1 Existence Uniqueness Theorem Progressive Method 三 、 近似计算和误差估计 第 n 次近似解 第 n 次近似解的误差公式 § 3.1 Existence Uniqueness Theorem Progressive Method 例4 方程 定义在矩形域 试确定经过点 (0,0) 的解的存在区间，并求在此区间上与真 正解的误差不超过0.05 的近似解的表达式。 解 满足解的存在唯一性定理的条件 Lipschitz 常数取为 L=2 ，因为 § 3.1 Exis