Investigating Generic Methods to Solve Hopf Bifurcation Problems in Algebraic Biology
Symbolic methods for investigating Hopf bifurcation problems of vector fields arising in the context of algebraic biology have recently obtained renewed attention. However, the symbolic investigations have not been fully algorithmic but required a sequence of symbolic computations intervened with ad hoc insights and decisions made by a human. In this paper we discuss the use of generic methods to reduce questions on the existence of Hopf bifurcations in parameterized polynomial vector fields to quantifier elimination problems over the reals combined with simplification techniques available in REDLOG. We can reconstruct most of the results given in the literature within a few seconds of computation time. As no tedious hand computations are involved we presume that the use of these generic methods will be a useful tool for investigating other examples.
KeywordsHopf Bifurcation Symbolic Computation Atomic Formula Bifurcation Problem Existential Closure
Unable to display preview. Download preview PDF.
- 10.Weber, A.: Quantifier elimination on real closed fields and differential equations. In: Löwe, B. (ed.) Algebra, Logic, Set Theory – Festschrift für Ulrich Felgner zum 65. Geburtstag. Studies in Logic, vol. 4, pp. 291–315. College Publications (2007)Google Scholar
- 15.Sturm, T.: Redlog online resources for applied quantifier elimination. Acta Academiae Aboensis, Ser. B 67(2), 177–191 (2007)Google Scholar