ktoblogfilesuploadfiles2013-0619225434109.doc.docVIP

关于递推数列敛散性的进一步探讨 徐州市西苑中学 李倩 摘　要 本文旨在研究递推数列,,的敛散性问题.文中改进了文[1]的相关命题,得到了一些较好的结论,最后给出了这些结论的一些应用. 关键词 递推数列;敛散性;极限 一、问题的提出 定义 设为定义在上的函数且值域仍含于,给定,为由递推关系,确定的数列,则称是以为初值由递推关系生成的递推数列. 由递推关系,,生成的数列属于给出数列的一种常见形式.在许多场合,我们关心的是该数列的敛散性情况.关于这一问题,已有了一些结论,例如压缩映象原理等.文［1］中根据递推数列的一般情形,引入相应的辅助函数.通过研究这个函数的性质然后把结果应用到所要证明的数列中去,从而转化了矛盾,使较复杂的问题变得简单、方便.文［1］中给出了如下两个命题: 命题1 若函数在或 0的某一区间上严格递增、有上界,则数列,严格递增有上界. 命题2 设函数在（0）的某一区间上严格递减、有界,则数列,有界,① 当时,子列递减,递增.②当时,子列递增,递减. 命题分析 经分析,我们发现上述命题及其证明过程均有欠妥或值得商榷之处. 两命题中未明确指出“所给的式子均有意义”,这一点值得商榷.例如若的某项不在定义域内,此时递推数列不再有意义.一个简单的例子:函数=定义在上,易知严格递增、有上界,对,=,显然,=就不再有意义.为使命题严谨,宜加条件“的值域含于定义域”. 命题1即使加上条件“的值域含于定义域”,且满足该命题的条件,也得不出所要的结论.文[1]的例1就是一个反例.此例如下: 证明 数列,0,（=1,2,……）收敛. 分析　由递推数列的一般形式引入辅助函数=（0）,易知可微,且,所以在上严格递增,且=2.由命题1应有严格递增且有上界.事实上,并不一定严格递增.证明如下: =()-=,由 （）知与同号,且与同号.而==（）,易知: ①当时,0, ,此时严格递减; ②当时,0,从而,此时严格递递增; ③当时,,即为常数列. 由此可见,命题1和命题2的叙述是不严谨的,而且命题1是错误的. 本文将对这两个命题进行适当的修正、改进,得出几个判定由定义1给出的数列的敛散性问题较好的结果.为证明这些结论我们先证明下面的引理. 引理1 为上的连续函数,为本文定义确定的递推数列,那么若收敛则必收敛于方程=的某一根. 证明 由及收敛有 = 由连续又有 = 因而有 = = 上式说明是方程=的解 引理2 为上的连续函数,为本文定义确定的递推数列,则数列收敛的必要条件是方程=有解. 证明 若数列收敛,则必有= 由连续又有= 因而有 = = 由题设条件知在 内,从而由上式可知是方程的解 二、主要结果与证明 为能用文[1]中两命题解决递推数列的敛散性问题,对原命题作适当的修正、改进,可得出如下两个较严谨的正确叙述: 定理1 为定义在上的单调递增函数且值域仍含于,给定,是以为初值由递推关系,确定的递推数列. 若且在上有上界,则单调递增且有界; 若且在上有下界,则单调递减且有界. 证明 ①　因为在上单调递增值域仍含于,且,所以,即.假设,由的递增性有,由数学归纳法知,,故数列单调递增. 由于有上界,易证有界（略）. 同理可证② 下面的推论是定理1的应用,用其判断此类数列敛散性更直接有效. 推论 为定义在上的单调递增且有界连续函数,其值域仍含于,给定.则以为初值由递推关系确定的数列收敛且收敛于方程=的某一解. 证明 由条件及定理1知单调且有界.据单调有界定理知收敛.再由引理1可得收敛于方程=的一个根. 定理2 为定义在上的单调递减函数且值域仍含于,给定,则以为初值由递推关系,确定的数列有界,且 ① 当时,子列单调递减,单调递增; ② 当时,子列单调递增, 单调递减. 证明 下面仅证①,同理可证②. 由题设及的递减性知,,即,从而有=.假设,再由的递减性知,从而.由数学归纳法可知,,（1,2,…）从而单调递减,单调递增. 由的有界性,易证,有界（略）.证毕 由定理2可得到下面的推论: 推论 为定义在上的单调递减的有界函数,且值域仍含于,给定,是以为初值由递推关系确定的数列,则子列与均收敛,且当它们收敛于相同的数时收敛且收敛于方程=的解;而收敛于不同的数时发散. 证明 由条件及定理2知的子列与均单调且有界,故由单调有界定理有与均收敛.显然当=时收敛,且由引理1可得收敛于方程=的一个根.而当时显然发散.证毕 许多单调数列的敛散性无法用定理1、定理2及其推论来判断,原因是其条件太强,“有界”的条件很难判断,甚至有些函数根本无界,这时就不能用上述两定理判断由此函数确定的数列的敛散性,为克服这一缺陷,我们去掉“