In mathematics and physics, the canonical coordinates are a special set of coordinates on the cotangent bundle of a manifold. They are usually written as a set of $(q^i,p\_j)$ or $(x^i,p\_j)$ with the x 's or q 's denoting the coordinates on the underlying manifold and the p 's denoting the conjugate momentum, which are 1-forms in the cotangent bundle at point q in the manifold. This article attempts to provide a rigorous definition of the looser, simpler idea presented in the article canonical conjugate variables.

A common definition of canonical coordinates is any set of coordinates on the cotangent bundle that allow the canonical one form to be written in the form

$\backslash sum\_i\; p\_i\backslash ,dq^i$

up to a total differential. A change of coordinates that preserves this form is a canonical transformation; these are a special case of a symplectomorphism, which are essentially a change of coordinates on a symplectic manifold.

This article defines the canonical coordinates as they appear in classical mechanics. A closely related concept also appears in quantum mechanics; see the Stone-von Neumann theorem and canonical commutation relations for details.

In the following exposition, we assume that the manifolds are real manifolds, so that cotangent vectors acting on tangent vectors produce real numbers.

Definition

---

Given a manifold Q, a vector field X on the tangent bundle TQ can be thought of as a function acting on the cotangent bundle, by the duality between the tangent and cotangent spaces. That is, define a function

$P\_X:T^*Q\backslash to\; \backslash mathbb\{R\}$

such that

$P\_X(q,p)=p(X\_q)$

holds for all cotangent vectors p in $T\_q^*Q$. Here, $X\_q$ is a vector in $T\_qQ$, the tangent space to the manifold Q at point q. The function $P\_X$ is called the momentum function corresponding to X.

In local coordinates, the vector field X at point q may be written as

$X\_q=\backslash sum\_i\; X^i(q)\; \backslash frac\{\backslash partial\}\{\backslash partial\; q^i\}$

where the $\backslash partial\; /\backslash partial\; q^i$ are the coordinate frame on TQ. The conjugate momentum then has the expression

$P\_X(q,p)=\backslash sum\_i\; X^i(q)\; \backslash ;p\_i$

where the $p\_i$ are defined as the momentum functions corresponding to the vectors $\backslash partial\; /\backslash partial\; q^i$:

$p\_i\; =\; P\_\{\backslash partial\; /\backslash partial\; q^i\}$

The $q^i$ together with the $p\_j$ together form a coordinate system on the cotangent bundle $T^*Q$; these coordinates are called the canonical coordinates.

Generalized coordinates

---

In Lagrangian mechanics, a different set of coordinates are used, called the generalized coordinates. These are commonly denoted as $(q^i,\backslash dot\{q\}^i)$ with $q^i$ called the generalized position and $\backslash dot\{q\}^j$ the generalized velocity. When a Hamiltonian is defined on the cotangent bundle, then the generalized coordinates are related to the canonical coordinates by means of the Hamilton-Jacobi equations.

See also

---

• symplectic manifold
• symplectic vector field
• symplectomorphism

Differential topology | Symplectic topology | Hamiltonian mechanics | Lagrangian mechanics | Coordinate systems

Generalisierter Impuls