关于函数内部是否可以用等价无穷小的问题

关于函数内部是否可以用等价无穷小的问题

作者：小海考研人

例如 ：

$$\underset{x\to 0}{\lim }\frac{\ln \left(e^x-1\right)}{\ln \left(\ln \left(1+x\right)\right)}$$

是否可以用 $e^x-1\sim x$变为： $$\underset{x\to 0}{\lim }\frac{\ln x}{\ln \left(\ln \left(1+x\right)\right)}$$

这里要理解等价其实是做了一步恒等变形：
$$\begin{array}{l}{\lim }_{x\to 0}\frac{\ln \left(e^x-1\right)}{\ln \left(\ln \left(1+x\right)\right)}={\lim }_{x\to 0}\frac{\ln \left(e^x-1\right)}{\ln \left(\ln \left(1+x\right)\right)}\times \frac{\ln x}{\ln x}\\ ={\lim }_{x\to 0}\frac{\ln x}{\ln \left(\ln \left(1+x\right)\right)}\times {\lim }_{x\to 0}\frac{\ln \left(e^x-1\right)}{\ln x}\end{array}$$
这里的关键是 $$\underset{x\to 0}{\lim }\frac{\ln \left(e^x-1\right)}{\ln x}$$
极限是否存在，否则不可拆，且极限值应为1，否则无法省略。所以原问题转化为若 ${\lim }_{x\to 0}\frac{\ln \left(e^x-1\right)}{\ln x}$ 极限值恒为1，则可用等价无穷小。显然对于这题是成立的（使用洛必达计算）。

那么是否所有的情况都成立呢，答案是否定的。例如 ${\lim }_{x\to +\infty }\frac{e^x}{{\left(1+\frac{1}{x}\right)}^{x^2}}$ ，在计算的过程中，
$$\underset{x\to +\infty }{\lim }\frac{e^x}{{\left(1+\frac{1}{x}\right)}^{x^2}}=\underset{x\to +\infty }{\lim }\frac{e^x}{e^{x^2\ln \left(1+\frac{1}{x}\right)}}$$
分母如果使用等价，则会算出错误的答案，其原因是违反了极限的趋向同时性，人为制造先后顺序。

总而言之，读者应记住下面的原则：

① 若 $limA,limB$ 均存在，则可写成$\lim \left(A\cdot B\right)=\lim A\cdot \lim B$，其中 $limA,limB$ 可分别算之，无所谓先后；

② 否则，$\lim \left(A\cdot B\right)\stackrel{\text{不能写成}}{=}\lim A\cdot \lim B$ 。这里，要么 $\lim \left(A\cdot B\right)$ 整体运算，如 ${\lim }_{n\to 0}x\sin \frac{1}{x}=0$ （无穷小量乘以有界变量是无穷小量）；要么 $A\cdot B$ 的极限不存在，如 ${\lim }_{x\to 0}\frac{1}{x}\sin \frac{1}{x}$ 不存在。