常微分方程第三章-2.pptVIP

* * * * * 证明 定义函数 以上这种把曲线向左右两方延拓的步骤可一次一 次地进行下去.直到无法延拓为止. 它已经不能向左右两方继续延拓的,即得到了(3.1) 的饱和解. 最后得到一条长长的积分曲线, 推论1 则它的任一非饱和解均可延拓为饱和解. 推论2 证明 推论3 例1 讨论方程 以及通过点 (ln2,-3) 的解的存在区间。 解 的通过点(0,0)的解 方程右端函数在整个 x y 平面上满足解的存在唯一 性定理及解的延拓定理的条件。 方程的通解为 通过点(0,0)的解为 其存在区间为 通过点(ln2,-3)的解为 其存在区间为 § 3.2 Extension Theorem -3 (ln2,-3) -1 x y 1 ln2 但向左方只能延拓到 0, 过点(ln2,-3)的解 向右可以延拓到 因为当 时, 这相当于解的延拓定理推论中(2)的第一种情况。 注意： (无界) § 3.2 Extension Theorem 例2 讨论方程 的解的存在区间。 满足条件 方程右端函数右半平面 x 0 上定义且满足解的 存在唯一性定理及解的延拓定理的条件。 解 通过点(1,0)的解为 其存在区间为 ，但向左方只能延拓到 0, 向右可以延拓到 因为当 时, 这相当于解的延拓定理推论中(2)的第二种情况。 (趋于G的边界 y=0 ) § 3.2 Extension Theorem 例3 用解的延拓定理证明 如果 f (x, y)在整个 x y 平面上定义、连续和有界， 存在关于 y 的一阶连续偏导数，则方程 的任一解均可以延拓到区间 。 证明 § 3.2 Extension Theorem 所以 值域在如图的阴影区内，否则 将穿过直线 x y o x0 y0 x1 则会有 与 矛盾。 由解的延拓定理推论，方程的 任一解均可以延拓到区间 。 § 3.2 Extension Theorem 例2 解 注 2 设线性方程 当 P(x),Q(x) 在区间 上连续，则由任一初值 所确定的解在整个区间 上都存在。 练习 1 讨论方程 的解的存在区间。 上满足条件 在 § 3.2 Extension Theorem 思考题 1）求方程 满足条件 的解的逐次逼近 以及 h 的最大值。 2）设f(x, y)在整个 x y 平面上连续，证明从 两曲线 之间任一点 出发 的且满足方程 的解必 可延拓到半无限区间 。 § 3.2 Extension Theorem 3） 求具有性质 的函数 x(t)， 已知 存在。 解 § 3.2 Extension Theorem § 3.2 Extension Theorem 作业 1 研究方程 * * * * * * * * * * 戴滨林E-mail：bldai@ 办公室：数学系404 办公室电话常微分方程 Ordinary differential equation 王高雄 周之铭 朱思铭 王寿松编 （第三版） 电子课件 第三章 解的延拓定理 第三章 解的延拓定理  / Theorem on extension of solution/ § 3.2 解的延拓定理 / Theorem on extension of solution/ ? 解的延拓的引入 ? 解的延拓定理及其推论 内容提要/Constant Abstract/ 本节要求/Requirements/ ? 理解解的延拓方法。 ? 会应用解的延拓性定理估计解的存在区间。 § 3.2 Extension Theorem 问题提出 对于初值问题 例如 初值问题 1 饱和解及饱和区间 定义1 2 局部李普希茨(Lipschitz)条件 定义2 对定义2也可如下定义 注 一 、 解的延拓的引入 1 局部利普希兹条件 右端函数 f ( x, y ) 在某一有界区域G 中有意义。 如果称 f ( x, y )在G 内满足局部利普希兹条件，即对 区域G内的每一点，存在以其为中心的完全含于G 内的 矩形域R，在 R 上 f (x, y) 满足利普希兹条件。 （注意：点不同，域 R 大小和常数 L 可能不同） § 3.2 Extension Theorem 2 解的延拓 设