Nonexistence and partial existence of first integrals for diffeomorphisms

In this paper, we first present a necessary condition for diffeomorphisms to have formal first integrals. Moreover, we consider diffeomorphisms which have some nontrivial formal integrals. Under certain conditions, we show that the diffeomorphism does not admit any other formal integral in the sense of functionally independent first integrals.