微积分-微分应用4（渐近线）

之前，我们研究了无穷极限和垂直渐近线。在那里，我们让 $x$ 接近某个数，结果是 $y$ 的值变得任意大（正或负）。在这一节中，我们让 $x$ 变得任意大（正或负），看看 $y$ 会发生什么。当绘制图形时，我们会发现考虑这种所谓的端行为非常有用。

让我们首先研究函数 $f$ 的行为，该函数由以下公式定义

$$f(x)=\frac{x^2-1}{x^2+1}$$

当 $x$ 变得很大时。表格给出了此函数的值，精确到小数点后六位，并且由计算机绘制了 $f $的图。

( x )	( f(x) )
0	-1
±1	0
±2	0.600000
±3	0.800000
±4	0.882353
±5	0.923077
±10	0.980198
±50	0.999200
±100	0.999800
±1000	0.999998

当 $x$ 越来越大时，你可以看到 $f(x)$ 的值越来越接近1。这种情况可以通过以下符号表达

$$\underset{x\to \infty }{\lim }\frac{x^2-1}{x^2+1}=1$$

一般来说，我们使用符号

$$\underset{x\to \infty }{\lim }f(x)=L$$

来表示 $f(x)$ 的值在 $x$ 变得越来越大时接近 $L$。

1 无穷极限的直观定义

假设 $f$ 是定义在某个区间 $(a,\infty )$ 上的函数。那么

$$\underset{x\to \infty }{\lim }f(x)=L$$

意味着我们可以通过取足够大的 $x$ 使得 $f(x)$ 的值可以任意接近 $L$。

另一个表示 ${\lim }_{x\to \infty }f(x)=L$ 的符号是

$$f(x)\to L\text{当}x\to \infty$$

该符号 $\infty$ 并不表示一个具体的数字。然而，表达式 ${\lim }_{x\to \infty }f(x)=L$ 通常读作：

• ”当 $x$ 趋于无穷大时，$f(x)$ 的极限是 $L$“
• 或者 “当 $x$ 无限增大时，$f(x)$ 的极限是 $L$”

图中展示了定义1的几何说明。注意到函数 $f$ 的图形有多种方式趋近于 $y=L$ 这条水平渐近线。

• 第一张图显示函数 $f(x)$ 单调递增接近 $L$。
• 第二张图显示函数 $f(x)$ 单调递减接近 $L$。
• 第三张图显示函数 $f(x)$ 振荡接近 $L$。

定义2

假设 $f$ 是定义在某个区间 $(-\infty ,a)$ 上的函数。那么

$$\underset{x\to -\infty }{\lim }f(x)=L$$

这意味着我们可以通过取足够大的负值 $x$ 使得 $f(x)$ 的值可以任意接近 $L$。

再次强调，符号 $-\infty$ 并不表示一个具体的数字。然而，表达式 ${\lim }_{x\to -\infty }f(x)=L$ 通常读作：

“当 $x$ 趋于负无穷大时，$f(x)$ 的极限是 $L$”

定义2 在图中得到了说明。注意，当我们观察每个图形的最左端时，图形趋近于 $y=L$ 这条线。

下面是通用定义。

定义3

直线 $y=L$ 称为曲线 $y=f(x)$ 的水平渐近线，当且仅当

$$\underset{x\to \infty }{\lim }f(x)=L\text{或者}\underset{x\to -\infty }{\lim }f(x)=L$$

图中所绘的曲线 $y=f(x)$ 具有 $y=-1$ 和 $y=2$ 作为其水平渐近线，因为

$$\underset{x\to \infty }{\lim }f(x)=-1\text{和}\underset{x\to -\infty }{\lim }f(x)=2$$

示例 1 求函数 $f$ 的无穷极限、无穷处的极限和渐近线，该函数的图像如图所示。

解

我们看到，当 $x$ 从两侧接近 -1 时，$f(x)$ 的值变得非常大，所以

$$\underset{x\to -1}{\lim }f(x)=\infty$$

注意到，当 $x$ 从左侧接近 $2$ 时，$f(x)$ 变得非常负，但当 $x$ 从右侧接近 $2$ 时，$f(x)$ 变得非常正。所以

$$\underset{x\to 2^{-}}{\lim }f(x)=-\infty \text{和}\underset{x\to 2^{+}}{\lim }f(x)=\infty$$

因此，直线 $x=-1$ 和 $x=2$ 都是垂直渐近线。

当 $x$ 变得非常大时，$f(x)$ 似乎接近 $4$。但当 $x$ 通过负值减小时，$f(x)$ 接近 $2$。所以

$$\underset{x\to \infty }{\lim }f(x)=4\text{和}\underset{x\to -\infty }{\lim }f(x)=2$$

这意味着 $y=4$ 和 $y=2$ 都是水平渐近线。

示例 2 求以下极限：

$$\underset{x\to \infty }{\lim }\frac{1}{x}\text{和}\underset{x\to -\infty }{\lim }\frac{1}{x}$$

解

注意到当 $x$ 很大时，$\frac{1}{x}$ 很小。例如：

$$\frac{1}{100}=0.01\frac{1}{1,000}=0.001\frac{1}{1,000,000}=0.000001$$

事实上，通过取 $x$ 足够大，我们可以使 $\frac{1}{x}$ 尽可能接近 $0$。因此，根据定义 1，我们有

$$\underset{x\to \infty }{\lim }\frac{1}{x}=0$$

类似的推理表明，当 $x$ 很小时，$\frac{1}{x}$ 也很小，因此我们也有

$$\underset{x\to -\infty }{\lim }\frac{1}{x}=0$$

这表明直线 $y=0$ （$x$ 轴）是曲线 $y=\frac{1}{x}$ 的水平渐近线。（这是一个等轴双曲线；参见图 。）

我们在前面给出的大多数极限法则也适用于无穷极限。特别地，如果我们结合法则 6 和 11 与示例 2 的结果，我们得到以下用于计算极限的重要规则。

定理 4

如果 $r>0$ 是一个有理数，那么
$$\underset{x\to \infty }{\lim }\frac{1}{x^r}=0$$
如果 $r>0$ 是一个有理数，并且 $x^r$ 对所有 $x$ 都定义，那么
$$\underset{x\to -\infty }{\lim }\frac{1}{x^r}=0$$

示例 3 求以下极限，并指出在每个步骤中使用的极限性质：

$$\underset{x\to \infty }{\lim }\frac{3x^2-x-2}{5x^2+4x+1}$$

解

当 $x$ 变得很大时，分子和分母都变得很大，因此很难直接看出它们的比值会发生什么变化。我们需要进行一些初步的代数处理。

为了求任意有理函数在无穷处的极限，首先我们将分子和分母都除以分母中出现的最高次幂的 $x$。（我们可以假设 $x\ne 0$，因为我们只对 $x$ 的大值感兴趣。）在这个例子中，分母中的最高次幂是 $x^2$，所以我们有：

$$\underset{x\to \infty }{\lim }\frac{3x^2-x-2}{5x^2+4x+1}=\underset{x\to \infty }{\lim }\frac{\frac{3x^2-x-2}{x^2}}{\frac{5x^2+4x+1}{x^2}}=\underset{x\to \infty }{\lim }\frac{3-\frac{1}{x}-\frac{2}{x^2}}{5+\frac{4}{x}+\frac{1}{x^2}}$$

根据极限法则 5

$$=\frac{{\lim }_{x\to \infty }\left(3-\frac{1}{x}-\frac{2}{x^2}\right)}{{\lim }_{x\to \infty }\left(5+\frac{4}{x}+\frac{1}{x^2}\right)}$$

根据极限法则 1、2 和 3

$$=\frac{3-{\lim }_{x\to \infty }\frac{1}{x}-{\lim }_{x\to \infty }\frac{2}{x^2}}{5+{\lim }_{x\to \infty }\frac{4}{x}+{\lim }_{x\to \infty }\frac{1}{x^2}}$$

根据定理 7 和定理 4

$$=\frac{3-0-0}{5+0+0}=\frac{3}{5}$$

类似的计算表明，当 $x\to -\infty$ 时，极限也是 $\frac{3}{5}$。图中展示了这些计算的结果，说明了给定有理函数的图形如何接近水平渐近线 $y=\frac{3}{5}=0.6$。

示例 4 求函数图像的水平和垂直渐近线：

$$f(x)=\frac{\sqrt{2x^2+1}}{3x-5}$$

解

将分子和分母都除以 $x$，并使用极限性质，我们有：

$$\begin{array}{rl}\underset{x\to \infty }{\lim }\frac{\sqrt{2x^2+1}}{3x-5}& =\underset{x\to \infty }{\lim }\frac{\sqrt{2x^2+1}/x}{(3x-5)/x}=\underset{x\to \infty }{\lim }\frac{\sqrt{2+\frac{1}{x^2}}}{3-\frac{5}{x}}\\ & =\frac{{\lim }_{x\to \infty }\sqrt{2+\frac{1}{x^2}}}{{\lim }_{x\to \infty }\left(3-\frac{5}{x}\right)}=\frac{\sqrt{{\lim }_{x\to \infty }2+{\lim }_{x\to \infty }\frac{1}{x^2}}}{{\lim }_{x\to \infty }3-5{\lim }_{x\to \infty }\frac{1}{x}}=\frac{\sqrt{2+0}}{3-5\cdot 0}=\frac{\sqrt{2}}{3}\end{array}$$

因此，直线 $y=\frac{\sqrt{2}}{3}$ 是 $f$ 的水平渐近线。

在计算 $x\to -\infty$ 的极限时，我们必须记住，对于 $x<0$，我们有 $\sqrt{x^2}=|x|=-x$。所以当我们将分子除以 $x$ 时，对于 $x<0$ 我们得到：

$$\frac{\sqrt{2x^2+1}}{x}=\frac{\sqrt{2x^2+1}}{-\sqrt{x^2}}=-\frac{\sqrt{2x^2+1}}{x}=-\sqrt{2+\frac{1}{x^2}}$$

因此，

$$\underset{x\to -\infty }{\lim }\frac{\sqrt{2x^2+1}}{3x-5}=\underset{x\to -\infty }{\lim }\frac{-\sqrt{2+\frac{1}{x^2}}}{3-\frac{5}{x}}=-\frac{\sqrt{2+\frac{1}{x^2}}}{3-\frac{5}{x}}=-\frac{\sqrt{2+0}}{3-5\cdot 0}=-\frac{\sqrt{2}}{3}$$

因此，直线 $y=-\frac{\sqrt{2}}{3}$ 也是水平渐近线。

垂直渐近线可能出现在分母 $3x-5=0$ 的地方，即当 $x=\frac{5}{3}$ 时。如果 $x$ 接近 $\frac{5}{3}$ 并且 $x>\frac{5}{3}$，那么分母接近 $0$ 并且 $3x-5$ 为正。分子 $\sqrt{2x^2+1}$ 始终为正，因此 $f(x)$ 为正。因此，

$$\underset{x\to (5/3{)}^{+}}{\lim }\frac{\sqrt{2x^2+1}}{3x-5}=\infty$$

（注意当 $x\to 5/3$ 时分子不趋向 $0$。）

如果 $x$ 接近 $\frac{5}{3}$ 但 $x<\frac{5}{3}$，那么 $3x-5<0$ 并且 $f(x)$ 的绝对值很大。因此，

$$\underset{x\to (5/3{)}^{-}}{\lim }\frac{\sqrt{2x^2+1}}{3x-5}=-\infty$$

因此，垂直渐近线是 $x=\frac{5}{3}$。这些渐近线如图所示。

示例 5 计算极限：

$$\underset{x\to \infty }{\lim }(\sqrt{x^2+1}-x)$$

解

因为当 $x$ 很大时，$\sqrt{x^2+1}$ 和 $x$ 都很大，所以很难看出它们的差值会发生什么变化。因此，我们使用代数来重写函数。首先将分子和分母乘以共轭根式：

$$\begin{array}{rl}\underset{x\to \infty }{\lim }(\sqrt{x^2+1}-x)& =\underset{x\to \infty }{\lim }(\sqrt{x^2+1}-x)\cdot \frac{\sqrt{x^2+1}+x}{\sqrt{x^2+1}+x}\\ & =\underset{x\to \infty }{\lim }\frac{(x^2+1)-x^2}{\sqrt{x^2+1}+x}=\underset{x\to \infty }{\lim }\frac{1}{\sqrt{x^2+1}+x}\end{array}$$

注意到最后一个表达式的分母（$\sqrt{x^2+1}+x$）在 $x\to \infty$ 时变得很大（它比 $x$ 大）。所以：

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

图说明了这个结果。

示例 6 计算极限：

$$\underset{x\to \infty }{\lim }\sin \frac{1}{x}$$

解

如果令 $t=\frac{1}{x}$，则当 $x\to \infty$ 时，$t\to 0^{+}$。因此：

$$\underset{x\to \infty }{\lim }\sin \frac{1}{x}=\underset{t\to 0^{+}}{\lim }\sin t=0$$

示例 7 计算极限：

$$\underset{x\to \infty }{\lim }\sin x$$

解

随着 $x$ 的增加，$\sin x$ 的值在 $1$ 和 $-1$ 之间无限次地振荡，因此它们不会趋向于任何确定的数值。因此，${\lim }_{x\to \infty }\sin x$ 不存在。

无穷处的无穷极限

记号

$$\underset{x\to \infty }{\lim }f(x)=\infty$$

用于表示当 $x$ 变大时，$f(x)$ 的值变大。类似的意义适用于以下符号：

$$\underset{x\to -\infty }{\lim }f(x)=\infty \underset{x\to \infty }{\lim }f(x)=-\infty \underset{x\to -\infty }{\lim }f(x)=-\infty$$

示例 8 求以下极限：${\lim }_{x\to \infty }{x}^3{\lim }_{x\to -\infty }{x}^3$

解

当 $x$ 变得很大时，$x^3$ 也会变得很大。例如，

$$10^3=1000100^3=1,000,0001000^3=1,000,000,000$$

事实上，通过使 $x$ 足够大，我们可以使 $x^3$ 尽可能大。因此我们可以写

$$\underset{x\to \infty }{\lim }{x}^3=\infty$$

类似地，当 $x$ 变得很小时，$x^3$ 也会变得很小。因此，

$$\underset{x\to -\infty }{\lim }{x}^3=-\infty$$

这些极限陈述也可以从 $y=x^3$ 的图形中看到。

示例 9 求以下极限：${\lim }_{x\to \infty }(x^2-x)$

解

如果写成：

$$\underset{x\to \infty }{\lim }(x^2-x)=\underset{x\to \infty }{\lim }{x}^2-\underset{x\to \infty }{\lim }x=\infty -\infty$$

这是错误的。因为无穷极限无法应用于极限法则，因为 $\infty$ 不是一个数（$\infty -\infty$ 无法定义）。

然而，我们可以写成：

$$\underset{x\to \infty }{\lim }(x^2-x)=\underset{x\to \infty }{\lim }x(x-1)=\infty$$

因为 $x$ 和 $x-1$ 都变得任意大，所以它们的乘积也会变得任意大。

示例 10 求以下极限：${\lim }_{x\to \infty }\frac{x^2+x}{3-x}$

解

如示例 3 中所示，我们将分子和分母都除以分母中的最高次幂的 $x$，即 $x$：

$$\underset{x\to \infty }{\lim }\frac{x^2+x}{3-x}=\underset{x\to \infty }{\lim }\frac{\frac{x^2+x}{x}}{\frac{3-x}{x}}=\underset{x\to \infty }{\lim }\frac{x+1}{\frac{3}{x}-1}$$

因为 $x+1\to \infty$ 并且 $\frac{3}{x}-1\to 0-1=-1$ 当 $x\to \infty$，所以：

$$\underset{x\to \infty }{\lim }\frac{x+1}{\frac{3}{x}-1}=-\infty$$

下一个示例表明，通过在无穷处使用无穷极限，结合截距，我们可以在不计算导数的情况下对多项式的图形有一个大致的了解。

示例 11 通过找到截距及其在 $x\to \infty$ 和 $x\to -\infty$ 时的极限，绘制函数 $y=(x-2{)}^4(x+1{)}^3(x-1)$ 的图像。

解

$y$ 轴截距是 $f(0)=(-2{)}^4\cdot 1^3\cdot (-1)=-16$，x 轴截距通过设 $y=0$ 得出：$x=2$, $-1$, $1$。注意，由于 $(x-2{)}^4$ 永远为非负，因此函数在$2$处不改变符号；因此图像不会在$2$处穿过 $x$ 轴。图像在 $-1$ 和 $1$ 处穿过 $x$ 轴。

当 $x$ 很大时，三个因子都很大，因此

$$\underset{x\to \infty }{\lim }(x-2{)}^4(x+1{)}^3(x-1)=\infty$$

当 $x$ 很小时，第一个因子很大正值，第二和第三个因子都很大负值，因此

$$\underset{x\to -\infty }{\lim }(x-2{)}^4(x+1{)}^3(x-1)=\infty$$

结合这些信息，我们给出了图像的粗略草图。

精确定义

定义 1 可以精确地表述如下：

5 无穷处极限的精确定义

令 $f$ 为定义在某个区间 $(a,\infty )$ 上的函数。那么
$$\underset{x\to \infty }{\lim }f(x)=L$$
意味着对于每一个 $ϵ>0$，存在一个对应的数 $N$，使得
$$如果x>N则|f(x)-L|<ϵ$$

用文字来说，这表示 $f(x)$ 的值可以通过要求 $x$ 足够大（大于某个数 $N$，其中 $N$ 依赖于 $ϵ$），使其任意接近 $L$（在距离 $ϵ$ 之内，其中 $ϵ$ 是任何正数）。在图形上，这表示通过保持 $x$ 足够大（大于某个数 $N$），我们可以使 $f$ 的图像位于给定的水平线 $y=L-ϵ$ 和 $y=L+ϵ$ 之间，如图所示。无论我们选择多小的 $ϵ$，这必须都是真的。

相似的，定义 2 可以表述如下：

6 定义

令 $f$ 为定义在某个区间 $(-\infty ,a)$ 上的函数。那么
$$\underset{x\to -\infty }{\lim }f(x)=L$$
意味着对于每一个 $ϵ>0$，存在一个对应的数 $N$，使得
$$如果x<N则|f(x)-L|<ϵ$$

示例 12 使用图形找到一个数 ( N ) 使得：

$$如果x>N则\left|\frac{3x^2-x-2}{5x^2+4x+1}-0.6\right|<0.1$$

解

我们将给定的不等式重写为：

$$0.5<\frac{3x^2-x-2}{5x^2+4x+1}<0.7$$

我们需要确定对于哪些 $x$ 值给定的曲线位于水平线 $y=0.5$ 和 $y=0.7$ 之间。因此，我们在图中绘制曲线和这些水平线。然后使用光标估计曲线在 $y=0.5$ 处交叉时 $x\approx 6.7$。在这个数值的右侧，曲线似乎位于 $y=0.5$ 和 $y=0.7$ 之间。为了安全起见，我们可以四舍五入为：

$$如果x>7则\left|\frac{3x^2-x-2}{5x^2+4x+1}-0.6\right|<0.1$$

换句话说，对于 $ϵ=0.1$，我们可以选择 $N=7$（或任何更大的数值）在定义 5 中。

示例 13

使用定义 5 来证明 ${\lim }_{x\to \infty }\frac{1}{x}=0$。

解

给定 $ϵ>0$，我们想找到 $N$ 使得：

$$如果x>N则\left|\frac{1}{x}-0\right|<ϵ$$

在计算极限时，我们可以假设 $x>0$。那么 $\frac{1}{x}<ϵ$ 当且仅当 $x>\frac{1}{ϵ}$。让我们选择 $N=\frac{1}{ϵ}$。因此：

$$如果x>N=\frac{1}{ϵ}则\left|\frac{1}{x}-0\right|=\frac{1}{x}<ϵ$$

因此，根据定义 5，

$$\underset{x\to \infty }{\lim }\frac{1}{x}=0$$

图通过展示一些 $ϵ$ 值和相应的 $N$ 值来说明这一证明。

7 无穷处无穷极限的定义

令 $f$ 为定义在某个区间 $(a,\infty )$ 上的函数。那么
$$\underset{x\to \infty }{\lim }f(x)=\infty$$
意味着对于每一个正数 $M$，存在一个对应的正数 $N$，使得：
$$如果x>N则f(x)>M$$

当符号 $\infty$ 被 $-\infty$ 替代时，也适用类似的定义。