解对初值及连续性和可微性.pptVIP

证明 由 在区域 G 内连续，推知 f (x,y)在 G 内关于 y 满足局部利普希茨条件。因此，解对初值的连续性定理成立，即 下面进一步证明对于函数 的存在范围内任一点的偏导数 在它的存在范围内关于 是连续的。 存在且连续。 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 设由初值 为足够小的正数）所确定的方程的解分别为 即 于是 其中 先证 存在且连续。 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 注意到 及 的连续性，有 其中 具有性质 类似地 其中 与 具有相同的性质，因此对 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 即 是初值问题 的解，在这里 被视为参数。 显然，当 时上述初值问题仍然有解。 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 根据解对初值和参数的连续性定理，知 是 的连续函数。从而存在 而 是初值问题 的解。 且 ，显然 的连续函数。 它是 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 再证 存在且连续。 为初值 设 所确定的方程的解。 类似地可推证 是初值问题 的解。因而 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 其中 具有性质 故有 至于 的存在及连续性，只需注意到 显然它是 的连续函数。 是方程的解，因而 由 及 的连续性即直接推的结论。 证毕。 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 课堂练习 1 设 是初值问题 的解，试证明 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 2 已知方程 试求 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 按照公式，一般有 由于 ，因此，我们有 时有 * * 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 * 常微分方程-重庆科技学院-李可人 * 常微分方程-重庆科技学院-李可人 * 常微分方程-重庆科技学院-李可人 常微分方程-重庆科技学院-李可人 第三章 一阶微分方程解的 存在唯一性定理 Existence Uniqueness Theorem  of First-Order ODE * * 常微分方程-重庆科技学院-李可人 §3.3 解对初值的连续性和可微性 /Continuous and differentiable dependence of the solutions/  ? 解对初值的连续性 ? 解对初值的可微性 本节要求： 1 了解解对初值及参数的连续依赖性定理； 2 了解解对初值及参数的可微性定理。 内容提要 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 3.3.1 解对初值的对称性定理 设 f (x,y) 于域 D 内连续且关于 y 满足利普希茨条件， 是初值问题 的唯一解，则在此表达式中， 与 可以调换其相对位置，即在解的存在范围内成立着关系式 §3.3 Continuity differentiability * * 常微分方程-重庆科技学院-李可人 3.3.2解对初值的连续依赖性定理 假设 f (x,y) 于域 G 内连续且关于 y 满足局部利普希茨条件， 是初值问题 的解，它于区间 有定义 ，那么，对任意