Chapter3.1解的存在唯一性定理与逐步逼近法.pptVIP

第三章第 节 第三章 第1节 解的存在唯一性定理与逐步逼近法 3.1.1 存在唯一性定理 1. 一阶微分方程 f(x,y) 在矩阵区域 R: | x?x0 | ? a, | y?y0 | ? b 上连续 利普希茨条件 若对函数 f(x,y) 存在常数 L0 ,使得对所有 (x, y1), (x, y2) ?R 都成立不等式  | f(x,y1)? f(x,y2) | ? L| y1? y2 |,则称函数 f(x,y) 在 R 上满足利普希茨条件. 定理1 如果f(x,y) 在矩形区域 R 上连续且关于 y 满足利普利茨条件,则方程(3.1)存在唯一的解y=?(x), 定义于区间 | x?x0 | ? h 上,连续且满足初值条件 ?(x0)=y0. 皮卡(Picard)逐步逼近法 思路(区间取为 x0 ? x ? x0+h ) (1)证明求微分方程的初值问题的解等价于求积分方程的连续解; (2)取一连续函数 ?0(x) 进行迭代求解,构造函数序列: ?0(x), ?1(x), ?2(x),… ?n(x)…;  (3)如果上述过程可无限地进行,则证明此过程构造的函数列收敛于某一连续函数?(x); (4)证明上述解是唯一的; 皮卡逐步逼近法 命题1 设y=?(x)是方程(3.1)的定义于区间 x0 ? x ? x0+h