31解的存在唯一性定理和逐步逼近法.ppt

  1. 1、本文档共37页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
31解的存在唯一性定理和逐步逼近法

§ 3.1 解的存在唯一性定理和 逐步逼近法 /Existence Uniqueness Theorem Progressive Method/ 4) 一阶隐式方程的解的存在唯一性 定理 2 如果在点 的某一邻域中, 对所有的变元 连续,且 存在连续的偏导数; 则上述初值问题的解在 的某一邻域存在。 § 3.1 Existence Uniqueness Theorem Progressive Method * 概念和定义 存在唯一性定理 内容提要/Constant Abstract/ § 3.1 Existence Uniqueness Theorem Progressive Method 本节要求/Requirements/ ? 掌握逐步逼近方法的本思想 ? 深刻理解解的存在唯一性定理的条件与结论 § 3.1 Existence Uniqueness Theorem Progressive Method 一 、概念与定义/Concept and Definition/ 1. 一阶方程的初值问题(Cauchy problem)表示 § 3.1 Existence Uniqueness Theorem Progressive Method 2. 利普希兹条件 函数 称为在矩形域 : …………(3.1.5) 关于 y 满足利普希兹 (Lipschitz)条件,如果存在常数 L0 使得不等式 对所有 都成立。 L 称为利普希兹常数。 § 3.1 Existence Uniqueness Theorem Progressive Method 二 、存在唯一性定理 定理1 如果 f(x,y) 在 R 上连续且关于 y 满足利普希兹条件, 则方程(3.1.1)存在唯一的连续解 定义在区间 , 且满足初始条件 这里 § 3.1 Existence Uniqueness Theorem Progressive Method 定理1的证明需要证明五个命题: ? 命题 1 求解微分方程的初值问题等价于 求解一个积分方程 ? 命题 2 构造一个连续的逐步逼近序列 ? 命题 3 证明此逐步逼近序列一致收敛 ? 命题 4 证明此收敛的极限函数为所求 初值问题的解 ? 命题 5 证明唯一性 § 3.1 Existence Uniqueness Theorem Progressive Method 定理1的证明 命题1 设 是初值问题 的解的充要条件是 是积分方程 ……(3.1.6) 的定义于 上的连续解。 证明: 微分方程的初值问题的解满足积分方程(3.1.6)。 积分方程(3.1.6)的连续解是微分方程的初值问题的解。 § 3.1 Existence Uniqueness Theorem Progressive Method 证 明 因为 是方程(3.1.1)的解,故有: 两边从 积分得到: 把(3.1.2)代入上式,即有: 因此, 是积分方程在 上的连续解. § 3.1 Existence Uniqueness Theorem Progressive Method 反之,如果 是 (3.1.6) 的连续解,则有: ………(3.1.8) 微分之,得到: 又把 代入(3.1.8),得到: 因此, 是方程(3.1.1)定义于 上,且满足初始条件(3.1.2)的解。 命题1证毕. 同理,可证在 也成立。 § 3.1 Existence Uniqueness Theorem Progressive Method 现在取 ,构造皮卡逐步逼近函数序列如下: § 3.1 Existence Uniqueness Theorem Progressive Method x y o x0 x0+a x0-a y0 y0-b y0+b x0-h x0+h § 3.1 Existence Uniqueness Theorem Progressive Method 命题2 对于所有的 (3.1.9) 中函数 在 上有定义、连续,即满足不等式: 证 明: (只在正半区间来证明,另半区间的证明类似) 当 n =1 时, § 3.1 Existence Uniqueness Theorem Progressive Method 即命题2 当 n=

文档评论(0)

peain + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档