Главная
Канонические координаты — независимые параметры в гамильтоновом формализме классической механики. Обозначают их обычно как q i {displaystyle q_{i}} и p i {displaystyle p_{i}} .
Канонические координаты удовлетворяют фундаментальным соотношениям, выраженным через скобки Пуассона:
{ q i , q j } = 0 { p i , p j } = 0 { q i , p j } = δ i j {displaystyle {q_{i},q_{j}}=0qquad {p_{i},p_{j}}=0qquad {q_{i},p_{j}}=delta _{ij}}Канонические координаты можно получить из обобщённых координат лагранжевой механики с помощью преобразований Лежандра или из другого множества канонических координат с помощью канонических преобразований. Если гамильтониан определён на кокасательном расслоении, то обобщённые координаты связаны с каноническими координатами с помощью уравнений Гамильтона — Якоби.
Хотя может существовать много вариантов выбора канонических координат физической системы, обычно выбираются параметры, которые удобны для описания конфигурации системы и которые упрощают решение уравнений Гамильтона.
Близкие понятия используются также в квантовой механике, см. теорема Стоуна — фон Неймана и канонические коммутационные соотношения.
Обобщение
Поскольку гамильтонова механика по математической структуре представляет собой симплектическую геометрию, то канонические преобразования являются частным случаем контактных преобразований.
Канонические координаты определяются как специальное множество координат на кокасательном расслоении многообразия. Они обычно записываются как множество ( q i , p j ) {displaystyle (q^{i},p_{j})} или ( x i , p j ) {displaystyle (x^{i},p_{j})} , где буквой x или q обозначаются координаты на многообразии, а буквой p обозначается сопряжённый момент, который является ковариантным вектором в точке q многообразия.
Обычное определение канонических координат — это система координат на кокасательном расслоении, в которых каноническая 1-форма записывается в виде
∑ i p i d q i {displaystyle sum _{i}p_{i},mathrm {d} q^{i}}с точностью до прибавления полного дифференциала. Изменение координат, сохраняющее этот вид, является каноническим преобразованием. Это является специальным случаем симплектоморфизма, который, по существу, является изменением координат на симплектическом многообразии.
Формальное исследование
Если задано действительное многообразие Q, то векторное поле X на Q (или, эквивалентно, сечение касательного расслоения TQ) можно рассматривать как функцию, действующую на кокасательное расслоение, ввиду двойственности касательного и кокасательного пространств. То есть функция
P X : T ∗ Q → R {displaystyle P_{X}:T^{*}Q o mathbb {R} }такая, что
P X ( q , p ) = p ( X q ) {displaystyle P_{X}(q,p)=p(X_{q})}сохраняет все кокасательные вектора p в T q ∗ Q {displaystyle T_{q}^{*}Q} . Здесь X q {displaystyle X_{q}} является вектором в T q Q {displaystyle T_{q}Q} , касательном пространстве многообразия Q в точке q. Функция P X {displaystyle P_{X}} называется функцией момента, соответствующей X.
В локальных координатах векторное поле X в точке q может быть записано как
X q = ∑ i X i ( q ) ∂ ∂ q i {displaystyle X_{q}=sum _{i}X^{i}(q){frac {partial }{partial q^{i}}}} ,где ∂ / ∂ q i {displaystyle partial /partial q^{i}} является системой координат в TQ. Сопряжённый момент тогда выражается как
P X ( q , p ) = ∑ i X i ( q ) p i {displaystyle P_{X}(q,p)=sum _{i}X^{i}(q);p_{i}} ,где p i {displaystyle p_{i}} определяются как функции момента, соответствующие векторам ∂ / ∂ q i {displaystyle partial /partial q^{i}} :
p i = P ∂ / ∂ q i {displaystyle p_{i}=P_{partial /partial q^{i}}}q i {displaystyle q^{i}} вместе с p j {displaystyle p_{j}} образуют координатную систему на кокасательном расслоении T ∗ Q {displaystyle T^{*}Q} . Эти координаты называются каноническими координатами.