Symbolic computation of local stability and bifurcation surfaces for nonlinear time-periodic systems (Q1286450)

We present a new technique for symbolic computation of local stability boundaries and bifurcation surfaces for nonlinear multidimensional time-periodic dynamical systems as an explicit function of system parameters. This is made possible by using a recent symbolic computational algorithm for approximating the parameter-dependent fundamental solution matrix of linear time-periodic systems. By evaluating this matrix at the end of the principal period, we obtain the parameter-dependent Floquet transition matrix, or the linear part of the Poincaré map. The subsequent use of well-known criteria for the local stability and bifurcation conditions of equilibria and periodic solutions enables one to obtain the equations for the bifurcation surfaces in the parameter space as polynomials of the system parameters.