您好,欢迎访问三七文档
当前位置:首页 > 电子/通信 > 综合/其它 > 压缩映射原理在求极限中的应用
压缩映射原理在求极限中的应用张烁摘要:压缩映射原理是泛函分析中最基本的存在性定理.本文通过对考研中数列极限的典型例题的解析,归纳总结出适合压缩映射原理求极限数列的一般形式,展示压缩映射原理在解决数学极限中的优越性.关键词:压缩映射原理极限压缩映射原理是著名的波兰数学家StefanBanach在1922年提出的,它是整个分析科学中最常用的存在性理论,应用非常广泛,如隐函数存在性定理、微分方程解的存在唯一性.这里我们主要研究压缩映射原理在数列极限中的应用.许多参考资料都讲过这个方面的应用.在前人的基础上,结合自己的学习体会,归纳总结了压缩映射原理在求数列极限中的应用,进一步展示其优越性.1压缩映射定义1若X是度量空间,T是x到x中的映射,如果存在一个数α,0α1,使得对所有的x,y∈x,d(Tx,Ty)≤αd(x,y),则称T是X上的一个压缩映射,α称为压缩常数。定义2设X为一非空集,T∶X→X是一个映射,如果有x3∈X使得Tx3=x3,则称x3为映射T的一个不动点。定理1(压缩映射定理)设X是完备的度量空间T是X上的压缩映射,那么T只有且只有一个不动点(就是说,方程Tx=x,有且只有一个解).证明任取x0∈X,令x1=Tx0,x2=Tx1,⋯⋯,xn+1=Txn,⋯.我们先证明{xn}是基本列.ρ(x2,x1)=ρ(Tx1,Tx0)≤αρ(x1,x0)=αρ(Tx0,x0),ρ(x3,x2)=ρ(Tx2,Tx1)≤αρ(x2,x1)=α2ρ(Tx0,x0).一般,由归纳法可得ρ(xn+1,xn)≤αnρ(Tx0,x0)(n=1,2,⋯),于是,对于任意的正整数P,有ρ(xn+p,xn)≤ρ(xn+p,xn+p-1)+ρ(xn+p-1,xn+p-2)+⋯,ρ(xn+1,xn)≤(αn+p-1+αn+p-2+⋯+αn)ρ(Tx0,x0)=αn(1-αp)ρ(Tx0,x0)/(1-α)≤αn/(1-α)ρ(Tx0,x0)。因为0≤α≤1,当n→∞,ρ(xn+p,xn)→0,即{xn}是基本列。由于X是完备空间,存在xn∈X,使得xn→xn。再由T的连续性,在(1)中,令n→∞,就得到xn=Txn.再证唯一性。如yn也是T的一个不动点,即yn=Tyn,则有ρ(xn,yn)=ρ(Txn,Tyn)≤αρ(xn,yn).由于0≤α1,做ρ(xn,yn)=0,即xn=yn.推论设X是完备距离空间,TX→X。如果存在常数α(0≤α1)及正整n0,使对任何x,y∈X都有ρ(Tn0x,Tn0y)≤αρ(x,y),则T存在唯一的不动点(其中Tno可以归纳定义如下:T2x=T(Tx),T3(x)=T((T2x),⋯).定理1′对数列{xn},若存在常数h:0h1,使对一切n∈N,有|xn+p-xn|≤h|xn-xn-1|,则{xn}收敛。证明n,p∈N,有|xn+p-xn|≤|xk-xk+1|≤hk-1·|x1-x0|=|x1-x0|·(hn-hn+p)/(1-h)≤|x1-x0|·hn/(1-h)→0,所以{xn}为基本列,从而{xn}收敛。若递推公式由一元可微函数xn=f(xn-1)给出,则可通过f的导数f′来考察。若存在实数h,使得|f′(x)|≤r1,则应用微分中值定理,可知{xn}满足压缩映射的条件|xn+1-xn|=|f(xn)-f(xn-1)|=|f′(ζ)||xn-xn-1|≤h|xn-xn-1|.2压缩映射原理在求数列极限中的应用例设c0,xn+1=c(1+xn)/(c+xn)(c1为常数).解构造函数f(x)=x(1+x)/(c+x)显然,f(x)在(0,+∞)连续可导。因xn0,当x0时f′(x)=[c(1+x)/(c+x)}’=c(c-1)/(c+x)2且由c1知f′(x)c(c-1)/(c+x)2≤c(c-1)/c2=1-1/c1,故xn+1=f(xn)为压缩映射。由定理1’知{xn}收敛.数学分析中很多问题的解决都得益于把已知条件往解决方法原理的条件上“凑”,这种“凑”是一种技巧、策略,它是解决数学分析中问题的常见策略,数列极限的求解方法多种多样,每种方法都有其条件要求和适用范围,需要灵活运用.压缩映射原理也不例外,在应用是时一定要注意条件的验证,同时要注意其使用范围.参考文献:[1]徐新亚,夏海峰.数学分析选讲[M].上海:同济大学出版社,2008(8):9-17.[2]陈守信.数学分析选讲[M].北京:机械工业出版社,2009(9):1-8.[3]裴礼文.数学分析中的典型问题和方法(第二版)[M].北京:高等教育出版社,2006(4):32-60.[4]张恭庆,林源渠.泛函分析讲义(上册)[M].北京:北京大学出版社,2006(12):4-8.
本文标题:压缩映射原理在求极限中的应用
链接地址:https://www.777doc.com/doc-5739174 .html