Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computer Algebra in Scientific Computing

CASC 2007: Computer Algebra in Scientific Computing pp 134–142Cite as

An Algorithm for Construction of Normal Forms

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4770))

Abstract

The normal form method is widely used in the theory of nonlinear ordinary differential equations (ODEs). But in practice it is impossible to evaluate the corresponding transformations without computer algebra packages. Here we describe an algorithm for normalization of nonlinear autonomous ODEs. Some implementations of these algorithms are also discussed.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Poincaré, H.: Les Méthodes Nouvelles de la Méchanique Celeste. vol. 1,2,3. Gauthier-Villars, Paris (1872–1879) Reprint: Dover, New York, 1957. National Aeronautics and Space Administration, Washington (1967)

    Google Scholar 

  2. Dulac, H.: Solution d’une système d’équations différentielles dans le voisinage des valeurs singulieres. Bull. Soc. Math. France 40, 324–384 (1912)

    MATH  MathSciNet  Google Scholar 

  3. Bruno(Brjuno), A.D.: The normal form of differential equations. Dokl. Akad. Nauk SSSR 157, 1276–1279 (1964) [Russian]. Sov. Math. Dokl. 5, 1105–1108 (1964) [English]

    Google Scholar 

  4. Arnold, V.I., Anosov, D.V. (eds.): Dynamical Systems, I. Encyclopaedia of Mathematical Sciences. Springer, New York (1988)

    MATH  Google Scholar 

  5. Rom, A.: Mechanized algebraic operations (MAO). Celestial Mechanics 1, 301–319 (1970)

    Article  MATH  MathSciNet  Google Scholar 

  6. Bruno(Brjuno), A.D.: Analytical form of differential equations. Trans. Mosc. Mat. Soc. 25, 131–288 (1971), 26, 199–239 (1972)

    Google Scholar 

  7. Bruno, A.D.: Local method in nonlinear differential equations. Springer Series in Soviet Mathematics, pages 370 (1989), ISBN 3-540-18926-2

    Google Scholar 

  8. Bruno, A.D.: Normal forms. J. Mathematics and Computers in Simulation 45, 413–427 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  9. Bruno, A.D.: The power geometry in algebraic and differential equations, pages 385. Elsevier, Amsterdam (2000)

    Google Scholar 

  10. Edneral, V.F., Khrustalev, O.A.: The normalizing transformation for nonlinear systems of ODEs. The realization of the algorithm (Russian). In: Proc. Int. Conf. on Computer Algebra and its Application in Theoretical Physics, USSR, Dubna, pp. 219–224. JINR publ., Dubna (1985)

    Google Scholar 

  11. Edneral, V.F., Khrustalev, O.A.: Program for recasting ODE systems in normal form (Russian). Sov. J. Programmirovanie (5), 73–80 (1992)

    Google Scholar 

  12. Edneral, V.F., Khanin, R.: Multivariate power series and normal form calculation in MATHEMATICA. In: Ganzha, V., et al. (eds.) CASC 2002. Proc. Fifth Workshop on Computer Algebra in Scientific Computing, Big Yalta, Ukraine, pp. 63–70. Tech. Univ. München, Munich (2002)

    Google Scholar 

  13. Vallier, L.: An Algorithm for the computation of normal forms and invariant manifolds. In: Bronstein, M. (ed.) Proc. 1993 Int. Symp. on Symbolic and Algebraic Computation, Kiev, Ukraine, pp. 225–233. ACM Press, New York (1993)

    Chapter  Google Scholar 

  14. Mikram, J., Zinoun, F.: Normal form methods for symbolic creation of approximate solutions of nonlinear dynamical systems. J. Mathematics and Computers in Simulation 57, 253–290 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  15. Edneral, V.F.: Computer generation of normalizing transformation for systems of nonlinear ODE. In: Bronstein, M. (ed.) Proc. 1993 Int. Symp. on Symbolic and Algebraic Computation, Kiev, Ukraine, pp. 14–19. ACM Press, New York (1993)

    Chapter  Google Scholar 

  16. Edneral, V.F.: A symbolic approximation of periodic solutions of the Henon–Heiles system by the normal form method. J. Mathematics and Computers in Simulation 45, 445–463 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  17. Edneral, V.F.: Bifurcation analysis of low resonant case of the generalized Henon - Heiles system. In: Ganzha, et al. (eds.) CASC 2001. Proc. Fourth Workshop on Computer Algebra in Scientific Computing, Konstanz, Germany, pp. 167–176. Springer, Heidelberg (2001)

    Google Scholar 

  18. Edneral, V.F.: Periodic solutions of a cubic ODE system. In: Ganzha, et al. (eds.) CASC 2003. Proc. Fifth Workshop on Computer Algebra in Scientific Computing, Passau, Germany, pp. 77–80. Tech. Univ. München, Munich (2003)

    Google Scholar 

  19. Edneral, V.F., Khanin, R.: Application of the resonant normal form to high order nonlinear ODEs using MATHEMATICA. Nuclear Inst. and Methods in Physics Research A 502, 643–645 (2003)

    Article  Google Scholar 

  20. Edneral, V.F., Khanin, R.: Investigation of the double pendulum system by the normal form method in MATHEMATICA. Programming and Computer Software 30, 115–117 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  21. Edneral, V.F.: Looking for periodic solutions of ode systems by the normal form method. In: Wang, D., Zheng, Z. (eds.) Differential Equations with Symbolic Computation, Birkhauzer, Basel, Boston, Berlin, pp. 173–200 (2005)

    Google Scholar 

  22. Verhulst, F.: Nonlinear differential equations and dynamical systems, p. 227. Springer, Heidelberg (1990)

    MATH  Google Scholar 

  23. Edneral, V.F.: Computer evaluation of cyclicity in planar cubic system. In: Küchlin, W. (ed.) Proc. ISSAC 1997, Hawaii, USA, pp. 305–309. ACM, New York (1997)

    Chapter  Google Scholar 

  24. Hassard, B.D., Kazarinoff, N.D., Wan, Y.H.: Theory and Applications of Hopf Bifurcation, p. 280. Cambridge Univ. Press, Cambridge (1981)

    MATH  Google Scholar 

  25. Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields. Springer, New York (1986)

    Google Scholar 

  26. Rand, R., Armbruster, D.: Perturbation Methods, Bifurcation Theory and Computer Algebra. Springer, New York (1987)

    MATH  Google Scholar 

  27. Bruno, A.D.: Bifurcation of the periodic solutions in the case of a multiple pair of imaginary eigenvalues. Selecta Mathematica formerly Sovietica 12, 1–12 (1993)

    MathSciNet  Google Scholar 

  28. Bruno, A.D.: Local integrability of the Euler–Poisson equations. Doklady Math. 74, 512–516 (2006)

    Article  MATH  Google Scholar 

  29. Bruno, A.D., Edneral, V.F.: Normal forms and integrability of ODE systems. Programming and Computer Software 32, 139–144 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  30. Bruno, A.D., Edneral, V.F.: On integrability of the Euler–Poisson equations. Fundamental and Applied Mathematics 13, 45–59 (2007)

    Google Scholar 

  31. Bruno, A.D., Edneral, V.F.: Computation of normal forms of the Euler–Poisson equations (Russian). Preprint No. 1 of the Keldysh Institute of Applied Mathematics of RAS. Moscow, pages 17 (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Skobeltsyn Institute of Nuclear Physics, of Moscow State University, Leninskie Gory, Moscow, 119991, Russia

    Victor F. Edneral

Authors
  1. Victor F. Edneral
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Victor G. Ganzha Ernst W. Mayr Evgenii V. Vorozhtsov

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Edneral, V.F. (2007). An Algorithm for Construction of Normal Forms. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds) Computer Algebra in Scientific Computing. CASC 2007. Lecture Notes in Computer Science, vol 4770. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75187-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-75187-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-75186-1

  • Online ISBN: 978-3-540-75187-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation