多元极限:路径打破、平衡路径与放缩证明

它解决什么问题

多元函数在 处连续,常常等价于判断,真正的难点是:多元趋近有无穷多条路径。

核心定义 / 定理 / 结论

判断多元极限时,先分两种目标:

  1. 想证明极限不存在:找两条路径得到不同结果。
  2. 想证明极限为 :给出统一放缩,不能只靠试路径。

常用排除路径:,若分母不是普通的 ,要找“同阶平衡路径”。例如中两项同阶时,应该令

变阶路径法

有些多元极限沿直线和普通平衡路径都无法发现异常。此时应检查分母的零曲线,再沿零曲线附近设计高阶扰动,控制分母抵消后的阶数。

固定流程:

  1. 先看分母的零曲线,找出让分母低阶项消失的关系。
  2. 不直接走零曲线,因为函数可能无定义;要贴着它旁边走。
  3. 在零曲线后面加一个高阶小量,控制分母剩下的阶数。

如果分母形如 ,零曲线是,于是可以取,这样,这一步的意思是:先故意消掉分母中原本较低阶的主导部分,再人为决定分母最后剩下几阶。若分子主项是 ,则整体大约是,所以 时可能得到非零常数, 时可能直接发散, 时通常仍趋于 。

例 13.2:贴着分母零曲线走

求,沿普通直线通常只能得到 。例如 时,,但分母提示要看零曲线,沿这条曲线函数没有定义,所以取旁边的变阶路径,此时分母变成,而分子为,因此

另一方面,沿 极限为 。两条路径结果不同,所以

不存在

还可取 ,则分母为 ,整体主项为,直接发散。路径 的构造目标是将分母调成与分子主项同阶。

无穷远处的放缩

多元极限不只在有限点附近考路径,也会考 同时趋于无穷。这类题通常不再强调“不同路径”,而是看能否找到一个统一控制量。

例 13.3:二次型分母防抵消

求

直觉上分子一次、分母二次,应该趋于 。但分母中有 ,不能直接说“二次一定压过一次”,要先证明分母不会严重抵消。

关键恒等式:

因此,当 时, 且 ,所以

由夹逼定理,

这题的题眼是:分母是正定二次型时,先把它改写成平方和,避免被混合项 吓住。

例 13.4:指数压过多项式

求

把指数拆开:

因为 ,所以 在趋近过程中有界, 也有界。例如当 足够接近 时,有 ,于是存在常数 ,使得

而指数衰减压过任意多项式增长:,所以

这题的题眼是:一个变量趋于有限数时,先把它当成有界因子;真正决定极限的是 。

典型题型

若,题目问哪个表达式可能使 在原点连续,本质就是问哪个表达式趋于 。

对,可以放缩:

对,沿 有

结果依赖 ,所以极限不存在。

图示 / 直觉

直线路径只能测试“普通同阶”。平衡路径是在问:分母里哪两项会同时主导?

看到 ,试 。

看到 ,试 。

看到 ,试 。

常见误用

  • “沿很多路径都是 ”不能证明多元极限为 。
  • 分子次数比分母高不一定趋于 ,要看分母各项是否会在某条路径上同阶。
  • 证明极限为 时,最好用绝对值放缩到 、 或 这类必趋于 的量。

链接