Geometrothermodynamics

In physics, geometrothermodynamics (GTD) is a formalism developed in 2007 by Hernando Quevedo to describe the properties of thermodynamic systems in terms of concepts of differential geometry.

Consider a thermodynamic system in the framework of classical equilibrium thermodynamics. The states of thermodynamic equilibrium are considered as points of an abstract equilibrium space in which a Riemannian metric can be introduced in several ways. In particular, one can introduce Hessian metrics like the Fisher information metric, the Weinhold metric, the Ruppeiner metric and others, whose components are calculated as the Hessian of a particular thermodynamic potential.

Another possibility is to introduce metrics which are independent of the thermodynamic potential, a property which is shared by all thermodynamic systems in classical thermodynamics. Since a change of thermodynamic potential is equivalent to a Legendre transformation, and Legendre transformations do not act in the equilibrium space, it is necessary to introduce an auxiliary space to correctly handle the Legendre transformations. This is the so-called thermodynamic phase space. If the phase space is equipped with a Legendre invariant Riemannian metric, a smooth map can be introduced that induces a thermodynamic metric in the equilibrium manifold. The thermodynamic metric can then be used with different thermodynamic potentials without changing the geometric properties of the equilibrium manifold. One expects the geometric properties of the equilibrium manifold to be related to the macroscopic physical properties.

The details of this relation can be summarized in three main points:

1. Curvature is a measure of the thermodynamical interaction.
2. Curvature singularities correspond to curvature phase transitions.
3. Thermodynamic geodesics correspond to quasi-static processes.

Geometric aspects

The main ingredient of GTD is a (2n + 1)-dimensional manifold [math]\displaystyle{ \mathcal{T} }[/math] with coordinates [math]\displaystyle{ Z^A=\{\Phi,E^a,I^a\} }[/math], where [math]\displaystyle{ \Phi }[/math] is an arbitrary thermodynamic potential, [math]\displaystyle{ E^a }[/math], [math]\displaystyle{ a=1,2,\ldots,n }[/math], are the extensive variables, and [math]\displaystyle{ I^a }[/math] the intensive variables. It is also possible to introduce in a canonical manner the fundamental one-form [math]\displaystyle{ \Theta = d\Phi - \delta_{ab}I^a d E^b }[/math] (summation over repeated indices) with [math]\displaystyle{ \delta_{ab}={\rm diag}(+1,\ldots,+1) }[/math], which satisfies the condition [math]\displaystyle{ \Theta \wedge (d\Theta)^n \neq 0 }[/math], where [math]\displaystyle{ n }[/math] is the number of thermodynamic degrees of freedom of the system, and is invariant with respect to Legendre transformations

[math]\displaystyle{ \{Z^A\}\longrightarrow \{\widetilde{Z}^A\}=\{\tilde \Phi, \tilde E ^a, \tilde I ^ a\}\ ,\quad \Phi = \tilde \Phi - \delta_{kl} \tilde E ^k \tilde I ^l ,\quad E^i = - \tilde I ^{i}, \quad E^j = \tilde E ^j,\quad I^{i} = \tilde E ^i , \quad I^j = \tilde I ^j \ , }[/math]

where [math]\displaystyle{ i\cup j }[/math] is any disjoint decomposition of the set of indices [math]\displaystyle{ \{1,\ldots,n\} }[/math], and [math]\displaystyle{ k,l= 1,\ldots,i }[/math]. In particular, for [math]\displaystyle{ i=\{1,\ldots,n\} }[/math] and [math]\displaystyle{ i=\emptyset }[/math] we obtain the total Legendre transformation and the identity, respectively. It is also assumed that in [math]\displaystyle{ \mathcal{T} }[/math] there exists a metric [math]\displaystyle{ G }[/math] which is also invariant with respect to Legendre transformations. The triad [math]\displaystyle{ (\mathcal{T},\Theta,G) }[/math] defines a Riemannian contact manifold which is called the thermodynamic phase space (phase manifold). The space of thermodynamic equilibrium states (equilibrium manifold) is an n-dimensional Riemannian submanifold [math]\displaystyle{ \mathcal{E}\subset \mathcal{T} }[/math] induced by a smooth map [math]\displaystyle{ \varphi:\mathcal{E}\rightarrow\mathcal{T} }[/math], i.e. [math]\displaystyle{ \varphi:\{E^a\} \mapsto \{\Phi,E^a,I^a\} }[/math], with [math]\displaystyle{ \Phi=\Phi(E^a) }[/math] and [math]\displaystyle{ I^a= I^a(E^a) }[/math], such that [math]\displaystyle{ \varphi^*(\Theta)=\varphi^*(d\Phi - \delta_{ab}I^{a}dE^{b})=0 }[/math] holds, where [math]\displaystyle{ \varphi^* }[/math] is the pullback of [math]\displaystyle{ \varphi }[/math]. The manifold [math]\displaystyle{ \mathcal{E} }[/math] is naturally equipped with the Riemannian metric [math]\displaystyle{ g=\varphi^*(G) }[/math]. The purpose of GTD is to demonstrate that the geometric properties of [math]\displaystyle{ \mathcal{E} }[/math] are related to the thermodynamic properties of a system with fundamental thermodynamic equation [math]\displaystyle{ \Phi=\Phi(E^a) }[/math]. The condition of invariance with respect total Legendre transformations leads to the metrics

[math]\displaystyle{ G^I = (d\Phi- \delta_{ab}I^a d E^b)^2 + \Lambda\, (\xi_{ab} E^a I^b)\left( \delta_{cd} dE^c d I^d\right)\ ,\quad \delta_{ab}={\rm diag}(1,\ldots,1) }[/math]

[math]\displaystyle{ G^{II} = (d\Phi- \delta_{ab}I^a d E^b)^2 + \Lambda\, (\xi_{ab} E^a I^b)\left( \eta_{cd} dE^c d I^d\right)\ ,\quad \eta_{ab}={\rm diag}(-1,1,\ldots,1) }[/math]

where [math]\displaystyle{ \xi_{ab} }[/math] is a constant diagonal matrix that can be expressed in terms of [math]\displaystyle{ \delta_{ab} }[/math] and [math]\displaystyle{ \eta_{ab} }[/math], and [math]\displaystyle{ \Lambda }[/math] is an arbitrary Legendre invariant function of [math]\displaystyle{ Z^A }[/math]. The metrics [math]\displaystyle{ G^I }[/math] and [math]\displaystyle{ G^{II} }[/math] have been used to describe thermodynamic systems with first and second order phase transitions, respectively. The most general metric which is invariant with respect to partial Legendre transformations is

[math]\displaystyle{ G^{III} = (d\Phi- \delta_{ab}I^a d E^b)^2 + \Lambda\, ( E_a I_a)^{2k+1} \left( dE^a d I^a\right)\ , \quad E_a= \delta_{ab} E^b \ , \quad I_a = \delta_{ab} I^b \ . }[/math]

The components of the corresponding metric for the equilibrium manifold [math]\displaystyle{ {\mathcal E} }[/math] can be computed as

[math]\displaystyle{ g_{ab} = \frac{\partial Z^A}{\partial E^a}\frac{\partial Z^B}{\partial E^b} G_{AB}\ . }[/math]

Applications

GTD has been applied to describe laboratory systems like the ideal gas, van der Waals gas, the Ising model, etc., more exotic systems like black holes in different gravity theories, in the context of relativistic cosmology, and to describe chemical reactions .