Adiabatic accessibility denotes a certain relation between two equilibrium states of a thermodynamic system (or of different such systems). The concept was coined by Constantin Carathéodory in 1909 ("adiabatische Erreichbarkeit") and taken up 90 years later by Elliott Lieb and J. Yngvason in their axiomatic approach to the foundations of thermodynamics.  It was also used by R. Giles in his 1964 monograph.
A system Y is said to be adiabatically accessible from X if X can be transformed into Y without heating or cooling. X may, however, be transformed to Y by doing work on X. The two systems must, of course, contain the same amount of matter. For example, a system consisting of one kilogram of warm water is adiabatically accessible from a system consisting of one kilogram of cool water, since the cool water may be mechanically stirred to warm it. However, the cool water is not adiabatically accessible from the warm water, since no amount or type of work may be done to cool it.
The original definition of Carathéodory was limited to reversible, quasistatic process, described by a curve in the manifold of equilibrium states of the system under consideration. He called such a state change adiabatic if the infinitesimal 'heat' differential form vanishes along the curve. In other words, at no time in the process does heat enter or leave the system. Carathéodory's formulation of the Second Law of Thermodynamics then takes the form: "In the neighbourhood of any initial state, there are states which cannot be approached arbitrarily close through adiabatic changes of state." From this principle he derived the existence of entropy as a state function whose differential is proportional to the heat differential form , so it remains constant under adiabatic state changes (in Carathéodory's sense). The increase of entropy during irreversible processes is not obvious in this formulation, without further assumptions.
The definition employed by Lieb and Yngvason is rather different since the state changes considered can be the result of arbitrarily complicated, possibly violent, irreversible processes and there is no mention of 'heat' or differential forms. In the example of the water given above, if the stirring is done slowly, the transition from cool water to warm water will be quasistatic. However, a system containing an exploded firecracker is adiabatically accessible from a system containing an unexploded firecracker (but not vice-versa), and this transition is far from quasistatic. Lieb and Yngvason's definition of adiabatic accessibility is: A state is adiabatically accessible from a state , in symbols , if it is possible to transform into in such a way that the only net effect of the process on the surroundings is that a weight has been raised or lowered (or a spring is stretched/compressed, or a flywheel is set in motion).
A definition of thermodynamic entropy can be based entirely on certain properties of the relation of adiabatic accessibility that are taken as axioms in the Lieb-Yngvason approach. In the following list of properties of the operator, a system is represented by a capital letter, e.g. X, Y or Z. A system X whose extensive parameters are multiplied by is written . (e.g. for a simple gas, this would mean twice the amount of gas in twice the volume, at the same pressure.) A system consisting of two subsystems X and Y is written (X,Y). If and are both true, then each system can access the other and the transformation taking one into the other is reversible. This is an equivalence relationship written . Otherwise, it is irreversible. Adiabatic accessibility has the following properties:
- Transitivity: If and then
- Consistency: if and then
- Scaling Invariance: if and then
- Splitting and Recombination: for all
- Stability: if then
The entropy has the property that if and only if and if and only if in accord with the Second Law. If we choose two states and such that and assign entropies 0 and 1 respectively to them, then the entropy of a state X where is defined as:
- Constantin Carathéodory: Untersuchungen über die Grundlagen der Thermodynamik, Math. Ann., 67:355–386, 1909
- Lieb, Elliott H.; Yngvason, Jakob (1999). "The Physics and Mathematics of the Second Law of Thermodynamics". Phys. Rep. 310: 1–96. doi:10.1016/s0370-1573(98)00082-9. Retrieved 7 November 2012.
- Lieb, Elliott H.; Yngvason, Jakob (2003). "The Mathematical Structure of the Second Law of Thermodynamics". arXiv. doi:10.1016/S0370-1573(98)00082-9. Retrieved 7 November 2012.
- Robin Giles: "Mathematical Foundations of Thermodynamics", Pergamon, Oxford 1964
Thess, André. The Entropy Principle - Thermodynamics for the Unsatisfied. Springer-Verlag. Retrieved November 10, 2012. translated from André Thess: Das Entropieprinzip - Thermodynamik für Unzufriedene, Oldenbourg-Verlag 2007, ISBN 978-3-486-58428-8. A less mathematically intensive and more intuitive account of the theory of Lieb and Yngvason.
Lieb, Elliott H.; Yngvason, Jakob (2003). Greven, A.; Keller, G.; Warnecke, G., eds. The Entropy of Classical Thermodynamics (Princeton Series in Applied Mathematics). Princeton University Press. pp. 147–193. Retrieved November 10, 2012.
- A. Thess: Was ist Entropie? (German)