微分方程解的存在唯一性定理.PDF

微分方程 解的存在唯一性定理 杨超 中山大学 hp://mail.sysu.edu.cn/home/yangch8@mail.sysu.edu.cn/calculus 考虑初值问题： ⎧ y = f (x ,y ) ⎪ ⎨ y (x ) = y ⎪ 0 0 ⎩ 的解是否存在？若存在，有多少个解？ 李普希茨条件 f (x ,y ) D 若函数 在区域 满足 f (x ,y ) − f (x ,y ) ≤ L y − y , (x ,y ) ∈D ,i = 1,2 1 2 1 2 i D y 则称该函数在区域 内对 满足李普希茨条件 L （李氏条件）， 称为李氏常数。 初值问题 ⎧ ⎪ y = f (x ,y ) ⎨ y (x ) = y ⎪ 0 0 ⎩ 与积分方程 x y = y 0 + ∫x f (x ,y ) dx 0 等价 f (x ,y ) 定理：若初值问题中的函数 在闭矩形区域 R = {(x ,y ) x − x0 ≤ a, y − y 0 ≤ b} y 上连续，并对 满足李氏条件，则初值问题在区 间 上有且只有一个解。其中 ⎡x − h,x + h⎤ ⎣ 0 0 ⎦ b h = min(a, ) M M = max { f (x ,y ) ,(x ,y ) ∈R } ⎡x − h,x + h⎤ 的解释 ⎣ 0 0 ⎦ 证明：分四步。 第一步，构造皮卡序列。 令 y (x ) ≡ y