数列极限：无穷量与待定型

数学分析笔记——总目录

数列极限：无穷量与待定型

无穷量

无穷小量

定义（无穷小量）：设 { x n } \{x_n\} {xn​} 为一数列，若
$$\underset{n\to \infty }{\lim }{x}_n=0，$$
则称数列 { x n } \{x_n\} {xn​} 为 无穷小量。

由数列极限的定义，若数列 { x n } \{x_n\} {xn​} 收敛，且
$$\underset{n\to \infty }{\lim }{x}_n=a，$$
则有
$$\underset{n\to \infty }{\lim }\left(x_n-a\right)=0，$$
即数列 { x n − a } \{x_n-a\} {xn​−a} 是 无穷小量。

无穷大量

定义（无穷大量）：设 { x n } \{x_n\} {xn​} 为数列，若对于任意给定的 $G>0$，存在正整数 $N$，使得当 $n>N$ 时，成立
$$\left|x_n\right|>G，$$
则称数列 { x n } \{x_n\} {xn​} 为 无穷大量，并记作
$$\underset{n\to \infty }{\lim }{x}_n=\infty 。$$

无穷大量 可用符号表示：
$$\forall M>0,\exists N\in {\mathbb{N}}_{+},\forall n>N:\left|x_n\right|>M.$$

无穷大量细分的话，有 正无穷大量 和 负无穷大量。

正无穷大量

定义（正无穷大量）：设 { x n } \{x_n\} {xn​} 为数列，若对于任意给定的 $G>0$，存在正整数 $N$，使得当 $n>N$ 时，成立
$$x_n>G，$$
则称数列 { x n } \{x_n\} {xn​} 为 正无穷大量，并记作
$$\underset{n\to \infty }{\lim }{x}_n=+\infty 。$$

注：不管你有多大，我总能比你大。

负无穷大量

定义（负无穷大量）：设 { x n } \{x_n\} {xn​} 为数列，若对于任意给定的 $G>0$，存在正整数 $N$，使得当 $n>N$ 时，成立
$$x_n<-G，$$
则称数列 { x n } \{x_n\} {xn​} 为 负无穷大量，并记作
$$\underset{n\to \infty }{\lim }{x}_n=-\infty 。$$

注：不管你有多小，我总能比你小。

定号无穷大量

\quad 正无穷大量 和 负无穷大量 统称为 定号无穷大量。

无穷小量与无穷大量的关系

定理：设 $x_n\ne 0$，则数列 { x n } \{x_n\} {xn​} 是无穷大量的充分必要条件是数列 { 1 x n } \{\frac{1}{x_n}\} {xn​1​} 是无穷小量。

证明：

必要性：

\quad 若数列 { x n } \{x_n\} {xn​} 为无穷大量，则 $\forall ϵ>0$，可以取 $G=\frac{1}{ϵ}$，则 $\exists N\in {\mathbb{N}}_{+}$，当 $n>N$ 时成立
$$|x_n|>G=\frac{1}{ϵ}$$
因此
$$\left|\frac{1}{x_n}\right|<ϵ$$
即数列 { 1 x n } \{\frac{1}{x_n}\} {xn​1​} 是无穷小量；

充分性：

\quad 若数列 { 1 x n } \{\frac{1}{x_n}\} {xn​1​} 是无穷小量，则 $\forall M>0$，可取 $ϵ=\frac{1}{M}$，则 $\exists N\in {\mathbb{N}}_{+}$，使得当 $n>N$ 时，成立
$$\left|\frac{1}{x_n}\right|<ϵ=\frac{1}{G}$$
因此
$$\left|x_n\right|>G$$
即数列 { x n } \{x_n\} {xn​} 是无穷大量。

证毕

定理：设 { x n } \{x_n\} {xn​}， { y n } \{y_n\} {yn​} 为两个数列，若数列 { x n } \{x_n\} {xn​} 是无穷大量，$y_n\ge \delta (\delta >0)$，则数列 { x n y n } \{x_ny_n\} {xn​yn​} 也是无穷大量。

证明：

数列 { x n } \{x_n\} {xn​} 是无穷大量，则对于任意给定的 $G>0$，存在正整数 $N$，使得当 $n>N$ 时，$|x_n|>G$。

由 $y_n\ge \delta (\delta >0)$ 得 $x_n{y}_n\ge \delta \cdot x_n$。

因此，对于任意给定的 $G>0$，存在正整数 $N$，使得当 $n>N$ 时，$|x_n{y}_n|>\delta G$。

即数列 { x n } \{x_n\} {xn​} 也是正无穷大量。

证毕

定理：设 { x n } \{x_n\} {xn​}， { y n } \{y_n\} {yn​} 为两个数列，若数列 { x n } \{x_n\} {xn​} 是无穷大量，$\underset{n\to \infty }{\lim }{y}_n=b\ne 0$，则数列 { x n y n } \{x_ny_n\} {xn​yn​} 与数列 { x n y n } \{\frac{x_n}{y_n}\} {yn​xn​​} 也是无穷大量。

证明：

数列 { x n } \{x_n\} {xn​} 是无穷大量，则对于任意给定的 $G>0$，存在正整数 $N_0$，使得当 $n>N_0$ 时，$|x_n|>G$。

$\underset{n\to \infty }{\lim }{y}_n=b\ne 0$，由数列极限的保序性，存在正整数 $N_1$，使得当 $n>N_1$ 时，成立 $y_n>\frac{b}{2}$。

显然，有 $\underset{n\to \infty }{\lim }\frac{1}{y_n}=\frac{1}{b}$，因此，同样由数列极限的保序性，存在正整数 $N_2$，使得当 $n>N_2$ 时，成立 $\frac{1}{y_n}>\frac{1}{2b}$。

因此，取 N = max ⁡ { N 0 , N 1 , N 2 } N=\max \{N_0,N_1,N_2\} N=max{N0​,N1​,N2​}，当 $n>N$ 时显然有
$$|x_n{y}_n|>|b|G,\left|\frac{x_n}{y_n}\right|>\frac{G}{|2b|}$$
即数列 { x n y n } \{x_ny_n\} {xn​yn​} 与数列 { x n y n } \{\frac{x_n}{y_n}\} {yn​xn​​} 均为无穷大量。

证毕

待定型

$\frac{0}{0}$ 型

定义：设 { x n } \{x_n\} {xn​}、 { y n } \{y_n\} {yn​} 为两个数列，若 $\underset{n\to \infty }{\lim }{x}_n=0$，$\underset{n\to \infty }{\lim }{y}_n=0$，则称数列 { x n y n } \{\frac{x_n}{y_n}\} {yn​xn​​} 为 $\frac{0}{0}$ 型的 不定式 或 待定型。

Stolz 定理

定理（Stolz定理）：设 { x n } \{x_n\} {xn​}， { y n } \{y_n\} {yn​} 为两个数列，其中 { y n } \{y_n\} {yn​} 是严格单调增加的正无穷大量，且
$$\underset{n\to \infty }{\lim }\frac{x_n-x_{n-1}}{y_n-y_{n-1}}=a(a\text{可以是有限量、}+\infty \text{与}-\infty )$$
则
$$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a$$

证明：

\quad 由于 { y n } \{y_n\} {yn​} 是严格单调增加的正无穷大量，因此 $y_n-y_{n-1}>0$。

\quad 若 $a=0$，对于 $\forall ϵ>0$，$\exists N_1\in {\mathbb{N}}_{+}$，使得当 $n>N_1$ 时，成立
$$\left|\frac{x_n-x_{n-1}}{y_n-y_{n-1}}\right|<ϵ，$$
即有
$$\left|x_n-y_n\right|<\left|y_n-y_{n-1}\right|ϵ=(y_n-y_{n-1})ϵ。$$

\quad 由于 { y n } \{y_n\} {yn​} 是严格单调增加的正无穷大量，因此 $\exists N_2>N_1,N_2\in {\mathbb{N}}_{+}$，使得$y_{N_2}>0$ ，并且当 $n>N_2$ 时，$y_n>0$。则由三角不等式可得
$$\begin{array}{rl}\left|x_n-y_{N_2}\right|& \le \left|x_n-x_{n-1}\right|+\left|x_{n-1}-x_{n-1}\right|+\cdots +\left|x_{N_2+1}-x_{N_2}\right|\\ & <\left[(y_n-y_{n-1})+(y_{n-1}-y_{n-1})+\cdots +(y_{N_2+1}-y_{N_2})\right]ϵ\\ & =(y_n-y_{N_2})ϵ。\end{array}$$

\quad 不等式两端同除以 $y_n$（$y_n>0$，不等式不变号）,即有
$$\left|\frac{x_n}{y_n}-\frac{x_{N_2}}{y_n}\right|<\left(1-\frac{y_{N_2}}{y_n}\right)ϵ<ϵ。$$

注：由于前面已经要求 $y_{N_2}>0$，因此 $\frac{y_{N_2}}{y_n}>0$，$1-\frac{y_{N_2}}{y_n}<1$。

因此有
$$\left|\frac{x_n}{y_n}\right|<\left|\frac{x_{N_2}}{y_n}\right|+ϵ，$$

\quad 对于固定的 $N_2$，$x_{N_2}$ 是恒定的，由于 $y_n$ 是严格单调增加的正无穷大量，因此 { 1 y n } \{\frac{1}{y_n}\} {yn​1​} 是无穷小量，所以 $N_3>N_2,N_3\in {\mathbb{N}}_{+}$，使得
$$\left|\frac{x_{N_2}}{y_n}\right|<ϵ，$$
从而有：
$$\left|\frac{x_n}{y_n}\right|<\left|\frac{x_{N_2}}{y_n}\right|+ϵ<2ϵ.$$
即
$$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a=0。$$

\quad 若 $a$ 为某一有限量，则可以构造数列 $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 }\left(\frac{x_n-x_{n-1}}{y_n-y_{n-1}}-a\right)=0，$$
由前面的结论知
$$\underset{n\to \infty }{\lim }\frac{x_n^{{}^{\prime }}}{y_n}=0,$$
即有
$$\underset{n\to \infty }{\lim }\left(\frac{x_n}{y_n}-a\right)=0,\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=a。$$

\quad 若 $a=+\infty$，则数列 { x n − x n − 1 y n − y n − 1 } \{\frac{x_n-x_{n-1}}{y_n-y_{n-1}}\} {yn​−yn−1​xn​−xn−1​​} 为正无穷大量，因此数列 { y n − y n − 1 x n − x n − 1 } \{\frac{y_n-y_{n-1}}{x_n-x_{n-1}}\} {xn​−xn−1​yn​−yn−1​​} 为无穷小量，即有
$$\underset{n\to \infty }{\lim }\frac{y_n-y_{n-1}}{x_n-x_{n-1}}=0。$$
\quad 取 $M=1$，则 $\exists N\in {\mathbb{N}}_{+}$，使得当 $n>N$ 时有
$$\left(\frac{x_n-x_{n-1}}{y_n-y_{n-1}}\right)>M=1，$$
即有
$$x_n-x_{n-1}>M(y_n-y_{n-1})=y_n-y_{n-1}>0。$$
因此， { x n } \{x_n\} {xn​} 是严格单调增加。

\quad 而由
$$\begin{array}{rl}{x}_n-x_N& =(x_n-x_{n-1})+(x_{n-1}-x_{n-2})+\cdots +(x_{N+1}-x_N)\\ & <(y_n-y_{n-1})+(y_{n-1}-x_{n-2})+\cdots +(y_{N+1}-y_N)\\ & =y_n-y_N\end{array}$$
知， { x n } \{x_n\} {xn​} 是正无穷大量。

\quad 所以将前面的结论应用到数列 { y n − y n − 1 x n − x n − 1 } \{\frac{y_n-y_{n-1}}{x_n-x_{n-1}}\} {xn​−xn−1​yn​−yn−1​​} 即有：
$$\underset{n\to \infty }{\lim }\frac{y_n}{x_n}=\underset{n\to \infty }{\lim }\frac{y_n-y_{n-1}}{x_n-x_{n-1}}=0。$$
因此
$$\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=+\infty 。$$

\quad 若 $a=-\infty$，则数列 { x n − x n − 1 y n − y n − 1 } \{\frac{x_n-x_{n-1}}{y_n-y_{n-1}}\} {yn​−yn−1​xn​−xn−1​​} 为负无穷大量，同样，数列 { y n − y n − 1 x n − x n − 1 } \{\frac{y_n-y_{n-1}}{x_n-x_{n-1}}\} {xn​−xn−1​yn​−yn−1​​} 为无穷小量，即有
$$\underset{n\to \infty }{\lim }\frac{y_n-y_{n-1}}{x_n-x_{n-1}}=0。$$
\quad 取 $M=-1$，则 $\exists N\in {\mathbb{N}}_{+}$，使得当 $n>N$ 时有
$$\left(\frac{x_n-x_{n-1}}{y_n-y_{n-1}}\right)<M=-1，$$
即有
$$x_n-x_{n-1}<-(y_n-y_{n-1})=y_{n-1}-y_n<0。$$
因此， { x n } \{x_n\} {xn​} 是严格单调减小。

\quad 而由
$$\begin{array}{rl}{x}_n-x_N& =-\left[(x_n-x_{n-1})+(x_{n-1}-x_{n-2})+\cdots +(x_{N+1}-x_N)\right]\\ & <-\left[(y_n-y_{n-1})+(y_{n-1}-x_{n-2})+\cdots +(y_{N+1}-y_N)\right]\\ & =y_N-y_n\end{array}$$
知， { x n } \{x_n\} {xn​} 是负无穷大量，则数列 { − x n } \{-x_n\} {−xn​} 为正无穷大量。

\quad 所以将前面的结论应用到数列 { y n − y n − 1 − ( x n − x n − 1 ) } \{\frac{y_n-y_{n-1}}{-(x_n-x_{n-1})}\} {−(xn​−xn−1​)yn​−yn−1​​} 即有：
$$\underset{n\to \infty }{\lim }\frac{y_n}{-x_n}=\underset{n\to \infty }{\lim }\frac{y_n-y_{n-1}}{-(x_n-x_{n-1})}=\underset{n\to \infty }{\lim }-\frac{y_n-y_{n-1}}{x_n-x_{n-1}}=(-1)\cdot 0=0。$$
因此
$$\underset{n\to \infty }{\lim }\frac{-x_n}{y_n}=+\infty ,\underset{n\to \infty }{\lim }\frac{x_n}{y_n}=-\infty 。$$

证毕

参考文献

[1] 陈纪修，于崇华，金路著. 数学分析 上册. 第2版. 北京：高等教育出版社, 2004.06.
[2] 华东师范大学数学系编. 数学分析 上册. 第4版. 北京：高等教育出版社, 2010.07.