解对初愿值的连续性与可微性定理.pptVIP

再证 存在且连续。 为初值 设 所确定的方程的解。 类似地可推证 是初值问题 的解。因而 §3.3 Continuity differentiability 其中 具有性质 故有 至于 的存在及连续性，只需注意到 显然它是 的连续函数。 是方程的解，因而 由 及 的连续性即直接推的结论。 证毕。 §3.3 Continuity differentiability 作业： P.103 第 3, 4 题 1 已知方程 试求 §3.3 Continuity differentiability 课堂练习 按照公式，有 由于 ，因此，我们有 时有 课堂练习答案提示 * * * * * * * * * §3.3 解对初值的连续性和可微性 /Continuous and differentiable dependence of the solutions/  ? 解对初值的连续性 ? 解对初值的可微性 本节要求： 1 了解解对初值及参数的连续依赖性定理； 2 了解解对初值及参数的可微性定理。 内容提要 §3.3 Continuity differentiability 考察 的解 对初值的一些基本性质 解对初值的连续性 解对初值和参数的连续性 解对初值的可微性 内容: y x G 图例分析(见右) 解可看成是关于 的三元函数 满足 解对初值的对称性: 前提 解存在唯一 例: Q:当初值发生变化时,对应的解是如何变化的? 当初始值微小变动时,方程的解变化是否也是很小呢？ 按解的存在范围是否有限,又分成下面两个问题: Q1: 解在某有限闭区间[a,b]上有定义,讨论初值 的 微小变化对解的影响情况,称为解对初值的连续性.内容 包括:当初值发生小的变化时,所得到的解是否仍在[a,b] 上有定义以及解在整个区间[a,b]上是否也变化很小? Q2: 解在某个无限闭区间 上有定义,讨论初值 的微小变化是否仍有解在 上有定义,且解在整个 区间 上变化也很小?这种问题称为解的稳定性 问题. 3.3.1 解对初值的对称性定理 设 f (x,y) 于域 G 内连续且关于 y 满足利普希茨条件， 是初值问题 的唯一解，则在此表达式中， 与 可以调换其相对位置，即在解的存在范围内成立着关系式 §3.3 Continuity differentiability 证明 则由解的唯一性知, 即此解也可写成: 且显然有: 3.3.2解对初值的连续依赖性定理 假设 f (x,y) 于域 G 内连续且关于 y 满足局部利普希茨条件， 是初值问题 的解，它于区间 有定义 ，那么，对任意给定的 ，必存在正数 使得当 时，方程满足条件 的解 在区间 也有定义，并且 §3.3 Continuity differentiability 引理 如果 f(x,y) 在某域 D 内连续，且关于 y 满足 利普希兹条件（利普希兹常数为L），则方程(3.1.1)任意两个解 在它们公共存在区间成立不等式 其中 为所考虑区间内的某一值。 证明 设 在区间 均有定义，令 不妨设 因此，有 §3.3 Continuity differentiability 则 于是 因此，在区间 [a,b] 上 为减函数，有 §3.3 Continuity differentiability 对于区间 则 并且已知它有解 类似以上推导过程，令 注意到 因此 两边取平方根，得 §3.3 Continuity differentiability 解对初值的连续依赖性定理的证明 条件: I. 在G内连续且关于 满足局部Lips.条件; II. 是(1)满足 的解,定义 区间为[a,b]. 结论: 对 , 使得当 时,方程(1)过点 的解 在[a,b]上也有 定义,且 方程 记积分曲线段S： 显然S是xy平面上的有界闭集. 第一步:找