在热力学、电磁学以及众多物理分支中，描述系统状态的热力学势（如内能U、焓H、亥姆霍兹自由能F、吉布斯自由能G）及其对应的自然变量占据着核心地位，这些势函数并非独立存在，它们之间通过勒让德变换相互关联，并遵循一系列严格的微分关系，欧拉倒易关系（Euler's Reciprocity Relation）以其简洁而深刻的对称形式，揭示了热力学势二阶偏导数之间的内在联系，是热力学基本关系的重要推论，也是理解系统平衡性质的关键，本文将系统地推导欧拉倒易关系,并探讨其物理意义与应用。
热力学基本方程与态函数特性
热力学的基本出发点是热力学第一定律和第二定律，对于简单可压缩系统，其内能U可以表示为熵S和体积V的函数，即 U = U(S, V),其微分形式为：
dU = T dS - P dV
T是温度，P是压强，这里,T和P分别是U对S和V的一阶偏导数：
T = (∂U/∂S)ᵥ P = - (∂U/∂V)ₛ
由于内能U是一个态函数（其微分是恰当微分），其二阶偏导数与求导顺序无关，这即数学上的 Schwarz 定理或连续性定理。
∂²U / ∂V∂S = ∂²U / ∂S∂V
将上述一阶偏导数代入,可得：
∂/∂V [ (∂U/∂S)ᵥ ] = ∂/∂S [ - (∂U/∂V)ₛ ] 即： (∂T/∂V)ₛ = - (∂P/∂S)ᵥ
这个关系式是麦克斯韦关系式之一，它直接源于U(S,V)的二阶偏导数的对称性，欧拉倒易关系并非直接来自单一势函数的二阶导数,而是源于热力学势的齐次性。
热力学势的齐次性与欧拉定理
在热力学中，一个重要的性质是，对于处于平衡态的简单系统，其内能U(S,V)是一个关于广延量S和V的一次齐次函数，这意味着，对于任意正数λ,有：
U(λS, λV) = λ U(S, V)
数学上的欧拉定理（Euler's Theorem for Homogeneous Functions）指出：如果一个函数 f(x₁, x₂, ..., xₙ) 是k次齐次的，即 f(λx₁, λx₂, ..., λxₙ) = λᵏ f(x₁, x₂, ..., xₙ)，
∑ᵢ (xᵢ * ∂f/∂xᵢ) = k f
将欧拉定理应用于内能U(S,V)（k=1）,我们得到：
S (∂U/∂S)ᵥ + V (∂U/∂V)ₛ = 1 * U
代入 (∂U/∂S)ᵥ = T 和 (∂U/∂V)ₛ = -P,得到：
S T - V P = U
这就是著名的欧拉关系式，它将内能U与温度T、压强P、熵S和体积V直接联系起来，这个关系式是广延性质的直接体现，表明内能可以“分解”为各个强度量（T, P）与对应广延量（S, V）的乘积之和。
欧拉倒易关系的推导
欧拉倒易关系通常指的是热力学势的二阶偏导数之间更一般化的对称关系，其推导可以从欧拉关系式出发，结合勒让德变换得到的其他热力学势的定义，并利用二阶偏导数的对称性（Schwarz定理）来完成。
我们以吉布斯自由能G为例进行推导,吉布斯自由能的定义为：
G = U - TS + PV
它也是广延量，其自然变量是T, P, N（物质的量，此处为简化先忽略，或视为固定），将欧拉关系式 U = TS - PV 代入G的定义：
G = (TS - PV) - TS + PV = 0
这显然不正确，问题在于我们忽略了物质的量N，更完整地，考虑包含粒子数N的系统，内能U = U(S, V, N)，是S, V, N的一次齐次函数,欧拉定理给出：
S (∂U/∂S)ᵥ,ₙ + V (∂U/∂V)ₛ,ₙ + N (∂U/∂N)ₛ,ᵥ = U 即： S T - V P + N μ = U μ = (∂U/∂N)ₛ,ᵥ 是化学势。
吉布斯自由能的定义为： G = U - TS + PV 代入U的表达式： G = (TS - PV + Nμ) - TS + PV = Nμ G = Nμ，这表明G是强度量μ与广延量N的乘积，对于固定N的系统，G(T,P,N)是T和P的零次齐次函数（因为μ是T,P的函数，与N无关）。
我们考虑吉布斯自由能G(T, P, N)的二阶偏导数，根据定义： dG = -S dT + V dP + μ dN
- S = (∂G/∂T)ₚ,ₙ V = (∂G/∂P)ₜ,ₙ μ = (∂G/∂N)ₜ,ₚ
由于G是态函数，其二阶偏导数与求导顺序无关，考察 (∂²G / ∂P∂T)： ∂/∂P [ (∂G/∂T)ₚ,ₙ ] = ∂/∂P [ -S ]ₜ,ₙ = - (∂S/∂P)ₜ,ₙ ∂/∂T [ (∂G/∂P)ₜ,ₙ ] = ∂/∂T [ V ]ₚ,ₙ = (∂V/∂T)ₚ,ₙ 根据Schwarz定理：
- (∂S/∂P)ₜ,ₙ = (∂V/∂T)ₚ,ₙ 这就是一个麦克斯韦关系式。
我们关注欧拉倒易关系更核心的形式，它通常涉及不同热力学势的二阶导数，考虑亥姆霍兹自由能 F = U - TS，其自然变量是S, V, N，dF = -S dT - P dV + μ dN,我们有：
- S = (∂F/∂T)ᵥ,ₙ
- P = (∂F/∂V)ₜ,ₙ μ = (∂F/∂N)ₜ,ᵥ
考虑 (∂²F / ∂V∂T)： ∂/∂V [ (∂F/∂T)ᵥ,ₙ ] = ∂/∂V [ -S ]ₜ,ₙ = - (∂S/∂V)ₜ,ₙ ∂/∂T [ (∂F/∂V)ₜ,ₙ ] = ∂/∂T [ -P ]ᵥ,ₙ = - (∂
- (∂S/∂V)ₜ,ₙ = - (∂P/∂T)ᵥ,ₙ 即： (∂S/∂V)ₜ,ₙ = (∂P/∂T)ᵥ,ₙ 这也是一个麦克斯韦关系式。
欧拉倒易关系更一般的形式可以表述为：对于任何两个热力学势Φ和Ψ，如果它们是同一个基本势（如U）通过勒让德变换得到的，和Ψ分别包含某个共轭变量对（如X, Y）中的一个作为其自然变量， (∂X/∂Ψ)ᵧ = (∂Y/∂Φ)ₓ X和Y是共轭变量（如T和S，P和V），Φ和Ψ是分别以Y和X为自然变量的势函数。
考虑内能U(S,V)和焓H(S,P) = U + PV，H的自然变量是S,P。 U的二阶导数： (∂²U/∂V∂S) = (∂T/∂V)ₛ = - (∂P/∂S)ᵥ H的定义： dH = T dS + V dP T = (∂H/∂S)ₚ， V = (�