An Algorithm for Construction of Normal Forms

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.

[1]  Arnold Rom,et al.  Mechanized Algebraic Operations (MAO) , 1970 .

[2]  Raya Khanin,et al.  Investigation of the Double Pendulum System by the Normal Form Method in MATHEMATICA , 2004, Programming and Computer Software.

[3]  Vladimir I. Arnold,et al.  Dynamical Systems I , 1988 .

[4]  Bifurcation Analysis of Low Resonant Case of the Generalized Henon - Heiles System , 2001 .

[5]  Victor F. Edneral.  A symbolic approximation of periodic solutions of the Henon-Heiles system by the normal form method , 1998 .

[6]  P. Holmes,et al.  Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields , 1983, Applied Mathematical Sciences.

[7]  Victor F. Edneral.  Computer generation of normalizing transformation for systems of nonlinear ODE , 1993, ISSAC '93.

[8]  H. Poincaré,et al.  Les méthodes nouvelles de la mécanique céleste , 1899 .

[9]  E. W. Ng.  Symbolic and Algebraic Computation , 1979, Lecture Notes in Computer Science.

[10]  B. Hassard,et al.  Theory and applications of Hopf bifurcation , 1981 .

[11]  D. Armbruster,et al.  "Perturbation Methods, Bifurcation Theory and Computer Algebra" , 1987 .

[12]  A. Bruno,et al.  On integrability of the Euler-Poisson equations , 2008 .

[13]  Victor F. Edneral,et al.  Computer evaluation of cyclicity in planar cubic system , 1997, ISSAC.

[14]  A. D. Briuno,et al.  Local methods in nonlinear differential equations , 1989 .

[15]  L. Vallier.  An algorithm for the computation of normal forms and invariant manifolds , 1993, ISSAC '93.

[16]  A. Bruno.  Normal forms , 1998 .

[17]  V. Edneral.  Looking for Periodic Solutions of ODE Systems by the Normal Form Method , 2005 .

[18]  Victor F. Edneral,et al.  Application of the resonant normal form to high-order nonlinear ODEs using Mathematica , 2003 .

[19]  H. Dulac.  Solutions d'un système d'équations différentielles dans le voisinage de valeurs singulières , 1912 .

[20]  J. Mikram,et al.  Normal form methods for symbolic creation of approximate solutions of nonlinear dynamical systems , 2001 .

[21]  Alexander D. Bruno,et al.  Normal forms and integrability of ODE systems , 2005, Programming and Computer Software.

[22]  F. Verhulst.  Nonlinear Differential Equations and Dynamical Systems , 1989 .

[23]  A. Bruno.  Local integrability of the Euler-Poisson equations , 2006 .