Singularities of Functions on the Martinet Plane, Constrained Hamiltonian Systems and Singular Lagrangians

We consider here the analytic classification of pairs (ω, f) where ω is a germ of a 2-form on the plane and f is a function germ with isolated singularities. We consider the case where ω is singular, i.e., it vanishes nondegenerately along a smooth line H(ω) (Martinet case) and the function f is such that the pair (f, H(ω)) defines a simple boundary singularity. In analogy with the ordinary case (for symplectic forms on the plane), we show that the moduli in the classification problem are analytic functions of 1-variable and that their number is exactly equal to the Milnor number of the corresponding boundary singularity. Moreover, we derive a normal form for the pair (ω, f) involving exactly these functional invariants. Finally, we give an application of the results in the theory of constrained Hamiltonian systems, related to the motion of charged particles in the quantization limit in an electromagnetic field, which in turn leads to a list of normal forms of generic singular Lagrangians (of first order in the velocities) on the plane.