- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
PAGE
PAGE14
不动点定理及其应用
1引言
大家都知道,在微分方程、积分方程以及其它各类方程的理论中,解的存在性、唯一性以及近似解的收敛性等都是相当重要的课题,为了讨论这些方程解的存在性,我们可以将它们转化成求某一映射的不动点问题.本文就这一问题作一下详细阐述.
2背景介绍
把一些方程的求解问题化归到求映射的不动点,并用逐次逼近法求出不动点,这是分析中和代数中常用的一种方法.这种方法的基本思想可以追溯到牛顿求代数方程的根时所用的切线法,19世纪Picard运用逐次逼近法解常微分方程.后来,1922年,波兰数学家巴拿赫(Banach)将这个方法加以抽象,得到了著名的压缩映射原理,也称为巴拿赫不动点定理.
3基本的定义及定理
定义1[1](P4)设为一非空集合,如果对于中的任何两个元素,,均有一确定的实数,记为与它们对应且满足下面三个条件:
=1\*GB3①非负性:,而且的充分必要条件是=;
=2\*GB3②对称性:;
=3\*GB3③三角不等式:,这里也是中任意一个元素.
则称是上的一个距离,而称是以为距离的距离空间,记为.
注距离概念是欧氏空间中两点间距离的抽象,事实上,如果对任意的
容易看到=1\*GB3①、=2\*GB3②、=3\*GB3③都满足.
定义2[1](P23)距离空间中的点列叫做柯西点列或基本点列,是指对任给的存在使得当时,.如果中的任一基本点列必收敛于中的某一点,则称为完备的距离空间.
定义3[2](P16)设是距离空间,是到中的映射.如果存在一数使得对所有的,不等式(1)
成立,则称是压缩映射.压缩映射必是连续映射,因为当时,有
.
例设,是上的一个可微函数,满足条件:,以及
,则映射是一个压缩映射.
证
,得证.
定义4设为一集合,为到自身的映射(称为自映射),如果存在使得,则称为映射的一个不动点.
例如平面上的旋转有一个不动点,即其旋转中心,空间中绕一轴的旋转则有无穷多个不动点,即其旋转轴上的点均是不动点,而平移映射没有不动点.
如果要解方程其中为线性空间到自身的映射(一般为非线性的),令其中为恒等映射:则方程的解恰好是映射的一个不动点.因此可以把解方程的问题转化为求不动点的问题.
下面就来介绍关于不动点的定理中最简单而又应用广泛的压缩映射原理:
定理1[3](P36)设是完备的距离空间,是上的压缩映射,那么有且只有一个不动点.
证任取并令(2)
下证的迭代序列是收敛的,因是压缩映射,所以存在使得,因此
…………
一般地,可以证明于是对任意自然数,有
(3)
由于,因此,当充分大时,故是中的基本点列,而是完备的,所以存在成立.
再证是的不动点.易证,若是压缩映射,则是连续映射,而因此
所以是的一个不动点.
最后,我们证明不动点的唯一性,若存在,则
而.证毕.
注(=1\*romani)由(2)定义的序列收敛,且收敛到的唯一不动点,且迭代与初始值的取法无关.
(=2\*romanii)误差估计式方程的不动点在大多数情况下不易求得,用迭代程序即得到不动点的近似解,在(3)式中令(4)
此即误差的先验估计,它指出近似解与精确解之间的误差.如果事先要求精确度为则由,可计算出选代次数,在(4)式中取代入得.
上式对任意初始值均成立,取,即得,
此式称为后验估计,可从与其前一步迭代结果的距离来估计近似解与精确解之间的误差.所以,压缩映射原理,不仅给出了不动点的存在性,而且给出求解方法,同时还指明了收敛速度及误差.
(=3\*romaniii)值越小迭代收敛的速度越快.
(=4\*romaniv)在满足(5)
的条件下,在上不一定存在不动点.
如令,我们容易证明对一切时,有中没有不动点.
又如,若令,则满足条件(5),因任取则由中值公式之间,由于
,
没有不动点,因任何一个使的须满足在R内这样的不存在.
(=5\*romanv)压缩映射的完备性不能少.
如设,定义如下:,则是压缩映射,但没有不动点.这是由于空间的不完备性导致的.
(=6\*romanvi)压缩映射条件是充分非必要条件.
如为自身,且,(6)
任取令,(7)
该数列有极限满足方程,EMBEDEquation.3但由(6),(7)可得,EMBEDEquation.3相当于不是,EMBEDEquation.3即不满足压缩映射的条件.
定理1从应用观点上看还有一个缺点,因为映射常常不是定义在整个空间上的,而仅定义在的子集上,而其像可能不在,因此要对初值加以限制,有以下
您可能关注的文档
最近下载
- 额颞叶出血个案护理.pptx VIP
- 浅谈腹部手术患者早期下床活动PPT.pptx VIP
- 湖南省2025年高一入学英语分班考试真题含答案.docx VIP
- 北师版初中数学第4讲 乘法公式一完全平方公式--尖子班.docx VIP
- 云原生应用封装与部署技术.docx VIP
- 表c3-2安全教育记录表表c3-2安全教育记录表.doc VIP
- 小学数学思维校本课程教材.pdf VIP
- 2024-2025学年湖南省名校联考联合体高一上学期第一次联考英语试题(解析版).docx VIP
- synchroflow协同工作流管理系统.pdf VIP
- 高中政治选择性必修3逻辑与思维第二单元检测试卷(5套).pdf VIP
文档评论(0)