Symbolic computation of limit cycles associated with Hilbert’s 16th problem

This paper is concerned with the practical complexity of the symbolic computation of limit cycles associated with Hilbert’s 16th problem. In particular, in determining the number of small-amplitude limit cycles of a non-linear dynamical system, one often faces computing the focus values of Hopf-type critical points and solving lengthy coupled polynomial equations. These computations must be carried out through symbolic computation with the aid of a computer algebra system such as Maple or Mathematica, and thus usually gives rise to very large algebraic expressions. In this paper, efficient computations for the focus values and polynomial equations are discussed, showing how to deal with the complexity in the computation of non-linear dynamical systems.