Meromorphic first integrals of analytic diffeomorphisms
arXiv:2012.02514
Abstract
We give an upper bound for the number of functionally independent meromorphic first integrals that a discrete dynamical system generated by an analytic map can have in a neighborhood of one of its fixed points. This bound is obtained in terms of the resonances among the eigenvalues of the differential of at this point. Our approach is inspired on similar Poincaré type results for ordinary differential equations. We also apply our results to several examples, some of them motivated by the study of several difference equations.