- 1、本文档共8页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第六节 压缩映象原理及其应用
?
Banach压缩映象原理,它在许多关于存在唯一性的定理证明中是一个有力的工具。
f(x)=0的根,我们可令g(x)=x-f(x),则求f(x)=0的根就变成求g(x)的不动点,即求,使.而在通常求映射的不动点的方法中,最简单的就是下面我们所讲的--Banach压缩映象定理。
设T是度量空间X到X中的映照,如果对都有(是常数)则称T是X上的一个压缩映照。
x和y经过映照T后,它们的像的距离缩短了(不超过d(x,y)的倍)
?
1(Banach压缩映照原理)1922年
Banach 1892-1945 波兰数学家)
X,d)是一个完备度量空间,T是X上的一个压缩映照,则丅有唯一的不动点。即的使
令
先证是Cauchy点列
? 先考虑相邻两点的距离
②再考虑任意两点的距离
当nm时
=
=
Cauchy点列
,使
x为不动点
若还有,使
因 必须
:①定理条件(a)X完备,(b)缺一不可,反例如下
(a)若X不完备,则定理不成立
:令X=(0,1),用欧氏距离,
但不动点
(b)定理不成立
例如:令 X=R用欧氏距离
但显然T无不动点。
X条件加强为紧距空间,则压缩因子1,即可改为
?
Banach压缩映象原理的简单应用。
2(隐函数存在定理)
在带状区域上处处连续,处处有关于y的偏导数,且如果存在常数m,M,适合.则方程f在闭区间上有唯一的连续函数,使。
中考虑映照,若其为压缩映照,则有不动点)
中作映照,显然,对由连续函数的运算性质有。
到自身的一个映照
.
即证 ,任取由微分中值定理,存在,使
则 ,故
映照T是压缩的.由Banach压缩映象定理
上有唯一的不动点使
注:① 注意本定理的证明思路:先确定空间,再找映照(这是难点),然后证明此映照是压缩的,最后利用定理即得。注意到这是利用Banach压缩映照定理解题的一般方法。
? 此隐函数存在定理给出的条件强于数学分析中隐函数存在定理所给出的条件,因而得出的结论也强些:此处得出区间上的连续隐函数.
?
下面我们介绍Banach不动点定理在常微分方程解的存在唯一性定理中的应用--Picard定理.
3:(Picard定理 Cauchy--Peano微分方程解的存在唯一性定理)
Picard 法国人 1856—1941 Peano意大利人1858--1932)
在矩形上连续,设在R上关于x満足Lipschitz(德国人 1832--1903)条件,即存在常数k使对 ,那么方程上有唯一的满足初始条件的连续函数解.其中
表示在区间上的连续函数全体。
成完备度量空间。又令表示中满足条件的连续函数全体所成的子空间。显然闭,因而也是完备度量空间.
如果 当 时,
而 是R上的二元连续函数,映照中积分有意义。
故T是的一个映照
?
下证是压缩的。
由Lipschitz条件,对中的任意两点
令 ,则由 有 .
故T是压缩的。
Banach压缩映象定理,T在中有唯一的不动点.
使
且
是满足初值条件的连续解。
再证唯一性。
如果 也是 满足 的连续解.
因而
T的不动点.而T的不动点是唯一的.
有唯一解。
注:题设条件中Lipschitz条件的要求是十分强的,它保证了解的唯一性。实际上満足Lipschtz条件即为一致收敛。因而可在积分号下求导,如果把解的要求降低,例如只要求广义解,即只要求满足积分方程 则题设条件可大大放宽:只要 有界,即可利用Lebesgue控制收敛定理得到广义解。
Banach压缩映照定理不仅证明了方程的解的存在唯一性,而且也提供了求解的方法--逐次逼近法:即只要任取 令 则解 .且在Banach不动点定理的证明中,有 .即此式给出了用逼近解的误差估计式。
?
?
?
?
Brouwer不动点是定理与Schauder不动点定理简介
Brouwer不动点定理和Schauder不动点定理及其简单应用。
Brouwer不动点定理及其应用:
Brouwer不动点定理
Brouwer:荷兰人 1881-1966)
?
X为一集, 则称A为X的凸子集。
1(Brouwer不动点定理):
为 的有界闭凸集,连续,则 使.
1、若 证明如下:不妨设
显然在 上连续.
使 即可.
:否则 则0为f之不动点; 否则则1为f之不动点:
(证毕)由连续函数的介值性定理的推论:根的存在定理可得 证毕。
2、若 ,其证明方法很多,其中纯分析方法的证明要用到场论中旋度的概念,且很繁,而简洁的证明要用到拓扑学中映象度理论,
您可能关注的文档
最近下载
- 24J331《地沟及盖板》(替代02J331).pdf VIP
- kb第二版资料(英语)030 KB4 Unit8-1.pptx VIP
- 《A-Million-Dreams》合唱谱SATB钢琴伴奏谱.pdf VIP
- 北京现代-悦纳-产品使用说明书-1.4L 两驱 五座手动青春版 -BH7140UMV-悦纳产品使用说明书.pdf VIP
- 医学继续教育管理制度.pdf VIP
- 剑桥国际英语Unit 8 Book 4.ppt VIP
- 护儿周全童享健康—降低新生儿低血糖发生率.pptx VIP
- 智能智能化脑机接口设备考核试卷.docx VIP
- 医院安全消防制度.docx VIP
- 电动叉车充电操作规程.pptx
文档评论(0)