Thermodynamic Tree: The Space of Admissible Paths

Abstract

Is a spontaneous transition from a state x to a state y allowed by thermodynamics? Such a question arises often in chemical thermodynamics and kinetics. We ask the more formal question: is there a continuous path between these states, along which the conservation laws hold, the concentrations remain non-negative and the relevant thermodynamic potential G (Gibbs energy, for example) monotonically decreases? The obvious necessary condition, G(x)\geq G(y), is not sufficient, and we construct the necessary and sufficient conditions. For example, it is impossible to overstep the equilibrium in 1-dimensional (1D) systems (with n components and n-1 conservation laws). The system cannot come from a state x to a state y if they are on the opposite sides of the equilibrium even if G(x) > G(y). We find the general multidimensional analogue of this 1D rule and constructively solve the problem of the thermodynamically admissible transitions. We study dynamical systems, which are given in a positively invariant convex polyhedron D and have a convex Lyapunov function G. An admissible path is a continuous curve along which $G$ does not increase. For x,y from D, x\geq y (x precedes y) if there exists an admissible path from x to y and x \sim y if x\geq y and y\geq x. The tree of G in D is a quotient space D/~. We provide an algorithm for the construction of this tree. In this algorithm, the restriction of G onto the 1-skeleton of $D$ (the union of edges) is used. The problem of existence of admissible paths between states is solved constructively. The regions attainable by the admissible paths are described.Comment: Extended version, 31 page, 9 figures, 69 cited references, many minor correction

Universal Lyapunov functions for non-linear reaction networks

“…Universal Lyapunov functions are instruments for evaluation of possible dynamics when the reaction rate constants are unknown or highly uncertain. Without any knowledge of the reaction mechanism we use the thermodynamic potentials for evaluation of the attainable sets of chemical reactions (the theory and algorithms are presented in [15,19,58], some industrial applications are discussed in [18,59,60]). Convexity allows us to transform the n-dimensional problems about attainability and attainable sets into an analysis of onedimensional continua and discrete objects, thermodynamic trees [19].…”

Level set tree methods

“…Gorban () has used level set tree methods to study dynamical systems with a strictly convex Lyapunov function f defined on a positively invariant convex polyhedron. Level set trees can help to find the admissible paths, along which f decreases monotonically, and find the states that are attainable from the given initial state along the admissible paths.…”

General H-theorem and Entropies that Violate the Second Law

“…(There is no chance to find many Lyapunov functions for all nonlinear mechanisms together under given thermodynamics because in this case the cone of the possible velocitieṡ N is a half-space and locally there is the only divergence with a given tangent hyperplane. Globally, such a divergence can be given by an arbitrary monotonic function on the thermodynamic tree [53,55]).…”