1.3自变量趋于无穷大时的函数极限【极限】

1.3自变量趋于无穷大时的函数极限

引例

引例1 电池充电速度

假设你在给手机充电，一开始充电速度非常快，但随着电池电量的增加，充电速度逐渐变慢，直到接近满电时充电几乎停止。

假设 $f(t)=\frac{100t}{t+5}$ ，其中 $t$ 表示充电时间，$f(t)$ 表示电池电量的百分比。随着充电时间 $t$ 的增加，电池电量 $f(t)$ 越来越接近 100%。

充电时间可以无限延长，即 $t\to +\infty$ 时，电池电量 $f(t)$ 的极限：
$$\underset{t\to +\infty }{\lim }f(t)=\underset{t\to +\infty }{\lim }\frac{100t}{t+5}=\underset{t\to +\infty }{\lim }\frac{100}{1+\frac{5}{t}}=100$$
尽管可以不断延长充电时间，但电量不会超过 $100\%$。因此，极限是一个固定值 $100$，而不是无限增加。

引例2 物理中的平方反比定律

引力场强度

对于一个质量为 $M$ 的天体产生的引力场，距离天体中心距离为 $r$ 的位置，其引力场强度大小 $\mathbf{g}=\frac{GM}{r^2}$ 。

其中：

• $G$ 是万有引力常数，数值约为 $6.674\times 10^{-11}\text{N}\cdot {\text{m}}^2/{\text{kg}}^2$。
• $M$ 是产生引力场场源的天体质量。
• $r$ 是该点到天体质心的距离，远大于天体自身的半径。

距离 $r$ 可以无限远，即 $r\to \infty$ 时，引力场强度大小 $g$ 的极限：
$$\underset{r\to \infty }{\lim }g=\underset{r\to \infty }{\lim }\frac{GM}{r^2}=0$$
因为公式中的 $r$ 平方了之后，不论取正值还是负值结果都一样，所以这里的 $\infty$ 符号前面没有 $+$ 号或者 $-$ 号，表示同时包含了两种情况。即：如果选定了 $r$ 的正方向，不论 $r$ 趋向正无穷还是负无穷，结果都为零。

电场强度

对于一个点电荷 $Q$ 产生的电场，距离点电荷距离为 $r$ 的位置电场强度大小 $E=\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}$

其中：

• $Q$ 是产生电场的点电荷，单位是库仑（C）。
• $r$ 是从点电荷到该点的距离，单位是米（m）。
• ${\epsilon }_0$ 是真空中的介电常数，数值约为 $8.854\times 10^{-12}\text{F/m}$（法拉每米）。
• $\frac{1}{4\pi {\epsilon }_0}$ 是库仑常数，数值约为 $8.99\times 10^9\text{N}\cdot {\text{m}}^2/{\text{C}}^2$。

距离 $r$ 可以无限远，即 $r\to \infty$ 时，电场强度大小 $E$ 的极限：
$$\underset{r\to \infty }{\lim }E=\underset{r\to \infty }{\lim }\frac{1}{4\pi {\epsilon }_0}\frac{Q}{r^2}=0$$
与引力场强度大小类似，如果选定了 $r$ 的正方向，不论距离 $r$ 趋向正无穷还是负无穷，结果都为 $0$ 。

概念和定义

概念

首先有一些基本概念需要注意：

• 在数列极限中 $n\to \infty$ 仅表示 $n$ 趋向正无穷，因为数列项数不可能为负。

• 在部分欧美教材中，$x\to \infty$ 仅表示 $x\to +\infty$ ，表示同时考虑两种情况时使用 $x\to \pm \infty$ 。

• 在同济版《高等数学》教材和考研当中，$x\to \infty$ 包含了 $x\to +\infty$ 和 $x\to -\infty$ 两种情况。

  （本教程采用这种表示方式。）

自变量趋于无穷大时的函数极限的概念：

如果在 $x\to \infty$ 的过程中，对应的函数值 $f(x)$ 无限接近于确定的数值 $A$ ，那么 $A$ 叫做函数 $f(x)$ 当 $x\to \infty$ 时的极限。即：

$$\underset{x\to \infty }{\lim }f(x)=A$$
这里我们假定了函数 $f(x)$ 在点 $x\to \infty$ 的过程中处处有定义。

• 函数值 $f(x)$ 无限接近于 $A$ 的精确定义与前面一样，即：

  $|f(x)-A|<\epsilon$ ，其中 $\epsilon$ 是任意给定的正数。

• 若能找到一个位置 $X$，在 $X$ 之后的所有函数值都满足 $|f(x)-A|<\epsilon$，则 $A$ 是 $x\to \infty$ 时取到的极限。

通过以上分析，我们可以得出 $x\to \infty$ 时函数极限的精确定义如下。

定义

定义1（$x\to \infty$）

设函数 $f(x)$ 当 $|x|$ 大于某一正数时有定义。如果存在常数 $A$ ，对于任意给定的正数 $\epsilon$ (不论它多么小)，总存在着正数 $X$ ，使得当 $x$ 满足不等式 $|x|>X$ 时，对应的函数值 $f(x)$ 都满足不等式
$$|f(x)-A|<\epsilon$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x\to \infty$ 时的极限，记作
$$\underset{x\to \infty }{\lim }f(x)=A\text{ 或 }f(x)\to A(\text{ 当 }x\to \infty )\text{. }$$
用数学语言更简洁地表述为：
$$\underset{x\to \infty }{\lim }f(x)=A\iff \forall \epsilon >0,\exists X>0\text{, 当 }|x|>X\text{ 时, 有 }|f(x)-A|<\epsilon \text{. }$$
注意：

$x\to \infty$ 时函数极限为 $A$，等价于 $x\to +\infty$ 和 $x\to -\infty$ 时函数极限都为 $A$ ，即：

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

所以定义1中是 $|x|>X$ ，而不是 $x>X$ 。

定义2（$x\to +\infty$）

设函数 $f(x)$ 当 $x$ 大于某一正数时有定义。如果存在常数 $A$ ，对于任意给定的正数 $\epsilon$ (不论它多么小)，总存在着正数 $X$ ，使得当 $x$ 满足不等式 $x>X$ 时，对应的函数值 $f(x)$ 都满足不等式
$$|f(x)-A|<\epsilon$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x\to +\infty$ 时的极限，记作
$$\underset{x\to +\infty }{\lim }f(x)=A\text{ 或 }f(x)\to A(\text{ 当 }x\to +\infty )\text{. }$$
用数学语言更简洁地表述为：
$$\underset{x\to +\infty }{\lim }f(x)=A\iff \forall \epsilon >0,\exists X>0\text{, 当 }x>X\text{ 时, 有 }|f(x)-A|<\epsilon \text{. }$$

注意：

1. 如果 $x>0$ 且无限增大 ( $x\to +\infty$ )，那么只要把上面定义1中的 $|x|>X$ 改为 $x>X$ ，就得到定义2中$\underset{x\to +\infty }{\lim }f(x)=A$ 的定义。
2. 函数自变量趋于正无穷大时的极限定义和数列的极限定义有什么相同点和不同点呢？
   • 相同点：两个定义中，自变量都是趋向正无穷大，数列的自变量是项数 $n$，项数 $n$ 趋向无穷就是正无穷，数列项数不可能为负。
   • 不同点：数列极限的定义中的项数 $n$ 只能为正整数，是离散取值；函数极限的定义中的自变量 $x$ 是连续的取值。

定义3（$x\to -\infty$）

设函数 $f(x)$ 当 $x$ 小于某一负数时有定义。如果存在常数 $A$ ，对于任意给定的正数 $\epsilon$ (不论它多么小)，总存在着正数 $X$ ，使得当 $x$ 满足不等式 $x<-X$ 时，对应的函数值 $f(x)$ 都满足不等式
$$|f(x)-A|<\epsilon$$
那么常数 $A$ 就叫做函数 $f(x)$ 当 $x\to -\infty$ 时的极限，记作
$$\underset{x\to -\infty }{\lim }f(x)=A\text{ 或 }f(x)\to A(\text{ 当 }x\to -\infty )\text{. }$$
用数学语言更简洁地表述为：
$$\underset{x\to -\infty }{\lim }f(x)=A\iff \forall \epsilon >0,\exists X>0\text{, 当 }x<-X\text{ 时, 有 }|f(x)-A|<\epsilon \text{. }$$

注意

1. 如果 $x<0$ 且 $|x|$ 无限增大 ($x\to -\infty$) ，那么只要把定义1中的 $|x|>X$ 改为 $x<-X$ ，就得到定义3中$\underset{x\to -\infty }{\lim }f(x)=A$ 的定义。
2. 在坐标轴上，$x\to +\infty$ 是向右趋向无穷，$x\to -\infty$ 是向左趋向无穷，但是在各类高等数学教科书中并未将此定义为左右极限，左右极限仅仅是针对自变量趋向有限值而言。有时将这两种情况表述为左右极限仅仅是为了表述方便，但并不是正式的定义。

几何意义

$\underset{x\to \infty }{\lim }f(x)=A$ 的几何解释如下：

• 作直线 $y=A-\epsilon$ 和 $y=A+\epsilon$ ，则总有一个正数 $X$ 存在，使得当 $x<-X$ 或 $x>X$ 时，函数 $y=f(x)$ 的图形位于这两直线之间。
• 直线 $y=A$ 是函数 $y=f(x)$ 的图形的水平渐近线。

示例1：$x\to \infty$

$\underset{x\to \infty }{\lim }f(x)=\underset{x\to \infty }{\lim }\frac{1}{x}=0$，$y=0$ 是函数 $y=f(x)$ 的图形的水平渐近线。

$\underset{x\to \infty }{\lim }f(x)=\underset{x\to \infty }{\lim }\frac{1}{x^2}=0$，$y=0$ 是函数 $y=f(x)$ 的图形的水平渐近线。

$\underset{x\to \infty }{\lim }f(x)=\underset{x\to \infty }{\lim }\sin \left(\frac{\pi }{x}\right)=0$，$y=0$ 是函数 $y=f(x)$ 的图形的水平渐近线。

示例2：$x\to +\infty$

$\underset{x\to +\infty }{\lim }f(x)=\underset{x\to +\infty }{\lim }\sqrt{\frac{1}{x}}=0$，$y=0$ 是函数 $y=f(x)$ 的图形的水平渐近线。

示例3：$x\to -\infty$

$\underset{x\to -\infty }{\lim }f(x)=\underset{x\to -\infty }{\lim }{2}^x+1=1$，$y=1$ 是函数 $y=f(x)$ 的图形的水平渐近线。

定义的应用

以定义1为例说明，定义2和定义3与定义1同理。

定义1最典型的应用是证明某个数 $a$ 是 $x\to \infty$ 时函数 $f(x)$ 的极限，即证明 $\underset{x\to \infty }{\lim }f(x)=A$。

证明的方法主要有两个步骤：

• 猜测：根据函数 $f(x)$ 的 特点，猜测极限为某实数 $A$ ，如果题目中已经告诉就不用猜测了；

• 验证：找到对应的 $X$，使得当 $|x|>X$ 时，满足 $|f(x)-A|<\epsilon$。

证明的关键在于找到合适的 $X$。

例题1

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

证明：

根据定义，我们需要证明，对于任意的 $\epsilon >0$，存在 $X>0$，使得当 $|x|>X$ 时，$\left|\frac{1}{x}-0\right|<\epsilon$。

这可以简化为：

$\left|\frac{1}{x}\right|<\epsilon \iff \frac{1}{|x|}<\epsilon \iff |x|>\frac{1}{\epsilon }$

此时，只需要选择 $X=\frac{1}{\epsilon }$，当 $|x|>X$ 时，有：

$|x|>\frac{1}{\epsilon }\iff \left|\frac{1}{x}-0\right|<\epsilon$

由此可以证明， $\underset{x\to \infty }{\lim }\frac{1}{x}=0$。

这是一个简单的函数极限证明，展示了如何使用自变量趋向无穷时的极限定义。

例题2

证明 $\underset{x\to \infty }{\lim }\frac{2x+3}{x+1}=2$

证明：

我们需要证明，对于任意的 $\epsilon >0$，存在 $X>0$，使得当 $|x|>X$ 时，$|f(x)-L|<\epsilon$，其中 $f(x)=\frac{2x+3}{x+1}$，$L=2$。

我们需要找到一个 $X>0$，使得当 $|x|>X$ 时，$\left|\frac{2x+3}{x+1}-2\right|<\epsilon$。

首先化简 $|f(x)-2|$：

$\left|\frac{2x+3}{x+1}-2\right|=\left|\frac{2x+3-2(x+1)}{x+1}\right|=\left|\frac{2x+3-2x-2}{x+1}\right|=\left|\frac{1}{x+1}\right|$

现在我们需要使得 $\left|\frac{1}{x+1}\right|<\epsilon$。这相当于：

$|x+1|>\frac{1}{\epsilon }\iff x>\frac{1}{\epsilon }-1或x<-\frac{1}{\epsilon }-1$

可得 $|x|>\frac{1}{\epsilon }+1$

因此，如果我们选择 $X=\frac{1}{\epsilon }+1$，当 $x>X$ 时，有 $\left|\frac{1}{x+1}\right|<\epsilon$。

由此可以证明， $\underset{x\to \infty }{\lim }\frac{2x+3}{x+1}=2$。