二元函数求极限定理详解与实战指南
二元函数极限的基本概念与定理
在多元微积分的学习中，二元函数求极限是理解多元函数连续性与可微性的基石。与一元函数不同，二元函数 f(x,y) 中的自变量 (x,y) 是平面上的一个点，当点 (x,y) 趋近于定点 (x₀,y₀) 时，其趋近的方式有无数种。因此，二元函数极限的定义比一元函数更为严格。
1.1 极限的严格定义
设函数 f(x,y) 在点 (x₀,y₀) 的某个去心邻域内有定义。如果存在常数 A，对于任意给定的正数 ε，总存在正数 δ，使得当点 (x,y) 满足 0 < √[(x-x₀)² + (y-y₀)²] < δ 时，对应的函数值 f(x,y) 都满足 |f(x,y) - A| < ε，则称常数 A 为函数 f(x,y) 当 (x,y)→(x₀,y₀) 时的极限，记作：
lim ((x,y)->(x0,y0)) f(x,y) = A
1.2 与一元函数极限的区别
理解二元函数极限的关键在于“任意路径”。在一元函数中，x 只能从左侧或右侧趋近 x₀；而在二元函数中，(x,y) 可以从平面上任何方向、任何曲线趋近 (x₀,y₀)。如果沿不同路径得到的极限值不同，则说明该二元函数极限不存在。
二元函数求极限的核心方法
针对不同的函数形式和趋近点，我们需要选择合适的方法来计算二元函数极限。以下是几种最常用且高效的方法。
适用场景：函数连续或有可去间断点
如果函数 f(x,y) 在点 (x₀,y₀) 处连续，或者通过因式分解、有理化等手段消去了导致分母为零的因子，则可以直接将 (x₀,y₀) 代入计算。
示例：
求 lim ((x,y)->(1,0)) [sin(xy) / y] 。
解：虽然直接代入 y=0 会导致分母为零，但我们可以利用重要极限 lim (t->0) sin(t)/t = 1。
原式 = lim ((x,y)->(1,0)) [x sin(xy)/(xy)] = 1 1 = 1。
适用场景：处理含有绝对值或根式的复杂函数
夹逼准则是证明二元函数极限存在且等于某值的最有力工具。关键在于找到两个函数 g(x,y) 和 h(x,y)，使得 g(x,y) ≤ f(x,y) ≤ h(x,y)，且 lim g = lim h = A。
示例：
求 lim ((x,y)->(0,0)) [xy / √(x²+y²)] 。
解：利用不等式 |xy| ≤ (x²+y²)/2 或 |x| ≤ √(x²+y²)。
0 ≤ |xy/√(x²+y²)| ≤ |x| |y| / √(x²+y²) ≤ |x| (√(x²+y²))/2 。
当 (x,y)→(0,0) 时，|x|→0，故由夹逼准则，极限为 0。
适用场景：分母含有 x²+y² 形式
令 x = r cosθ, y = r sinθ，则 (x,y)→(0,0) 等价于 r→0⁺。如果极限结果与 θ 无关，仅依赖于 r 的幂次，则极限存在。
示例：
求 lim ((x,y)->(0,0)) (x²y) / (x²+y²) 。
解：代入极坐标，原式 = lim (r->0+) (r³ cos²θ sinθ) / r² = lim (r->0+) r cos²θ sinθ。
由于 |cos²θ sinθ| ≤ 1，故 |r cos²θ sinθ| ≤ r → 0。因此极限为 0。
二元函数极限存在的判定：路径法
在计算二元函数极限时，判断极限是否存在往往比计算其值更为重要。如果极限不存在，后续讨论连续性和可微性就失去了意义。
3.1 路径法的原理
如果 lim ((x,y)->(x0,y0)) f(x,y) 存在，那么 (x,y) 沿平面上任意路径趋近 (x0,y0) 时，极限值必须相同。反之，只要能找到两条不同的路径，使得沿这两条路径趋近时的极限值不同，即可断定二元函数极限不存在。
3.2 常用测试路径
- 直线路径： y = kx （k 为任意常数）
- 抛物线路径： y = kx² 或 x = ky²
- 特殊曲线： 如 y = x, y = x³, x = 0, y = 0 等
3.3 经典反例分析
案例 A：极限不存在
考虑 f(x,y) = (x²y) / (x⁴ + y²) 在 (0,0) 处的极限。
沿路径 y = kx² 趋近：
lim = lim (x->0) (x² kx²) / (x⁴ + k²x⁴) = k / (1 + k²)。
结果依赖于 k。例如 k=1 时极限为 1/2，k=0 时极限为 0。故极限不存在。
案例 B：极限存在
考虑 f(x,y) = (x³y) / (x² + y²) 在 (0,0) 处的极限。
沿任意路径 y = kx：
lim = lim (x->0) (kx⁴) / (x² + k²x²) = lim (kx² / (1+k²)) = 0。
虽然沿直线极限为0，但这不足以证明极限存在。需结合极坐标或夹逼准则证明其确实为0。
考研与竞赛中的高频考点解析
在高等数学考试及研究生入学考试（考研）中，二元函数求极限常与无穷小量阶数比较、等价无穷小替换结合考查。以下是近年来的热点题型归纳。
题目通常给出一个复杂的多元函数，要求判断其关于 ρ = √(x²+y²) 的阶数。解题核心在于利用泰勒公式展开分子和分母，找出最低次非零项。
函数中包含参数 α，讨论 α 取何值时极限存在。此类题目通常需要分情况讨论，利用路径法寻找极限不存在的条件，从而确定参数范围。
涉及 f(g(x,y), h(x,y)) 的形式。需先判断内部函数 g 和 h 的极限，再结合外部函数 f 的连续性进行求解。注意内部函数趋近于极限点时的路径约束。
4.1 计算步骤总结表
| 步骤 | 操作内容 | 注意事项 |
|---|---|---|
| 1 | 观察函数结构 | 判断是否为 0/0 型，是否有根号或三角函数 |
| 2 | 尝试直接代入 | 若分母不为0，直接得结果；若为0，进入下一步 |
| 3 | 路径测试 | 选 y=kx, y=x² 等简单路径。若结果不同，极限不存在 |
| 4 | 选择计算方法 | 若路径结果相同，考虑夹逼准则、极坐标或泰勒展开 |
| 5 | 验证与结论 | 确保推导过程严谨，给出最终极限值或“不存在”结论 |
常见疑问解答 (FAQ)
针对网友在搜索“二元函数求极限定理”时提出的高频问题，我们整理了以下深度解答。
路径法是通过寻找两条不同路径得到不同的极限值来证明极限不存在。如果沿所有已知简单路径（直线、抛物线等）得到的极限都相同，并不能保证极限一定存在，因为可能存在更复杂的路径导致极限不同。因此，路径法通常用于否定，而非肯定。
如果二元函数 f(x,y) 在点 (x₀,y₀) 处极限存在且等于该点的函数值 f(x₀,y₀)，即 lim f(x,y) = f(x₀,y₀)，则称该函数在该点连续。反之，若极限不存在，则函数在该点一定不连续。
是的。在二元函数中，若 α(x,y) 和 β(x,y) 是当 (x,y)→(x₀,y₀) 时的无穷小量，则它们的和、差、积仍为无穷小量；有界函数与无穷小量的乘积也是无穷小量。这些性质在利用夹逼准则时非常有用。
在使用极坐标变换 x=r cosθ, y=r sinθ 时，θ 的取值范围通常是 [0, 2π) 或 (-π, π]。关键在于证明极限结果与 θ 无关，或者证明含 θ 的项是有界的，从而被趋于0的 r 的幂次控制。
总结
二元函数求极限是多元微积分学习的难点，也是重点。掌握夹逼准则、路径法和极坐标变换这三大法宝，并结合泰勒公式进行辅助，可以有效解决绝大多数极限计算问题。希望本文能为您提供清晰的知识脉络和实用的解题技巧。