第3章_第2节_解的延拓定理(解的整体存在唯一性定理).ppt

第3章_第2节_解的延拓定理(解的整体存在唯一性定理).ppt

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

第三章 § 2. 解的延拓定理 一、问题的提出 二、基本概念 二、解的延拓定理 解的延拓定理 例2 注 2. G为无界区域 例3 例4 例5 例6 作业 作业中的问题 习题 2.2 0 ∴ 定理2中的情形2o不会发生 ∴ 定理2中的情形3o也不会发生, ∴ ?= + ?. 同理可证: ?= – ?. 在R2内,讨论初值问题 解的最大存在区间. 证 在R2内连续, f (x, y)在R2内满足解的存在唯一性定理及 延拓定理的条件. 由观察知, 由解的唯一性知, —最大存在区间 有界 ∴ 定理2中的情形3o不会发生, ∴ 定理2中的情形2o不会发生, x y o 1 0, 1 x y o 1 ? = ? 将所给方程变量分离,得 x y o 1 0 x y o 1 解的最大存在区间为: 0 0 ? = ? x y o 1 0 解的最大存在区间为: x y o 1 x y o 1 ,并求此解. 证 (1) 在R2内连续,? 由解的存在唯一性定理及延拓定理,知 的解. 由常数变易公式,得(3.1)的解: 且 代入(3.3), 得唯一 ?周期解: 习题 2.3 解法1 将原方程分项组合得 由观察知,该方程有积分因子: ① ①??,得 积分得通解: 解法2 将原方程恒等变形为 即 齐次方程 变量代回,得原方程的通解: 分离变量,积分得 证 (充分性) (必要性) 证 * * 例1 试利用皮卡存在唯一性定理分别在D1 和D2上对该初值问题确定解的存在区间. 解 该初值问题的解的存在区间为: 该初值问题的解的存在区间为: 问题: 这表明:随着 f (x, y)的定义域 D的增大,由皮卡定理所能肯定的解的存在唯一性区间反而缩小了. 这一现象似乎不太合理. 应该是随着 D的增大,h 增大,才更为合理. 产生这种不合理的原因是什么? 愈大,h 愈小. 事实上,皮卡的存在唯一性定理并非完美无缺,它只是一个局部性的定理,它只肯定了解在以x0 为中心的某一小区间I = [x0 – h, x0 + h ]上一定存在且唯一. 由§1 定理1的推论4 知:若 f(x, y)在区域G上连续,且关于y满足局部的 Lip 条件,则过区域G内每一点均有唯一的一条积分曲线通过. 当然,这些积分曲线都被限制在一个个小区间上. G 自然会问:能否将这些积分曲线一段一段地连结起来,延长解的存在区间呢? 初值问题(1)的解. 若 1. 解的延拓 定义1 1) I ? J , 且 I ? J ; 2) ?(x) ? ? (x), x ?I , 2. 饱和解、解的最大存在区间 定义2 且其存在区间I 不能再延拓,则称 为初值问题(1)的饱和解(或不可延拓解),并称饱和解的存在区间I为解的最大存在区间. 1) 连续 ; 2) 关于y 满足局部 Lip 条件, 的解,则 y = ?(x) ( x ?I ) 必可延拓. 引理 证 G x y o x0 =x1 由§1 定理1的推论4, 知 的唯一解: (确保: ) 由解的唯一性,知 ① ② G x y o x0 =x1 x1- h1 h1 G x y o x0 =x1 x1- h1 h1 ( 由② ) ( 由①) ∵ I ? J , 且 I ? J ?(x) ? ? (x), x ?I , 1. G为有界开区域 定理1 1) 连续 ; 2) 关于y 满足局部 Lip 条件,则对于 其最大存在区间必 为有限开区间: ( ? , ?), 其中? , ?满足: x y o G ? ? 解 x y o –2 2 –4 4 2 x y o –2 2 –4 4 2 1o 一般地,解的最大存在区间与初值 (x0 , y0)有关; 2o 函数的定义域与解的最大存在区间有 区别. 定理2 1) 连续 ; 2) 关于y 满足局部 Lip 条件,则对于 ?必为下列三种情形之一: 1o ?= + ? ; 2o ? ? R , 3o ? ? R , 解 x y o 2 2 ∴ 所给方程过点 (1,1) 的解的最大 存在区间为: x y o 2 2 证 存在唯一性定理及延拓定理的条件.

文档评论(0)

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

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

1亿VIP精品文档

相关文档