Stolz定理及其证明

Stolz定理及其证明

Stolz定理是一种用于求分数形式数列极限的方法，要求是分母为（从某项起）严格增加的无穷大量，定理形式如下：

设 { y n } \{y_n\} {yn​}是严格单调增加的正无穷大量，且
$$\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}=a,(-\infty \le a\le \infty )$$
则有
$$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a.$$

---

证明：先证明$a=0$的情况。由于
$$\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}=0$$
所以$\forall \epsilon ,\exists N$，使得$\forall n>N$，有$|x_n-x_{n-1}|<\epsilon |y_n-y_{n-1}|=\epsilon (y_n-y_{n-1})$。可以写出如下一些式子：
$$\begin{array}{rl}|x_n-x_{n-1}|<& \epsilon (y_n-y_{n-1}),\\ |x_{n-1}-x_{n-2}|<& \epsilon (y_{n-1}-y_{n-2}),\\ ⋮& \\ |x_{N+2}-x_{N+1}|<& \epsilon (y_{N+2}-y_{N+1}),\\ |x_{N+1}-x_N|<& \epsilon (y_{N+1}-y_N).\end{array}$$
由于$|x_n-x_N|=|(x_n-x_{n-1})+(x_{n-1}-x_{n-2})+\cdots +(x_{N+1}-x_N)|$，所以
$$\begin{array}{rl}|x_n-x_N|=& |(x_n-x_{n-1})+(x_{n-1}-x_{n-2})+\cdots +(x_{N+1}-x_N)|\\ \le & |x_n-x_{n-1}|+|x_{n-1}-x_{n-2}|+\cdots +|x_{N+1}-x_N|\\ <& \epsilon [(y_n-y_{n-1})+(y_{n-1}-y_{n-2})+\cdots +(y_{N+1}-y_N)]\\ =& \epsilon (y_n-y_N).\end{array}$$
不等式两边同时除去$y_n>0$，得到
$$\left|\frac{x_n}{y_n}-\frac{x_N}{y_n}\right|<\epsilon \left(1-\frac{y_N}{y_n}\right)<\epsilon .$$
由于$x_N,y_N$都是常数，所以存在一个$N^{\prime }$，当$n>N^{\prime }$时有$x_N/y_n<\epsilon$，所以
$$\left|\frac{x_n}{y_n}\right|<2\epsilon ,\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=0.$$
这里证明了$a=0$的情况，如果$a\ne 0$但为有限数，则令
$$x_n^{\prime }=x_n-a{y}_n,$$
则
$$\underset{n\to \infty }{\lim }\frac{x_n^{\prime }-x_{n-1}^{\prime }}{y_n-y_{n-1}}=\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}-a(y_n-y_{n-1})}{y_n-y_{n-1}}=\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}-a=0.$$
所以由$a=0$的情况直接推得
$$\underset{n\to \infty }{\lim }\frac{x_n^{\prime }}{y_n}=\underset{n\to \infty }{\lim }\frac{x_n-a{y}_n}{y_n}=\underset{n\to \infty }{\lim }\frac{x_n}{y_n}-a=0,\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a.$$
对于$a=+\infty$，即
$$\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}=+\infty ,$$
那么存在一个$N$，使得$\forall G>0,\forall n>N$，有
$$\frac{x_n-x_{n-1}}{y_n-y_{n-1}}>G,$$
取$G=1$，至少有
$$x_n-x_{n-1}>y_n-y_{n-1}.$$
这说明$x_n$是严格增加的，并且类似地有
$$\begin{array}{rl}{x}_n-x_{n-1}>& y_n-y_{n-1},\\ x_{n-1}-x_{n-2}>& y_{n-1}-y_{n-2},\\ ⋮& \\ x_{N+1}-x_N>& y_{N+1}-y_N.\end{array}$$
累加就得到$x_n-x_N>y_n-y_N$，令$x_N-y_N=C$，则$x_n>y_n-C$，由于$y_n$是无穷大量，$C$是常数，所以$x_n$也是无穷大量。当$a=-\infty$时一样可以类似证明。