Detecting and determining preserved measures and integrals of birational maps (Q2093493)

In the previous short paper [J. Phys. A, Math. Theor. 52, No. 31, Article ID 31LT01, 11 p. (2019; Zbl 1505.37074)] the authors developed a theory for detecting and calculating integrals and preserved measures of rational maps in the context of discretized ordinary differential equations. The algorithm they used draws upon discrete Darboux polynomials and an accompanying cofactor; it also relies on symbolic algebra tools. This algorithm requires only the solution of systems of linear equations. The details are presented in this paper together with new material that builds on their prior work. The authors begin with preliminaries that describe Kahan discretization of ordinary differential equations, measure preservation, superintegrability, and Darboux polynomials for ordinary differential equations and for discrete birational maps. They then present ten examples in great detail. These include applications to the Lagrange top, the quartic Hamiltonian Nahm two-dimensional system, and the sine-Gordon map. They note that while several of their examples could be solved using laptop-level computing, three required the power and memory of a supercomputer. Much of the background material refers to references.