多元函数全微分：从公式到可微的实用判断指南

理解多元函数的全微分，是掌握多元微积分的关键一步。本文将手把手教你理解 dz = f_x dx + f_y dy 这个公式的含义，并提供判断函数是否可微的清晰、可执行的步骤。

1. 理解全微分公式的含义

当二元函数 z = f(x, y) 的自变量 x 和 y 分别发生微小变化 Δx 和 Δy 时，函数值 z 的真实变化量 Δz 通常很复杂。全微分 提供了一个最简单的线性近似。

1. 解读符号：

   • dz：表示函数 z 的全微分，即我们用来近似真实变化量 Δz 的那个“线性”部分。
   • f_x 和 f_y：分别表示函数 f 对 x 和 y 的偏导数。它们是函数在 x 方向和 y 方向单独变化时的瞬时变化率。
   • dx 和 dy：表示自变量 x 和 y 的微小增量（微分）。在近似计算中，常令 dx ≈ Δx，dy ≈ Δy。

2. 核心思想：公式 dz = f_x dx + f_y dy 表达了这样一个近似：函数在某一点附近的总变化量，可以近似地分解为 x 方向变化引起的部分与 y 方向变化引起的部分的线性叠加。

   • f_x dx：单独由 x 变化 dx 所导致的 z 变化的线性部分。
   • f_y dy：单独由 y 变化 dy 所导致的 z 变化的线性部分。
   • 将它们相加，就得到了总变化量的线性近似 dz。

3. 几何意义：想象函数 z = f(x, y) 代表一个空间曲面。在曲面上某一点 (x0, y0, z0) 处，存在一个与该点最贴近的平面，称为切平面。全微分 dz 正是这个切平面上当 x 和 y 变化时 z 坐标的变化量。也就是说，dz = f_x dx + f_y dy 这个线性函数，恰好是切平面的方程在 z 方向的表达式。

2. “可微”到底是什么意思？

可微 是比“偏导数存在”更强的条件，它保证了上述基于切平面的线性近似是有效的。

1. 直观判断：一个函数在某点可微，意味着从该点出发，在任意方向上，函数的变化都可以被它的切平面（全微分）很好地近似。曲面在该点附近是“光滑平坦”的，没有尖角或褶皱。
2. 精确定义：函数 z = f(x, y) 在点 (x, y) 可微，当且仅当它的增量 Δz 可以写成如下形式：
   $$Δz = AΔx + BΔy + o(ρ)$$
   其中，A 和 B 是与 Δx、Δy 无关的常数（实际上 A = f_x，B = f_y），ρ = √(Δx² + Δy²)，o(ρ) 表示一个比 ρ 更高阶的无穷小量（即当 ρ → 0 时，o(ρ)/ρ → 0）。
   这个定义的精髓在于：用线性部分 AΔx + BΔy 去近似 Δz 时，产生的误差 o(ρ) 是比距离 ρ 更小的无穷小，因此近似是足够精确的。

3. 判断可微的充分条件（实用核心）

直接从定义验证 o(ρ) 是否存在通常很困难。幸运的是，我们有更方便的充分条件。

1. 偏导数连续可推出可微：如果函数 f(x, y) 的偏导数 f_x 和 f_y 在点 (x0, y0) 的某个邻域内都存在，并且都在该点连续，那么函数 f 在点 (x0, y0) 处一定可微。

   • 这是最常用、最强的实用判据。在实际计算中，你通常只需要验证偏导数在该点是否连续。
   • 为什么这个条件足够强？因为偏导数连续，意味着函数在 x 和 y 方向的变化率本身是平稳变化的，这就排除了曲面在该点附近出现急剧扭转或折痕的可能性，从而保证了光滑性和可微性。

2. 仅偏导数存在不能保证可微：必须警惕，偏导数 f_x 和 f_y 都存在，不能推出函数可微。

   • 反例构造思路：可以构造一个函数，它在某点沿 x 轴和 y 轴方向都是光滑的（偏导数存在），但沿着其他方向（如对角线方向）却不光滑。例如，函数在 (0,0) 点沿 x、y 轴值为 0，但沿着 y=x 方向突然“隆起”。这样的函数在该点偏导数为 0，但显然不可微。

4. 如何判断一个函数是否可微：分步指南

请按照以下步骤判断一个二元函数 z = f(x, y) 在其定义域内某点 (a, b) 是否可微。

1. 计算一阶偏导数。

   • 求出 f_x(x, y) 和 f_y(x, y)。
   • 例如，对于 f(x, y) = x² + xy + y²，计算 f_x = 2x + y， f_y = x + 2y。

2. 验证偏导数在该点是否存在。

   • 将点 (a, b) 代入 f_x 和 f_y 的表达式。
   • 如果 f_x(a, b) 或 f_y(a, b) 中有一个不存在，那么函数在该点肯定不可微。
   • 如果 f_x(a, b) 和 f_y(a, b) 都存在，则进行下一步。对于上例，在任意点 (a, b)，f_x 和 f_y 显然都存在。

3. 检验偏导数在该点是否连续（关键步骤）。

   • 考察 f_x(x, y) 和 f_y(x, y) 作为 (x, y) 的函数，在点 (a, b) 处是否连续。
   • 方法：看 f_x(x, y) 和 f_y(x, y) 的表达式是否是初等函数（多项式、三角函数、指数函数等）在其定义域内的组合。初等函数在其定义域内通常是连续的。
   • 对于 f_x = 2x + y 和 f_y = x + 2y，它们都是多项式，在整个平面 R² 上连续。因此，在任何点 (a, b)，它们都连续。
   • 结论：根据“偏导数连续则函数可微”的定理，函数 f(x, y) = x² + xy + y² 在任意点都可微。

4. 特殊情形的处理。

   • 如果偏导数在点 (a, b) 存在但不连续（这种情况较少见），或者你无法直接判断连续性，那么仅凭上述条件不能下结论。你需要回到可微的定义，尝试计算并分析极限 lim_{(Δx, Δy)→(0,0)} [Δz - f_x(a,b)Δx - f_y(a,b)Δy] / √(Δx² + Δy²) 是否等于 0。这通常需要运用夹逼准则或寻找不同路径进行检验。