常微分 解对值的连续性和可微性定理.ppt

* * §3.3 解对初值的连续性和可微性定理 考察 的解 对初值的一些基本性质 解对初值的连续性 解对初值和参数的连续性 解对初值的可微性 内容: y x G 图例分析(见右) 解可看成是关于 的三元函数 满足 解对初值的对称性: 前提 解存在唯一 例: 初值问题的解不单依赖于自变量 , 同时也依赖于初值 . 初值变动,相应的初值问题的解也将随之变动. ………… Q:当初值发生变化时,对应的解是如何变化的? 当初始值微小变动时,方程的解变化是否也是很小呢？ 证明 则由解的唯一性知, 即此解也可写成: 且显然有: 按解的存在范围是否有限,又分成下面两个问题: Q1: 解在某有限闭区间[a,b]上有定义,讨论初值 的 微小变化对解的影响情况,称为解对初值的连续性.内容 包括:当初值发生小的变化时,所得到的解是否仍在[a,b] 上有定义以及解在整个区间[a,b]上是否也变化很小? Q2: 解在某个无限闭区间 上有定义,讨论初值 的微小变化是否仍有解在 上有定义,且解在整个 区间 上变化也很小?这种问题称为解的稳定性 问题,将在第六章中讨论. 一 解对初值的连续性 定义 设初值问题 1.解对初值的连续依赖性 初值问题 2 定理1 (解对初值的连续依赖性定理) 条件: I. 在G内连续且关于 满足局部Lips.条件; II. 是(1)满足 的解,定义 区间为[a,b]. 结论: 对 , 使得当 时,方程(1)过点 的解 在[a,b]上也有 定义,且 方程 0 思路分析： 根据上面定理及方程的解关于自变量的连续性,显然有: 3 定理2 (解对初值的连续性定理) 条件: 在G内连续且关于 满足局部Lips.条件; 方程 结论: 在它的存在范围内是连续的. ,作为 的函数 二 解对初值和参数的连续依赖性 1 解对初值和参数的连续依赖定理 2 解对初值和参数的连续性定理 三 解对初值的可微性定理 证明 因此,解对初值的连续性定理成立,即 是方程的解 即 和 于是 设 即 是初值问题 的解, 根据解对初值和参数的连续性定理 则 的解, 不难求得 即 和 于是 即 是初值问题 的解, 根据解对初值和参数的连续性定理 的解, 不难求得 初值问题 例1 解 由公式得