Как работает преобразование Лежандра H→LH→LH\to L в неканонических координатах?

Позволять ЧАС ( г ) быть гамильтонианом и ю я Дж симплектическая форма на фазовом пространстве и ю я Дж его инверсия ю я Дж ю Дж к "=" дельта я к . Мы знаем, что тогда уравнения Гамильтона задаются как

г ˙ я "=" ю я Дж Дж ЧАС
В канонических координатах г п я , д Дж у нас просто есть
ю я Дж "=" ( 0 1 1 0 )
и, таким образом, обычная координатная форма уравнений Гамильтона и преобразование Лежандра
л "=" п я ЧАС п я ЧАС ( п , д )
Однако существуют системы (одним из примеров может быть гамильтониан для волчка), в которых ю я Дж не может быть глобально приведен в каноническую форму, указанную выше. Как тогда выполнить преобразование Лежандра?

Другими словами: существует ли закрытая общая формула для лагранжиана? л с точки зрения ЧАС , общие фазовые координаты г , и симплектическая форма ю я Дж ?


Чтобы добавить некоторый контекст: на самом деле я хочу написать действие в фазовом пространстве.

С [ г ( т ) ] "=" п я д ˙ я ЧАС ( п , д ) д т ,
где д ˙ я не дается в терминах переменных фазового пространства. Затем это полезно в вариационном подходе к симплектической структуре, как обсуждалось, например, Marsden et al. (1986) .

на первый взгляд, я подозреваю, что вы не можете сделать это в общем случае: преобразование Лежандра имеет смысл только после того, как вы выделили набор переменных импульса, что может быть невозможно в глобальном масштабе, если ваше многообразие не является кокасательным расслоением
В каком направлении вы хотите преобразование Лежандра? От лагранжиана к гамильтониану или наоборот?
@Qmechanic Теперь я сделал постановку вопроса более ясной, направление ЧАС л .

Ответы (1)

  1. Учитывая 2 н -мерное симплектическое многообразие ( М , ю ) ,

    (1) д ю   "="   0
    с глобально определенной функцией Гамильтона ЧАС : М р .

  2. Обратите внимание, что нет единого понятия переменных положения и импульса, даже локально. Таким образом, обратное преобразование Лежандра от гамильтониана к лагранжеву формализму не является уникальным или четко определенным понятием. Но нет необходимости выполнять обратное преобразование Лежандра: мы все еще можем построить гамильтоново действие, как показано в моем ответе Phys.SE здесь . Здесь мы просто повторим формулу основного действия (4).

  3. Локально в стягиваемой открытой координатной окрестности U М существует симплектическая потенциальная 1-форма

    (2) ϑ   "="   я "=" 1 2 н ϑ я   д г я   е   Г ( Т * М | U ) ,
    такой, что
    (3) ю | U   "="   д ϑ .

  4. Учитывая путь γ U . Задайте локальное гамильтоново действие

    (4) С U [ γ ]   "="   γ ( ϑ ЧАС   д т )   "="   т я т ф д т ( я "=" 1 2 н ϑ я   г ˙ я ЧАС ) .