Ruppeiner geometry

Ruppeiner geometry is thermodynamic geometry (a type of information geometry) using the language of Riemannian geometry to study thermodynamics. George Ruppeiner proposed it in 1979. He claimed that thermodynamic systems can be represented by Riemannian geometry, and that statistical properties can be derived from the model.

This geometrical model is based on the inclusion of the theory of fluctuations into the axioms of equilibrium thermodynamics, namely, there exist equilibrium states which can be represented by points on two-dimensional surface (manifold) and the distance between these equilibrium states is related to the fluctuation between them. This concept is associated to probabilities, i.e. the less probable a fluctuation between states, the further apart they are. This can be recognized if one considers the metric tensor g_ij in the distance formula (line element) between the two equilibrium states

${\displaystyle ds^{2}=g_{ij}^{R}dx^{i}dx^{j},\,}$

where the matrix of coefficients g_ij is the symmetric metric tensor which is called a Ruppeiner metric, defined as a negative Hessian of the entropy function

${\displaystyle g_{ij}^{R}=-\partial _{i}\partial _{j}S(U,N^{a})}$

where U is the internal energy (mass) of the system and N^a refers to the extensive parameters of the system. Mathematically, the Ruppeiner geometry is one particular type of information geometry and it is similar to the Fisher–Rao metric used in mathematical statistics.

The Ruppeiner metric can be understood as the thermodynamic limit (large systems limit) of the more general Fisher information metric.^[1] For small systems (systems where fluctuations are large), the Ruppeiner metric may not exist, as second derivatives of the entropy are not guaranteed to be non-negative.

The Ruppeiner metric is conformally related to the Weinhold metric via

${\displaystyle ds_{R}^{2}={\frac {1}{T}}ds_{W}^{2}\,}$

where T is the temperature of the system under consideration. Proof of the conformal relation can be easily done when one writes down the first law of thermodynamics (dU = TdS + ...) in differential form with a few manipulations. The Weinhold geometry is also considered as a thermodynamic geometry. It is defined as a Hessian of the internal energy with respect to entropy and other extensive parameters.

${\displaystyle g_{ij}^{W}=\partial _{i}\partial _{j}U(S,N^{a})}$

It has long been observed that the Ruppeiner metric is flat for systems with noninteracting underlying statistical mechanics such as the ideal gas. Curvature singularities signal critical behaviors. In addition, it has been applied to a number of statistical systems including Van der Waals gas. Recently the anyon gas has been studied using this approach.

This geometry has been applied to black hole thermodynamics, with some physically relevant results. The most physically significant case is for the Kerr black hole in higher dimensions, where the curvature singularity signals thermodynamic instability, as found earlier by conventional methods.

The entropy of a black hole is given by the well-known Bekenstein–Hawking formula

${\displaystyle S={\frac {k_{\text{B}}c^{3}A}{4G\hbar }}}$

where ${\displaystyle k_{\text{B}}}$ is the Boltzmann constant, ${\displaystyle c}$ is the speed of light, ${\displaystyle G}$ is the Newtonian constant of gravitation and ${\displaystyle A}$ is the area of the event horizon of the black hole. Calculating the Ruppeiner geometry of the black hole's entropy is, in principle, straightforward, but it is important that the entropy should be written in terms of extensive parameters,

${\displaystyle S=S(M,N^{a})}$

where ${\displaystyle M}$ is ADM mass of the black hole and N^a are the conserved charges and a runs from 1 to n. The signature of the metric reflects the sign of the hole's specific heat. For a Reissner–Nordström black hole, the Ruppeiner metric has a Lorentzian signature which corresponds to the negative heat capacity it possess, while for the BTZ black hole, we have a Euclidean signature. This calculation cannot be done for the Schwarzschild black hole, because its entropy is

${\displaystyle S=S(M)}$

which renders the metric degenerate.