On the Hamiltonian structure of evolution equations

The theory of evolution equations in Hamiltonian form is developed by use of some differential complexes arising naturally in the formal theory of partial differential equations. The theory of integral invariants is extended to these infinite-dimensional systems, providing a natural generalization of the notion of a conservation law. A generalization of Noether's theorem is proved, giving a one-to-one correspondence between one-parameter (generalized) symmetries of a Hamiltonian system and absolute line integral invariants. Applications include a new solution to the inverse problem of the calculus of variations, an elementary proof and generalization of a theorem of Gel'fand and Dikiî on the equality of Lie and Poisson brackets for Hamiltonian systems, and a new hierarchy of conserved quantities for the Korteweg–de Vries equation.