在多元函数的微积分学中,全微分是一个核心概念，它刻画了函数在某一点附近由于所有自变量微小变化而引起的总变化，而欧拉倒易方程，则以其独特的对称性和深刻的理论意义，成为判断一个表达式是否为某个函数的全微分，以及在已知全微分时求解原函数的重要工具，本文旨在探讨全微分的概念，并详细阐述欧拉倒易方程的原理、推导及其应用。
全微分：多元函数的线性逼近
对于一个二元函数 ( z = f(x, y) )，如果它在点 ( (x_0, y_0) ) 处可微，那么函数的全微分 ( dz ) 定义为：
[ dz = \frac{\partial f}{\partial x}\bigg|_{(x_0,y0)} dx + \frac{\partial f}{\partial y}\bigg|{(x_0,y_0)} dy ]
( \frac{\partial f}{\partial x} ) 和 ( \frac{\partial f}{\partial y} ) 分别是 ( f ) 对 ( x ) 和 ( y ) 的偏导数，( dx ) 和 ( dy ) 分别是自变量 ( x ) 和 ( y ) 的微小增量，全微分 ( dz ) 表示在点 ( (x_0, y_0) ) 处，用 ( dx ) 和 ( dy ) 线性近似表示函数增量 ( \Delta z = f(x_0 + dx, y_0 + dy) - f(x_0, y_0) ) 的主要部分。
类似地,对于 ( n ) 元函数 ( u = f(x_1, x_2, \ldots, x_n) )，其全微分为：
[ du = \frac{\partial f}{\partial x_1} dx_1 + \frac{\partial f}{\partial x_2} dx_2 + \cdots + \frac{\partial f}{\partial x_n} dx_n ]
一个自然的问题是：给定一个关于 ( dx, dy ) (或 ( dx_1, dx_2, \ldots, dx_n )) 的表达式 ( P dx + Q dy ) (或 ( P_1 dx_1 + P_2 dx_2 + \cdots + P_n dx_n ))，它是否是某个函数 ( u = f(x, y) ) (或 ( u = f(x_1, x_2, \ldots, x_n) )) 的全微分呢？如果是，如何找到这个函数 ( u )？
欧拉倒易方程：全微分的判别条件
为了回答上述问题,我们需要引入欧拉倒易方程（也称为恰当微分条件或麦克斯韦关系的一种形式，尤其在物理学中），我们以二元函数为例进行阐述。
假设存在一个函数 ( u = u(x, y) )，其全微分为：
[ du = M(x, y) dx + N(x, y) dy ]
根据全微分的定义,这意味着：
[ \frac{\partial u}{\partial x} = M(x, y) \quad (1) ] [ \frac{\partial u}{\partial y} = N(x, y) \quad (2) ]
( M ) 和 ( N ) 具有连续的二阶偏导数（这在大多数物理和工程问题中都是满足的），那么对式 (1) ( y ) 求偏导，对式 (2) ( x ) 求偏导，得到：
[ \frac{\partial^2 u}{\partial y \partial x} = \frac{\partial M}{\partial y} ] [ \frac{\partial^2 u}{\partial x \partial y} = \frac{\partial N}{\partial x} ]
根据 Schwarz 定理（或克莱罗定理），如果二阶混合偏导数连续，则它们相等，即：
[ \frac{\partial^2 u}{\partial y \partial x} = \frac{\partial^2 u}{\partial x \partial y} ]
我们必然有：
[ \frac{\partial M}{\partial y} = \frac{\partial N}{\partial x} \quad (3) ]
这个关系式 (3) 就是二元函数全微分的欧拉倒易方程，也称为恰当微分的必要条件