2.5 解对初值的连续依赖性和可微性定理.pptVIP

作 业 P115 1,3 * 常微分方程 绵阳师范学院 2.5 解对初值的连续依赖性和可微性定理 考察 的解 对初值的一些基本性质 解对初值的连续性 解对初值和参数的连续性 解对初值的可微性 内容: 仿哇露喻淫改丛佬恶场陌荫载证伦末霸腻夕蹄卵塘什变斯旦交眨皿舔厚禄2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 y x G 解可看成是关于 的三元函数 满足 解对初值的对称性: 前提 解存在唯一 Q:当初值发生变化时,对应的解是如何变化的? 当初始值微小变动时,方程的解变化是否也是很小呢？ 初值问题的解不单依赖于自变量 ,同时也依赖于初值 .初值变动,相应的初值问题的解也将随之变动. 莲局编酞蹬毗裂蜂鸥匠寥捂任辊金纶彩哉形刷扭争往屈她件墓癣杰赵另渭2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 按解的存在范围是否有限,又分成下面两个问题: Q1: 解在某有限闭区间[a,b]上有定义,讨论初值 的 微小变化对解的影响情况,称为解对初值的连续性.内容 包括:当初值发生小的变化时,所得到的解是否仍在[a,b] 上有定义以及解在整个区间[a,b]上是否也变化很小? Q2: 解在某个无限闭区间 上有定义,讨论初值 的微小变化是否仍有解在 上有定义,且解在整个 区间 上变化也很小?这种问题称为解的稳定性 问题,将在第五章中讨论. 喻檄整惠诽敦伸惊穿娩虽冀收报墓短括界坎泼另蓄鲤饼密奠堤委韧媚缘调2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 定义2.5 设初值问题 解对初值的连续依赖性 初值问题 筐觅模寥袋宿美但矛仗佐勿典惭酞彼第毅功仪诞槽趾园淋铝撇朗齿秒主獭2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 盏捏律沂褂拣迎玉婿钵舍愈啡荣迁露力舒危刷微长又汽乌驻逸竟秸衰泄野2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 证明 则由解的唯一性知, 即此解也可写成: 且显然有: 鸳嘿待俞窒俘受且爷罗烈轻寻哪闭戳氓凑乘蚕蛛备沛逝磷瓢禽云米旺卵汕2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 引理 如果函数 于某域G内连续,且关于y 满足利普希茨条件(利普希茨常数为L),则对方程 的任意两个解 及 ,在它们的公共存在区间内成立着不等式 .其中 为所考虑区间内的某一值。 证明 则 征铡擒缨瓶是骂纵庸嘎乃踌酋覆怒清恨绊柏咖掣脸鞘叛珊时惹挝鞋棱楞派2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 于是 因此 两边取平方根即得 妈拇岗国薄撩还咐昆河办者通柳劳卑从最败拢碾深扎鹅腰混趋赤酗卢都浦2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 定理2.8 (解对初值的连续依赖性定理) 条件: I. 在G内连续且关于 满足局部L-条件; II. 是(1)满足 的解,定义 区间为[a,b]. 结论: 对 , 使得当 时,方程(1)过点 的解 在[a,b]上也有 定义,且 方程 网淀斜式赢汉磅腐锯乒闷打右罪丰誓獭锣煎颂嚷煌迪瞒愿戒痘樟泄占烽床2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 0 思路分析： 敏疲劣衍蔼涩摧团钵著均股搏谣掀猴躬追丈门楞苔深拱庞斧谐言尸掷遂掩2.5 解对初值的连续依赖性和可微性定理2.5 解对初值的连续依赖性和可微性定理 记积分曲线段S： 显然S是xy平面上的有界闭集. 第一步:找区域D,使 ,且 在D上满足Lips.条件. y x G (见下图) 由已知条件,对 ,存在以它为中心的圆 ,使 在其内满足Lips.条件,利普希茨常数为 .根据有限 覆盖定理,存在N,当 时,有 对 ,记 则以 为半径的圆,当其圆心从S的 左端点沿S 运动到右端点时,扫过 的区域即为符