Functions for which for all pairs. Their Hamiltonian vector fields commute, and each is constant along the flows of the others. When they are integrals of motion of a Hamiltonian, they are first integrals in involution.
Second-class constraints with invertible bracket matrix can be eliminated with a modified bracket. For an ordinary even constraint set it is , . Graded constraints require the matching graded sign convention.
A Dirac bracket on a graded phase space eliminates second-class constraints while respecting the graded Poisson bracket. The fermionic kinetic term gives . Quantization then gives .
An even Poisson bracket on a space with commuting and anticommuting variables obeys and the graded Leibniz rule. In particular the bracket of two odd functions is symmetric. Quantization turns the odd-odd bracket into an anticommutator.
The Poisson bracket satisfies
If and have no explicit time dependence and satisfy , the Jacobi identity gives . Their Poisson bracket is therefore also conserved.
Along a trajectory generated by the Hamiltonian ,Thus a time-independent observable is conserved exactly when its Poisson bracket with vanishes.
Along Hamilton's equations, spatial derivatives of the Hamiltonian function cancel in its total time derivative. Thus . An autonomous Hamiltonian function is conserved; explicit time dependence generally prevents conservation even though phase space is still preserved.
For an autonomous Lagrangian , define its action and Hamiltonian . The chain rule givesThus the identity holds along forced trajectories as well as solutions of the homogeneous Euler-Lagrange equation. Explicit time dependence adds ; stochastic work requires a consistent regularization or the Stratonovich chain rule.
The function generates the canonical scaling . An observable is invariant under this scaling exactly when
For an anti-Hermitian matrix , the real quadratic HamiltoniansatisfiesThus realizes the matrix commutator as a Poisson bracket; it is the quadratic moment-map construction for the unitary action.
Articles by others on the same topic
The Poisson bracket is a mathematical operator used in classical mechanics, particularly in the context of Hamiltonian mechanics. It provides a way to describe the time evolution of dynamical systems and facilitates the formulation of Hamilton's equations of motion. The Poisson bracket is defined for two functions \( f \) and \( g \) that depend on the phase space variables (typically positions \( q_i \) and momenta \( p_i \)).
