A projection argument for differential inclusions, with applications to persistence of mass-action kinetics

Motivated by questions in mass-action kinetics, we introduce the notion of vertexical family of differential inclusions. Defined on open hypercubes, these families are characterized by particular good behavior under projection maps. The motivating examples are certain families of reaction networks { including reversible, weakly reversible, endotactic, and strongly endotactic reaction networks { that give rise to vertexical families of mass- action differential inclusions. We prove that vertexical families are amenable to structural induction. Consequently, a trajectory of a vertexical family approaches the boundary if and only if either the trajectory approaches a vertex of the hypercube, or a trajectory in a lower-dimensional member of the family approaches the boundary. With this technology, we make progress on the global attractor conjecture, a central open problem concerning mass-action kinetics systems. Additionally, we phrase mass-action kinetics as a functor on reaction networks with variable rates.

[1]  M. Feinberg Complex balancing in general kinetic systems , 1972 .

[2]  Murad Banaji,et al.  Global convergence in systems of differential equations arising from chemical reaction networks , 2012, 1205.1716.

[3]  M. Feinberg Chemical reaction network structure and the stability of complex isothermal reactors—I. The deficiency zero and deficiency one theorems , 1987 .

[4]  David Angeli,et al.  Persistence Results for Chemical Reaction Networks with Time-Dependent Kinetics and No Global Conservation Laws , 2011, SIAM J. Appl. Math..

[5]  Matthew D. Johnston,et al.  A stratum approach to global stability of complex balanced systems , 2010 .

[6]  H. I. Freedman,et al.  Persistence definitions and their connections , 1990 .

[7]  Ming-Deh A. Huang,et al.  On the Mathematics of the Law of Mass Action , 2008, 0810.1108.

[8]  Fedor Nazarov,et al.  Persistence and Permanence of Mass-Action and Power-Law Dynamical Systems , 2010, SIAM J. Appl. Math..

[9]  Alicia Dickenstein,et al.  Toric dynamical systems , 2007, J. Symb. Comput..

[10]  M. Irwin,et al.  Smooth Dynamical Systems , 2001 .

[11]  Ezra Miller,et al.  A Geometric Approach to the Global Attractor Conjecture , 2013, SIAM J. Appl. Dyn. Syst..

[12]  John M. Lee Introduction to Smooth Manifolds , 2002 .

[13]  J. Aubin,et al.  Differential inclusions set-valued maps and viability theory , 1984 .

[14]  M. Savageau Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[15]  David F. Anderson,et al.  The Dynamics of Weakly Reversible Population Processes near Facets , 2010, SIAM J. Appl. Math..

[16]  R. Jackson,et al.  General mass action kinetics , 1972 .

[17]  Eduardo Sontag,et al.  A Petri Net Approach to Persistence Analysis in Chemical Reaction Networks , 2007 .

[18]  David F. Anderson,et al.  Global Asymptotic Stability for a Class of Nonlinear Chemical Equations , 2007, SIAM J. Appl. Math..

[19]  Casian Pantea,et al.  On the Persistence and Global Stability of Mass-Action Systems , 2011, SIAM J. Math. Anal..

[20]  David F. Anderson,et al.  A Proof of the Global Attractor Conjecture in the Single Linkage Class Case , 2011, SIAM J. Appl. Math..