Abstract
A computational approach to detecting Andronov–Hopf bifurcations in polynomial systems of ordinary differential equations depending on parameters is proposed. It relies on algorithms of computational commutative algebra based on the Groebner bases theory. The approach is applied to the investigation of two models related to the double phosphorylation of mitogen-activated protein kinases, a biochemical network that occurs in many cellular pathways. For the models, we analyze the roots of the characteristic polynomials of the Jacobians in a steady state and prove that Andronov–Hopf bifurcations are absent for biochemically relevant values of parameters. We also performed a search for algebraic invariant subspaces in the systems (which represent “weak” conservations laws) and find all subfamilies admitting linear invariant subspaces. The search is done using the Darboux method. That, is we look for Darboux polynomials and cofactors as polynomials with undetermined coefficients and then determine the coefficients using the algorithms of the elimination theory.
Similar content being viewed by others
Notes
The polynomial was computed using the Eliminate procedure of the Mathematica computer algebra system based on the algorithm resulting from theorem 1.
REFERENCES
M. Feinberg, Foundations of Chemical Reaction Network Theory (Springer-Verlag, Cham, 2019).
C. Conradi and C. Pantea, “Multistationarity in biochemical networks: Results, analysis, and examples,” in Algebraic and Combinatorial Computational Biology, Ed. by R. Robeva, M. Macauley (Academic, London, 2019).
H. Errami, M. Eiswirth, D. Grigoriev, W. M. Seiler, T. Sturm, and A. Weber, “Detection of Hopf bifurcations in chemical reaction networks using convex coordinates,” J. Comput. Phys. 291, 279–302 (2015).
W. Niu and D. Wang, “Algebraic approaches to stability analysis of biological systems,” Math. Comput. Sci. 1, 507–539 (2008).
W. Niu and D. Wang, “Algebraic analysis of stability and bifurcation of a self-assembling micelle system,” Appl. Math. Comput. 219, 108–121 (2012).
T. Sturm, A. Weber, E. O. Abdel-Rahman, and M. El Kahoui, “Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology,” Math. Comput. Sci. 2, 493–515 (2009).
N. Kruff and S. Walcher, “Coordinate-independent criteria for Hopf bifurcations,” Discrete Contin. Dyn. Syst. 13, 1319–1340 (2020). https://doi.org/10.3934/dcdss.2020075
D. Cox, J. Little, and D. O’Shea, Ideals, Varieties, and Algorithms (Springer-Verlag, New York, 1992).
C. Conradi, M. Mincheva, and A. Shiu, “Emergence of oscillations in a mixed-mechanism phosphorylation system,” Bull. Math. Biol. 81, 1829–1852 (2019).
M. Banaji, “Inheritance of oscillation in chemical reaction networks,” Appl. Math. Comput. 325, 191–209 (2018).
M. Banaij and C. Pantea, “The inheritance of nondegenerate multistationarity in chemical reaction networks,” SIAM J. Appl. Math. 78, 1105–1130 (2018).
W. Decker, G.-M. Greuel, G. Pfister, and H. Shönemann, Singular. 4-1-2 — A Computer Algebra System for Polynomial Computations (2019). http://www.singular.uni-kl.de. Accessed December 12, 2019.
W. Decker, S. Laplagne, G. Pfister, and H. Schönemann, Singular. 3-1 Library for Computing the Prime Decomposition and Radical of Ideals (2010).
P. Gianni, B. Trager, and G. Zacharias, “Gröbner bases and primary decomposition of polynomial ideals,” J. Symbolic Comput. 6, 146–167 (1988).
E. A. Arnold, “Modular algorithms for computing Gröbner bases,” J. Symbolic Comput. 35, 403–419 (2003).
V. G. Romanovski and M. Prešern, “An approach to solving systems of polynomials via modular arithmetics with applications,” J. Comput. Appl. Math. 236, 196–208 (2011).
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
This work was supported by the Slovenian Research Agency, program P1-0306, projects N1-0063 and BI-US/19-21-058.
Additional information
In memory of V.A. Pliss
Translated by K. Gumerov
About this article
Cite this article
Pantea, C., Romanovski, V.G. Qualitative Studies of Some Biochemical Models. Vestnik St.Petersb. Univ.Math. 53, 214–222 (2020). https://doi.org/10.1134/S1063454120020144
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1063454120020144