Poisson bracket

Last updated
Simeon Denis Poisson Simeon Poisson.jpg
Siméon Denis Poisson

In mathematics and classical mechanics, the Poisson bracket is an important binary operation in Hamiltonian mechanics, playing a central role in Hamilton's equations of motion, which govern the time evolution of a Hamiltonian dynamical system. The Poisson bracket also distinguishes a certain class of coordinate transformations, called canonical transformations , which map canonical coordinate systems into canonical coordinate systems. A "canonical coordinate system" consists of canonical position and momentum variables (below symbolized by and , respectively) that satisfy canonical Poisson bracket relations. The set of possible canonical transformations is always very rich. For instance, it is often possible to choose the Hamiltonian itself as one of the new canonical momentum coordinates.

Contents

In a more general sense, the Poisson bracket is used to define a Poisson algebra, of which the algebra of functions on a Poisson manifold is a special case. There are other general examples, as well: it occurs in the theory of Lie algebras, where the tensor algebra of a Lie algebra forms a Poisson algebra; a detailed construction of how this comes about is given in the universal enveloping algebra article. Quantum deformations of the universal enveloping algebra lead to the notion of quantum groups.

All of these objects are named in honor of Siméon Denis Poisson. He introduced the Poisson bracket in his 1809 treatise on mechanics. [1] [2]

Properties

Given two functions f and g that depend on phase space and time, their Poisson bracket is another function that depends on phase space and time. The following rules hold for any three functions of phase space and time:

Anticommutativity
Bilinearity
Leibniz's rule
Jacobi identity

Also, if a function is constant over phase space (but may depend on time), then for any .

Definition in canonical coordinates

In canonical coordinates (also known as Darboux coordinates) on the phase space, given two functions and , [Note 1] the Poisson bracket takes the form

The Poisson brackets of the canonical coordinates are where is the Kronecker delta.

Hamilton's equations of motion

Hamilton's equations of motion have an equivalent expression in terms of the Poisson bracket. This may be most directly demonstrated in an explicit coordinate frame. Suppose that is a function on the solution's trajectory-manifold. Then from the multivariable chain rule,

Further, one may take and to be solutions to Hamilton's equations; that is,

Then

Thus, the time evolution of a function on a symplectic manifold can be given as a one-parameter family of symplectomorphisms (i.e., canonical transformations, area-preserving diffeomorphisms), with the time being the parameter: Hamiltonian motion is a canonical transformation generated by the Hamiltonian. That is, Poisson brackets are preserved in it, so that any time in the solution to Hamilton's equations, can serve as the bracket coordinates. Poisson brackets are canonical invariants .

Dropping the coordinates,

The operator in the convective part of the derivative, , is sometimes referred to as the Liouvillian (see Liouville's theorem (Hamiltonian)).

Poisson matrix in canonical transformations

The concept of Poisson brackets can be expanded to that of matrices by defining the Poisson matrix.

Consider the following canonical transformation:Defining , the Poisson matrix is defined as , where is the symplectic matrix under the same conventions used to order the set of coordinates. It follows from the definition that:

The Poisson matrix satisfies the following known properties:

where the is known as a Lagrange matrix and whose elements correspond to Lagrange brackets. The last identity can also be stated as the following:Note that the summation here involves generalized coordinates as well as generalized momentum.

The invariance of Poisson bracket can be expressed as: , which directly leads to the symplectic condition: . [3]

Constants of motion

An integrable system will have constants of motion in addition to the energy. Such constants of motion will commute with the Hamiltonian under the Poisson bracket. Suppose some function is a constant of motion. This implies that if is a trajectory or solution to Hamilton's equations of motion, then along that trajectory. Then where, as above, the intermediate step follows by applying the equations of motion and we assume that does not explicitly depend on time. This equation is known as the Liouville equation. The content of Liouville's theorem is that the time evolution of a measure given by a distribution function is given by the above equation.

If the Poisson bracket of and vanishes (), then and are said to be in involution. In order for a Hamiltonian system to be completely integrable, independent constants of motion must be in mutual involution, where is the number of degrees of freedom.

Furthermore, according to Poisson's Theorem, if two quantities and are explicitly time independent () constants of motion, so is their Poisson bracket . This does not always supply a useful result, however, since the number of possible constants of motion is limited ( for a system with degrees of freedom), and so the result may be trivial (a constant, or a function of and .)

The Poisson bracket in coordinate-free language

Let be a symplectic manifold, that is, a manifold equipped with a symplectic form: a 2-form which is both closed (i.e., its exterior derivative vanishes) and non-degenerate. For example, in the treatment above, take to be and take

If is the interior product or contraction operation defined by , then non-degeneracy is equivalent to saying that for every one-form there is a unique vector field such that . Alternatively, . Then if is a smooth function on , the Hamiltonian vector field can be defined to be . It is easy to see that

The Poisson bracket on (M, ω) is a bilinear operation on differentiable functions, defined by ; the Poisson bracket of two functions on M is itself a function on M. The Poisson bracket is antisymmetric because:

Furthermore,

Here Xgf denotes the vector field Xg applied to the function f as a directional derivative, and denotes the (entirely equivalent) Lie derivative of the function f.

If α is an arbitrary one-form on M, the vector field Ωα generates (at least locally) a flow satisfying the boundary condition and the first-order differential equation

The will be symplectomorphisms (canonical transformations) for every t as a function of x if and only if ; when this is true, Ωα is called a symplectic vector field. Recalling Cartan's identity and dω = 0, it follows that . Therefore, Ωα is a symplectic vector field if and only if α is a closed form. Since , it follows that every Hamiltonian vector field Xf is a symplectic vector field, and that the Hamiltonian flow consists of canonical transformations. From (1) above, under the Hamiltonian flow XH,

This is a fundamental result in Hamiltonian mechanics, governing the time evolution of functions defined on phase space. As noted above, when {f,H} = 0, f is a constant of motion of the system. In addition, in canonical coordinates (with and ), Hamilton's equations for the time evolution of the system follow immediately from this formula.

It also follows from (1) that the Poisson bracket is a derivation; that is, it satisfies a non-commutative version of Leibniz's product rule:

The Poisson bracket is intimately connected to the Lie bracket of the Hamiltonian vector fields. Because the Lie derivative is a derivation,

Thus if v and w are symplectic, using , Cartan's identity, and the fact that is a closed form,

It follows that , so that

Thus, the Poisson bracket on functions corresponds to the Lie bracket of the associated Hamiltonian vector fields. We have also shown that the Lie bracket of two symplectic vector fields is a Hamiltonian vector field and hence is also symplectic. In the language of abstract algebra, the symplectic vector fields form a subalgebra of the Lie algebra of smooth vector fields on M, and the Hamiltonian vector fields form an ideal of this subalgebra. The symplectic vector fields are the Lie algebra of the (infinite-dimensional) Lie group of symplectomorphisms of M.

It is widely asserted that the Jacobi identity for the Poisson bracket, follows from the corresponding identity for the Lie bracket of vector fields, but this is true only up to a locally constant function. However, to prove the Jacobi identity for the Poisson bracket, it is sufficient to show that: where the operator on smooth functions on M is defined by and the bracket on the right-hand side is the commutator of operators, . By (1) , the operator is equal to the operator Xg. The proof of the Jacobi identity follows from (3) because, up to the factor of -1, the Lie bracket of vector fields is just their commutator as differential operators.

The algebra of smooth functions on M, together with the Poisson bracket forms a Poisson algebra, because it is a Lie algebra under the Poisson bracket, which additionally satisfies Leibniz's rule (2) . We have shown that every symplectic manifold is a Poisson manifold, that is a manifold with a "curly-bracket" operator on smooth functions such that the smooth functions form a Poisson algebra. However, not every Poisson manifold arises in this way, because Poisson manifolds allow for degeneracy which cannot arise in the symplectic case.

A result on conjugate momenta

Given a smooth vector field on the configuration space, let be its conjugate momentum. The conjugate momentum mapping is a Lie algebra anti-homomorphism from the Lie bracket to the Poisson bracket:

This important result is worth a short proof. Write a vector field at point in the configuration space as where is the local coordinate frame. The conjugate momentum to has the expression where the are the momentum functions conjugate to the coordinates. One then has, for a point in the phase space,

The above holds for all , giving the desired result.

Quantization

Poisson brackets deform to Moyal brackets upon quantization, that is, they generalize to a different Lie algebra, the Moyal algebra, or, equivalently in Hilbert space, quantum commutators. The Wigner-İnönü group contraction of these (the classical limit, ħ → 0) yields the above Lie algebra.

To state this more explicitly and precisely, the universal enveloping algebra of the Heisenberg algebra is the Weyl algebra (modulo the relation that the center be the unit). The Moyal product is then a special case of the star product on the algebra of symbols. An explicit definition of the algebra of symbols, and the star product is given in the article on the universal enveloping algebra.

See also

Remarks

  1. means is a function of the independent variables: momentum, ; position, ; and time,

Related Research Articles

In differential geometry, a subject of mathematics, a symplectic manifold is a smooth manifold, , equipped with a closed nondegenerate differential 2-form , called the symplectic form. The study of symplectic manifolds is called symplectic geometry or symplectic topology. Symplectic manifolds arise naturally in abstract formulations of classical mechanics and analytical mechanics as the cotangent bundles of manifolds. For example, in the Hamiltonian formulation of classical mechanics, which provides one of the major motivations for the field, the set of all possible configurations of a system is modeled as a manifold, and this manifold's cotangent bundle describes the phase space of the system.

<span class="mw-page-title-main">Hamiltonian mechanics</span> Formulation of classical mechanics using momenta

In physics, Hamiltonian mechanics is a reformulation of Lagrangian mechanics that emerged in 1833. Introduced by Sir William Rowan Hamilton, Hamiltonian mechanics replaces (generalized) velocities used in Lagrangian mechanics with (generalized) momenta. Both theories provide interpretations of classical mechanics and describe the same physical phenomena.

In physics, Liouville's theorem, named after the French mathematician Joseph Liouville, is a key theorem in classical statistical and Hamiltonian mechanics. It asserts that the phase-space distribution function is constant along the trajectories of the system—that is that the density of system points in the vicinity of a given system point traveling through phase-space is constant with time. This time-independent density is in statistical mechanics known as the classical a priori probability.

In mathematics, a Poisson algebra is an associative algebra together with a Lie bracket that also satisfies Leibniz's law; that is, the bracket is also a derivation. Poisson algebras appear naturally in Hamiltonian mechanics, and are also central in the study of quantum groups. Manifolds with a Poisson algebra structure are known as Poisson manifolds, of which the symplectic manifolds and the Poisson–Lie groups are a special case. The algebra is named in honour of Siméon Denis Poisson.

<span class="mw-page-title-main">Path integral formulation</span> Formulation of quantum mechanics

The path integral formulation is a description in quantum mechanics that generalizes the stationary action principle of classical mechanics. It replaces the classical notion of a single, unique classical trajectory for a system with a sum, or functional integral, over an infinity of quantum-mechanically possible trajectories to compute a quantum amplitude.

In Hamiltonian mechanics, a canonical transformation is a change of canonical coordinates (q, p) → that preserves the form of Hamilton's equations. This is sometimes known as form invariance. Although Hamilton's equations are preserved, it need not preserve the explicit form of the Hamiltonian itself. Canonical transformations are useful in their own right, and also form the basis for the Hamilton–Jacobi equations and Liouville's theorem.

In probability theory and related fields, Malliavin calculus is a set of mathematical techniques and ideas that extend the mathematical field of calculus of variations from deterministic functions to stochastic processes. In particular, it allows the computation of derivatives of random variables. Malliavin calculus is also called the stochastic calculus of variations. P. Malliavin first initiated the calculus on infinite dimensional space. Then, the significant contributors such as S. Kusuoka, D. Stroock, J-M. Bismut, Shinzo Watanabe, I. Shigekawa, and so on finally completed the foundations.

<span class="mw-page-title-main">Canonical quantization</span> Process of converting a classical physical theory into one compatible with quantum mechanics

In physics, canonical quantization is a procedure for quantizing a classical theory, while attempting to preserve the formal structure, such as symmetries, of the classical theory to the greatest extent possible.

In physics, a first class constraint is a dynamical quantity in a constrained Hamiltonian system whose Poisson bracket with all the other constraints vanishes on the constraint surface in phase space. To calculate the first class constraint, one assumes that there are no second class constraints, or that they have been calculated previously, and their Dirac brackets generated.

In differential geometry, a field in mathematics, a Poisson manifold is a smooth manifold endowed with a Poisson structure. The notion of Poisson manifold generalises that of symplectic manifold, which in turn generalises the phase space from Hamiltonian mechanics.

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

In mathematics and physics, a Hamiltonian vector field on a symplectic manifold is a vector field defined for any energy function or Hamiltonian. Named after the physicist and mathematician Sir William Rowan Hamilton, a Hamiltonian vector field is a geometric manifestation of Hamilton's equations in classical mechanics. The integral curves of a Hamiltonian vector field represent solutions to the equations of motion in the Hamiltonian form. The diffeomorphisms of a symplectic manifold arising from the flow of a Hamiltonian vector field are known as canonical transformations in physics and (Hamiltonian) symplectomorphisms in mathematics.

In mathematics, the interior product is a degree −1 (anti)derivation on the exterior algebra of differential forms on a smooth manifold. The interior product, named in opposition to the exterior product, should not be confused with an inner product. The interior product is sometimes written as

In mathematics, in particular in algebraic geometry and differential geometry, Dolbeault cohomology (named after Pierre Dolbeault) is an analog of de Rham cohomology for complex manifolds. Let M be a complex manifold. Then the Dolbeault cohomology groups depend on a pair of integers p and q and are realized as a subquotient of the space of complex differential forms of degree (p,q).

In mathematics, specifically in symplectic geometry, the momentum map is a tool associated with a Hamiltonian action of a Lie group on a symplectic manifold, used to construct conserved quantities for the action. The momentum map generalizes the classical notions of linear and angular momentum. It is an essential ingredient in various constructions of symplectic manifolds, including symplectic (Marsden–Weinstein) quotients, discussed below, and symplectic cuts and sums.

Lagrange brackets are certain expressions closely related to Poisson brackets that were introduced by Joseph Louis Lagrange in 1808–1810 for the purposes of mathematical formulation of classical mechanics, but unlike the Poisson brackets, have fallen out of use.

Ashtekar variables, which were a new canonical formalism of general relativity, raised new hopes for the canonical quantization of general relativity and eventually led to loop quantum gravity. Smolin and others independently discovered that there exists in fact a Lagrangian formulation of the theory by considering the self-dual formulation of the Tetradic Palatini action principle of general relativity. These proofs were given in terms of spinors. A purely tensorial proof of the new variables in terms of triads was given by Goldberg and in terms of tetrads by Henneaux et al.

In dynamical systems theory, the Liouville–Arnold theorem states that if, in a Hamiltonian dynamical system with n degrees of freedom, there are also n independent, Poisson commuting first integrals of motion, and the energy level set is compact, then there exists a canonical transformation to action-angle coordinates in which the transformed Hamiltonian is dependent only upon the action coordinates and the angle coordinates evolve linearly in time. Thus the equations of motion for the system can be solved in quadratures if the level simultaneous set conditions can be separated. The theorem is named after Joseph Liouville and Vladimir Arnold.

In mathematics, and especially symplectic geometry, the Thomas–Yau conjecture asks for the existence of a stability condition, similar to those which appear in algebraic geometry, which guarantees the existence of a solution to the special Lagrangian equation inside a Hamiltonian isotopy class of Lagrangian submanifolds. In particular the conjecture contains two difficulties: first it asks what a suitable stability condition might be, and secondly if one can prove stability of an isotopy class if and only if it contains a special Lagrangian representative.

In mathematical physics, the Garnier integrable system, also known as the classical Gaudin model is a classical mechanical system discovered by René Garnier in 1919 by taking the 'Painlevé simplification' or 'autonomous limit' of the Schlesinger equations. It is a classical analogue to the quantum Gaudin model due to Michel Gaudin. The classical Gaudin models are integrable.

References

  1. S. D. Poisson (1809)
  2. C. M. Marle (2009)
  3. Giacaglia, Giorgio E. O. (1972). Perturbation methods in non-linear systems. Applied mathematical sciences. New York Heidelberg: Springer. pp. 8–9. ISBN   978-3-540-90054-2.