0107无穷小的比较-函数与极限

1 定义

无穷小之比的比较，反应了不同无穷小趋于零的“快慢”程度。

如果$\lim \frac{\beta }{\alpha }=0$，那么就说$\beta$是比$\alpha$高阶的无穷小，记做$\beta =o(\alpha )$;

如果$\lim \frac{\beta }{\alpha }=\infty$，那么就说$\beta$是比$\alpha$低阶的无穷小;

如果$\lim \frac{\beta }{\alpha }=c\ne 0$，那么就说$\beta$与$\alpha$是同阶无穷小;

如果$\lim \frac{\beta }{{\alpha }^k}=c\ne 0,k>0$，那么就说$\beta$是关于$\alpha$的$k$阶的无穷小;

如果$\lim \frac{\beta }{\alpha }=1$，那么就说$\beta$与$\alpha$是等价无穷小，记做$\beta$~$\alpha$;

2 性质

无穷小的等价关系。

1. 自反性，$\alpha \sim \alpha$。
2. 对称性，$\alpha \sim \beta \Rightarrow \beta \sim \alpha$。
3. 传递性，$\alpha \sim \beta ,\beta \sim \gamma \Rightarrow \alpha \sim \gamma$

证明：
$$\begin{gathered} 对称性 \\ 已知\lim \frac{\beta }{\alpha }=1 \\ \lim \frac{\alpha }{\beta }=\lim \frac{1}{\frac{\beta }{\alpha }}=1,所以\beta \sim \alpha \\ 传递性 \\ 已知\alpha \sim \beta ,\beta \sim \gamma ，即 \\ \lim \frac{\beta }{\alpha }=1,\lim \frac{\gamma }{\beta }=1 \\ \lim \frac{\gamma }{\alpha }=\lim \frac{\gamma }{\beta }\cdot \frac{\beta }{\alpha }=1 \\ 所以\alpha \sim \gamma \end{gathered}$$

3 定理1

$\beta 与\alpha$是等价无穷小的充分必要条件为$\beta =\alpha +o(\alpha )$

证明：
$$\begin{gathered} \Rightarrow 必要性 \\ 设\alpha \sim \beta ,则 \\ \lim \frac{\beta -\alpha }{\alpha }=\lim (\frac{\beta }{\alpha }-1)=0, \\ 因此\beta -\alpha =o(\alpha )即\beta =\alpha +o(\alpha ) \\ \Leftarrow 充分性 \\ 设\beta =\alpha +o(\alpha )，则 \\ \lim \frac{\beta }{\alpha }=\lim \frac{\alpha +o(\alpha )}{\alpha }=\lim [1+\frac{o(\alpha )}{\alpha }]=1 \\ 因此\alpha \sim \beta \end{gathered}$$

• 注：用等价无穷小可以给出函数的近似表达式，即$\beta \approx \alpha$,误差为$o(\alpha )$。

4 定理2

定理2也称等价无穷小的替换定理。

设$\alpha \sim \hat{\alpha },\beta \sim \hat{\beta }$，且$\lim \frac{\hat{\beta }}{\hat{\alpha }}$存在，则$\lim \frac{\beta }{\alpha }=\lim \frac{\hat{\beta }}{\hat{\alpha }}$

证明：
$$\lim \frac{\beta }{\alpha }=\lim (\frac{\hat{\beta }}{\beta }\cdot \frac{\beta }{\alpha }\cdot \frac{\alpha }{\hat{\alpha }})=\lim \frac{\hat{\beta }}{\hat{\alpha }}$$

• 注意
  • 前提：$\lim \frac{\hat{\beta }}{\hat{\alpha }}$存在，如果不存在，则不成立。
  • 求两个无穷小之比的极限时，分子和分母都可以用等价无穷小来替换。

5 常用等价无穷小

$$\begin{gathered} 当x\to 0时 \\ \sin x\sim x\tan x\sim x\arcsin x\sim x\arctan x\sim x \\ 1-\cos x\sim \frac{1}{2}{x}^2 \\ {e}^x-1\sim x{a}^x-1\sim x\ln a \\ \ln (1+x)\sim x(1+x{)}^{\alpha }-1\sim \alpha x(\alpha \in R) \end{gathered}$$

• 注意：x可替换为f(x),f(x)为无穷小。示例$\sin 2x\sim 2x$。
• 有些等价无穷小前面已经证明，未证明的在学习初等函数连续性之后给与证明。

6 例题

例1  $\underset{x\to 0}{\lim }\frac{\sin 3x}{\tan 4x}=\underset{x\to 0}{\lim }\frac{3x}{4x}=\frac{3}{4}$

例2   $\underset{x\to 0}{\lim }\frac{e^{2x}-1}{\sin 3x}=\underset{x\to 0}{\lim }\frac{2x}{3x}=\frac{2}{3}$

例3 $ 当x\to 0时，$    $ (1+x)^\frac{1}{n}-1\sim\frac{1}{n}x$ 

证明：
$$\begin{gathered} 分子有理化相关公式： \\ {a}^n-1=(a-1)(a^{n-1}+a^{n-2}+\cdots +1) \\ {a}^n-b^n=(a-b)(a^{n-1}+a^{n-2}b+a^{n-3}{b}^2+\cdots +a{b}^{n-2}+b^{n-1}),所以 \\ (1+x{)}^{\frac{1}{n}}-1=\frac{(1+x{)}^{\frac{n}{n}}-1}{(1+x{)}^{\frac{n-1}{n}}+(1+x{)}^{\frac{n-2}{n}}+\cdots +1}=\frac{x}{(1+x{)}^{\frac{n-1}{n}}+(1+x{)}^{\frac{n-2}{n}}+\cdots +1} \\ \underset{x\to 0}{\lim }\frac{(1+x{)}^{\frac{1}{n}}-1}{\frac{1}{n}x}=\underset{x\to 0}{\lim }\frac{n}{(1+x{)}^{\frac{n-1}{n}}+(1+x{)}^{\frac{n-2}{n}}+\cdots +1}=1, \\ 因此当x\to 0时，有(1+x{)}^{\frac{1}{n}}-1\sim \frac{1}{n}x \end{gathered}$$
例4：  $\underset{x\to 0}{\lim }\frac{(1+x^2{)}^{\frac{1}{3}}-1}{1-\cos x}=\underset{x\to 0}{\lim }\frac{\frac{1}{3}{x}^2}{\frac{1}{2}{x}^2}=\frac{2}{3}$

例5： $\underset{x\to 0}{\lim }\frac{x-1}{x\ln x}=\underset{x\to 0}{\lim }\frac{x-1}{x(x-1)}=1$

例6： $\underset{x\to 0}{\lim }\frac{\tan x\sin x}{e^{x^3}-1}=\underset{x\to 0}{\lim }\frac{\tan x(1-\cos x)}{x^3}=\underset{x\to 0}{\lim }\frac{x\cdot (\frac{1}{2}{x}^2)}{x^3}=\frac{1}{2}$

• 注意事项：

  • 等价无穷小求极限时，对相乘或者相除的因子可替换，而对于相加减的部分不能随意替换。

  • 相加减替换条件
    $$\begin{gathered} 若\lim \frac{{\beta }_1}{\alpha }存在，\lim \frac{{\beta }_2}{\alpha }存在，且{\beta }_1\sim {\beta }_1^{‘},{\beta }_2\sim {\beta }_2^{‘}，则 \\ \lim \frac{{\beta }_1+{\beta }_2}{\alpha }=\lim \frac{{\beta }_1}{\alpha }+\lim \frac{{\beta }_2}{\alpha }=\lim \frac{{\beta }_1^{‘}+{\beta }_2^{‘}}{\alpha } \end{gathered}$$

例7： $\underset{x\to 0}{\lim }(\cot x-\frac{e^{2x}}{\sin x})=\underset{x\to 0}{\lim }(\frac{\cos x}{\sin x}-\frac{e^{2x}-1}{\sin x}-\frac{1}{\sin x})=\underset{x\to 0}{\lim }(\frac{\cos x-1}{\sin x}-\frac{e^{2x}-1}{\sin x})=-2$

• 注意事项2：
  • 不是所有的无穷小都可以比较

示例： $\underset{x\to +\infty }{\lim }f(x)=\underset{x\to +\infty }{\lim }\frac{1}{x}=0,\underset{x\to +\infty }{\lim }g(x)=\underset{x\to +\infty }{\lim }\frac{\sin x}{x}=0,则\underset{x\to +\infty }{\lim }\frac{g(x)}{f(x)}=\underset{x\to +\infty }{\lim }\sin x不存在$

6 后记

❓QQ:806797785

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

参考：

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

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