Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

  • Wei Niu
  • Dongming Wang
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5147)

Abstract

In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gröbner bases, discriminant varieties, real solution classification, and quantifier elimination by partial CAD. The analysis of bifurcation and limit cycles for a concrete two-dimensional system, the self-assembling micelle system with chemical sinks, is presented in detail. It is proved that this system may have a focus of order 3, from which three limit cycles can be constructed by small perturbation. The applicability of our approach is further illustrated by the construction of limit cycles for a two-dimensional Kolmogorov prey-predator system and a three-dimensional Lotka–Volterra system.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Andronov, A.A., Leontovich, E.A., Gordon, I.I., Maier, A.G.: Theory of Bifurcations of Dynamic Systems on a Plane. Israel Program of Scientific Translations, Jerusalem (1971)Google Scholar
  2. 2.
    Ball, R., Haymet, A.D.J.: Bistability and hysteresis in self-assembling micelle systems: Phenomenology and deterministic dynamics. Phys. Chem. Chem. Phys. 3, 4753–4761 (2001)CrossRefGoogle Scholar
  3. 3.
    Buchberger, B.: Gröbner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184–232. Reidel, Dordrecht (1985)Google Scholar
  4. 4.
    Carr, J.: Applications of Center Manifold Theory. Springer, New York (1981)Google Scholar
  5. 5.
    Chow, S.-N., Hale, J.K.: Methods of Bifurcation Theory. Springer, New York (1982)MATHGoogle Scholar
  6. 6.
    Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12, 299–328 (1991)MATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    El Kahoui, M., Weber, A.: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. J. Symb. Comput. 30, 161–179 (2000)MATHCrossRefGoogle Scholar
  8. 8.
    Farr, W.W., Li, C., Labouriau, I.S., Langford, W.F.: Degenerate Hopf bifurcation formulas and Hilbert’s 16th problem. J. Math. Anal. 20(1), 13–30 (1989)MATHCrossRefMathSciNetGoogle Scholar
  9. 9.
    Faugère, J.-C.: A new efficient algorithm for computing Gröbner bases (F 4). J. Pure Appl. Algebra 139, 61–88 (1999)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory, 2nd edn. Springer, New York (1998)MATHGoogle Scholar
  11. 11.
    Lazard, D., Rouillier, F.: Solving parametric polynomial systems. J. Symb. Comput. 42, 636–667 (2007)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Lu, Z., He, B.: Multiple stable limit cycles for a cubic Kolmogorov prey-predator system. J. Eng. Math. 18(4), 115–117 (2001)MathSciNetGoogle Scholar
  13. 13.
    Lu, Z., Luo, Y.: Two limit cycles in three-dimensional Lotka–Volterra systems. Comput. Math. Appl. 44(1/2), 51–66 (2002)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Miller, R.K., Michel, A.N.: Ordinary Differential Equations. Academic Press, New York, London (1982)MATHGoogle Scholar
  15. 15.
    Niu, W.: Application of quantifier elimination and discriminant varieties to stability analysis of biological systems. In: Wang, D., Zheng, Z. (eds.) Proceedings MACIS 2006, pp. 243–253. Beihang University, China (2006)Google Scholar
  16. 16.
    Niu, W., Wang, D.: Algebraic approaches to stability analysis of biological systems. Math. Comput. Sci. 1(3), 507–539 (2008)MATHCrossRefGoogle Scholar
  17. 17.
    Shahruz, S.M., Kalkin, D.A.: Limit cycle behavior in three- or higher-dimensional non-linear systems: The Lotka–Volterra example. J. Sound Vibration 246(2), 379–386 (2001)CrossRefMathSciNetGoogle Scholar
  18. 18.
    Shi, S.: A concrete example of the existence of four limit cycles for plane quadratic systems. Sci. Sinica (A) 23, 153–158 (1980)MATHGoogle Scholar
  19. 19.
    Wang, D.: A class of cubic differential systems with 6-tuple focus. J. Diff. Eqns. 87, 305–315 (1990)MATHCrossRefGoogle Scholar
  20. 20.
    Wang, D.: Mechanical manipulation for a class of differential systems. J. Symb. Comput. 12, 233–254 (1991)MATHCrossRefGoogle Scholar
  21. 21.
    Wang, D.: Elimination Methods. Springer, Wien, New York (2001)MATHGoogle Scholar
  22. 22.
    Wang, D.: Elimination Practice: Software Tools and Applications. Imperial College Press, London (2004)MATHGoogle Scholar
  23. 23.
    Wang, D., Xia, B.: Stability analysis of biological systems with real solution classification. In: Kauers, M. (ed.) Proceedings ISSAC 2005, pp. 354–361. ACM Press, New York (2005)CrossRefGoogle Scholar
  24. 24.
    Wang, D., Xia, B.: Algebraic analysis of stability for some biological systems. In: Anai, H., Horimoto, K. (eds.) Proceedings AB 2005, pp. 75–83. Universal Academy Press, Tokyo (2005)Google Scholar
  25. 25.
    Wu, W.-t.: Mathematics Mechanization. Science Press/Kluwer, Beijing (2000)Google Scholar
  26. 26.
    Xiao, D., Li, W.: Limit cycles for the competitive three dimensional Lotka–Volterra system. J. Diff. Eqns. 164, 1–15 (2000)MATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    Yang, L., Xia, B.: Real solution classifications of parametric semi-algebraic systems. In: Dolzmann, A., Seidl, A., Sturm, T. (eds.) Algorithmic Algebra and Logic—Proceedings A3L 2005, pp. 281–289. Herstellung and Verlag, Norderstedt (2005)Google Scholar
  28. 28.
    Ye, Y., Cai, S., Chen, L., Huang, K., Luo, D., Ma, Z., Wang, E., Wang, M., Yang, X.: Theory of Limit Cycles. Amer. Math. Soc., Providence (1986)MATHGoogle Scholar
  29. 29.
    Zhang, Z., Ding, T., Huang, W., Dong, Z.: Qualitative Theory of Differential Equations. Amer. Math. Soc., Providence (1992)MATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Wei Niu
    • 1
  • Dongming Wang
    • 1
    • 2
  1. 1.Laboratoire d’Informatique de Paris 6Université Pierre et Marie Curie – CNRSParisFrance
  2. 2.LMIB – SKLSDE – School of ScienceBeihang UniversityBeijingChina

Personalised recommendations