数学论文-一类递推数列的单调性与极限.doc

一类递推数列的单调性与极限 （孝感学院 数学与统计学院 湖北 孝感 432000） 摘 要: 本文讨论了一类递推数列的单调性与收敛性问题,同时也推广与包含了近期一些文献中的结果. 关键词： 递推数列；单调性；不动点；收敛 The Limits and Monotonicity of a Recursive Sequence XIA Yu-cheng (Department of Mathematics and Statistics,Xiaogan university,Xiaogan,Hubei 432000,China) Abstract: In this paper, the results on the monotonicity and convergence of the recursive sequence in some resent documents are given, and then, the results are generalized. Key words: recursive sequence ; monotonicity; fixed point; convergence. 1 引言及定义 在近期的一些文献中,讨论了形如 （） 的递推数列的极限问题[1-7],这类数列的极限问题经常出现在研究生入学试题与大学数学竞赛试题中,在高等数学中占有重要的地位. 研究结果表明,这类递推数列极限的存在性与求法往往与它的迭代函数的不动点相关联,该递推数列的迭代函数为 , 注意到 不变号,它启发我们从迭代函数的不动点与导函数的不变号两方面考虑这类问题. 本文将给出联系迭代函数的不动点与导函数的几个实用命题,把现行文献[1-7]中的相关结论进行拓广,通过这些命题使我们可以统一处理有关例子,揭示这类试题的背景与思想方法. 定义1　对于函数,若存在实数,使,则称为的不动点. 定义 2　对于函数,若数列满足,,,则数列称为递推数列,称为数列的迭代函数,称为初始值. 2　命题与证明 命题1 设函数在上连续,在上可导,且,, .设,则递推数列（）收敛. 证明 只需证明数列单调有界,可用归纳法证之. 1ο当时,由于,,因此 , 又,所以 , 而,故有 , 从而结论成立. 2ο假设当时,结论成立,即 . 当时,由于,则有 , 即得 ,也即, 从而当时,结论成立. 故命题1得证. 命题2 设函数在上连续,在上可导,且,, .设,则递推数列（,）收敛. 证明 类似于命题1,可以证明数列单调递减并且有界,即 ， 从而数列收敛. 注:在命题1,命题2的条件下,若还满足“在上有唯一的不动点”条件,易知数列必收敛于该不动点. 事实上,在满足所给条件的情况下,由数学分析[8]中的确界原理及上确界的定义,对于命题1中的数列,必为其上确界.任给,按上确界的定义,存在数列中的某一项,使得.又由的递增性,当时有.另一方面,由于是的一个上界,故对一切都有.所以当时有,从而. 这为命题1,2的应用提供了方便. 命题3 设在区间上可导,,且对任意的,有.则由,确定的两个子列与分别是单调的,而且具有相反的单调性. 证明　如果,则由,得 ,即, 于是又有 ,, 用归纳法可得奇数项子列单调增加,而偶数项子列单调减少; 如果,同理可得子列单调减少,而偶数项子列单调增加. 推论 [1]　对于递推数列 （,）, 如果全为正数时,那么数列收敛,且收敛于,其中 , 这里是方程的一个正根. 证明　由于迭代函数的导数. 下面讨论之: （1）,则. 当时,由于是函数唯一的一个正的不动点, 因而,于是是常数列,故; 当与时,分别在区间与上应用命题1与命题2,得数列收敛于不动点; （2）,则. 当时, , 注意到注意到,由 ,即, 进一步有 ,即,…, 易用数学归纳法证明: . 因而 , 即 ,, 即与有界,故均收敛. 且由 分别考虑为奇,偶数对此式取极限,得 ,, 这里是方程的一个正根; 当时,类似可证; 当时,有为常数列. 故. （3）,此时为常数列,结论也成立. 综上可知结论成立. 3 相关应用 下面我们给出以上命题的一些应用. 例1[1-3] 设,（）,求证:数列收敛,并求其极限. 解 数列的迭代函数 ,,, 而 ,即, 故数列在区间上满足命题1的条件,于是数列收敛. 又在上有唯一的不动点,于是 . 例 2[9] 已知函数，且存在，使.设, ,，,其中,证明: ． 证明 由数列的迭代函数得 , 从而在区间上，由命题1的结论得 ， 在区间上，由命题2的结论得 ， 于是有 ． 证毕． 例3 已知数列满足，，，.猜想数列的单调性，并证明你的结论. 解　与分别单调，但不具有单调性．下面证明之． 因为数列的迭代函数为，从而其导函数 ，