Qualitative investigation of a gene model using computer algebra algorithms
- 102 Downloads
Using algorithms and packages for computer algebra, we investigate a three-dimensional autonomous system of ordinary differential equations (ODEs) used in  to simulate the dynamics of a gene. A computational approach based on elimination theory algorithms is proposed to find invariant surfaces of multidimensional polynomial differential equation systems; this approach allows one to reduce the investigation of the system dynamics to studying the dynamics of a lower-order system. In addition, an effective approach based on the Lyapunov function is proposed to investigate the Andronov-Hopf bifurcation; this approach is used to find such bifurcations in the model under study.
Unable to display preview. Download preview PDF.
- 2.Andronov, A.A., Leontovich, E.A., Gordon, I.M., and Maier, A.G., Theory of Bifurcations of Dynamic Systems on a Plane. wwwf.imperial.ac.uk/~dturaev/andrleont.pdf.
- 5.Boulier, F., Lefranc, M., Lemaire, F., and Morant, P.-E., Model reduction of chemical reaction systems using elimination, Math. Comput. Sci., 2011, no. 5, pp. 289–301.Google Scholar
- 6.Decker, W., Greuel, G.-M., Pfister, G., and Shonemann, H., Singular 3-1-6: A computer algebra system for polynomial computations. http://www.singular.unikl.de.
- 7.Decker, W., Laplagne, S., Pfister, G., and Schonemann, H.A., primdec.lib Singular 3-1-6 library for computing the primary decomposition and radical of ideals, 2010.Google Scholar
- 8.Darboux, G., Memoire sur les equations differentielles algebriques du premier ordre et du premier degre (Melanges), Bull. Sci. Math., 1878, no. 2, pp. 60–96.Google Scholar
- 9.Romanovski, V.G. and Shafer, D.S., The Center and Cyclicity Problems: A Computational Algebra Approach, Boston: Birkhauser, 2009.Google Scholar
- 10.van der Waerden, B.L., Modern Algebra, New York: Frederick Ungar, 1969.Google Scholar
- 11.Gianni, P., Trager, B., and Zacharias, G., Grobner bases and primary decomposition of polynomials, J. Symbolic Comput., 1988, no. 6, pp. 146–167.Google Scholar
- 12.Wolfram, Mathematica, Version 9.0, Champaign, IL, 2012.Google Scholar
- 13.Collins, G.E., Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition, Proc. 2nd GI Conf. on Automata Theory and Formal Languages, 1975, no. 33, pp. 134–183.Google Scholar
- 14.Chen, C., Davenport, J.H., Lemaire, F., Moreno Maza, M., Phisanbut, N., Xia, B., Xiao, R., and Xie, Y., Solving semi-algebraic systems with the RegularChains library in Maple, Proc. 4th Int. Conf. on Mathematical Aspects of Computer Science and Information Sciences (MACIS 2011), Raschau, S., Ed., 2011, pp. 38–51.Google Scholar
- 16.Liapunov, A.M., Stability of Motion, New York: Academic, 1966.Google Scholar