An algorithm for symbolic computation of center manifolds

Abstract

A useful technique for the study of local bifurcations is the center manifold theory because a dimensional reduction is achieved. The computation of Taylor series approximations of center manifolds gives rise to several difficulties regarding the operational complexity and the computational effort. Previous works proceed in such a way that the computational effort is not optimized. In this paper an algorithm for center manifolds well suited to symbolic computation is presented. The algorithm is organized according to an iterative scheme making good use of the previous steps, thereby minimizing the number of operations. The results of two examples obtained through a REDUCE 3.2 implementation of the algorithm are included.