在热力学这个严谨而深刻的物理领域中，诸多状态函数及其偏导数之间存在着内在的联系，这些联系不仅揭示了物质性质的普遍规律，也为复杂热力学问题的求解提供了有力的数学工具，欧拉倒易关系（Euler's Reciprocal Relation），也常被称为麦克斯韦关系之一（尽管严格来说，欧拉倒易关系是更基础的偏导数关系，而麦克斯韦关系通常指由热力学势微分式导出的四个特定关系），是这些联系中非常基础且重要的一环，它描述了二元函数二阶混合偏导数的对称性，在热力学中有着广泛的应用，本文将主要阐述欧拉倒易关系的数学证明,并简要说明其在热力学中的重要性。
欧拉倒易关系的表述
对于一个具有连续二阶偏导数的二元函数 ( z = z(x, y) )，其二阶混合偏导数与求导次序无关,即：
[ \frac{\partial^2 z}{\partial x \partial y} = \frac{\partial^2 z}{\partial y \partial x} ]
这就是欧拉倒易关系的数学表述，它意味着，如果函数 ( z(x, y) ) 的二阶偏导数是连续的，那么先对 ( x ) 求偏导再对 ( y ) 求偏导，与先对 ( y ) 求偏导再对 ( x ) 求偏导,其结果是相等的。
欧拉倒易关系的证明
欧拉倒易关系的证明主要基于多元函数微分学中关于混合偏导数连续性的定理,下面给出详细的证明步骤：
-
假设前提： 设 ( z = f(x, y) ) 是一个定义在某平面区域 ( D ) 内的二元函数，假设 ( f(x, y) ) 在 ( D ) 内具有连续的一阶偏导数 ( \frac{\partial f}{\partial x} ) 和 ( \frac{\partial f}{\partial y} )，并且二阶混合偏导数 ( \frac{\partial^2 f}{\partial x \partial y} ) 和 ( \frac{\partial^2 f}{\partial y \partial x} ) 在 ( D ) 内也是连续的。
-
构造增量比： 为了考察混合偏导数，我们考虑函数 ( f(x, y) ) 在点 ( (x_0, y_0) \in D ) 处的增量，定义一个辅助函数 ( \Delta ) 来表示 ( f ) 在 ( x ) 和 ( y ) 分别有增量 ( h ) 和 ( k ) 后的总增量，并将其分解为两步： [ \Delta f = f(x_0 + h, y_0 + k) - f(x_0, y_0) ] 我们可以通过两种不同的路径来计算这个增量 ( \Delta f )：
-
路径一：先改变 ( x )，再改变 ( y )。
- 第一步：固定 ( y = y_0 )，( x ) 从 ( x_0 ) 变到 ( x_0 + h )，增量为： [ \Delta_1 f = f(x_0 + h, y_0) - f(x_0, y_0) ] 根据微分中值定理，存在 ( \theta_1 \in (0, 1) )，使得： [ \Delta_1 f = \frac{\partial f}{\partial x}(x_0 + \theta_1 h, y_0) \cdot h ]
- 第二步：在 ( x = x_0 + h ) 下，( y ) 从 ( y_0 ) 变到 ( y_0 + k )，增量为： [ \Delta_2 f = f(x_0 + h, y_0 + k) - f(x_0 + h, y_0) ] 同样，存在 ( \theta_2 \in (0, 1) )，使得： [ \Delta_2 f = \frac{\partial f}{\partial y}(x_0 + h, y_0 + \theta_2 k) \cdot k ]
- 总增量： [ \Delta f = \Delta_1 f + \Delta_2 f = \frac{\partial f}{\partial x}(x_0 + \theta_1 h, y_0) \cdot h + \frac{\partial f}{\partial y}(x_0 + h, y_0 + \theta_2 k) \cdot k ]
-
路径二：先改变 ( y )，再改变 ( x )。
- 第一步：固定 ( x = x_0 )，( y ) 从 ( y_0 ) 变到 ( y_0 + k )，增量为： [ \Delta'_1 f = f(x_0, y_0 + k) - f(x_0, y_0) ] 存在 ( \theta_3 \in (0, 1) )，使得： [ \Delta'_1 f = \frac{\partial f}{\partial y}(x_0, y_0 + \theta_3 k) \cdot k ]
- 第二步：在 ( y = y_0 + k ) 下，( x ) 从 ( x_0 ) 变到 ( x_0 + h )，增量为： [ \Delta'_2 f = f(x_0 + h, y_0 + k) - f(x_0, y_0 + k) ] 存在 ( \theta_4 \in (0, 1) )，使得： [ \Delta'_2 f = \frac{\partial f}{\partial x}(x_0 + \theta_4 h, y_0 + k) \cdot h ]
- 总增量： [ \Delta f = \Delta'_1 f + \Delta'_2 f = \frac{\partial f}{\partial y}(x_0, y_0 + \theta_3 k) \cdot k + \frac{\partial f}{\partial x}(x_0 + \theta_4 h, y_0 + k) \cdot h ]
- 第一步：固定 ( x = x_0 )，( y ) 从 ( y_0 ) 变到 ( y
-
-
联立与简化： 由于两种路径计算的 ( \Delta f ) 是相同的，我们将两式相等： [ \frac{\partial f}{\partial x}(x_0 + \theta_1 h, y_0) \cdot h + \frac{\partial f}{\partial y}(x_0 + h, y_0 + \theta_2 k) \cdot k = \frac{\partial f}{\partial y}(x_0, y_0 + \theta_3 k) \cdot k + \frac{\partial f}{\partial x}(x_0 + \theta_4 h, y_0 + k) \cdot h ] 整理得： [ \left[ \frac{\partial f}{\partial x}(x_0 + \theta_1 h, y_0) - \frac{\partial f}{\partial x}(x_0 + \theta_4 h, y_0 + k) \right] h = \left[ \frac{\partial f}{\partial y}(x_0, y_0 + \theta_3 k) - \frac{\partial f}{\partial y}(x_0 + h, y_0 + \theta_2 k) \right] k ] 两边同时除以 ( h k )： [ \frac{ \frac{\partial f}{\partial x}(x_0 + \theta_1 h, y_0) - \frac{\partial f}{\partial x}(x_0 + \theta_4 h, y_0 + k) }{k} = \frac{ \frac{\partial f}{\partial y}(x_0, y_0 + \theta_3 k) - \frac{\partial f}{\partial y}(x_0 + h, y_0 + \theta_2 k) }{h} ]
-
取极限 ( h \to 0, k \to 0 )： 我们令 ( h ) 和 ( k ) 同时趋近于 0，由于 ( \frac{\partial f}{\partial x} ) 和 ( \frac{\partial f}{\partial y} ) 是连续的（由前提假设，二阶偏导数连续意味着一阶偏导数连续），且 ( \theta_1, \theta_2, \