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

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 机动 目录 上页 下页 返回 结束 * 位于阴影内。 几何上， Remark (1) 存在唯一性定理中数 h 的几何意义 机动 目录 上页 下页 返回 结束 * 位于阴影内。 几何上， 机动 目录 上页 下页 返回 结束 * Remark: (2) 几何上， 被限定在阴影区域内。 机动 目录 上页 下页 返回 结束 * (2) 若 在R上连续，则 f 满足Lipschitz条件。 事实上， 其中 注意， f 满足 Lipschitz 条件 连续. 例: f (x, y)=| y |. 机动 目录 上页 下页 返回 结束 * Corollary : 在R： 上连续。 则初值问题 在区间 上存在唯一解。 注意， f 满足 Lipschitz 条件 连续. 例: f (x, y)=| y |. 设 f 及 机动 目录 上页 下页 返回 结束 * (3) 设 在 则初值问题 (IVP) 上存在唯一解. 机动 目录 上页 下页 返回 结束 * 事实上,对于一般方程(1),由初始值所确定的 解只能定义在 上，这是因为 在构造逐步逼近函数序列 它不越出原来的矩形区域 。而现在，右端 没有任何限制。 时，要求 函数对 机动 目录 上页 下页 返回 结束 * 而在唯一性的证明中取 为了证明结论，在存在性的证明中取 逐字重复定理的证明过程，即可。 机动 目录 上页 下页 返回 结束 * 另证 初值问题 的解为 机动 目录 上页 下页 返回 结束 * 定理 2 (Peano 1890) 若 连续。 则 Cauchy 问题 (3.8) 在 设 令 上存在解。 机动 目录 上页 下页 返回 结束 * 注： 解存在 解唯一 f(x,y) 连续 例： 的解至少有两个 和 Lipschtz-条件是保证IVP解的唯一性的充分条件，但不必要。 机动 目录 上页 下页 返回 结束 * 例1 讨论方程 解的唯一性。 解： 当 时， 都连续， 所以在 的任一点 可以作一个不含 在该区域 上满足解的存在唯一性的条件。 因此， 所给方程满足 的解存在且唯一。 的区域， 机动 目录 上页 下页 返回 结束 * 另外，显然， 也是方程的解。 当 时， 因此，对 只有 通过。 机动 目录 上页 下页 返回 结束 * 但 使得 所以，方程右端函数在 的任何邻域上 都不满足L-条件。 机动 目录 上页 下页 返回 结束 * 存在唯一性定理不仅肯定了解的存在唯一性，并且在证明中所采用的逐步逼近法在实用上也是求方程近似解的一种方法。 2. 近似计算和误差估计 机动 目录 上页 下页 返回 结束 * 初值问题 的真正解 与其第 n 次近似解 的误差估计为 机动 目录 上页 下页 返回 结束 * 例2 定义在矩形域： 确定经过原点的解的存在区间，并求在此区间上 上，试利用存在唯一性定理 与真正解的误差不超过0.05的近似解的表达式。 方程 机动 目录 上页 下页 返回 结束 * 解： 所以满足解存在唯一性定理的条件. 由存在唯一性定理, 在 [-h,h ]上有唯一解. 其中 所以，解的存在区间为 机动 目录 上页 下页 返回 结束 * 取L=2， 由于 则 取n=3, 得 机动 目录 上页 下页 返回 结束 * 逐次逼近序列为: 就是所求的近似解。 机动 目录 上页 下页 返回 结束 * 3. 一阶隐方程解的存在唯一性定理 考虑一阶隐方程 过 的积分曲线有两条 但过 沿每一方向只有一条积分曲线。 过 的解 机动 目录 上页 下页 返回 结束 * 考虑一阶隐方程 (3.9) 根据隐函数存在定理，若于 的某一邻域内 连续，且 而 则 可唯一地表为 的连续函数 (3.10) 于 的某一邻域内连续，且满足 3. 一阶隐方程解的存在唯一性定理 并且 机动 目录 上页 下页 返回 结束 * 更进一步，若 关