У меня проблема с пониманием критериев канонического преобразования. Я готовлюсь к экзамену и наткнулся на этот вопрос:
Для которого , , , является: каноническое преобразование ?
Я знаю, что он должен содержать:
Мой расчет приводит к . Но теперь я думаю, достаточно ли этого. Интуитивно я думаю, что далее следует считать, что отображение обратим, что не так из-за четырех решений и .
В настоящее время я просматриваю свои конспекты лекций и книги. Тем не менее я не могу найти ничего относительно того, должно ли преобразование быть биективным, чтобы быть каноническим преобразованием.
Мой вопрос: какие предположения должны выполнить, чтобы быть каноническим преобразованием.
РЕДАКТИРОВАТЬ: я просто смотрел на свой расчет. Я сделал глупую ошибку. Расчет не дает: должен быть
Одно условие — это как раз то, что вы написали, остальные три — то, что оставшиеся пуассоновские коммутаторы равны нулю. Из этих условий также следует, что якобиан определителя преобразования равен и, таким образом, в частности, преобразование il локально является диффеоморфизмом. В определении канонического преобразования есть требование, чтобы оно было диффеоморфизмом между двумя открытыми множествами пространства фаз. Таким образом, вы должны ограничить домен и/или кодовый домен, чтобы иметь биективную карту. В вашем случае это означает, что вы должны (произвольно) выбрать знак в своих уравнениях. Однако вы также должны наложить дополнительные требования, которые я указал выше.