数列极限＜2＞——无穷大量

Z from A

已于 2024-05-14 20:43:27 修改

阅读量889

点赞数 25

分类专栏：数学分析之单变量微积分文章标签：学习

于 2023-12-04 18:57:04 首次发布

本文链接：https://blog.csdn.net/qq_45491237/article/details/134772878

版权

数学分析之单变量微积分专栏收录该内容

20 篇文章 0 订阅

订阅专栏

索引

无穷大量

无穷大量

无穷大量的定义

定义2.1 无穷大量

若数列 $\left \{ x_{n} \right \}$ 满足: $\forall G>0$ , $\exists N:\forall n>N$ , $x_{n}>G$ ,则称 $\left \{ x_{n} \right \}$ 为正无穷大量,数列极限为正无穷大,记为 $\lim _{n\to \infty } x_{n}=+\infty$ ;
若数列 $\left \{ x_{n} \right \}$ 满足: $\forall G>0$ , $\exists N:\forall n>N$ , $x_{n}<-G$ ,则称 $\left \{ x_{n} \right \}$ 为负无穷大量,数列极限为负无穷大,记为 $\lim _{n\to \infty } x_{n}=-\infty$ ;
若数列 $\left \{ x_{n} \right \}$ 满足: $\forall G>0$ , $\exists N:\forall n>N$ , $\left | x_{n} \right |>G$ ,则称 $\left \{ x_{n} \right \}$ 为不定号无穷大量数列极限为不定号无穷大,记为 $\lim _{n\to \infty } x_{n}=\infty$ 。
可扩充极限定义,认为无穷大量的极限是正无穷大,负无穷大或不定号无穷大。

定理2.1

$\left \{ x_{n} \right \}$ 是无穷大量当且仅当 $\left \{ \frac{1}{x_{n}} \right \}$ 是无穷小量。
根据无穷小量的定义, $\forall \varepsilon >0$ , $\exists N$ : $\forall n>N$ , $\left | x_{n} \right |< \varepsilon$ ,令 $G=\frac{1}{\varepsilon }$ ,则 $\left | \frac{1}{x_{n} } \right | >G=\frac{1}{\varepsilon }$ , $\left \{ \frac{1}{x_{n}} \right \}$ 是无穷大量。
根据无穷大量的定义, $\forall G >0$ , $\exists N$ : $\forall n>N$ , $\left | x_{n} \right |>G$ ,令 $\varepsilon=\frac{1}{G }$ ,则 $\left | \frac{1}{x_{n} } \right | <\varepsilon=\frac{1}{G }$ , $\left \{ \frac{1}{x_{n}} \right \}$ 是无穷小量。

无穷大量的判定

定理2.2

无穷小量与有界数列的乘积也是无穷小量。相应地,无穷大量与无界数列的乘积也是无穷大量。

定理2.3 Stolz定理

设 $\left \{ x_{n} \right \}$ , $\left \{ y_{n} \right \}$ 是数列,若满足以下条件:
(1)数列 $\left \{ \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} \right \}$ 收敛或是正(负)无穷大量;
(2)数列 $\left \{ y_{n} \right \}$ 是严格递增的正无穷大量。
则 $\left \{ \frac{x_{n} }{y_{n} } \right \}$ 也收敛,且 $\lim_{n \to \infty} \frac{x_{n} }{y_{n} } =\lim_{n \to \infty} \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}}$ 。

以数列 $\left \{ \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} \right \}$ 的极限 $a$ 的不同情形,分类讨论:
<1> $a = 0$ ,
根据数列极限定义, $\forall \varepsilon >0$ , $\exists N_{1}$ : $\forall n>N_{1}$ , $\left | x_{n+1} -x_{n} \right |<\varepsilon \left | y_{n+1}-y_{n} \right |$ ,
因为 $\left \{ y_{n} \right \}$ 是单调递增数列,所以 $y_{n+1}-y_{n}>0$ , $\left | x_{n+1} -x_{n} \right |<\varepsilon\left ( y_{n+1}-y_{n} \right )$ 。
又根据三角不等式:
$\left | x_{n}-x_{N_{1}} \right | =\left | \sum_{i=N_{1}}^{n-1}\left ( x_{i+1} -x_{i} \right ) \right | < \sum_{i=N_{1}}^{n-1 } \left | x_{i+1} -x_{i} \right | < \sum_{i=N_{1}}^{n-1 } \varepsilon \left ( y_{i+1}-y_{i} \right ) < \varepsilon \left ( y_{n}-y_{N_{1}} \right )$
因为 $y_{n+1}-y_{n}>0$ ,所以 $y_{n+1}-y_{N_{1}} =\sum_{i=N_{1}}^{n-1 } \left ( y_{i+1}-y_{i} \right )>0$
不等式两边除以 $y_{n}-y_{N_{1}}$ ,可得 $\left | \frac{ x_{n}-x_{N_{1}}}{y_{n}-y_{N_{1}} } \right | < \varepsilon$ ,
又因为数列 $\left \{ y_{n} \right \}$ 是正无穷大量,所以 $\forall G>0$ , $\exists N_{2}$ : $\forall n> N_{2}$ , $\left | y_{n} \right |>G$ ,令 $G = 0$ ,可得 $\exists N_{2}$ : $\forall n> N_{2}$ , $\left | y_{n} \right |>0$ 。
取 $N=\max \left \{ N_{1} ,N_{2} \right \}$ ,则当 $n > N$ 时, $\left | \frac{x_{n} }{y_{n} } -\frac{x_{N} }{y_{n} } \right |<\varepsilon$ ,
根据三角不等式, $\left | \frac{x_{n} }{y_{n} } \right |<\varepsilon +\left | \frac{x_{N} }{y_{n} } \right |$ ,
因为数列 $\left \{ y_{n} \right \}$ 是正无穷大量,由定理2.1, $\left \{ \frac{1}{y_{n}} \right \}$ 是无穷小量,
而 $x_{N}$ 是有界的常量,所以根据定理2.2, $\left \{ \frac{x_{N} }{y_{n} } \right \}$ 也是无穷小量, $\forall \varepsilon >0$ , $\exists N$ : $\forall n>N$ , $\left | \frac{x_{N} }{y_{n} } \right |<\varepsilon$ , $\left | \frac{x_{n} }{y_{n} } \right |<\varepsilon +\left | \frac{x_{N} }{y_{n} } \right |<2\varepsilon$ 。
综上所述, $\left \{ \frac{x_{n} }{y_{n}} \right \}$ 也是无穷小量,也就是 $\left \{ \frac{x_{n} }{y_{n}} \right \}$ 极限为0。
<2> $a\neq 0$ 且 $a$ 有界
根据定理1.1, $\lim_{n \to \infty} \left ( \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} \right ) =a\Leftrightarrow \lim_{n \to \infty}\left ( \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} -a\right )=0$ 。
右侧等式又可以化简为 $\frac{x_{n+1} -x_{n}-a\left ( y_{n+1}-y_{n} \right ) }{y_{n+1}-y_{n}} =\frac{\left ( x_{n+1}-a y_{n+1} \right ) -\left ( x_{n}-a y_{n}\right ) }{y_{n+1}-y_{n}}$ ,
由此可以构造新数列 $x^{\prime }_{n} = x_{n}-a y_{n}$ ,
$\frac{x_{n+1}^{\prime } -x_{n}^{\prime } }{y_{n+1}-y_{n}}$ 同样满足Stolz定理,所以 $\lim_{n \to \infty}\left ( \frac{x_{n}^{\prime } }{y_{n}} \right ) =\lim_{n \to \infty}\left ( \frac{x_{n}-a y_{n}}{y_{n}} \right )= \lim_{n \to \infty}\left ( \frac{x_{n} }{y_{n} }-a \right )=0$ ,即 $\lim_{n \to \infty} \left ( \frac{x_{n} }{y_{n}} \right ) =a$ 。
<3> $\infty$
由数列极限的保序性, $\exists N$ : $\forall n>N$ , $\frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}}>0$ ,
根据无穷大量定义, $\forall G >0$ , $\exists N$ : $\forall n>N$ , $\frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} >G\Rightarrow x_{n+1} -x_{n} >G\left ( y_{n+1}-y_{n} \right )$ ,
因为 $\left \{ y_{n} \right \}$ 是单调递增数列,所以 $y_{n+1}-y_{n}>0$ , $x_{n+1} -x_{n} >G \left ( y_{n+1}-y_{n} \right )>0$ ,进而 $\left \{ x_{n} \right \}$ 也是单调递增数列。
对不等式所有满足 $n > N$ 的项 $x_{n}$ 进行累加操作:
$\sum_{i=N}^{n-1} \left ( x_{n+1} -x_{n} \right ) > \sum_{i=N}^{n-1}G \left ( y_{n+1} -y_{n} \right )\Leftrightarrow x_{n} -x_{N} >G\left ( y_{n} -y_{N} \right ) \Leftrightarrow x_{n}>G\left ( y_{n} -y_{N} \right )+x_{N}$
因为 $y_{n}$ 是严格递增的正无穷大量,而 $x_{N}$ , $y_{N}$ 是定量,所以 $\left \{ x_{n} \right \}$ 也是正无穷大量。
根据定理2.1, $\lim_{n \to \infty} \frac{x_{n+1} -x_{n} }{y_{n+1}-y_{n}} =+\infty \Leftrightarrow \lim_{n \to \infty} \frac{y_{n+1}-y_{n}}{x_{n+1} -x_{n} } =0$ ,上文又已知数列 $\left \{ x_{n} \right \}$ 是严格递增的正无穷大量,所以引用<1>中的结论, $\lim_{n \to \infty} \frac{y_{n}}{x_{n} } =0$ ,
再次引用定理2.1, $\lim_{n \to \infty} \frac{y_{n}}{x_{n} } =+\infty$ 。
<4> $\infty$
与<3>同理。