Chemical reaction network theory
Chemical reaction network theory is an area of applied mathematics that attempts to model the behaviour of real-world chemical systems. Since its foundation in the 1960s, it has attracted a growing research community, mainly due to its applications in biochemistry and theoretical chemistry. It has also attracted interest from pure mathematicians due to the interesting problems that arise from the mathematical structures involved.
Dynamical properties of reaction networks were studied in chemistry and physics after the invention of the law of mass action. The essential steps in this study were introduction of detailed balance for the complex chemical reactions by Rudolf Wegscheider (1901), development of the quantitative theory of chemical chain reactions by Nikolay Semyonov (1934), development of kinetics of catalytic reactions by Cyril Norman Hinshelwood, and many other results.
Three eras of chemical dynamics can be revealed in the flux of research and publications. These eras may be associated with leaders: the first is the van 't Hoff era, the second may be called the Semenov–Hinshelwood era and the third is definitely the Aris era. The "eras" may be distinguished based on the main focuses of the scientific leaders:
- van’t Hoff was searching for the general law of chemical reaction related to specific chemical properties. The term "chemical dynamics" belongs to van’t Hoff.
- The Semenov-Hinshelwood focus was an explanation of critical phenomena observed in many chemical systems, in particular in flames. A concept chain reactions elaborated by these researchers influenced many sciences, especially nuclear physics and engineering.
- Aris’ activity was concentrated on the detailed systematization of mathematical ideas and approaches.
The mathematical discipline "chemical reaction network theory" was originated by Rutherford Aris, a famous expert in chemical engineering, with the support of Clifford Truesdell, the founder and editor-in-chief of the journal Archive for Rational Mechanics and Analysis. The paper of R. Aris in this journal was communicated to the journal by C. Truesdell. It opened the series of papers of other authors (which were communicated already by R. Aris). The well known papers of this series are the works of Frederick J. Krambeck, Roy Jackson, Friedrich Josef Maria Horn, Martin Feinberg and others, published in the 1970s. In his second "prolegomena" paper, R. Aris mentioned the work of N.Z. Shapiro, L.S. Shapley (1965), where an important part of his scientific program was realized.
A chemical reaction network (often abbreviated to CRN) comprises a set of reactants, a set of products (often intersecting the set of reactants), and a set of reactions. For example, the pair of combustion reactions
form a reaction network. The reactions are represented by the arrows. The reactants appear to the left of the arrows, in this example they are (hydrogen), (oxygen) and C (carbon). The products appear to the right of the arrows, here they are (water) and (carbon dioxide). In this example, since the reactions are irreversible and neither of the products are used up in the reactions, the set of reactants and the set of products are disjoint.
Mathematical modelling of chemical reaction networks usually focuses on what happens to the concentrations of the various chemicals involved as time passes. Following the example above, let a represent the concentration of in the surrounding air, b represent the concentration of , c represent the concentration of , and so on. Since all of these concentrations will not in general remain constant, they can be written as a function of time e.g. , etc.
These variables can then be combined into a vector
and their evolution with time can be written
This is an example of a continuous autonomous dynamical system, commonly written in the form . The number of molecules of each reactant used up each time a reaction occurs is constant, as is the number of molecules produced of each product. These numbers are referred to as the stoichiometry of the reaction, and the difference between the two (i.e. the overall number of molecules used up or produced) is the net stoichiometry. This means that the equation representing the chemical reaction network can be rewritten as
Here, each column of the constant matrix represents the net stoichiometry of a reaction, and so is called the stoichiometry matrix. is a vector-valued function where each output value represents a reaction rate, referred to as the kinetics.
For physical reasons, it is usually assumed that reactant concentrations cannot be negative, and that each reaction only takes place if all its reactants are present, i.e. all have non-zero concentration. For mathematical reasons, it is usually assumed that is continuously differentiable.
It is also commonly assumed that no reaction features the same chemical as both a reactant and a product (i.e. no catalysis or autocatalysis), and that increasing the concentration of a reactant increases the rate of any reactions that use it up. This second assumption is compatible with all physically reasonable kinetics, including mass action, Michaelis–Menten and Hill kinetics. Sometimes further assumptions are made about reaction rates, e.g. that all reactions obey mass action kinetics.
Types of results
As chemical reaction network theory is a diverse and well-established area of research, there is a significant variety of results. Some key areas are outlined below.
Number of steady states
These results relate to whether a chemical reaction network can produce significantly different behaviour depending on the initial concentrations of its constituent reactants. This has applications in e.g. modelling biological switches—a high concentration of a key chemical at steady state could represent a biological process being "switched on" whereas a low concentration would represent being "switched off".
This is the classical adsorption mechanism of catalytic oxidation.
Here, and are gases (for example, , and ), is the "adsorption place" on the surface of the solid catalyst (for example, ), and are the intermediates on the surface (adatoms, adsorbed molecules or radicals). This system may have two stable steady states of the surface for the same concentrations of the gaseous components.
Stability of steady states
Stability determines whether a given steady state solution is likely to be observed in reality. Since real systems (unlike deterministic models) tend to be subject to random background noise, an unstable steady state solution is unlikely to be observed in practice. Instead of them, stable oscillations or other types of attractors may appear.
Persistence has its roots in population dynamics. A non-persistent species in population dynamics can go extinct for some (or all) initial conditions. Similar questions are of interests to chemists and biochemists, i.e. if a given reactant was present to start with, can it ever be completely used up?
Existence of stable periodic solutions
Results regarding stable periodic solutions attempt to rule out "unusual" behaviour. If a given chemical reaction network admits a stable periodic solution, then some initial conditions will converge to an infinite cycle of oscillating reactant concentrations. For some parameter values it may even exhibit quasiperiodic or chaotic behaviour. While stable periodic solutions are unusual in real-world chemical reaction networks, well-known examples exist, such as the Belousov–Zhabotinsky reactions. The simplest catalytic oscillator (nonlinear self-oscillations without autocatalysis) can be produced from the catalytic trigger by adding a "buffer" step.
where (BZ) is an intermediate that does not participate in the main reaction.
Network structure and dynamical properties
One of the main problems of chemical reaction network theory is the connection between network structure and properties of dynamics. This connection is important even for linear systems, for example, the simple cycle with equal interaction weights has the slowest decay of the oscillations among all linear systems with the same number of states.
For nonlinear systems, many connections between structure and dynamics have been discovered. First of all, these are results about stability. For some classes of networks, explicit construction of Lyapunov functions is possible without apriori assumptions about special relations between rate constants. Two results of this type are well known: the deficiency zero theorem and the theorem about systems without interactions between different components.
The deficiency zero theorem gives sufficient conditions for the existence of the Lyapunov function in the classical free energy form , where is the concentration of the ith component. The theorem about systems without interactions between different components states that if a network consists of reactions of the form (for , where r is the number of reactions, is the symbol of ith component, , and are non-negative integers) and allows the stoichiometric conservation law (where all ), then the weighted L1 distance between two solutions with the same M(c) monotonically decreases in time.
Modelling of large reaction networks meets various difficulties: the models include too many unknown parameters and high dimension makes the modelling computationally expensive. The model reduction methods were developed together with the first theories of complex chemical reactions. Three simple basic ideas have been invented:
- The quasi-equilibrium (or pseudo-equilibrium, or partial equilibrium) approximation (a fraction of reactions approach their equilibrium fast enough and, after that, remain almost equilibrated).
- The quasi steady state approximation or QSS (some of the species, very often these are some of intermediates or radicals, exist in relatively small amounts; they reach quickly their QSS concentrations, and then follow, as a slave, the dynamics of these other species remaining close to the QSS). The QSS is defined as the steady state under the condition that the concentrations of other species do not change.
- The limiting step or bottleneck is a relatively small part of the reaction network, in the simplest cases it is a single reaction, which rate is a good approximation to the reaction rate of the whole network.
The quasi-equilibrium approximation and the quasi steady state methods were developed further into the methods of slow invariant manifolds and computational singular perturbation. The methods of limiting steps gave rise to many methods of the analysis of the reaction graph.
- Wegscheider, R. (1901) Über simultane Gleichgewichte und die Beziehungen zwischen Thermodynamik und Reactionskinetik homogener Systeme, Monatshefte für Chemie / Chemical Monthly 32(8), 849--906.
- Semyonov's Nobel Lecture Some Problems Relating to Chain Reactions and to the Theory of Combustion
- Hinshelwood's Nobel Lecture Chemical Kinetics in the Past Few Decades
- A.N. Gorban, G.S. Yablonsky Three Waves of Chemical Dynamics, Mathematical Modelling of Natural Phenomena 10(5) (2015), 1–5.
- R. Aris, Prolegomena to the rational analysis of systems of chemical reactions, Archive for Rational Mechanics and Analysis, 1965, Volume 19, Issue 2, pp 81-99.
- F.J. Krambeck, The mathematical structure of chemical kinetics in homogeneous single-phase systems, Archive for Rational Mechanics and Analysis, 1970, Volume 38, Issue 5, pp 317-347,
- F. J. M. Horn and R. Jackson, "General Mass Action Kinetics", Archive Rational Mech., 47:81, 1972.
- M. Feinberg, "Complex balancing in general kinetic systems", Arch. Rational Mech. Anal., 49:187–194, 1972.
- R. Aris, Prolegomena to the rational analysis of systems of chemical reactions II. Some addenda, Archive for Rational Mechanics and Analysis, 1968, Volume 27, Issue 5, pp 356-364
- N.Z. Shapiro, L.S. Shapley, Mass action law and the Gibbs free energy function, SIAM J. Appl. Math. 16 (1965) 353–375.
- P. Érdi and J. Tóth, "Mathematical models of chemical reactions", Manchester University Press, 1989.
- H. Kunze and D. Siegel, "Monotonicity properties of chemical reactions with a single initial bimolecular step", J. Math. Chem., 31(4):339–344, 2002.
- M. Mincheva and D. Siegel, "Nonnegativity and positiveness of solutions to mass action reaction–diffusion systems", J. Math. Chem., 42:1135–1145, 2007.
- P. De Leenheer, D. Angeli and E. D. Sontag, "Monotone chemical reaction networks", J. Math. Chem.', 41(3):295–314, 2007.
- M. Banaji, P. Donnell and S. Baigent, "P matrix properties, injectivity and stability in chemical reaction systems", SIAM J. Appl. Math., 67(6):1523–1547, 2007.
- G. Craciun and C. Pantea, "Identifiability of chemical reaction networks", J. Math. Chem., 44:1, 2008.
- M. Domijan and M. Kirkilionis, "Bistability and oscillations in chemical reaction networks", J. Math. Biol., 59(4):467–501, 2009.
- A. N. Gorban and G. S. Yablonsky, "Extended detailed balance for systems with irreversible reactions", Chemical Engineering Science, 66:5388–5399, 2011.
- E. Feliu, M. Knudsen and C. Wiuf., "Signaling cascades: Consequences of varying substrate and phosphatase levels", Adv. Exp. Med. Biol. (Adv Syst Biol), 736:81–94, 2012.
- I. Otero-Muras, J. R. Banga and A. A. Alonso, "Characterizing multistationarity regimes in biochemical reaction networks", PLoS ONE,7(7):e39194,2012.
- M.G. Slin'ko, V.I. Bykov, G.S. Yablonskii, T.A. Akramov, "Multiplicity of the Steady State in Heterogeneous Catalytic Reactions", Dokl. Akad. Nauk SSSR 226 (4) (1976), 876.
- V.I. Bykov, V.I. Elokhin, G.S. Yablonskii, "The simplest catalytic mechanism permitting several steady states of the surface", React. Kinet. Catal. Lett. 4 (2) (1976), 191–198.
- V.I. Bykov, G.S. Yablonskii, V.F. Kim, "On the simple model of kinetic self-oscillations in catalytic reaction of CO oxidation", Doklady AN USSR (Chemistry) 242 (3) (1978), 637–639.
- A.N. Gorban, N. Jarman, E. Steur, C. van Leeuwen, I.Yu. Tyukin, Leaders do not Look Back, or do They? Math. Model. Nat. Phenom. Vol. 10, No. 3, 2015, pp. 212–231.
- B.L. Clarke, Theorems on chemical network stability. The Journal of Chemical Physics. 1975, 62(3), 773-775.
- M. Feinberg, Chemical reaction network structure and the stability of complex isothermal reactors—I. The deficiency zero and deficiency one theorems. Chemical Engineering Science. 1987 31, 42(10), 2229-2268.
- A.N. Gorban, V.I. Bykov, G.S. Yablonskii, Thermodynamic function analogue for reactions proceeding without interaction of various substances, Chemical Engineering Science, 1986 41(11), 2739-2745.
- A.N.Gorban, Model reduction in chemical dynamics: slow invariant manifolds, singular perturbations, thermodynamic estimates, and analysis of reaction graph. Current Opinion in Chemical Engineering 2018 21C, 48-59.