第二章 第二节：多元函数的极限与连续性
概述
本节内容主要讲解多元函数极限与连续性的基本概念和判定方法，帮助考生系统掌握多元函数的极限计算技巧和连续性判别标准。多元函数的极限与连续性是高等数学中的核心知识点，广泛应用于后续的微分学、积分学及数学建模中。通过深入理解极限的定义及性质，掌握连续性的判定方法，考生能够解决更复杂的多变量问题，为全国硕士研究生初试数学三科目奠定坚实基础。
本节学习目标：
- 掌握多元函数极限的概念及判定方法
- 理解多元函数连续性的定义及性质
- 熟练运用极限与连续性知识解决典型问题
- 避免常见错误，提升解题准确率
核心概念
多元函数
多元函数指函数的自变量由多个变量组成，通常表示为：
[ f(x_1, x_2, \ldots, x_n) ]
其中 ( n ) 表示变量个数。
极限
多元函数 ( f(\mathbf{x}) ) 在点 ( \mathbf{a} ) 附近的极限，描述的是当自变量 ( \mathbf{x} ) 趋近于 ( \mathbf{a} ) 时，函数值趋近于某个确定的数 ( L )。
数学表示为：
[ \lim_{\mathbf{x} \to \mathbf{a}} f(\mathbf{x}) = L ]
其中，( \mathbf{x} = (x_1, x_2, \ldots, x_n) )，( \mathbf{a} = (a_1, a_2, \ldots, a_n) )。
连续性
多元函数在某点 ( \mathbf{a} ) 连续，意味着函数在点 ( \mathbf{a} ) 的极限存在且等于函数值：
[ \lim_{\mathbf{x} \to \mathbf{a}} f(\mathbf{x}) = f(\mathbf{a}) ]
路径依赖性
多元函数极限存在的一个重要条件是极限值与函数趋近点的路径无关，即无论 ( \mathbf{x} ) 如何趋近于 ( \mathbf{a} )，函数值都趋近同一个数。
原理分析
极限的严格定义
对于任意 ( \varepsilon > 0 )，存在 ( \delta > 0 )，使得当 ( 0 < ||\mathbf{x} - \mathbf{a}|| < \delta ) 时，有
[ |f(\mathbf{x}) - L| < \varepsilon ]
其中，( ||\cdot|| ) 是欧几里得距离。
这个定义保证了函数值在点 ( \mathbf{a} ) 附近无限接近 ( L )，是极限存在的根本依据。
极限存在的判定
多元函数极限与一元函数不同，必须考虑所有可能的路径。因此，判定极限存在通常采用方法包括：
- 分路径法：验证不同路径下极限是否相同
- 夹逼定理：利用夹逼函数确定极限
- 极坐标法：将变量转换为极坐标形式简化极限表达
连续性的判定原理
多元函数连续性基于极限存在性，且函数值等于极限值。连续性的判定可以结合极限计算进行，常用方法有：
- 直接代入法：函数表达式在点处有意义且值等于极限
- 利用极限存在性判断连续性
路径依赖与路径无关
如果函数极限依赖于不同路径趋近点的值不同，则极限不存在；反之，则极限存在。这是多元函数极限与一元函数极限的最大区别。
详细内容
1. 多元函数极限的定义与性质
多元函数极限的定义强调的是函数值在变量趋近某点时的行为。极限存在的关键条件是：极限值与哪条路径趋近无关。
性质分析：
- 唯一性：极限值唯一
- 局部性：极限只考虑点附近的函数值，不涉及函数在点处的定义
- 有界性：极限存在时，函数在邻域内必须有界
判定技巧：
- 通过不同路径趋近点验证极限是否相同
- 利用极坐标法简化变量表达，判断极限是否与角度变量有关
2. 极限的计算方法
2.1 路径法
选择不同路径 ( y = kx )、( y = x^2 ) 等，计算极限值，若值不同，极限不存在。
2.2 极坐标法
将变量 ( (x,y) ) 转为 ( (r, \theta) )，其中：
[ x = r\cos\theta, \quad y = r\sin\theta ]
极限 ( r \to 0 ) 时，若极限表达式不依赖 ( \theta )，极限存在且等于该值。
2.3 夹逼定理
用两个函数夹住目标函数，且两边函数极限相同，推出目标函数极限存在。
3. 多元函数连续性的定义与判定
函数 ( f(\mathbf{x}) ) 在点 ( \mathbf{a} ) 连续，当且仅当：
- 点 ( \mathbf{a} ) 在函数定义域内
- 极限 ( \lim_{\mathbf{x} \to \mathbf{a}} f(\mathbf{x}) ) 存在
- 极限值等于函数值：( f(\mathbf{a}) )
判定步骤：
- 检查定义域
- 计算极限
- 代入函数值比较
4. 极限不存在的判断
- 不同路径极限值不同
- 极限依赖于变量方向
- 函数在趋近点不定义且无法延拓
实例分析
实例1：验证极限存在性
题目：求
[ \lim_{(x,y) \to (0,0)} \frac{x^2 y}{x^2 + y^2} ]
分析：
- 路径 ( y = kx )，代入得：
[ \frac{x^2 (kx)}{x^2 + (kx)^2} = \frac{k x^3}{x^2 (1 + k^2)} = \frac{k x}{1 + k^2} ]
当 ( x \to 0 )，极限为0，与 ( k ) 无关。
- 极坐标法：
[ f(r, \theta) = \frac{r^2 \cos^2 \theta \cdot r \sin \theta}{r^2} = r \cos^2 \theta \sin \theta ]
( r \to 0 ) 时，函数值趋近0，与 ( \theta ) 无关。
结论：极限存在且等于0。
实例2：极限不存在的判断
题目：判断
[ \lim_{(x,y) \to (0,0)} \frac{x^2 - y^2}{x^2 + y^2} ]
是否存在？
分析：
- 路径 ( y = 0 )：
[ \frac{x^2 - 0}{x^2 + 0} = 1 ]
- 路径 ( y = x )：
[ \frac{x^2 - x^2}{x^2 + x^2} = 0 ]
两个路径极限不同，极限不存在。
结论：极限不存在。
实例3：连续性判定
题目：函数
[ f(x,y) = \begin{cases} \frac{x^2 y}{x^2 + y^2} & (x,y) \neq (0,0) \ 0 & (x,y) = (0,0) \end{cases} ]
是否在 ( (0,0) ) 连续？
分析：
- 计算极限，见实例1，极限为0
- 函数值 ( f(0,0) = 0 )
极限等于函数值，连续。
结论：函数在 ( (0,0) ) 连续。
常见误区
认为多元函数极限只需验证单一路径
- 错误做法：只计算 ( y = 0 ) 路径
- 正确做法：应验证多条路径或采用极坐标化简
极限不存在即函数不连续
- 误区：极限不存在必然不连续
- 说明：函数未定义点连续性无意义，且极限不存在说明不连续
忽视极限值与函数值的比较
- 错误：极限存在即认为函数连续
- 正确：必须 ( f(\mathbf{a}) = \lim f(\mathbf{x}) )
极坐标法中忽略 ( \theta ) 变量依赖
- 错误：极限依赖角度 ( \theta ) 仍认为极限存在
- 正确：极限必须与 ( \theta ) 无关
代入点处函数值前未判断定义域
- 误区：点不在定义域内判定连续
- 正确：连续性前提是点在定义域内
应用场景
数学分析及高等数学学科基础
极限与连续性是微积分学的基础，直接关系到偏导数、梯度和多重积分的定义。
工程数学中的多变量问题建模
多元函数极限判断帮助分析工程中的连续介质、热流和应力场分布。
经济学优化模型
判断目标函数的连续性是优化问题求解的前提条件。
计算机图形学与图像处理
连续性判断有助于曲面光滑处理和像素差异计算。
物理学中的场函数分析
多元函数极限和连续性是电磁场、流体动力学中基础理论支撑。
知识拓展
高阶极限与连续性
探索多元函数高阶极限形式及连续性，如一致连续性、可微性等。
多元函数的可微性与偏导数
连续性是可微性的必要条件，深入学习偏导数与梯度概念。
拓扑空间中极限与连续性的推广
从欧氏空间扩展到一般拓扑空间的极限定义。
函数间的极限交换问题
探讨多元级数、函数列极限和积分的交换问题及其条件。
总结回顾
本节系统讲解了多元函数极限与连续性的核心内容，重点包括：
- 极限的严格定义及判定方法
- 多条路径和极坐标法判断极限是否存在
- 连续性的定义及判定流程
- 通过典型实例加深理解极限存在与不存在的判断
- 常见误区及避免方法
- 实际应用场景中的重要性
掌握本节内容不仅为后续微分学、积分学学习提供基础，也为解决工程、物理、经济等领域的多变量问题奠定了重要理论基础。考生应通过大量练习强化理解，熟练运用本节知识点解决实际问题，提高解题准确率和效率。
祝愿考生在全国硕士研究生初试中取得优异成绩！