不动点与数列(解析版).docx
《不动点与数列(解析版).docx》由会员分享,可在线阅读,更多相关《不动点与数列(解析版).docx(24页珍藏版)》请在优知文库上搜索。
1、不动点与数列一、什么是不动点取两根长短不一,有着同样刻度(但长度单位不同)的尺子(比如:一根长5cm,一根长5寸),我们将其中较短的一根无论放在较长尺子的什么地方,只要短尺全部落在长尺内(图2)厕两根尺子总有某刻度,它们的数值是相同的(如图中的这一刻度),这个数值相同的刻度,就是这种移动变换下的一个不动点.一根橡皮绳子上打着许多结,当你均匀拉伸后,对称地放在原来的位置下面,再把绳子相应的结用线连接起来,其中必有一条与橡皮绳垂直(图中A),则这条垂线的结点,便是橡皮绳在拉伸变换下的不动点.“不动点”是一个重要的又十分有趣的数学概念,斯丕诺(Spemer)定理可以说是不动点在数学上有趣的应用:把A
2、BC任意分割成许多小三角形(如图所示),然后把一ABC的顶点分别涂上三种不同的颜色,再把这些小三角形的顶点也涂上这三色之一.规则是:若小三角形的顶点落在/8C某条边上,则这个顶点,只能涂该边两端之一的颜色,若小三角形顶点落在.ABC内,则可以任意涂三色之一.无论如何分割ABC,最后必有一个三角形(确切些,有奇数个小三角形)使它的三个顶点恰好涂有三种颜色.从不动点观念看,这个小三角形就是在“分割”、“着色”变换下的不动点.历史上证明了SPemer定理后,导出了布劳韦尔(Brouwer)不动点定理:“任意一个把n维球体变为自身的连续变换,至少有一个不动点”.定理的严格证明是艰深的.由于篇幅所限,不
3、可能给出这个证明了,但是,我们可以看看布劳韦尔不动点定理最简单而又特殊的情况:定理:设/(力是连续函数,其定义域为0,值域,则必有不动点(即存在一点3使3)=3).预备知识:定义1对函数f(力,若存在实数X。,满足/(M)=AO,则称为为“X)的不动点.对此定义有两方面的理解:(1)代数意义:若方程力=工有实数根%,则y=f(X)有不动点(2)几何意义:若函数y=()与y=有交点(.%,%),则%为F=()的不动点.利用递推数列/()的不动点,可以将某些由递推关系I)所确定的数列转化为较易求通项的数列(如等差数列或等比数列),这种方法称为不动点法.下面举例说明两种常见的递推数列如何用不动点法求
4、其通项公式.定义2若数列,J满足3,=f(4),则称/(x)为数列4的特征函数.定义3方程/(x)=称为函数f(X)的不动点方程(特征方程),其根称为函数/。)的不动点.具体应用:若数列4的递推公式为4=/(。1)把此式中的凡、。“-1均换成、得方程=(),我们把方程X=f(A-)的实数根X称为数列叫的不动点利用数列仆的非零不动点,可以转化求等比、等差数列,继而可求出数列4的通项公式.命题1若/(X)=以+b(0,。l),/是“力的不动点,勺满足递推关系4=%)51),则4F=(%f),即4-不是公比为”的等比数列.证明因为小是/(力的不动点,所以5+b=%,所以-Xo=-x.由4=,+得4f
5、=a%+b-Xo=a(an-xo)所以6一%是公比为。的等比数列.命题2设/(X)=竺学(CWOMd-松工0),且外力只有两个相同的不动点/,如果叫cx+a满足递推关系4,=4.1)(1),初值条件4(q),则:三=7三+攵.(这里anan-l%证明由/(3)=不得.八%)=瑞G=Xo,整理得*+(d-a)o-b=O.所以-x=c-rfXo=F,所以-AO=詈喑-AOICcan-十Cl二(/Mi+】Todcan-+d(-cxo)(-)2c1=+a+dan_x-x0,2c1I令k=-,则=+ha+dan-xo命题3设/(X)=%(CW(Ud火工0),也满凝推关系=(%)51),初值cx+a条件q
6、),若/(另有两个相异的不动点X-”,贝uFfJ=hMF(这里an20r-l2k=2)a-CX2,证明因为W,占是不动点,ax+bcx2+ d% +b叫+47(%+d) 叫-+bT2(c%+d)(_以)q_+一巾(a-cx2) an_t +b-x2d(一以)*7(45)a-cx2)an,l-x2(a-cx2)”必峭一芭O-CX2 an,l-x2 cx-ax=b-xdcx-ax2=b-x,命题2、命题3的另一种证明方法:(DffiS当数列递归方程满足。用=?苧,十v2若令4向=/(力,an=x,根据不动点定义f(x)=X,即4+1=4=X,可列出方程X二言氏,整理得f+(G-)-G=OB当判别式
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 不动 数列 解析