The group of Hamiltonian diffeomorphisms Ham(M, 0) of a symplectic mani fold (M, 0) plays a fundamental role both in geometry and classical mechanics. For a geometer, at least under some assumptions on the manifold M, this is just the connected component of the identity in the group of all symplectic diffeomorphisms. From the viewpoint of mechanics, Ham(M, O) is the group of all admissible motions. What is the minimal amount of energy required in order to generate a given Hamiltonian diffeomorphism I? An attempt to formalize and answer this natural question has led H. Hofer HI] (1990) to a...
The group of Hamiltonian diffeomorphisms Ham(M, 0) of a symplectic mani fold (M, 0) plays a fundamental role both in geometry and classical mechanics....