0106极限存在准则两个重要的极限-函数与极限

1 夹逼准则

准则1：如果数列 { x n } \{x_n\} {xn​}, { y n } \{y_n\} {yn​}及 { z n } \{z_n\} {zn​}满足以下条件：

（1）从某项起，即$\exists n_0\in N_{+},当n>n_0时，有y_n\le x_n\le z_n$

（2）$\underset{n\to \infty }{\lim }{y}_n=a,\underset{n\to \infty }{\lim }{z}_n=a$

那么数列 { x n } \{x_n\} {xn​}的极限存在，且$\underset{n\to \infty }{\lim }{x}_n=a$

证明：
$$\begin{gathered} 因为\underset{n\to \infty }{\lim }{y}_n=a，所以\forall ϵ>0,\exists N_1\in N_{+},当n>N_1时，有|y_n-a|<ϵ \\ 因为\underset{n\to \infty }{\lim }{z}_n=a，所以对于上述ϵ,\exists N_2\in N_{+},当n>N_2时，有|z_n-a|<ϵ \\ 又因为\exists n_0\in N_{+},当n>n_0时，有y_n\le x_n\le z_n \\ 取N=\max (n_0,N_1,N_2),则当n>N时，有|y_n-a|<ϵ|z_n-a|<ϵy_n\le x_n\le z_n \\ 即a-ϵ<y_n<a+ϵa-ϵ<z_n<a+ϵy_n\le x_n\le z_n \\ 即a-ϵ<y_n\le x_n\le z_n<a+ϵ \\ 即|x_n-a|<ϵ \\ 所以\underset{n\to \infty }{\lim }{x}_n=a \end{gathered}$$

准则$1^{\prime }$ ：如果

（1）当$x\in \stackrel{\circ }{U}(x_0,r)(或|x|>M)$时，$g(x)\le f(x)\le h(x)$

（2）$\underset{x\to x_0}{\lim }g(x)=A,\underset{x\to x_0}{\lim }h(x)=A或者\underset{x\to \infty }{\lim }g(x)=A,\underset{x\to \infty }{\lim }h(x)=A$

那么$\underset{x\to x_0}{\lim }f(x)或者\underset{x\to \infty }{\lim }f(x)存在，且等于A$

准则1和准则$1^{\prime }$ 称为夹逼准则。

• 适用：n项和的数列求极限

2 $\underset{x\to 0}{\lim }\frac{\sin x}{x}$

利用上面的夹逼准则，我们来证明$\underset{x\to 0}{\lim }\frac{\sin x}{x}$极限存在并求出极限。

证明，如图2-1所示单位圆：

$$\begin{gathered} 设圆心角\angle AOB=x，0<x<\frac{\pi }{2},则 \\ \sin x=\frac{AC}{OA}=AC,x=弧AB,且S_{△AOB}<S_{扇形OAB}<S_{△ODB}即， \\ \frac{\sin x}{2}<\frac{x}{2}<\frac{\tan x}{2},整理得 \\ \cos x<\frac{\sin x}{x}<1(6-1) \\ 当-\frac{\pi }{2}<x<0时，\cos x与\frac{\sin x}{x}都不变，所以当0<|x|<\frac{\pi }{2}时，不等式6-1都成立 \\ 当0<|x|<\frac{\pi }{2}时，有0<|1-\cos x|=1-\cos x=2{\sin }^2\frac{x}{2}<2(\frac{x}{2}{)}^2=\frac{x^2}{2}即 \\ 0<1-\cos x<\frac{x^2}{2} \\ 当x\to 0时，\frac{x^2}{2}\to 0,由准则I^{\prime }有\underset{x\to 0}{\lim }\cos x=1 \\ 所以有不等式6-1和准则I^{\prime }有 \\ \underset{x\to 0}{\lim }\frac{\sin x}{x}=1 \end{gathered}$$
$\frac{\sin x}{x}$的图像2-2,：

$\underset{x\to 0}{\lim }\frac{\sin x}{x}=\underset{x\to 0}{\lim }\frac{\tan x}{x}=\underset{x\to 0}{\lim }\frac{\arcsin x}{x}=1$

推广：若$\lim f(x)=0，则\lim \frac{\sin f(x)}{f(x)}=0$

证明：以$x\to x_0为例$
$$\begin{gathered} 令t=f(x)，则当x\to x_0时，有t\to 0则 \\ \underset{x\to x_0}{\lim }\frac{\sin f(x)}{f(x)}=\underset{t\to 0}{\lim }\frac{\sin t}{t}=1 \end{gathered}$$

3 准则二

准则II：单调有界数列必有极限。

如果数列 { x n } \{x_n\} {xn​}满足条件：$x_1\le x_2\le x_3\le \cdots \le x_n\le x_{n+1}\le \cdots$，

就称数列 { x n } \{x_n\} {xn​}是单调增加的；如果数列 { x n } \{x_n\} {xn​}满足条件

$x_1\ge x_2\ge x_3\ge \cdots \ge x_n\ge x_{n+1}\ge \cdots$，

就称数列 { x n } \{x_n\} {xn​}是单调减少的。单调增加和单调减少的数列通常为单调数列。

单调有界定理是数列收敛的充分条件。

例1. 证明数列$\sqrt{2},\sqrt{2+\sqrt{2}},\sqrt{2+\sqrt{2+\sqrt{2}}},\cdots$极限存在，并求出其极限。

$$\begin{gathered} 证明：数列通项x_n=\sqrt{2+x_{n-1}} \\ 第一步先证明数列x_n有界 \\ 利用数学归纳法x_1=\sqrt{2}<2 \\ 假设x_k<2，则 \\ {x}_{k+1}=\sqrt{2+x_k}<\sqrt{2+2}=2所以数列x_n<2即数列x_n有界 \\ 第二步证明数列为单调增加的。x_{n+1}-x_n=\sqrt{2+x_n}-x_n=\frac{(\sqrt{2+x_n}-x_n)(\sqrt{2+x_n}+x_n)}{\sqrt{2+x_n}+x_n} \\ =\frac{(1+x_n)(2-x_n)}{\sqrt{2+x_n}+x_n}，由第一步知道x_n<2,所以 \\ {x}_{n+1}>x_n,即数列x_n为单调增加数列，则由准则II数列x_n极限存在。 \\ 假设数列x_n极限为a，则对等式x_{n+1}=\sqrt{2+x_n}求极限得 \\ \underset{n\to \infty }{\lim }{x}_{n+1}=\underset{n\to \infty }{\lim }\sqrt{2+x_n}，得 \\ a=\sqrt{2+a},解方程式得a=2或者a=-1因为x_1=\sqrt{2}>0且数列为单调增加数列，所以 \\ 数列极限为2，即\underset{n\to \infty }{\lim }{x}_n=2 \end{gathered}$$

• 适用：递推数列，$a_{n+1}=f(a_n)$
• 准则II应用步骤：
  • 有界
  • 单调
  • 如果需要求极限值：建立极限值代数方程，并求解。利用有界确定的范围，对极限取舍。
  • 是先证明有界还是先证明单调根据数列或者函数特点确定，无固定顺序。

准则$I{I}^{{}^{\prime }}$:设函数$f(x)$的某个左邻域内单调且有界，则$f(x)$在$x_0$的左极限$f(x_0^{-})$必定存在。

4 $\underset{x\to \infty }{\lim }(1+\frac{1}{x}{)}^x$

下面考虑x取正整数n而趋于$+\infty$的情形。
$$\begin{gathered} 设x_n=(1+\frac{1}{n}{)}^n,证明数列x_n单调增加并且有界。按二项展开式有， \\ (1+\frac{1}{n}{)}^n=\sum _{k=0}^n{C}_n^k{1}^{n-k}{\frac{1}{n}}^k,其中 \\ {C}_n^k=\frac{n!}{k!(n-k)!},1^{n-k}=1 \end{gathered}$$
$$(1+\frac{1}{n}{)}^n=1+\frac{n}{1!}\cdot \frac{1}{n}+\frac{n(n-1)}{2!}\cdot \frac{1}{n^2}+\cdots +\frac{n(n-1)(n-2)\cdots (n-n+1)}{n!}\cdot \frac{1}{n^n}=$$
$$\begin{gathered} 1+1+\frac{1}{2!}(1-\frac{1}{n})+\cdots +\frac{1}{n!}(1-\frac{1}{n})(1-\frac{2}{n})\cdots (1-\frac{n-1}{n}) \\ 同理得(1+\frac{1}{n}{)}^{n+1}=1+1+\frac{1}{2!}(1-\frac{1}{n+1})+\cdots +\frac{1}{n!}(1-\frac{1}{n+1})(1-\frac{2}{n+1})\cdots (1-\frac{n-1}{n+1})+\frac{1}{(n+1)!}(1-\frac{1}{n+1})(1-\frac{2}{n+1})\cdots (1-\frac{n}{n+1}) \\ 比较x_n和x_{n+1}的展开式，可以看到除前2项之后，x_{n+1}的每一项都大于x_n的对应项，并且x_{n+1}还多了最后一项，其值大于0,因此 \\ {x}_n<x_{n+1} \\ 这就说明数列x_n是单调增加的。把x_n的各项展开式括号中用较大的1代替得， \\ {x}_n\le 1+(1+\frac{1}{2!}+\frac{1}{3!}+\cdots +\frac{1}{n!})\le 1+(1+\frac{1}{2}+\frac{1}{2^2}+\cdots +\frac{1}{2^n}) \\ =3-\frac{1}{2^{n-1}}<3 \\ 这说明数列x_n是有界的。根据极限存在准则II，这个数列x_n的极限是存在的，通常用字母e表示。 \\ \underset{x\to \infty }{\lim }(1+\frac{1}{x}{)}^x=e \end{gathered}$$
注意：

1. $(1+\frac{1}{x}{)}^x$,其中$(1+\frac{1}{x})$为底，$x$为指数，称为幂指函数，一般式为$u(x{)}^{v(x)},u(x)>0$
2. $\underset{x\to \infty }{\lim }(1+\frac{1}{x})=1,\underset{x\to \infty }{\lim }x=\infty$，称为$1^{\infty }$型未定式。
3. $\underset{x\to \infty }{\lim }(1+\frac{1}{x}{)}^x=e\iff \underset{x\to 0}{\lim }(1+x{)}^{\frac{1}{x}}=e$

推广：若$\lim f(x)=0$，则$\lim [1+f(x){]}^{\frac{1}{f(x)}}=e$

5 柯西极限存在准则

柯西极限存在准则 数列$x_n$收敛的充分必要条件是：对于任意给定的正数$ϵ$，存在正整数$N$，使得当$m>N,n>N$时，有

$|x_m-x_n|<ϵ$

6 后记

❓QQ:806797785

⭐️文档笔记地址：https://gitee.com/gaogzhen/math

参考：

[1]同济大学数学系.高等数学 第七版 上册[M].北京:高等教育出版社,2014.7.

[1]黑马程序员.【梨米特】同济七版《高等数学》全程教学视频｜纯干货知识点解析，应该是全网最细｜微积分 | 高数[CP/OL].2020-04-16.p7.