Marsden, J. E.
The basic paper on spaces of solutions is that of Segal . That paper deals with unconstrained systems and is primarily motivated by semilinear wave equations. We are mainly concerned here with systems with constraints in the sense of Dirac. Roughly speaking, these are systems whose four dimensional Euler-Lagrange equations are not all hyperbolic but rather split into hyperbolic evolution equations and elliptic constraint equations.