Further reduction of normal forms and unique normal forms of smooth maps

Further reduction for classical normal forms of smooth maps is considered in this paper. Firstly, based on the idea of computation of simplest normal forms for vector fields [Yu & Yuan, 2003], we compute the transformed map of a given smooth map under a near identity formal transformation, and give a recursive formula for the homogeneous terms of the transformed map, which is a powerful tool for further reduction of classical normal forms of smooth maps. Secondly, by using the recursive formula, the idea of [Chen & Della Dora, 1999] for further reduction of normal forms for maps and the method introduced by Kokubu et al. [1996] for further reduction of normal forms of vector fields, we develop the concepts of Nth order normal forms and infinite order normal forms of smooth maps, and give some sufficient conditions for uniqueness of normal forms of smooth maps. As an application, we show the occurrence of the flipNeimarkSacker bifurcation in a financial model.