Local Diffeomorphisms in Symplectic Space and Hamiltonian Systems with Constraints

In this paper we obtain exact normal forms with functional invariants for local diffeomorphisms, under the action of the symplectomorphism group in the source space. Using these normal forms we obtain exact classification results for the first occurring singularities of Hamiltonian systems with one-sided constraints, a problem posed by R. B. Melrose in his studies of glancing hypersurfaces.