Adiabatic accessibility

A system in a state Y is said to be adiabatically accessible from a state X if X can be transformed into Y without the system suffering transfer of energy as heat or transfer of matter. X may, however, be transformed to Y by doing work on X. 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. ==Carathéodory==

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 \delta Q=dU-\sum p_idV_i 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 S whose differential dS is proportional to the heat differential form \delta Q, 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. ==Lieb and Yngvason==

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 Y is adiabatically accessible from a state X, in symbols X\prec Y (pronounced X 'precedes' Y), if it is possible to transform X into Y 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). ==Thermodynamic entropy==

A definition of thermodynamic entropy can be based entirely on certain properties of the relation \prec of adiabatic accessibility that are taken as axioms in the Lieb-Yngvason approach. In the following list of properties of the \prec operator, a system is represented by a capital letter, e.g. X, Y or Z. A system X whose extensive parameters are multiplied by \lambda is written \lambda X. (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 X \prec Y and Y \prec X 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 X \overset{\underset{\mathrm{A}}{}}{\sim} Y. Otherwise, it is irreversible. Adiabatic accessibility has the following properties: • Reflexivity: X \overset{\underset{\mathrm{A}}{}}{\sim} X • Transitivity: If X \prec Y and Y \prec Z then X \prec Z • Consistency: if X \prec X' and Y \prec Y' then (X,Y) \prec (X',Y') • Scaling Invariance: if \lambda > 0 and X \prec Y then \lambda X \prec \lambda Y • Splitting and Recombination: X\overset{\underset{\mathrm{A}}{}}{\sim}((1-\lambda)X,\lambda X) for all 0 • Stability: if \lim_{\epsilon \to 0} [(X,\epsilon Z_0) \prec (Y,\epsilon Z_1)] then X \prec Y The entropy has the property that S(X)\leq S(Y) if and only if X\prec Y and S(X)= S(Y) if and only if X \overset{\underset{\mathrm{A}}{}}{\sim} Y in accord with the second law. If we choose two states X_0 and X_1 such that X_0 \prec X_1 and assign entropies 0 and 1 respectively to them, then the entropy of a state X where X_0 \prec X \prec X_1 is defined as: :S(X) = \sup (\lambda : ((1-\lambda)X_0, \lambda X_1) \prec X) ==Sources==