常微分方程王高雄第三版-3.3.pptVIP

* * * * * * * * * * * * * * * * * §3.3 解对初值的连续性和可微性定理 常微分方程 Ordinary Differential Equations 第三章 考察 的解 对初值的一些基本性质 解对初值的连续性 解对初值和参数的连续性 解对初值的可微性 内容: y x G 图例分析(见右) 解可看成是关于 的三元函数 满足 解对初值的对称性: 前提 解存在唯一 例: 初值问题的解不单依赖于自变量 , 同时也依赖于初值 . 初值变动,相应的初值问题的解也将随之变动. ………… Q:当初值发生变化时,对应的解是如何变化的? 当初始值微小变动时,方程的解变化是否也是很小？ 证明 则由解的唯一性知, 即此解也可写成: 且显然有: 解对初值的对称性: 前提 解存在唯一 , ) ( ) 1 . 3 ( 1 0 0 x y x y 值 的解存在区间内任取一 满足 在 = 一、解对初值的连续性 定义 设初值问题 1.解对初值的连续依赖性 初值问题 引理 如果函数 于某域G内连续，且关于 y 满足利普希茨条件（利普希茨常数为L），则对方程 的任 意两个解 及 ,在它们的公共存在区间内成立着不 等式 .其中 为所考虑 区间内的某一值。 2 定理1 (解对初值的连续依赖性定理) 条件: I. 在G内连续且关于 满足局部Lips.条件; II. 是(1)满足 的解,定义 区间为[a,b]. 结论: 对 , 使得当 时,方程(1)过点 的解 在[a,b]上也有 定义,且 方程 0 思路分析： 记积分曲线段S： 显然S是xy平面上的有界闭集. 第一步:找区域D,使 ,且 在D上满足Lips.条件. y x G (见下图) 由已知条件,对 ,存在以它为中心的圆 ,使 在其内满足Lips.条件,利普希茨常数为 .根据有限 覆盖定理,存在N,当 时,有 对 ,记 则以 为半径的圆,当其圆心从S的 左端点沿S 运动到右端点时,扫过 的区域即为符合条件的要找区域D b a 0 0 第二步:证明 在[a,b]上有定义. 注： 饱和解 反证 (引理) 对 连续 令 从而， 可再延拓。 第三步:证明 根据上面定理及方程的解关于自变量的连续性,显然有: 3 定理2 (解对初值的连续性定理) 条件: 在G内连续且关于 满足局部Lips.条件; 方程 结论: 在它的存在范围内是连续的. ,作为 的函数 二、解对初值的可微性 1 解对初值和参数的连续依赖定理 , , , ) , ( ) 1 . 3 ( ) , , , ( , ) , , ( , , ) , , ( 0 0 0 0 0 0 0 0 0 b x a b x a y x y x x y G y x Lipschitz y G G y x f ￡ ￡ ￡ ￡ = ? 其中 义 上有定 在区间 的解 通过点 方程 条件 局部 满足 内一致地关于 且在 连续 在区域 设 l l l l j l l 为 2 解对初值和参数的连续性定理 3 解对初值可微性定理 . , , ) , , ( ) 1 . 3 ( , ) , ( 0 0 0 0 在范围内是连续可微的 的函数在它们的存 作为 的解 则方程 内连续 都在区域 以及 若函数 y x x y x x y G y f y x f j = ? ? 证明 因此,解对初值的连续性定理成立,即 即 和 于是 设 即 是初值问题 的解, 则 的解, 不难求得 根据解对初值和参数的连续性定理 即 和 于是 即 是初值问题 的解, 根据解对初值和参数的连续性定理 的解, 不难求得 初值问题 结论： 例1 解 由公式得 * * * * * * * * * * * * * * * * * * * * * * * * *