Semi-algebraic Description of the Equilibria of Dynamical Systems

  • Changbo Chen
  • Marc Moreno Maza
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6885)

Abstract

We study continuous dynamical systems defined by autonomous ordinary differential equations, themselves given by parametric rational functions. For such systems, we provide semi-algebraic descriptions of their hyperbolic and non-hyperbolic equilibria, their asymptotically stable hyperbolic equilibria, their Hopf bifurcations. To this end, we revisit various criteria on sign conditions for the roots of a real parametric univariate polynomial. In addition, we introduce the notion of comprehensive triangular decomposition of a semi-algebraic system and demonstrate that it is well adapted for our study.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arnold, V.I.: Ordinary Differential Equations. Springer, Heidelberg (1992)Google Scholar
  2. 2.
    Chen, C., Davenport, J.H., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. In: Watt, S.M. (ed.) Proceedings ISSAC 2010, pp. 187–194 (2010)Google Scholar
  3. 3.
    Carr, J.: Applications of Centre Manifold Theory. Springer, Heidelberg (1981)CrossRefMATHGoogle Scholar
  4. 4.
    Carr, J.: Applications of Centre Manifold Theory. Springer, Heidelberg (1981)CrossRefMATHGoogle Scholar
  5. 5.
    Chen, C.: Algebraic analysis of stability for biological systems and the implemetation of a software pakage. Master’s thesis, Peking University (2006) (in Chinese)Google Scholar
  6. 6.
    Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive Triangular Decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol. 4770, pp. 73–101. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  7. 7.
    Chen, C., Moreno Maza, M.: Algorithms for computing triangular decompositions of polynomial systems. In: CoRR, abs/1104.0689 (2011)Google Scholar
  8. 8.
    Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: ISSAC 2009, pp. 95–102 (2009)Google Scholar
  9. 9.
    Chen, G., Dora, J.D.: Rational normal form for dynamical systems by Carleman linearization. In: Dooley, S. (ed.) Proc. 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 165–172. ACM Press, New York (1999)CrossRefGoogle Scholar
  10. 10.
    Chen, G., Dora, J.D.: An algorithm for computing a new normal form for dynamical systems. Journal of Symbolic Computation 29(3), 393–418 (2000)MathSciNetCrossRefMATHGoogle Scholar
  11. 11.
    Chen, G., Dora, J.D., Stolovitch, L.: Nilpotent normal form via Carleman linearization (for systems of ordinary differential equations). In: Watt, S. (ed.) Proc. 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 281–288. ACM Press, New York (1991)CrossRefGoogle Scholar
  12. 12.
    Frazer, R.A., Duncan, W.J.: On the criteria for the stability of small motions. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character 124(795), 642–654 (1929)CrossRefMATHGoogle Scholar
  13. 13.
    Freire, E., Gamero, E., Ponce, E., García Franquelo, L.: An algorithm for symbolic computation of center manifolds. In: Proc. of ISAAC 1988, pp. 218–230. Springer, London (1989)Google Scholar
  14. 14.
    Fuller, A.T.: Conditions for a matrix to have only characteristic roots with negative real parts. Journal of Mathematical Analysis and Applications 23, 71–98 (1968)MathSciNetCrossRefMATHGoogle Scholar
  15. 15.
    Gantmacher, F.R.: The Theory of Matrices. Chelsea Publishing Company, New York (1959)MATHGoogle Scholar
  16. 16.
    Gatermann, K., Eiswirtha, M., Sensse, A.: Toric ideals and graph theory to analyze Hopf bifurcations in mass action systems. Journal of Symbolic Computation 40(6), 1361–1382 (2005)MathSciNetCrossRefMATHGoogle Scholar
  17. 17.
    Gatermann, K., Hosten, S.: Computational algebra for bifurcation theory. Journal of Symbolic Computation 40(4-5), 1180–1207 (2005)MathSciNetCrossRefMATHGoogle Scholar
  18. 18.
    Gonzalez, L., Lombardi, H., Recio, T., Roy, M.-F.: Sturm-habicht sequence. In: ISSAC 1989: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, pp. 136–146. ACM, New York (1989)CrossRefGoogle Scholar
  19. 19.
    Guckenheimer, J., Myers, M., Sturmfels, B.: Computing Hopf bifurcations I. SIAM J. Num. Anal. 34(1), 1–21 (1997)CrossRefGoogle Scholar
  20. 20.
    Guckenheimer, J., Myers, M., Sturmfels, B.: Computing hopf bifurcations i. SIAM J. Numer. Anal. 34(1), 1–21 (1997)MathSciNetCrossRefMATHGoogle Scholar
  21. 21.
    Hale, J., Koçak, H.: Dynamics and Bifurcations. Springer, Heidelberg (1991)CrossRefMATHGoogle Scholar
  22. 22.
    Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. Journal of Symbolic Computation 24(2), 161–187 (1997)Google Scholar
  23. 23.
    El Kahoui, M., Weber, A.: Deciding hopf bifurcations by quantifier elimination in a software-component architecture. J. Symb. Comput. 30(2), 161–179 (2000)MathSciNetCrossRefMATHGoogle Scholar
  24. 24.
    El Kahoui, M., Weber, A.: Symbolic equilibrium point analysis in parameterized polynomial vector fields. In: Ganzha, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing (CASC 2002), pp. 71–83 (2002)Google Scholar
  25. 25.
    Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, Heidelberg (1998)MATHGoogle Scholar
  26. 26.
    Laurent, M.: Prion diseases and the “protein only” hypothesis: a theoretical dynamic study. Biochem. J. 318, 35–39 (1996)CrossRefGoogle Scholar
  27. 27.
    Liu, X., Corless, R.M., Geddes, K.O.: Computation of center manifolds. Technical Report TR-00-15, Ontario Research Centre for Computer Algebra, 12 pages (2000), http://www.orcca.on.ca/TechReports
  28. 28.
    Miller, R.K., Michel, A.N.: Ordinary Differential Equations. Academic Press, London (1982)MATHGoogle Scholar
  29. 29.
    Mishra, B.: Algorithmic Algebra. Springer, New York (1993)CrossRefMATHGoogle Scholar
  30. 30.
    Nayfeh, A.H.: Method of Normal Forms. Wiley Series in Nonlinear Sciences. John Wiley & Sons, New York (1993)MATHGoogle Scholar
  31. 31.
    Niu, W., Wang, D.M.: Algebraic approaches to stability analysis of biological systems. Mathematics in Computer Science 1, 507–539 (2008)MathSciNetCrossRefMATHGoogle Scholar
  32. 32.
    Perko, L.: Differential Equations and Dynamical Systems. Springer-Verlag New York, Inc., New York (1991)CrossRefMATHGoogle Scholar
  33. 33.
    Schaeffer, D.G., Golubitsky, M.: Singularities and Groups in Bifurcation Theory, vol. 1. Springer, Heidelberg (1984)MATHGoogle Scholar
  34. 34.
    Vallier, L.: An algorithm for the computation of normal forms and invariant manifolds. In: Proc. of ISSAC 1993, pp. 225–233. ACM Press, New York (1993)Google Scholar
  35. 35.
    Wang, D.M., Zheng, Z.M.: Differential Equations with Symbolic Computation. Birkhäuser Verlag, Basel (2005)CrossRefMATHGoogle Scholar
  36. 36.
    Wang, D., Xia, B.: Stability analysis of biological systems with real solution classfication. In: Kauers, M. (ed.) Proc. 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 354–361. ACM Press, New York (2005)CrossRefGoogle Scholar
  37. 37.
    Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symb. Comput. 28(1-2), 225–242 (1999)MathSciNetCrossRefMATHGoogle Scholar
  38. 38.
    Yang, L., Hou, X., Xia, B.: A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China, Series F 44(6), 33–49 (2001)MathSciNetCrossRefMATHGoogle Scholar
  39. 39.
    Yu, P., Yuan, Y.: An efficient method for computing the simplest normal forms of vector fields. Int. J. Bifurcations & Chaos 13(1), 19–46 (2003)MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Changbo Chen
    • 1
  • Marc Moreno Maza
    • 1
  1. 1.The University of Western OntarioLondonCanada

Personalised recommendations