Fouling maps and polynomial first integrals from symmetric tensor fields

Abstract

Under the framework of time-independent Hamiltonian mechanics on the cotangent bundles $T^{\ast }Q$ of the configuration spaces $Q$ of mechanical systems, we introduce the notion of fouling map as a (not necessarily invertible) generalization of the so-called fouling transformations --canonoid transformations preserving configuration coordinates--. We develop a tensorial method for constructing polynomial fouling maps. We show that each such map induces a $(1,1)$-tensor field invariant under the Hamiltonian flow, whose traces of its powers are polynomial constants of motion. For mechanical Hamiltonian functions --the kinetic energy plus the potential energy on a semi-Riemannian configuration space $(Q,g)$--, we completely characterize polynomial bundle maps arising from symmetric $(k+1,0)$-tensor fields and derive the conditions ensuring their fouling nature. Several explicit examples on the Euclidean plane, on the 2-sphere and on a Riemannian manifold with a Liouville metric illustrate the method.

arXiv commentComments are welcome