В математике и классической механике канонические координаты — это наборы координат на фазовом пространстве , которые можно использовать для описания физической системы в любой заданный момент времени. Канонические координаты используются в гамильтоновой формулировке классической механики . Тесно связанное понятие также появляется в квантовой механике ; см. теорему Стоуна–фон Неймана и канонические коммутационные соотношения для получения подробной информации.
Поскольку гамильтонова механика обобщается симплектической геометрией , а канонические преобразования обобщаются контактными преобразованиями , то определение канонических координат в классической механике, данное в XIX веке, можно обобщить до более абстрактного определения координат в кокасательном расслоении многообразия (математическое понятие фазового пространства), данного в XX веке.
В классической механике канонические координаты — это координаты и в фазовом пространстве , которые используются в гамильтоновом формализме. Канонические координаты удовлетворяют фундаментальным соотношениям скобок Пуассона :
Типичным примером канонических координат является то, что для будут обычными декартовыми координатами , а для будут компонентами импульса . Поэтому в общем случае координаты называются «сопряженными импульсами».
Канонические координаты могут быть получены из обобщенных координат лагранжева формализма с помощью преобразования Лежандра или из другого набора канонических координат с помощью канонического преобразования .
Канонические координаты определяются как специальный набор координат на кокасательном расслоении многообразия . Обычно они записываются как набор или с x ' s или q ' s, обозначающими координаты на базовом многообразии, и p ' s, обозначающими сопряженный импульс , которые являются 1-формами в кокасательном расслоении в точке q многообразия.
Общее определение канонических координат — это любой набор координат на кокасательном расслоении, который позволяет записать каноническую однократную форму в виде
с точностью до полного дифференциала. Изменение координат, сохраняющее эту форму, является каноническим преобразованием ; это частный случай симплектоморфизма , который по сути является изменением координат на симплектическом многообразии .
В следующем изложении мы предполагаем, что многообразия являются действительными многообразиями, так что котангенсивные векторы, действующие на касательные векторы, производят действительные числа.
Если задано многообразие Q , то векторное поле X на Q ( сечение касательного расслоения TQ ) можно рассматривать как функцию, действующую на кокасательное расслоение , в силу двойственности между касательным и кокасательным пространствами. То есть, определим функцию
такой что
справедливо для всех котангенсивных векторов p в . Здесь — вектор в , касательное пространство к многообразию Q в точке q . Функция называется функцией импульса, соответствующей X .
В локальных координатах векторное поле X в точке q можно записать как
где — система координат на TQ . Сопряженный импульс тогда имеет выражение
где определяются как функции импульса, соответствующие векторам :
Вместе они образуют систему координат на кокасательном расслоении ; эти координаты называются каноническими координатами .
В механике Лагранжа используется другой набор координат, называемый обобщенными координатами . Они обычно обозначаются как с называемыми обобщенным положением и обобщенной скоростью . Когда гамильтониан определен на кокасательном расслоении, то обобщенные координаты связаны с каноническими координатами посредством уравнений Гамильтона–Якоби .