This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages) (Learn how and when to remove this message)
|
| Part of a series on |
| Classical mechanics |
|---|
Core topics |
Inmathematics andclassical mechanics,canonical coordinates are sets ofcoordinates onphase space which can be used to describe a physical system at any given point in time. Canonical coordinates are used in theHamiltonian formulation ofclassical mechanics. A closely related concept also appears inquantum mechanics; see theStone–von Neumann theorem andcanonical commutation relations for details.
As Hamiltonian mechanics are generalized bysymplectic geometry andcanonical transformations are generalized bycontact transformations, so the 19th century definition of canonical coordinates in classical mechanics may be generalized to a more abstract 20th century definition of coordinates on thecotangent bundle of amanifold (the mathematical notion of phase space).
Inclassical mechanics,canonical coordinates are coordinates and inphase space that are used in theHamiltonian formalism. The canonical coordinates satisfy the fundamentalPoisson bracket relations:
A typical example of canonical coordinates is for to be the usualCartesian coordinates, and to be the components ofmomentum. Hence in general, the coordinates are referred to as "conjugate momenta".
Canonical coordinates can be obtained from thegeneralized coordinates of theLagrangian formalism by aLegendre transformation, or from another set of canonical coordinates by acanonical transformation.
Canonical coordinates are defined as a special set ofcoordinates on thecotangent bundle of amanifold. They are usually written as a set of or with thex's orq's denoting the coordinates on the underlying manifold and thep's denoting theconjugate momentum, which are1-forms in the cotangent bundle at pointq in the manifold.
A common definition of canonical coordinates is any set of coordinates on the cotangent bundle that allow thecanonical one-form to be written in the form
up to a total differential. A change of coordinates that preserves this form is acanonical transformation; these are a special case of asymplectomorphism, which are essentially a change of coordinates on asymplectic manifold.
In the following exposition, we assume that the manifolds are real manifolds, so that cotangent vectors acting on tangent vectors produce real numbers.
Given a manifoldQ, avector fieldX onQ (asection of thetangent bundleTQ) can be thought of as a function acting on thecotangent bundle, by the duality between the tangent and cotangent spaces. That is, define a function
such that
holds for all cotangent vectorsp in. Here, is a vector in, the tangent space to the manifoldQ at pointq. The function is called themomentum function corresponding toX.
Inlocal coordinates, the vector fieldX at pointq may be written as
where the are the coordinate frame onTQ. The conjugate momentum then has the expression
where the are defined as the momentum functions corresponding to the vectors:
The together with the together form a coordinate system on the cotangent bundle; these coordinates are called thecanonical coordinates.
InLagrangian mechanics, a different set of coordinates are used, called thegeneralized coordinates. These are commonly denoted as with called thegeneralized position and thegeneralized velocity. When aHamiltonian is defined on the cotangent bundle, then the generalized coordinates are related to the canonical coordinates by means of theHamilton–Jacobi equations.