Definition

In finite-dimensional Hamiltonian mechanics, a classical phase space is a (P,ω)(P,\omega) whose points represent the complete instantaneous states of a classical system. A real-valued , specifies a particular dynamics through the unique XHX_H determined by

ιXHω=dH.\iota_{X_H}\omega=dH.

Thus the symplectic form belongs to the kinematic structure of phase space, whereas the choice of HH supplies the evolution law. Sign conventions may instead use ιXHω=dH\iota_{X_H}\omega=-dH.

Cotangent-bundle model

For a configuration manifold QQ, the standard phase space is the TQT^*Q. Its points (q,p)(q,p) record position and momentum, and its canonical symplectic form is obtained from the tautological 11-form. This construction is intrinsic and does not require a metric on QQ; see Arnol'd, chapters on Hamiltonian mechanics.

Observables and evolution

Smooth functions on PP are classical observables. The symplectic form defines their Poisson bracket, and preserves ω\omega and the Hamiltonian HH. A is therefore more data than a phase space: it is usually a triple (P,ω,H)(P,\omega,H).

Scope and generalizations

The definition describes unconstrained finite-dimensional Hamiltonian mechanics. Systems with constraints may first produce a degenerate presymplectic form and require reduction. Infinite-dimensional field theories need functional-analytic hypotheses, and statistical or quantum state spaces use different structures. In Poisson mechanics, a is sometimes also called a phase space even when its Poisson tensor is degenerate.

References
  1. V. I. Arnol'd, Mathematical Methods of Classical Mechanics, Springer, 1978. DOI record. Relevant: Hamiltonian mechanics, differential forms, and symplectic manifolds.
  2. Ana Cannas da Silva, Lectures on Symplectic Geometry, Springer, 2008. DOI record. Relevant: canonical symplectic form on a cotangent bundle and Hamiltonian mechanics.