Poisson bracket

Poisson bracket. In mathematics and classical mechanics, the Poisson bracket is a fundamental binary operation on the space of smooth functions defined on a phase space. It provides a canonical way to describe the time evolution of dynamical systems and encodes the symplectic structure of the underlying manifold. The operation is named for the French mathematician and physicist Siméon Denis Poisson, who introduced it in his studies of celestial mechanics and analytical dynamics.

Definition

Given a smooth manifold \(M\) endowed with a symplectic form \(\omega\), the Poisson bracket assigns to any pair of smooth functions \(F\) and \(G\) on \(M\) a new smooth function \(\{F, G\}\). In canonical local coordinates \((q^1, \ldots, q^n, p_1, \ldots, p_n)\) on the cotangent bundle \(T^*Q\), where \(Q\) is the configuration space, the bracket takes the well-known form \(\{F, G\} = \sum_{i=1}^n \left( \frac{\partial F}{\partial q^i} \frac{\partial G}{\partial p_i} - \frac{\partial F}{\partial p_i} \frac{\partial G}{\partial q^i} \right)\). This expression is equivalent to the action of the Hamiltonian vector field \(X_G\) associated with \(G\) on the function \(F\), defined as \(\{F, G\} = \omega(X_F, X_G) = dF(X_G)\). The definition extends naturally to infinite-dimensional systems, such as those in field theory, where the sum is replaced by an integral.

Properties

The Poisson bracket satisfies several key algebraic and differential properties that mirror the structure of Lie algebras. It is bilinear over the real numbers, skew-symmetric such that \(\{F, G\} = -\{G, F\}\), and obeys the Jacobi identity: \(\{F, \{G, H\}\} + \{G, \{H, F\}\} + \{H, \{F, G\}\} = 0\). These properties endow the space of smooth functions \(C^\infty(M)\) with the structure of a Poisson algebra. Furthermore, the bracket acts as a derivation in each argument, satisfying the Leibniz rule: \(\{F, GH\} = \{F, G\}H + G\{F, H\}\). This derivation property implies that the map \(G \mapsto \{F, G\}\) is a vector field on \(M\), specifically the Hamiltonian vector field \(X_F\). The bracket also exhibits invariance under canonical transformations, which are diffeomorphisms preserving the symplectic structure.

Examples

In the simplest case of a two-dimensional phase space with coordinates \((q, p)\), the fundamental brackets are \(\{q, q\} = 0\), \(\{p, p\} = 0\), and \(\{q, p\} = 1\). For the angular momentum components \(L_x, L_y, L_z\) in three-dimensional Euclidean space, the brackets yield the familiar relations of the Lie algebra so(3): \(\{L_x, L_y\} = L_z\), \(\{L_y, L_z\} = L_x\), and \(\{L_z, L_x\} = L_y\). In the context of celestial mechanics, the Poisson brackets between the Kepler problem integrals, such as the Laplace–Runge–Lenz vector and the angular momentum vector, reveal the hidden symmetry group of the system. For field theory systems like the Korteweg–de Vries equation or the sine-Gordon equation, the bracket is defined using functional derivatives and Dirac delta functions.

Relation to Hamiltonian mechanics

The Poisson bracket is the central algebraic structure in Hamiltonian mechanics. Hamilton's equations for the time evolution of any observable \(F\) can be written succinctly as \(\frac{dF}{dt} = \{F, H\} + \frac{\partial F}{\partial t}\), where \(H\) is the Hamiltonian function representing the total energy. This formulation directly implies the conservation of a quantity \(F\) if its bracket with the Hamiltonian vanishes, i.e., \(\{F, H\} = 0\). The bracket thus elegantly encodes the Noether's theorem relationship between symmetry and conservation laws. Furthermore, the transition from classical to quantum mechanics is facilitated by the correspondence principle, where the Poisson bracket \(\{F, G\}\) is replaced by the commutator \( \frac{1}{i\hbar} [\hat{F}, \hat{G}] \) of the corresponding operators on a Hilbert space, as formalized by Paul Dirac and Hermann Weyl.

Generalizations

Several important generalizations extend the concept of the Poisson bracket beyond classical symplectic manifolds. A Poisson manifold is a smooth manifold equipped with a Poisson structure, a bivector field \(\Pi\) satisfying a differential condition equivalent to the Jacobi identity, which reduces to the standard bracket on symplectic manifolds. This framework includes important examples like the Lie–Poisson bracket on the dual space of a Lie algebra, crucial for the Hamiltonian description of rigid body dynamics and fluid mechanics. In deformation quantization, pioneered by François Bayen, Moshe Flato, and others, the Poisson bracket serves as the first-order term in the expansion of a star product. Other significant extensions include the Nambu–Poisson bracket, which involves multiple functions, and the Dirac bracket, introduced by Paul Dirac to handle constraints in singular systems, a technique vital for gauge theory and the formulation of general relativity.

Category:Classical mechanics Category:Symplectic geometry Category:Mathematical physics