全微分公式原理深度解析：从定义到多元函数微分学的核心应用

1.1 全微分的严格定义

设函数 在点 的某邻域内有定义，并设 为自变量在点 处的增量。若函数增量 可表示为：

Δz = A·Δx + B·Δy + o(ρ)
其中：ρ = √(Δx² + Δy²)

这里 和 是不依赖于 的常数， 是比 高阶的无穷小。则称函数 在点 处可微，并称 为函数在该点的全微分，记作 或 。

1.2 可微的充分必要条件

理解全微分公式原理的关键在于区分“偏导数存在”与“可微”的关系：

• 必要条件：若函数可微，则偏导数必存在，且 。
• 充分条件：若偏导数 和 在点 处连续，则函数在该点可微。
• 误区警示：偏导数存在 ≠ 可微。偏导数存在仅意味着沿坐标轴方向的变化率存在，而全微分要求函数在所有方向上都能被线性近似。

线性近似公式

基于全微分的几何意义，当 很小时，我们可以用全微分来近似代替函数增量：

f(x+Δx, y+Δy) ≈ f(x,y) + f_x(x,y)Δx + f_y(x,y)Δy

这是全微分公式原理在数值计算和工程估算中的直接应用，极大地简化了复杂函数的计算。

4.1 显函数求全微分

例题：求 的全微分。

解析：

1. 求 ：将 视为常数，。
2. 求 ：使用乘法法则，。
3. 代入公式：。

4.2 隐函数求全微分

当函数由方程 确定时，直接解出 可能很困难。此时利用全微分形式不变性或隐函数求导公式更为简便。

方法：对方程两边同时求全微分，整理出 。

例题：设 ，求 。

解析：

d(e^z) - d(xyz) = 0
e^z dz - (yz dx + xz dy + xy dz) = 0
(e^z - xy) dz = yz dx + xz dy
dz = (yz dx + xz dy) / (e^z - xy)

4.3 复合函数求全微分（链式法则）

若 ，而 ，则：

dz = (∂f/∂u)(∂u/∂x dx + ∂u/∂y dy) + (∂f/∂v)(∂v/∂x dx + ∂v/∂y dy)

注意：复合函数的全微分形式与直接函数的全微分形式保持一致，这就是全微分形式不变性，它在换元积分和方程变换中极其重要。