常微分方程CH-3-3.pptVIP

* 先证 存在且连续。 设由初值 和 为足够小的正数）所确定的方程的解分别为 和 则 ， 机动 目录 上页 下页 返回 结束 * 于是 其中 。注意到 及 的连续性，则 这里 具有性质：当 时， ，且当 时， 机动 目录 上页 下页 返回 结束 * 其中 与 具有相同的性质。 有 即 是初值问题 的解， 被看成参数。 时，IVP（**）仍然有解。 的连续定理，知 是 的连续函数。 类似地，有 因此对 显然，当 根据解对初值和参数 （**） 这里 机动 目录 上页 下页 返回 结束 * 从而存在 ,而 是初值问题 的解。 显然它是 的连续函数。 不难求得 机动 目录 上页 下页 返回 结束 * 同样可证 存在且 是IVP 的解。 显然它是 的连续函数。 所以 机动 目录 上页 下页 返回 结束 * 由于 是方程的解，因而 由 及 的连续性即直接推得结论。 机动 目录 上页 下页 返回 结束 * 解: 例： 已知方程 试求 由公式得 在xy平面上连续， 所以方程 的解 作为 的函数，在xy平面上 连续可微， 机动 目录 上页 下页 返回 结束 * 易见 是原方程的解，且满足 机动 目录 上页 下页 返回 结束 * 机动 目录 上页 下页 返回 结束 * §3.3 解对初值的连续性和可微性定理 考察 的解 对初值的一些基本性质 解对初值的连续性 解对初值和参数的连续性 解对初值的可微性 内容: * y x G 图例分析(见右) 解可看成是关于 的三元函数 满足 1 解对初值的对称性: 前提 解存在唯一 Q:当初值发生变化时,对应的解是如何变化的? 当初始值微小变动时,方程的解变化是否也是很小呢？ 机动 目录 上页 下页 返回 结束 * 按解的存在范围是否有限,又分成下面两个问题: Q1: 解在某有限闭区间[a,b]上有定义,讨论初值 的 微小变化对解的影响情况,称为解对初值的连续性.内容 包括:当初值发生小的变化时,所得到的解是否仍在[a,b] 上有定义以及解在整个区间[a,b]上是否也变化很小? 机动 目录 上页 下页 返回 结束 Q2: 解在某个无限闭区间 上有定义,讨论初值 的微小变化是否仍有解在 上有定义,且解在整个 区间 上变化也很小?这种问题称为解的稳定性 问题,将在第六章中讨论. * Q2: 解在某个无限闭区间 上有定义,讨论初值 的微小变化是否仍有解在 上有定义,且解在整个 区间 上变化也很小?这种问题称为解的稳定性 问题,将在第六章中讨论. 机动 目录 上页 下页 返回 结束 * 2 解对初值的连续依赖性 引理 如果函数 于某域G内连续，且关于 y 满足利普希茨条件（利普希茨常数为L），则对方程 的任 意两个解 及 ,在它们的公共存在区间内成立着不 等式 .其中 为所考虑 区间内的某一值。 机动 目录 上页 下页 返回 结束 * 证： 设 在[a, b] 上均有定义。 令 则 机动 目录 上页 下页 返回 结束 * 当 时， 机动 目录 上页 下页 返回 结束 * 引理* (Bellman不等式) 设 为闭区间[a, b]上的非负连续函数, 若存在 ,对任意的 ,使得 则对任意的 , 此结论为习题3.1第6题Gronwall不等式的特殊情况! 机动 目录 上页 下页 返回 结束 引理 如果函数 于某域G内连续，且关于 y 满足利普希茨条件（利普希茨常数为L），则对方程 的任 意两个解 及 ,在它们的公共存在区间内成立着不 等式 .其中 为所考虑 区间内的某一值。 * 引理2 如果函数 于某域G内连续，且关于 y 满足利普希茨条件（利普希茨常数为L），则对方