微积分-反函数6.8（不定式和洛必达法则）

洛必达法则指出，对于可导的函数 $f$ 和 $g$，如果：
$$\underset{x\to a}{\lim }f(x)=0\text{ and }\underset{x\to a}{\lim }g(x)=0$$
或
$$\underset{x\to a}{\lim }f(x)=\pm \infty \text{ and }\underset{x\to a}{\lim }g(x)=\pm \infty$$
并且 $g’(x)\ne 0$ 在包含 $a$ 的开放区间上成立，那么：
$$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f’(x)}{g’(x)}$$

例1 求 ${\lim }_{x\to 1}\frac{\ln x}{x-1}$。

解 因为

${\lim }_{x\to 1}\ln x=\ln 1=0$， 且 ${\lim }_{x\to 1}(x-1)=0$，

所以该极限是 $\frac{0}{0}$ 形式的不定式，因此我们可以应用洛必达法则：

${\lim }_{x\to 1}\frac{\ln x}{x-1}={\lim }_{x\to 1}\frac{\frac{d}{dx}(\ln x)}{\frac{d}{dx}(x-1)}={\lim }_{x\to 1}\frac{1/x}{1}={\lim }_{x\to 1}\frac{1}{x}=1$

例2 计算 ${\lim }_{x\to \infty }\frac{e^x}{x^2}$。

解 我们有 ${\lim }_{x\to \infty }{e}^x=\infty$ 且 ${\lim }_{x\to \infty }{x}^2=\infty$，所以极限是 $\frac{\infty }{\infty }$ 形式的不定式，应用洛必达法则给出

$$\underset{x\to \infty }{\lim }\frac{e^x}{x^2}=\underset{x\to \infty }{\lim }\frac{\frac{d}{dx}(e^x)}{\frac{d}{dx}(x^2)}=\underset{x\to \infty }{\lim }\frac{e^x}{2x}$$

因为 $e^x\to \infty$ 且 $2x\to \infty$ 当 $x\to \infty$ 时，右侧的极限也是不定式，但是再次应用洛必达法则给出

$$\underset{x\to \infty }{\lim }\frac{e^x}{x^2}=\underset{x\to \infty }{\lim }\frac{e^x}{2x}=\underset{x\to \infty }{\lim }\frac{e^x}{2}=\infty$$

例3 计算 ${\lim }_{x\to \infty }\frac{\ln x}{\sqrt[3]{x}}$。

解 由于 $\ln x\to \infty$ 且 $\sqrt[3]{x}\to \infty$ 当 $x\to \infty$ 时，可以应用洛必达法则：

$$\underset{x\to \infty }{\lim }\frac{\ln x}{\sqrt[3]{x}}=\underset{x\to \infty }{\lim }\frac{1/x}{\frac{1}{3}{x}^{-2/3}}$$

注意，右侧的极限现在是 $\frac{0}{0}$ 形式的不定式。但我们不需要像例子 2 中那样再次应用洛必达法则，简化表达式后可以看到第二次应用是不必要的：

$$\underset{x\to \infty }{\lim }\frac{\ln x}{\sqrt[3]{x}}=\underset{x\to \infty }{\lim }\frac{1/x}{\frac{1}{3}{x}^{-2/3}}=\underset{x\to \infty }{\lim }\frac{3}{\sqrt[3]{x}}=0$$

例4 求 ${\lim }_{x\to 0}\frac{\tan x-x}{x^3}$。（参见练习 1.5.44）

解 注意到 $\tan x-x\to 0$ 且 $x^3\to 0$ 当 $x\to 0$ 时，我们使用洛必达法则：

$$\underset{x\to 0}{\lim }\frac{\tan x-x}{x^3}=\underset{x\to 0}{\lim }\frac{{\sec }^{2}x-1}{3x^2}$$

由于右侧的极限仍然是 $\frac{0}{0}$ 形式的不定式，我们再次应用洛必达法则：

$$\underset{x\to 0}{\lim }\frac{{\sec }^{2}x-1}{3x^2}=\underset{x\to 0}{\lim }\frac{2{\sec }^{2}x\tan x}{6x}$$

因为 ${\lim }_{x\to 0}{\sec }^{2}x=1$，我们简化计算如下：

$$\underset{x\to 0}{\lim }\frac{2{\sec }^{2}x\tan x}{6x}=\frac{1}{3}\underset{x\to 0}{\lim }{\sec }^{2}x\cdot \underset{x\to 0}{\lim }\frac{\tan x}{x}=\frac{1}{3}\underset{x\to 0}{\lim }\frac{\tan x}{x}$$

我们可以通过第三次应用洛必达法则或将 $\tan x$ 写作 $\frac{\sin x}{\cos x}$ 并使用三角函数极限的知识来计算这个极限。将所有步骤结合起来，我们得到：

$$\underset{x\to 0}{\lim }\frac{\tan x-x}{x^3}=\underset{x\to 0}{\lim }\frac{{\sec }^{2}x-1}{3x^2}=\underset{x\to 0}{\lim }\frac{2{\sec }^{2}x\tan x}{6x}=\frac{1}{3}\underset{x\to 0}{\lim }\frac{\tan x}{x}=\frac{1}{3}\cdot 1=\frac{1}{3}$$

例5 求 ${\lim }_{x\to {\pi }^{-}}\frac{\sin x}{1-\cos x}$。

解 如果我们盲目地尝试使用洛必达法则，我们会得到

$$\underset{x\to {\pi }^{-}}{\lim }\frac{\sin x}{1-\cos x}=\underset{x\to {\pi }^{-}}{\lim }\frac{\cos x}{-\sin x}=-\infty$$

这是错误的！尽管 $\sin x\to 0$ 当 $x\to {\pi }^{-}$ 时，注意到分母 $1-\cos x$ 并没有趋近于 0，因此在此处无法应用洛必达法则。

实际上，这个极限很容易找到，因为该函数在 $\pi$ 处是连续的，并且此时分母不为零：

$$\underset{x\to {\pi }^{-}}{\lim }\frac{\sin x}{1-\cos x}=\frac{\sin \pi }{1-\cos \pi }=\frac{0}{1-(-1)}=0$$

例子 5 展示了如果在没有思考的情况下使用洛必达法则可能会出错。其他极限可以通过洛必达法则找到，但使用其他方法更容易找到。因此，在求任意极限时，你应该在使用洛必达法则之前考虑其他方法。

不定型积

如果 ${\lim }_{x\to a}f(x)=0$ 且 ${\lim }_{x\to a}g(x)=\infty$（或 $-\infty$），那么 ${\lim }_{x\to a}[f(x)g(x)]$ 的值并不明确。$f$ 和 $g$ 之间存在竞争。如果 $f$ 占上风，答案将是 $0$；如果 $g$ 占上风，答案将是 $\infty$（或 $-\infty$）。或者可能存在折中情况，结果是有限的非零数。这种极限称为类型 $0\cdot \infty$ 的不定式。我们可以通过将积 $fg$ 写为一个商来处理它：

$$fg=\frac{f}{1/g}\text{或}fg=\frac{g}{1/f}$$

这将给定的极限转换为类型 $\frac{0}{0}$ 或 $\frac{\infty }{\infty }$ 的不定式形式，从而可以使用洛必达法则。

例6 计算 ${\lim }_{x\to 0^{+}}x\ln x$。

解 给定的极限是不定式，因为当 $x\to 0^{+}$ 时，第一项 $x$ 趋近于 0，而第二项 $\ln x$ 趋近于 $-\infty$。将 $x=1/(1/x)$，我们有 $1/x\to \infty$ 当 $x\to 0^{+}$，因此洛必达法则给出：

$$\underset{x\to 0^{+}}{\lim }x\ln x=\underset{x\to 0^{+}}{\lim }\frac{\ln x}{1/x}=\underset{x\to 0^{+}}{\lim }\frac{1/x}{-1/x^2}=\underset{x\to 0^{+}}{\lim }(-x)=0$$

例6 计算 ${\lim }_{x\to 0^{+}}x\ln x$。

解 给定的极限是不定式，因为当 $x\to 0^{+}$ 时，第一项 $x$ 趋近于 0，而第二项 $\ln x$ 趋近于 $-\infty$。将 $x=1/(1/x)$，我们有 $1/x\to \infty$ 当 $x\to 0^{+}$，因此洛必达法则给出：

$$\underset{x\to 0^{+}}{\lim }x\ln x=\underset{x\to 0^{+}}{\lim }\frac{\ln x}{1/x}=\underset{x\to 0^{+}}{\lim }\frac{1/x}{-1/x^2}=\underset{x\to 0^{+}}{\lim }(-x)=0$$

注意 在解决例子 6 时，另一种可能的选择是写作：

$$\underset{x\to 0^{+}}{\lim }x\ln x=\underset{x\to 0^{+}}{\lim }\frac{x}{1/\ln x}$$

这给出了一个类型为 $ \frac{0}{0} $ 的不定式，但如果我们应用洛必达法则，我们会得到一个比原来更复杂的表达式。通常，当我们重写一个不定式积时，我们尝试选择能够简化极限的选项。

例7 使用洛必达法则帮助绘制函数 $f(x)=x{e}^x$ 的图形。

解 因为 $x$ 和 $e^x$ 都随着 $x\to \infty$ 变大，我们有 ${\lim }_{x\to \infty }x{e}^x=\infty$。然而，当 $x\to -\infty$ 时，$e^x\to 0$，所以我们有一个需要使用洛必达法则处理的不定型积：

$$\underset{x\to -\infty }{\lim }x{e}^x=\underset{x\to -\infty }{\lim }\frac{x}{e^{-x}}=\underset{x\to -\infty }{\lim }\frac{1}{-e^{-x}}=\underset{x\to -\infty }{\lim }(-e^x)=0$$

因此，$x$ 轴是一个水平渐近线。

我们使用第三章中的方法来收集关于图形的其他信息。导数为：

$$f’(x)=x{e}^x+e^x=(x+1)e^x$$

由于 $e^x$ 始终为正，因此当 $x+1>0$ 时，$f’(x)>0$，而当 $x+1<0$ 时，$f’(x)<0$。所以 $f$ 在 $(-1,\infty )$ 上递增，在 $(-\infty ,-1)$ 上递减。因为 $f’(-1)=0$ 且 $f’$ 在 $x=-1$ 处从负变为正，$f(-1)=-e^{-1}\approx -0.37$ 是一个局部（也是绝对的）最小值。二阶导数为：

$$f’’(x)=(x+1)e^x+e^x=(x+2)e^x$$

由于 $f’’(x)>0$ 当 $x>-2$ 且 $f’’(x)<0$ 当 $x<-2$，$f$ 在 $(-2,\infty )$ 上是向上凹的，在 $(-\infty ,-2)$ 上是向下凹的。拐点为 $(-2,-2e^{-2})\approx (-2,-0.27)$。

我们使用这些信息来绘制图 6 中的曲线。

不定型差

如果 ${\lim }_{x\to a}f(x)=\infty$ 且 ${\lim }_{x\to a}g(x)=\infty$，那么极限

$$\underset{x\to a}{\lim }[f(x)-g(x)]$$

被称为类型 $\infty -\infty$ 的不定式。再一次，$f$ 和 $g$ 之间存在竞争。答案会是 $\infty$（$f$ 占上风）还是 $-\infty$（$g$ 占上风），或者他们是否会折中得到一个有限的数字？为了找出答案，我们尝试将差转化为商（例如，使用公分母、理性化或提取公因子）以得到类型 $\frac{0}{0}$ 或 $\frac{\infty }{\infty }$ 的不定式形式。

例8 计算 ${\lim }_{x\to (\pi /2{)}^{-}}(\sec x-\tan x)$。

解 首先注意到当 $x\to (\pi /2{)}^{-}$ 时，$\sec x\to \infty$ 且 $\tan x\to \infty$，所以这个极限是不定式。这里我们使用公分母：

$$\underset{x\to (\pi /2{)}^{-}}{\lim }(\sec x-\tan x)=\underset{x\to (\pi /2{)}^{-}}{\lim }\left(\frac{1}{\cos x}-\frac{\sin x}{\cos x}\right)$$

$$=\underset{x\to (\pi /2{)}^{-}}{\lim }\frac{1-\sin x}{\cos x}=\underset{x\to (\pi /2{)}^{-}}{\lim }\frac{-\cos x}{-\sin x}=0$$

注意，这里洛必达法则的使用是合理的，因为 $1-\sin x\to 0$ 且 $\cos x\to 0$ 当 $x\to (\pi /2{)}^{-}$。

不定型幂

从极限

$$\underset{x\to a}{\lim }[f(x){]}^{g(x)}$$

中产生了几种不定式形式：

• ${\lim }_{x\to a}f(x)=0$ 且 ${\lim }_{x\to a}g(x)=0$ 类型 $0^0$
• ${\lim }_{x\to a}f(x)=\infty$ 且 ${\lim }_{x\to a}g(x)=0$ 类型 ${\infty }^0$
• ${\lim }_{x\to a}f(x)=1$ 且 ${\lim }_{x\to a}g(x)=\pm \infty$ 类型 $1^{\infty }$

每种情况都可以通过取自然对数处理：

设 $y=[f(x){]}^{g(x)}$，则 $\ln y=g(x)\ln f(x)$

或者通过将函数写成指数形式：

$$[f(x){]}^{g(x)}=e^{g(x)\ln f(x)}$$

（回想一下，这两种方法都用于对这种函数求导。）无论使用哪种方法，我们都会得到类型为 $0\cdot \infty$ 的不定式积 $g(x)\ln f(x)$。

例9 计算 ${\lim }_{x\to 0^{+}}(1+\sin 4x{)}^{\cot x}$。

解 首先注意，当 $x\to 0^{+}$ 时，我们有 $1+\sin 4x\to 1$ 且 $\cot x\to \infty$，因此给定的极限是不定式（类型 $1^{\infty }$）。设

$$y=(1+\sin 4x{)}^{\cot x}$$

则

$$\ln y=\ln [(1+\sin 4x{)}^{\cot x}]=\cot x\ln (1+\sin 4x)=\frac{\ln (1+\sin 4x)}{\tan x}$$

所以洛必达法则给出：

$$\underset{x\to 0^{+}}{\lim }\ln y=\underset{x\to 0^{+}}{\lim }\frac{\ln (1+\sin 4x)}{\tan x}=\underset{x\to 0^{+}}{\lim }\frac{4\cos 4x}{1+\sin 4x}\cdot \frac{1}{{\sec }^{2}x}=4$$

到目前为止，我们已经计算了 $\ln y$ 的极限，但我们需要的是 $y$ 的极限。为此，我们利用 $y=e^{\ln y}$：

$$\underset{x\to 0^{+}}{\lim }(1+\sin 4x{)}^{\cot x}=\underset{x\to 0^{+}}{\lim }y=\underset{x\to 0^{+}}{\lim }{e}^{\ln y}=e^4$$

例10 求 ${\lim }_{x\to 0^{+}}{x}^x$。

解 注意到这个极限是不定式，因为 $0^x=0$ 对于任何 $x>0$ 而 $x^0=1$ 对于任何 $x\ne 0$。（回想一下，$0^0$ 是未定义的。）我们可以像例子 9 一样进行处理，或者将该函数写作指数形式：

$$x^x=(e^{\ln x}{)}^x=e^{x\ln x}$$

在例子 6 中，我们使用洛必达法则证明了

$$\underset{x\to 0^{+}}{\lim }x\ln x=0$$

因此，

$$\underset{x\to 0^{+}}{\lim }{x}^x=\underset{x\to 0^{+}}{\lim }{e}^{x\ln x}=e^0=1$$