Analysis of Snapback Repellers Using Methods of Symbolic Computation

This paper presents an algebraic criterion for determining whether all the zeros of a given polynomial are outside the unit circle in the complex plane. This criterion is used to deduce critical algebraic conditions for the occurrence of chaos in multidimensional discrete dynamical systems based on a modified Marotto's theorem developed by Li and Chen (called "Marotto-Li-Chen theorem"). Using these algebraic conditions we reduce the problem of analyzing chaos induced by snapback repeller to an algebraic problem, and propose an algorithmic approach to solve this algebraic problem by means of symbolic computation. The proposed approach is effective as shown by several examples and can be used to determine the possibility that all the fixed points are snapback repellers.