Movatterモバイル変換


[0]ホーム

URL:


Jump to content
WikipediaThe Free Encyclopedia
Search

Canonical coordinates

From Wikipedia, the free encyclopedia
Sets of coordinates on phase space which can be used to describe a physical system
This article has multiple issues. Please helpimprove it or discuss these issues on thetalk page.(Learn how and when to remove these messages)
This article includes alist of references,related reading, orexternal links,but its sources remain unclear because it lacksinline citations. Please helpimprove this article byintroducing more precise citations.(November 2018) (Learn how and when to remove this message)
icon
This articleneeds additional citations forverification. Please helpimprove this article byadding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Canonical coordinates" – news ·newspapers ·books ·scholar ·JSTOR
(November 2018) (Learn how and when to remove this message)
(Learn how and when to remove this message)
Part of a series on
Classical mechanics
F=dpdt{\displaystyle {\textbf {F}}={\frac {d\mathbf {p} }{dt}}}

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).

Definition in classical mechanics

[edit]

Inclassical mechanics,canonical coordinates are coordinatesqi{\displaystyle q^{i}} andpi{\displaystyle p_{i}} inphase space that are used in theHamiltonian formalism. The canonical coordinates satisfy the fundamentalPoisson bracket relations:

{qi,qj}=0{pi,pj}=0{qi,pj}=δij{\displaystyle \left\{q^{i},q^{j}\right\}=0\qquad \left\{p_{i},p_{j}\right\}=0\qquad \left\{q^{i},p_{j}\right\}=\delta _{ij}}

A typical example of canonical coordinates is forqi{\displaystyle q^{i}} to be the usualCartesian coordinates, andpi{\displaystyle p_{i}} to be the components ofmomentum. Hence in general, thepi{\displaystyle p_{i}} 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.

Definition on cotangent bundles

[edit]

Canonical coordinates are defined as a special set ofcoordinates on thecotangent bundle of amanifold. They are usually written as a set of(qi,pj){\displaystyle \left(q^{i},p_{j}\right)} or(xi,pj){\displaystyle \left(x^{i},p_{j}\right)} 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

ipidqi{\displaystyle \sum _{i}p_{i}\,\mathrm {d} q^{i}}

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.

Formal development

[edit]

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

PX:TQR{\displaystyle P_{X}:T^{*}Q\to \mathbb {R} }

such that

PX(q,p)=p(Xq){\displaystyle P_{X}(q,p)=p(X_{q})}

holds for all cotangent vectorsp inTqQ{\displaystyle T_{q}^{*}Q}. Here,Xq{\displaystyle X_{q}} is a vector inTqQ{\displaystyle T_{q}Q}, the tangent space to the manifoldQ at pointq. The functionPX{\displaystyle P_{X}} is called themomentum function corresponding toX.

Inlocal coordinates, the vector fieldX at pointq may be written as

Xq=iXi(q)qi{\displaystyle X_{q}=\sum _{i}X^{i}(q){\frac {\partial }{\partial q^{i}}}}

where the/qi{\displaystyle \partial /\partial q^{i}} are the coordinate frame onTQ. The conjugate momentum then has the expression

PX(q,p)=iXi(q)pi{\displaystyle P_{X}(q,p)=\sum _{i}X^{i}(q)\;p_{i}}

where thepi{\displaystyle p_{i}} are defined as the momentum functions corresponding to the vectors/qi{\displaystyle \partial /\partial q^{i}}:

pi=P/qi{\displaystyle p_{i}=P_{\partial /\partial q^{i}}}

Theqi{\displaystyle q^{i}} together with thepj{\displaystyle p_{j}} together form a coordinate system on the cotangent bundleTQ{\displaystyle T^{*}Q}; these coordinates are called thecanonical coordinates.

Generalized coordinates

[edit]

InLagrangian mechanics, a different set of coordinates are used, called thegeneralized coordinates. These are commonly denoted as(qi,q˙i){\displaystyle \left(q^{i},{\dot {q}}^{i}\right)} withqi{\displaystyle q^{i}} called thegeneralized position andq˙i{\displaystyle {\dot {q}}^{i}} 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.

See also

[edit]

References

[edit]
Retrieved from "https://en.wikipedia.org/w/index.php?title=Canonical_coordinates&oldid=1182722606"
Categories:
Hidden categories:

[8]ページ先頭

©2009-2025 Movatter.jp