32解的延拓和对初值的连续性和可微性.PPT

目录 上页 下页 返回 结束 §3.2 解的延拓和对初值的连续性和可微性 局部利普希茨条件 称函数f(x,y)在某区域G内每一点有以其为中心的完全被含于内的闭矩形R存在，在R上f(x,y)关于y满足利普希茨条件，则称f(x,y)在G内满足局部利普希茨条件。 解的延拓 饱和解 延拓定理 延拓定理 如f(x,y)在某有界区域G内连续且满足局部利普希茨条件，则方程的通过G内任何一点的解可以延拓，直到点任意接近区域G的边界。 推论 如G是无界区域， f(x,y)在G内连续且满足局部利普希茨条件，则方程的通过G内任何一点的解可以延拓，此时解：（1）或延拓到区间(x0,+∞)；(2)或延拓到区域G的边界。 例 分别通过点(0,0),(ln2,-3)的解 方程右端在整个Oxy平面有定义且满足解的存在唯一性定理和解的延拓定理的条件。 通解 通过点(0,0)的解 存在区间-∞x+ ∞ 通过点(ln2,-3)的解 存在区间0x+ ∞ 解的表示 方程的解y=?(x)除依赖于自变量x外，还与初值(x0,y0)有关，初值独立于自变量。因此，方程的解可看作是3个变元的函数 y=?(x,x0,y0) 它滿足 y0=?(x0,x0,y0) 。 解对初值的连续性定理 解对初值的连续性定理 如 f(x,y) 在域 G内连续且满足局部利普希茨条件， 则方程的解y=?(x,x0,y0) 作为x,x0,y0 的 函数在它的存在范围内是连续的。 解对初值的可微性定理 解对初值的可微性定理 如 f(x,y) 及 在域G内连续， 则方程的解y=?(x,x0,y0)作为x,x0,y0的函数 在它的存在范围内是连续可微的。 且有 附注 一阶非线性方程组 关于存在唯一连续可微性定理可推广到一阶非线性方程组。证明方法类似。 设 y(t0)=y0, R: |t-t0|≤a, ||y-y0|| ≤b 存在唯一性定理 如向量函数g(t,y)在域R上 连续且关于y满足利普希茨条件， 则方程组存在唯一解y=?(t,t0,y0) ， 它在区间|t-t0|≤h上连续且 ?(t0,t0,y0)= y0 这里 解的延拓与连续性定理 解的延拓与连续性定理 如向量函数g(t,y)在某 域G上连续且关于y满足局部利普希茨条件， 则 方程组满足初值条件的解y=?(t,t0,y0)可以延拓， 或延拓到±∞，或延拓到边界。 且解y=? (t,t0,y0) 作为 t,t0,y0 的函数 在它的存在范围内是连续的。 解的可微性定理 解的可微性定理 如向量函数 g(t,y) 及 在域G内连续，则 方程组满足初值条件的解 y=?(t,t0,y0)作为 t,t0,y0 的函数在它的存在范 围内是连续可微的。 目录 上页 下页 返回 结束