Editing Detailed balance

The principle of '''detailed balance''' is formulated for kinetic systems which are decomposed into elementary processes (collisions, or steps, or elementary reactions): ''At equilibrium, each elementary process should be equilibrated by its reverse process.'' Lewis put forward this general principle in 1925:

<blockquote>''Corresponding to every individual process there is a reverse process, and in a state of equilibrium the average rate of every process is equal to the average rate of its reverse process.<ref>[http://www.pnas.org/content/11/3/179.full.pdf+html Gilbert N. Lewis "A new principle of equilibrium" Proceedings of the National Academy of Sciences '''11''' pp. 179-183 (1925)]''</ref></blockquote>

According to Ter Haar <ref>[http://dx.doi.org/10.1103/RevModPhys.27.289 D. Ter Haar  "Foundations of Statistical Mechanics", Reviews of Modern Physics '''27''' pp. 289-338 (1955)] Appendix VII</ref> the essence of the detailed balance is: <blockquote>...at equilibrium the number of processes destroying situation <math>A</math> and creating situation <math>B</math> will be equal to the number of processes producing <math>A</math> and destroying <math>B</math></blockquote>

The principle of detailed balance was explicitly introduced for collisions by [[Ludwig Eduard Boltzmann |Ludwig Boltzmann]]. In 1872, he proved his [[H-theorem]] using this principle <ref name = "Boltzmann1872">Ludwig Boltzmann "Lectures on Gas Theory" (original title "Vorlesungen uber Gastheorie") (1896) ISBN 0486684555 </ref>. 
The arguments in favour of this property are founded upon microscopic reversibility <ref name=Tolman1938>Richard C. Tolman "The Principles of Statistical Mechanics" Oxford University Press (1938) ISBN 0486638960</ref>. 
In 1901, R. Wegscheider introduced the principle of detailed balance for chemical kinetics.<ref>[http://dx.doi.org/10.1007/BF01517498 Rud Wegscheider "Über simultane Gleichgewichte und die Beziehungen zwischen Thermodynamik und Reactionskinetik homogener Systeme",  Monatshefte für Chemie '''22''' pp. 849-906 (1901)]</ref> In particular, he demonstrated that the irreversible cycles <math>A_1 \to A_2 \to ... \to A_n \to A_1</math> are impossible and found explicitly the relations between kinetic constants that follow from the principle of detailed balance.


==Microscopic background==
The microscopic "reversing of time" turns at the kinetic level into the "reversing of arrows": the elementary processes transform into their reverse processes. For example, the reaction 

:<math>\sum_i \alpha_i A_i \to \sum_j \beta_j B_j</math> 

transforms into 

:<math>\sum_j \beta_j B_j \to \sum_i \alpha_i A_i</math>

and conversely. (Here, <math>A_i, B_j</math> are symbols of components or states, <math>\alpha_i, \beta_j \geq 0 </math> are coefficients). The equilibrium ensemble should be invariant with respect to this transformation because of micro-reversibility and the uniqueness of thermodynamic equilibrium. This leads us immediately to the concept of detailed balance: each process is equilibrated by its reverse process.

==Reversible Markov chains==
A [[Markov chain | Markov process]] is said to have detailed balance if the transition probability, <math>P</math>, between each pair of states <math>i</math> and <math>j</math> in the state space obey

:<math>\pi_{i} P_{ij} = \pi_{j} P_{ji}\,,</math>

where <math>P</math> is the Markov transition matrix (transition probability), ''i.e.'', ''P''<sub>''ij''</sub>&nbsp;=&nbsp;''P''(''X''<sub>''t''</sub>&nbsp;=&nbsp;''j''&nbsp;|&nbsp;''X''<sub>''t''&nbsp;−&nbsp;1</sub>&nbsp;=&nbsp;''i''); and π<sub>''i''</sub> and π<sub>''j''</sub> are the equilibrium probabilities of being in states ''i'' and ''j'', respectively.<ref name=OHagan>Anthony O'Hagan and Jonathan J. Forster "Kendall's Advanced Theory of Statistics, Volume 2B: Bayesian Inference",  Wiley (2004) ISBN 0340807520</ref>  When Pr(''X''<sub>''t''−1</sub>&nbsp;=&nbsp;''i'')&nbsp;=&nbsp;π<sub>''i''</sub> for all ''i'', this is equivalent to the joint probability matrix, Pr(''X''<sub>''t''−1</sub>&nbsp;=&nbsp;''i'',&nbsp;''X''<sub>''t''</sub>&nbsp;=&nbsp;''j'') being symmetric in ''i'' and ''j''; or symmetric in ''t''&nbsp;−&nbsp;1 and&nbsp;''t''.

The definition carries over straightforwardly to continuous variables, where π becomes a probability density, and ''P''(''s''′,&nbsp;''s'') a transition kernel probability density from state ''s''′ to state&nbsp;''s'':

:<math>\pi(s') P(s',s) = \pi(s) P(s,s')\,.</math>

A Markov process that has detailed balance is said to be a ''reversible Markov process'' or ''reversible Markov chain'' <ref name=OHagan />.

The detailed balance condition is stronger than that required merely for a stationary distribution; that is, there are Markov processes with stationary distributions that do not have detailed balance.  Detailed balance implies that, around any closed cycle of states, there is no net flow of probability. For example, it implies that, for all ''a'', ''b'' and ''c'',

:<math>P(a,b) P(b,c) P(c,a) = P(a,c) P(c,b) P(b,a)\,.</math>

This can be proved by substitution from the definition.  In the case of a positive transition matrix, the "no net flow" condition implies detailed balance.

Transition matrices that are symmetric (''P''<sub>''ij''</sub>&nbsp;=&nbsp;''P''<sub>''ji''</sub> or ''P''(''s''′,&nbsp;''s'')&nbsp;=&nbsp;''P''(''s'',&nbsp;''s''′)) always have detailed balance.  In these cases, a uniform distribution over the states is an equilibrium distribution.  For continuous systems with detailed balance, it may be possible to continuously transform the coordinates until the equilibrium distribution is uniform, with a transition kernel which then is symmetric.  In the case of discrete states, it may be possible to achieve something similar by breaking the Markov states into a degeneracy of sub-states.

==Detailed balance and the entropy growth==
For many systems of physical and chemical kinetics, detailed balance provides ''sufficient conditions'' for the [[entropy]] growth in isolated systems. For example, the famous Boltzmann H-theorem<ref name = "Boltzmann1872"/> states that, according to the Boltzmann equation, the principle of detailed balance implies positivity of the entropy production. The Boltzmann formula (1872) for the entropy production in the rarefied gas kinetics with detailed balance<ref name = "Boltzmann1872"/><ref name=Tolman1938/> served as a prototype of many similar formulas for dissipation in mass action kinetics<ref>Volpert, A.I., Khudyaev, S.I. (1985), Analysis in classes of discontinuous functions and equations of mathematical physics. Dordrecht, The Netherlands: Nijoff. (Translation from the 1st Russian ed., Moscow, Nauka publ., 1975.)</ref> and generalized mass action kinetics<ref>Schuster, S., Schuster R. (1989). [http://www.springerlink.com/content/g3m2177v4344065q/ A generalization of Wegscheider's condition. Implications for properties of steady states and for quasi-steady-state approximation.] J. Math. Chem, 3 (1), 25-42.</ref> with detailed balance.

Nevertheless, the principle of detailed balance is not necessary for the entropy growth. For example, in the linear irreversible cycle <math>A_1 \to A_2 \to A_3 \to A_1</math> the entropy production is positive but the principle of detailed balance does not hold. 

The principle of detailed balance is a ''sufficient but not necessary condition'' for the entropy growth in the Boltzmann kinetics. These relations between the principle of detailed balance and the Second law of thermodynamics were clarified in 1887 when Hendrik Lorentz objected the Boltzmann H-theorem for polyatomic gases.<ref>Lorentz H.-A. (1887) Üeber das Gleichgewicht der lebendigen Kraft unter Gasmolekülen. S.A.W. [Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne.] 95, 115-152.</ref> Lorentz stated that the principle of detailed balance is not applicable to collisions of  polyatomic molecules. Boltzmann immediately invented a new, more general condition sufficient for the entropy growth.<ref name=Boltzmann1887>Boltzmann L. (1887) Neuer Beweis zweier Sätze über das Wärmegleichgewicht unter mehratomigen Gasmolekülen. S.A.W. [Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne.] 95, 153-164.</ref> In particular, this condition is valid for all Markov processes without any relation to time-reversibility. The entropy growth in all Markov processes was explicitely proved later.<ref>Shannon, C.E. (1948) A Mathematical Theory of Communication, Bell System Technical Journal, Vol. 27, pp.&nbsp;379–423, 623–656. [http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-3-379.pdf] [http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-4-623.pdf]</ref> These theorems may be considered as simplifications of the Boltzmann result.  Later, this condition was discussed as the "cyclic balance" condition (because it holds for irreversible cycles) or the "semi-detailed balance" or the "complex balance". In 1981, Carlo Cercignani and Maria Lampis proved that the Lorenz arguments were wrong and the principle of detailed balance is valid for polyatomic molecules.<ref>Cercignani, C. and Lampis, M. (1981). On the H-theorem for polyatomic gases, Journal of Statistical Physics, V. 26 (4), 795-801.</ref> Nevertheless, the extended semi-detailed balance conditions invented by Boltzmann in this discussion remain the remarkable generalization of the detailed balance.

==Wegscheider's conditions for the generalized mass action law==

In chemical kinetics, the elementary reactions are represented by the stoichiometric equations

:<math>\sum_i \alpha_{ri} A_i \to \sum_j \beta_{rj} A_j \;\; (r=1, \ldots, m) \, , </math>

where <math>A_i</math> are the components and <math>\alpha_{ri}, \beta_{rj}\geq 0</math> are the stoichiometric coefficients. Here, the reverse reactions with positive constants are included in the list separately. We need this separation of direct and reverse reactions to apply later the general formalism to the systems with some irreversible reactions. The system of stoichiometric equations of elementary reactions is the ''reaction mechanism''.

The ''stoichiometric matrix'' is <math>\boldsymbol{\Gamma}=(\gamma_{ri})</math>, <math>\gamma_{ri}=\beta_{ri}-\alpha_{ri}</math> (gain minus loss). The ''stoichiometric vector'' <math>\gamma_r</math> is the ''r''th row of <math>\boldsymbol{\Gamma}</math> with coordinates <math>\gamma_{ri}=\beta_{ri}-\alpha_{ri}</math>.

According to the ''generalised mass action law'', the reaction rate for an elementary reaction is

:<math>w_r=k_r \prod_{i=1}^n a_i^{\alpha_{ri}} \, ,</math>

where <math>a_i\geq 0</math> is the activity of <math>A_i</math>.

The reaction mechanism includes reactions with the reaction rate constants <math>k_r>0</math>. For each ''r'' the following notations are used: <math>k_r^+=k_r</math>, <math>w_r^+=w_r</math>, <math>k_r^-</math> is the reaction rate constant for the reverse reaction if it is in the reaction mechanism and 0 if it is not, <math>w_r^-</math> is the reaction rate for the reverse reaction if it is in the reaction mechanism and 0 if it is not. For a reversible reaction, <math>K_r=k_r^+/k_r^-</math> is the equilibrium constant.

The principle of detailed balance for the generalized mass action law is: For given values <math>k_r</math> there exists a positive equilibrium <math>a_i^{\rm eq}>0</math> with detailed balance, <math>w_r^+=w_r^-</math>. This means that the system of ''linear'' detailed balance equations

<math>\sum_i \gamma_{ri} x_i = \ln k_r^+-\ln k_r^-=\ln K_r </math>

is solvable (<math>x_i=\ln a_i^{\rm eq}</math>). The following classical result gives the necessary and sufficient conditions for the existence of the positive equilibrium <math>a_i^{\rm eq}>0</math> with  detailed balance <ref name=Yab1991>G. S. Yablonskii, V. I. Bykov, V. I. Elokhin, and A.N. Gorban "Kinetic Models of Catalytic Reactions", Elsevier (1991) ISBN 978-0-444-88802-0</ref>.

Two conditions are sufficient and necessary in order to solve the system of detailed balance equations:
# If <math>k_r^+>0</math> then <math>k_r^->0</math> (reversibility);
# For any solution <math>\boldsymbol{\lambda}=(\lambda_r)</math> of the system
:<math>\boldsymbol{\lambda \Gamma} =0  \;\; \left(\mbox{i.e.}\;\; \sum_r \lambda_r \gamma_{ri}=0\;\; \mbox{for all} \;\; i\right)</math>
the Wegscheider's identity
<ref name=GorbanYablonsky2011>[http://dx.doi.org/10.1016/j.ces.2011.07.054 A. N. Gorban and G. S. Yablonsky "Extended detailed balance for systems with irreversible reactions", Chemical Engineering Science '''66''' pp. 5388-5399 (2011)]</ref>
holds:
:<math>\prod_{r=1}^m     (k_r^+)^{\lambda_r}=\prod_{r=1}^m     (k_r^-)^{\lambda_r} \, .</math>

''Remark.'' It is sufficient to use in the Wegscheider conditions a basis of solutions of the system <math>\boldsymbol{\lambda \Gamma} =0 </math>.

In particular, for any cycle in the monomolecular (linear) reactions the product of the reaction rate constants in the clockwise direction is equal to the product of the reaction rate constants in the counter-clockwise direction. The same condition is valid for the reversible Markov processes (it is equivalent to the "no net flow" condition).

A simple non-linear example gives us a linear cycle supplemented by one non-linear step <ref name=GorbanYablonsky2011/>: 
# <math>A_1 \rightleftharpoons A_2</math>
# <math>A_2 \rightleftharpoons A_3 </math>
# <math>A_3 \rightleftharpoons A_1</math>
# <math>A_1+A_2 \rightleftharpoons 2A_3</math>
There are two nontrivial independent Wegscheider's identities for this system:
:<math>k_1^+k_2^+k_3^+=k_1^-k_2^-k_3^-</math> and <math>k_3^+k_4^+/k_2^+=k_3^-k_4^-/k_2^-</math>
They correspond to the following linear relations between the stoichiometric vectors:
:<math>\gamma_1+\gamma_2+\gamma_3=0</math> and <math>\gamma_3+\gamma_4-\gamma_2=0</math>.

The computational aspect of the Wegscheider conditions was studied by D. Colquhoun et al. 
<ref>[http://dx.doi.org/10.1529/biophysj.103.038679 David Colquhoun, Kathryn A. Dowsland, Marco Beato and Andrew J.R. Plested "How to Impose Microscopic Reversibility in Complex Reaction Mechanisms", Biophysical Journal '''86''' pp. 3510-3518 (2004)]</ref>.

The Wegscheider conditions demonstrate that, whereas the principle of detailed balance states a local property of equilibrium, it implies the relations between the kinetic constants that are valid for all states far from equilibrium. This is possible because a kinetic law is known and relations between the rates of the elementary processes at equilibrium can be transformed into relations between kinetic constants which are used globally. For the Wegscheider conditions this kinetic law is the law of mass action (or the generalised law of mass action).

==Dissipation in systems with detailed balance==
To describe dynamics of the systems that obey the generalised mass action law, one has to represent the activities as functions of the concentrations <math>c_j</math> and the [[temperature]]. For this purpose, let us represent the activity in terms of the [[chemical potential]]:

:<math>a_i = \exp\left (\frac{\mu_i - \mu^{\Theta}_i}{RT}\right )</math>

where <math>\mu_i</math> is the chemical potential of the species under the conditions of interest, <math>\mu^{\Theta}_i</math> is the chemical potential of that species in the chosen standard state, <math>R</math> is the [[Molar gas constant |gas constant]] and <math>T</math> is the thermodynamic temperature.  
The chemical potential can be represented as a function of <math>c</math> and <math>T</math>, where <math>c</math> is the vector of concentrations with components  <math>c_j</math>. For  ideal systems,  <math>\mu_i=RT\ln c_i+\mu^{\Theta}_i</math> and <math>a_j=c_j</math>: the activity is the concentration. 

For an [[Canonical ensemble |isothermal, isochoric system]] the [[Helmholtz energy function]] <math>A(N, V, T)</math> measures the "useful" [[work]] obtainable from a system. For an ideal system one has 

:<math>A=RT \sum_i N_i \left(\ln\left(\frac{N_i}{V}\right)-1+\frac{\mu^{\Theta}_i(T)}{RT}\right) </math>

The chemical potential is given by the partial derivative

:<math> \mu_i=\frac{\partial A(N,V,T)}{\partial N_j}.</math>

The chemical kinetic equations are 

:<math>\frac{d N_i}{d t}=V \sum_r \gamma_{ri}(w^+_r-w^-_r) .</math>

If the principle of detailed balance is valid, then for any value of <math>T</math> there exists a positive point of detailed balance <math>c^{\mathrm {eq}}</math>:

:<math>w^+_r(c^{\mathrm {eq}},T)=w^-_r(c^{\rm eq},T)=w^{\rm eq}_r</math>

which leads to 

:<math>w^+_r=w^{\rm eq}_r \exp \left(\sum_i \frac{\alpha_{ri}(\mu_i-\mu^{\rm eq}_i)}{RT}\right); \;\; w^-_r=w^{\rm eq}_r \exp \left(\sum_i \frac{\beta_{ri}(\mu_i-\mu^{\rm eq}_i)}{RT}\right);</math>

where <math>\mu^{\rm eq}_i=\mu_i(c^{\rm eq},T)</math>

For the dissipation one obtains 

:<math>\frac{d F}{d t}=\sum_i \frac{\partial F(T,V,N)}{\partial N_i} \frac{d N_i}{d t}=\sum_i \mu_i \frac{d N_i}{d t} = -VRT \sum_r (\ln w_r^+-\ln w_r^-) (w_r^+-w_r^-) \leq 0</math>

The inequality holds because the logarithm function is monotonic, hence, the expressions <math>\ln w_r^+-\ln w_r^-</math> and <math>w_r^+-w_r^-</math> always have the same sign.

Similar inequalities <ref name=Yab1991/> are valid for other classical conditions for the closed systems and the corresponding characteristic functions: for [[Isothermal-isobaric ensemble |isothermal isobaric conditions]] the [[Gibbs energy function]]  decreases, for [[Microcanonical ensemble |isochoric systems with  constant internal energy]]  the entropy increases as well as for [[Isoenthalpic–isobaric ensemble |isobaric systems with the constant enthalpy]].

== Onsager reciprocal relations and detailed balance ==
Let the principle of detailed balance be valid. Then, in the linear approximation near equilibrium the reaction rates for the generalized mass action law are
:<math>w^+_r=w^{\rm eq}_r \left(1+\sum_i \frac{\alpha_{ri}(\mu_i-\mu^{\rm eq}_i)}{RT}\right); \;\; w^-_r=w^{\rm eq}_r  \left(1+ \sum_i \frac{\beta_{ri}(\mu_i-\mu^{\rm eq}_i)}{RT}\right);</math>

Therefore, in the linear approximation near equilibrium, the kinetic equations are (<math>\gamma_{rj}=\beta_{ri}-\alpha_{ri}</math>):

:<math>\frac{d N_i}{d t}=-V \sum_j \left[\sum_r w^{\rm eq}_r \gamma_{ri}\gamma_{rj}\right] \frac{\mu_j-\mu^{\rm eq}_j}{RT}.</math>

This is exactly the Onsager form: following the original work of [[Lars Onsager]] <ref>[http://dx.doi.org/10.1103/PhysRev.37.405 Lars Onsager "Reciprocal Relations in Irreversible Processes. I.", Physical Review '''37''' pp. 405-426 (1931)]</ref><ref>[http://dx.doi.org/10.1103/PhysRev.38.2265 Lars Onsager "Reciprocal Relations in Irreversible Processes. II.", Physical Review '''38''' pp. 2265-2279 (1931)]</ref>
we should introduce the thermodynamic forces <math>X_j</math> and the matrix of coefficients <math>L_{ij}</math> in the form
:<math>X_j = \frac{\mu_j-\mu^{\rm eq}_j}{T}; \;\; \frac{d N_i}{d t}=\sum_j L_{ij}X_j </math>

The coefficient matrix <math>L_{ij}</math> is symmetric: 
:<math>L_{ij}=-\frac{V}{R}\sum_r w^{\rm eq}_r \gamma_{ri}\gamma_{rj}</math>

These symmetry relations, <math>L_{ij}=L_{ji}</math>, are exactly the [[Onsager reciprocal relations]]. The coefficient matrix <math>L</math> is non-positive. It is negative on the linear span of the stoichiometric vectors <math>\gamma_{r}</math>.
So, the Onsager relations follow from the principle of detailed balance in the linear approximation near equilibrium.

==Semi-detailed balance==
To formulate the principle of semi-detailed balance, it is convenient to count the direct and inverse elementary reactions separately. In this case, the kinetic equations have the form:

:<math>\frac{d N_i}{d t}=V\sum_r \gamma_{ri} w_r=V\sum_r (\beta_{ri}-\alpha_{ri})w_r </math>

Let us use the notation <math>\alpha_r=\alpha_{ri}</math>, <math>\beta_r=\beta_{ri}</math> for the input and the output vectors of the stoichiometric coefficients of the ''r''th elementary reaction. Let <math>Y</math> be the set of all these vectors <math>\alpha_r, \beta_r</math>.
For each <math>\nu \in Y</math>, let us define two sets of numbers:

:<math>R_{\nu}^+=\{r|\alpha_r=\nu  \}; \;\;\; R_{\nu}^-=\{r|\beta_r=\nu \}</math>

<math>r \in R_{\nu}^+</math> if and only if <math>\nu</math> is the vector of the input stoichiometric coefficients <math>\alpha_r</math> for the ''r''th elementary reaction;<math>r \in R_{\nu}^-</math> if and only if <math>\nu</math> is the vector of the output stoichiometric coefficients <math>\beta_r</math> for the ''r''th elementary reaction.

The principle of ''semi-detailed balance'' implies that when in equilibrium, for every <math>\nu \in Y</math>
:<math>\sum_{r\in R_{\nu}^+}w_r=\sum_{r\in R_{\nu}^+}w_r</math>

The semi-detailded balance condition is sufficient for the stationarity: it implies that  
:<math>\frac{d N}{dt}=V \sum_r \gamma_r w_r=0.</math>

For the Markov kinetics the semi-detailed balance condition is simply the elementary balance equation and holds for any steady state. For the non-linear mass action law it is, in general, a sufficient but not necessary condition for stationarity.
The semi-detailed balance condition is weaker than that of detailed balance: if the principle of detailed balance holds then the condition of semi-detailed balance also holds.
For systems that obey the generalised mass action law the semi-detailed balance condition is sufficient for the dissipation inequality <math>d F/ dt \geq 0</math> (for the Helmholtz free energy under isothermal isochoric conditions and for the dissipation inequalities under other classical conditions for the corresponding thermodynamic potentials). 

Boltzmann introduced the semi-detailed balance condition for collisions in 1887 <ref name=Boltzmann1887 /> and proved that it guaranties the positivity of the entropy production. For chemical kinetics, this condition (as the ''complex balance'' condition) was introduced by Horn and Jackson in 1972 
<ref name="HornJackson1972">[http://dx.doi.org/10.1007/BF00251225 F. Horn and R. Jackson "General mass action kinetics", Archive for Rational Mechanics and Analysis '''47''' pp. 81-116 (1972)]</ref>.

The microscopic backgrounds for the semi-detailed balance were found in the Markov micro-kinetics of the intermediate compounds that are present in small amounts and whose concentrations are in quasiequilibrium with the main components
<ref>Ernst Carl Gerlach Stueckelberg "Theoreme H et unitarite de S", Helvetica Physica Acta '''25''' pp. 577-580 (1952)</ref>. 
Under these microscopic assumptions, the semi-detailed balance condition becomes the balance equation for the Markov microkinetics according to the Michaelis-Menten-Stueckelberg theorem<ref name="GorbanShahzad2011">[http://dx.doi.org/10.3390/e13050966 Alexander N. Gorban and Muhammad Shahzad "The Michaelis-Menten-Stueckelberg Theorem", Entropy '''13''' pp. 966-1019 (2011)]</ref>.

== Dissipation in systems with semi-detailed balance ==

Let us represent the generalized mass action law in the equivalent form: the rate of the elementary process 
:<math>\sum_i \alpha_{ri} A_i \to \sum_i \beta_{ri} A_i</math>
is
:<math>w_r=\varphi_r \exp\left(\sum_i\frac{\alpha_{ri} \mu_i}{RT}\right)</math>
where <math>\mu_i=\partial F(T,V,N)/ \partial N_i</math> is the chemical potential and <math>F(T,V,N)</math> is the  Helmholtz free energy. The exponential term is called the  ''Boltzmann factor'' and the multiplier <math>\varphi_r \geq 0</math>  is the kinetic factor.<ref name="GorbanShahzad2011" />
Let us count the direct and reverse reaction in the kinetic equation separately:
:<math>\frac{d N_i}{d t}=V\sum_r \gamma_{ri} w_r</math>
An auxiliary function <math>\theta(\lambda)</math> of one variable <math>\lambda\in [0,1]</math> is convenient for the representation of dissipation for the mass action law
:<math>\theta(\lambda)=\sum_{r}\varphi_{r}\exp\left(\sum_i\frac{(\lambda \alpha_{ri}+(1-\lambda)\beta_{ri}))\mu_i}{RT}\right)</math>
This function <math>\theta(\lambda)</math> may be considered as the sum of the reaction rates for ''deformed'' input stoichiometric coefficients <math>\tilde{\alpha}_{\rho}(\lambda)=\lambda \alpha_{\rho}+(1-\lambda)\beta_{\rho}</math>. For <math>\lambda=1</math> it is just the sum of the reaction rates. The function <math>\theta(\lambda)</math> is convex because <math>\theta''(\lambda) \geq 0</math>. 

Direct calculation gives that according to the kinetic equations
:<math> \frac{d F}{d t}=-VRT \left.\frac{d \theta(\lambda)}{d \lambda}\right|_{\lambda=1}</math>
This is ''the general dissipation formula for the generalized mass action law''.<ref name="GorbanShahzad2011" />

Convexity of <math>\theta(\lambda)</math> gives the sufficient and necessary conditions for the proper dissipation inequality:
:<math>\frac{d F}{d t}<0 \mbox{ if and only if } \theta(\lambda)< \theta(1) \mbox{ for some }\lambda <1; \;\;\; \frac{d F}{d t}\leq0 \mbox{ if and only if } \theta(\lambda)\leq  \theta(1) \mbox{ for some }\lambda <1 </math>

The semi-detailed balance condition can be transformed into identity <math>\theta(0)\equiv \theta(1)</math>. Therefore, for the systems with semi-detailed balance <math>{d F}/{d t}\leq 0</math>.<ref name="HornJackson1972" />

== Detailed balance for systems with irreversible reactions ==

Detailed balance states that in equilibrium each elementary process is equilibrated by its reverse process and required reversibility of all elementary processes. For many real physico-chemical complex systems (e.g. homogeneous combustion, heterogeneous catalytic oxidation, most enzyme reactions etc), detailed mechanisms include both reversible and irreversible reactions. If one represents irreversible reactions as limits of reversible steps, then it become obvious that not all reaction mechanisms with irreversible reactions can be obtained as limits of systems or reversible reactions with detailed balance. For example, the irreversible cycle <math>A_1 \to A_2 \to A_3 \to A_1</math> cannot be obtained as such a limit but the reaction mechanism <math>A_1 \to A_2 \to A_3 \leftarrow A_1</math> can <ref>[http://dx.doi.org/10.1016/0009-2509(71)83005-1 Chieh Chu "Gas absorption accompanied by a system of first-order reactions", Chemical Engineering Science '''26''' pp. 305–312 (1971)]</ref>.


''A system of reactions with some irreversible reactions is a limit of systems with detailed balance when some constants tend to zero if and only if (i) the reversible part of this system satisfies the principle of detailed balance and (ii) the convex hull of the stoichiometric vectors of the irreversible reactions has empty intersection with the linear span of the stoichiometric vectors of the reversible reactions.''<ref name=GorbanYablonsky2011/> Physically, the last condition means that the irreversible reactions cannot be included in oriented cyclic pathways.

==References==
<references/>
;Related reading
*[http://dx.doi.org/10.1063/1.477973 Vasilios I. Manousiouthakis and Michael W. Deem "Strict detailed balance is unnecessary in Monte Carlo simulation", Journal of Chemical Physics '''110''' pp. 2753- (1999)]
*van Kampen, N.G. "Stochastic Processes in Physics and Chemistry", Elsevier Science (1992) ISBN 0444893490
*E. M. Lifshitz, and  L. P. Pitaevskii  "Physical kinetics" Butterworth-Heinemann (1981) ISBN 0750626356
;External links
*[http://en.wikipedia.org/wiki/Detailed_balance Detailed balance] in Wikipedia

[[category: statistical mechanics]]
[[category: Non-equilibrium thermodynamics]]
@@ Line 43: / Line 43: @@
 ==Detailed balance and the entropy growth==
-For many systems that treat physical and chemical kinetics, detailed balance provides ''sufficient conditions'' for the [[entropy]] growth in isolated systems. For example, the famous Boltzmann H-theorem<ref name = "Boltzmann1872"/> states that, according to the [[Boltzmann equation]], the principle of detailed balance implies positivity of the entropy production. The Boltzmann formula (1872) for the entropy production in the rarefied gas kinetics with detailed balance<ref name = "Boltzmann1872"/><ref name=Tolman1938/> served as a prototype of many similar formulas for dissipation in mass action kinetics
+For many systems of physical and chemical kinetics, detailed balance provides ''sufficient conditions'' for the [[entropy]] growth in isolated systems. For example, the famous Boltzmann H-theorem<ref name = "Boltzmann1872"/> states that, according to the Boltzmann equation, the principle of detailed balance implies positivity of the entropy production. The Boltzmann formula (1872) for the entropy production in the rarefied gas kinetics with detailed balance<ref name = "Boltzmann1872"/><ref name=Tolman1938/> served as a prototype of many similar formulas for dissipation in mass action kinetics<ref>Volpert, A.I., Khudyaev, S.I. (1985), Analysis in classes of discontinuous functions and equations of mathematical physics. Dordrecht, The Netherlands: Nijoff. (Translation from the 1st Russian ed., Moscow, Nauka publ., 1975.)</ref> and generalized mass action kinetics<ref>Schuster, S., Schuster R. (1989). [http://www.springerlink.com/content/g3m2177v4344065q/ A generalization of Wegscheider's condition. Implications for properties of steady states and for quasi-steady-state approximation.] J. Math. Chem, 3 (1), 25-42.</ref> with detailed balance.
-<ref>A.I. Volpert and  S. I.  Khudyaev "Analysis in classes of discontinuous functions and equations of mathematical physics", Springer (1985) ISBN 978-90-247-3109-1 </ref>
-and generalised mass action kinetics
-<ref>[http://dx.doi.org/10.1007/BF01171883 Stefan Schuster and Ronny Schuster "A generalization of Wegscheider's condition. Implications for properties of steady states and for quasi-steady-state approximation", Journal of Mathematical Chemistry '''3''' pp. 25-42 (1989)]</ref>
-with detailed balance.
-Nevertheless, the principle of detailed balance is not necessary for  entropy growth. For example, in the linear irreversible cycle <math>A_1 \to A_2 \to A_3 \to A_1</math> the entropy production is positive but the principle of detailed balance does not hold.
+Nevertheless, the principle of detailed balance is not necessary for the entropy growth. For example, in the linear irreversible cycle <math>A_1 \to A_2 \to A_3 \to A_1</math> the entropy production is positive but the principle of detailed balance does not hold.
-The principle of detailed balance is a ''sufficient but not necessary condition'' for the entropy growth in the Boltzmann kinetics. These relations between the principle of detailed balance and the [[Second law of thermodynamics]] were clarified in 1887 when Hendrik Lorentz objected the Boltzmann H-theorem for polyatomic gases
+The principle of detailed balance is a ''sufficient but not necessary condition'' for the entropy growth in the Boltzmann kinetics. These relations between the principle of detailed balance and the Second law of thermodynamics were clarified in 1887 when Hendrik Lorentz objected the Boltzmann H-theorem for polyatomic gases.<ref>Lorentz H.-A. (1887) Üeber das Gleichgewicht der lebendigen Kraft unter Gasmolekülen. S.A.W. [Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne.] 95, 115-152.</ref> Lorentz stated that the principle of detailed balance is not applicable to collisions of  polyatomic molecules. Boltzmann immediately invented a new, more general condition sufficient for the entropy growth.<ref name=Boltzmann1887>Boltzmann L. (1887) Neuer Beweis zweier Sätze über das Wärmegleichgewicht unter mehratomigen Gasmolekülen. S.A.W. [Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne.] 95, 153-164.</ref> In particular, this condition is valid for all Markov processes without any relation to time-reversibility. The entropy growth in all Markov processes was explicitely proved later.<ref>Shannon, C.E. (1948) A Mathematical Theory of Communication, Bell System Technical Journal, Vol. 27, pp.&nbsp;379–423, 623–656. [http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-3-379.pdf] [http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-4-623.pdf]</ref> These theorems may be considered as simplifications of the Boltzmann result.  Later, this condition was discussed as the "cyclic balance" condition (because it holds for irreversible cycles) or the "semi-detailed balance" or the "complex balance". In 1981, Carlo Cercignani and Maria Lampis proved that the Lorenz arguments were wrong and the principle of detailed balance is valid for polyatomic molecules.<ref>Cercignani, C. and Lampis, M. (1981). On the H-theorem for polyatomic gases, Journal of Statistical Physics, V. 26 (4), 795-801.</ref> Nevertheless, the extended semi-detailed balance conditions invented by Boltzmann in this discussion remain the remarkable generalization of the detailed balance.
-<ref>Hendrik Antoon Lorentz "Üeber das Gleichgewicht der lebendigen Kraft unter Gasmolekülen" S.A.W. (Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne) '''95''' pp. 115-152 (1887)</ref>.
-Lorentz stated that the principle of detailed balance is not applicable to collisions of  polyatomic molecules. Boltzmann immediately invented a new, more general condition sufficient for the entropy growth.
-<ref name=Boltzmann1887>L. Boltzmann "Neuer Beweis zweier Sätze über das Wärmegleichgewicht unter mehratomigen Gasmolekülen" S.A.W. (Sitzungsberichte der Kgl. Akademie der Wissenschaften in Wien. Vienne) '''95''' pp. 153-164 (1887)</ref>.
-In particular, this condition is valid for all Markov processes without any relation to time-reversibility. The entropy growth in all Markov processes was explicitly proved later
-<ref>[http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-3-379.pdf Claude Elwood Shannon "A Mathematical Theory of Communication", Bell System Technical Journal '''27'''  July pp. 379-423 (1948)]</ref>
-<ref>[http://www.alcatel-lucent.com/bstj/vol27-1948/articles/bstj27-4-623.pdf Claude Elwood Shannon "A Mathematical Theory of Communication", Bell System Technical Journal '''27'''  October pp. 623-656 (1948)]</ref>.
-These theorems may be considered as simplifications of the Boltzmann result.  Later, this condition was discussed as the "cyclic balance" condition (because it holds for irreversible cycles) or the "semi-detailed balance" or the "complex balance". In 1981, Carlo Cercignani and Maria Lampis proved that the Lorenz arguments were wrong and the principle of detailed balance is valid for polyatomic molecules
-<ref>[http://dx.doi.org/10.1007/BF01010940 Carlo Cercignani and Maria Lampis "On the H-theorem for polyatomic gases", Journal of Statistical Physics '''26''' pp. 795-801 (1981)]</ref>.
-Nevertheless, the extended semi-detailed balance conditions invented by Boltzmann in this discussion remain the  generalisation of detailed balance.
 ==Wegscheider's conditions for the generalized mass action law==