迭代数列的极限问题

迭代数列的极限问题

结论：设$x_n$满足关系$x_{n+1}=f\left(x_n\right),n\in {\mathbf{N}}_{+}$，其中的函数f在区间I上单调，同时数列*{x_n}*的每一项都在区间I中，则只有两种可能：（1）当f为单调增加时，$x_n$为单调数列；（2）当f为单调减少时，$x_n$的两个子列$x_{2k-1}$和$x_{2k}$分别为单调数列，且具有相反的单调性。

证明：分别讨论命题中的两种情况。
（1）设$f(x)$在区间I上单调增加，根据条件，有$x_n\in I,n\in {\mathbf{N}}_{+}$，观察数列的前两项，如有$x_1⩽x_2=f\left(x_1\right)$，则就有$x_1⩽x_2=f\left(x_1\right)$，用数学归纳法可知，数列$x_n$单调增加，完全类似地可以证明，在$x_1⩾x_2$时，数列收敛，$x_n$单调减少。

（2）设$f(x)$在区间I上单调减少，注意：复合函数$f(f(x))$却是单调增加的，严格来说，只要$a,b\in I,a<b$，而且$f(a),f(b)\in I$，就成立$f(f(a))⩽f(f(b))$

观察$x_1$与$x_3$,如果$x_1=x_3$，则子列 { x 2 k − 1 } \left\{x_{2 k-1}\right\} {x2k−1​}为常值数列，如成立$x_1<x_3$,从f单调减少就有$x_2⩾x_4$，然后推出$x_3⩽x_5$，以下的讨论已无困难，用数学归纳法可以证明这是子列 { x 2 k − 1 } \left\{x_{2 k-1}\right\} {x2k−1​}单调增加，由于函数f单调减少，从$x_{2k}=f\left(x_{2k-1}\right),k\in {\mathbf{N}}_{+}$可知子列 { x 2 k } \left\{x_{2 k}\right\} {x2k​}单调减少，对于$x_1>x_3$的讨论完全类似，从略。

例1：设$a_1=\sqrt{2},a_{n+1}=\sqrt{2+a_n},n\in {\mathbf{N}}_{+}$，讨论数列$a_n$的敛散性，若收敛求出其极限。

解析：从
$$a_1=\sqrt{2}<\sqrt{2+\sqrt{2}}=a_2$$
以及
$$a_{n-1}<a_n⟹a_n=\sqrt{2+a_{n-1}}<\sqrt{2+a_n}=a_{n+1}$$
可见数列是单调增加的，又从$a_1<2$和
$$a_n<2\Rightarrow a_{n+1}=\sqrt{2+a_n}<\sqrt{2+2}=2$$
可见数列以2为上界，因此它是收敛数列，记极限是a,在递推公式$a_{n+1}=\sqrt{2+a_n}$的两边令$n\to \infty$,于是就得到关于a的方程
$$a=\sqrt{2+a}$$
因$a>0$,该方程只有一个正解$a=2$,因此就是所要求的极限。
注解：这里介绍证明数列$a_n$有上界的另一种方法，它在处理$a_n$中出现$n$重根式类似问题可能有用，利用
$$\sqrt{2+\sqrt{2}}<\sqrt{2+2}=2$$
就可以在$a_n$的表达式$\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}$中从最里面开始，从内到外将根号脱去，得到$a_n<2$。

例二：
数列$b_n$由$b_1=1$和$b_{n+1}=1+\frac{1}{b_n}\left(n\in {\mathbf{N}}_{+}\right)$生成，讨论$b_n$的敛散性，若收敛则求出其极限。

解析：先假定数列$b_n$收敛，记极限为b,从迭代所用的递推公式中令$n\to \infty$，就得到$b^2-b-1=0$，它有两个根：$(1\pm \sqrt{5})/2$
考虑数列$b_n$中的项$b_n$和$b_{n+2}$的关系，可以从递推公式导出$b_{n+2}=2-1/\left(b_n+1\right)$,由于上面求出的$b$也满足等式$b=2-1/(b+1)$，就有
$$b_{n+2}-b=\frac{b_n-b}{\left(b_n+1\right)(b+1)}$$
可见$b_n-b$和$b_{n+2}-b$总是同号的，计算其前几项，可见 { b 2 k − 1 } \left\{b_{2 k-1}\right\} {b2k−1​}严格单调增加， { b 2 k } \left\{b_{2 k}\right\} {b2k​}严格单调减少，而且有
$$b_1<b_3<\cdots <b<\cdots <b_4<b_2$$
因此它们都是收敛数列，在它们共同的递推公式$b_{n+2}=2-\frac{1}{b_n+1}$中令$n\to \infty$，可见它们的极限都是b,因此数列 { b n } \left\{b_{n}\right\} {bn​}收敛于b。

例三 设参数$b>4,x_1=\frac{1}{2},x_{n+1}=b{x}_n\left(1-x_n\right),n\in {\mathbf{N}}_{+}$，证明：$x_n$发散。

证明：$x_1=\frac{1}{2},x_2=\frac{b}{4}>1,x_3<0$，由数学归纳法易知当$n⩾3$时都有$x_n<0$
当$n⩾3$时
$$\frac{x_{n+1}}{x_n}=b\left(1-x_n\right)>b>1$$
即$x_{n+1}<x_n$，又$x_n<0,n⩾3$，所以$x_n$即使收敛也不会收敛于0,假设$x_n$收敛，两边取极限约分得$\underset{n\to +\infty }{\lim }{x}_n=1-1/b>0$与极限的保号性矛盾。

例四 设$x_0=a,x_n=1+b{x}_{n-1},n\in {\mathbf{N}}_{+}$,试求处使该数列收敛的$a,b$的所有值。

解析：当$b=0$时，显然$x_n$收敛，当$b=1$时$x_{n+1}-x_n=1$，由等差数列的性质及其发散，当$b\ne 0$且$b\ne 1$时，我们有
$$\frac{x_n}{b^n}-\frac{x_{n-1}}{b^{n-1}}=\frac{1}{b^n}$$
累计化简得
$$x_n=\left(a+\frac{1}{b-1}\right)b^n-\frac{1}{b-1}$$
容易看出当$a+\frac{1}{b-1}=0$或$b\in (-1,0)\cup (0,1)$时，$x_n$收敛。
综上所述，当$a+\frac{1}{b-1}=0$或$|b|<1$时，$x_n$收敛。