Why do we want the 2-form ω to be closed? What if it is not?
Answer
First some terminology:
A non-degenerate 2-form ω is called an almost symplectic structure.
A closed 2-form ω is often called a presymplectic structure.
If the 2-form ω is both non-degenerate and closed, it becomes a symplectic structure.
In the non-degenerate case, the closedness condition dω = 0
Moreover in the non-degenerate case, the closedness condition (C) (or equivalently, the JI) is the integrability condition that ensures the local existence of Darboux coordinates (aka. canonical coordinates), cf. Darboux' theorem. Conversely, the existence of Darboux coordinates in a local neighborhood U implies the closedness condition (C) in that neighborhood.
For further information, see also e.g. Wikipedia1; this, this, and this related SE posts; and links therein.
--
1 Wikipedia (August, 2015) has a concise section about motivations arising from Hamiltonian mechanics, cf. above comment by ACuriousMind. Wikipedia argues that dH(VH) ≡ ω(VH,VH) = 0andLVHω ≡ iVHdω = 0.
No comments:
Post a Comment