Гамильтоновы системы без соответствующей лагранжевой системы

Я играл с гамильтоновой моделью распространения фотонов:

(1) ЧАС "=" с п п + В ( д )

что дает осмысленный набор уравнений движения,

(2) д ˙ я "=" с п я п п п ˙ я "=" В ( д ) д я .

Заметить, что

(3) д ˙ д ˙ "=" с 2
всегда, поэтому я рассматривал это как моделирование распространения безмассовой частицы.

Однако этот гамильтониан имеет следующую странную особенность. Если мы выполним преобразование Лежандра, чтобы найти соответствующий лагранжиан,

(4) л "=" п д ˙ ЧАС "=" с п п п п ( с п п + В ( д ) ) "=" В ( д )
который не динамичен, так как л д ˙ "=" 0 .

Аналогичная проблема возникает, если я рассматриваю двойственную лагранжеву систему в д , д ˙ переменных и попытаться найти гамильтониан преобразованием Лежандра:

(5) л "=" с д ˙ д ˙ В ( д )
то мы получаем корректно определенные уравнения Эйлера-Лагранжа:
(6) г г т ( с д ˙ я д ˙ я д ˙ я ) "=" В ( д ) д я
который становится:
(7) ( д ˙ д ˙ ) д ¨ я ( д ˙ д ¨ ) д ˙ я + ( д ˙ д ˙ ) 3 / 2 В ( д ) д я "=" 0.
Однако, если мы попытаемся найти ассоциированный гамильтониан,
(8) ЧАС "=" п д ˙ л "=" с д ˙ д ˙ д ˙ д ˙ ( с д ˙ д ˙ В ( д ) ) "=" В ( д )
что опять же нединамично.

Что здесь происходит? Есть ли интересная причина, по которой эти системы не должны допускать лагранжево/гамильтоново описание? В общем, когда я должен ожидать, что преобразование Лежандра даст мне хорошо работающую систему, которая воспроизводит физику, с которой я начал?

Это может быть связано с тем, что зависимость от импульса линейная.

Ответы (1)

  1. Лагранжиан можно построить непосредственно, выполнив анализ ограничений Дирака-Бергмана для гамильтониана OP (1). В уравнении (3) OP уже правильно определил основное ограничение 1

    (А) Икс ˙ 2   "="   г мю ν ( Икс )   Икс ˙ мю Икс ˙ ν     0 , Икс ˙ мю   "="   г Икс мю г т ,
    где т - параметр мировой линии (WL) (который не обязательно должен быть собственным временем).

  2. Лагранжиан становится безмассовым пределом 2

    (Б) л   "="   λ Икс ˙ 2 м 2 4 λ В ,
    где λ ( т ) есть множитель Лагранжа , ср. например, этот пост Phys.SE.

  3. Импульс для лагранжиана равен

    (С) п мю   "="   л Икс ˙ мю   "="   2 λ г мю ν ( Икс )   Икс ˙ ν ,
    так что соответствующий гамильтониан равен
    (Д) ЧАС   "="   п 2 + м 2 4 λ + В .

  4. Поэтому гамильтонов лагранжиан становится

    (Е) л ЧАС   "="   п мю Икс ˙ мю ЧАС .

  5. Теперь перейдем к статическому манометру. Икс 0 "=" т . Если мы интегрируем п 0 и λ , мы получаем 3

    (Ф) л ЧАС | Икс 0 "=" т п 0 п Икс ˙ ( λ + п 2 + м 2 4 λ + В ) гамильтониан λ п Икс ˙ ( п 2 + м 2 + В ) гамильтониан .

  6. Если положить массу м 0 тогда гамильтониан с квадратным корнем (F) становится в точности гамильтонианом OP (1). Это подтверждает наше утверждение о том, что безмассовый предел уравнения (B) искомый лагранжиан OP.

--

1 Будем работать в единицах, где скорость света с "=" 1 и с соглашением о знаках Минковского ( , + , + , + ) .

2 Масстерм в уравнении. (B) включен для общности и не является существенным. Единственная немного странная вещь заключается в том, что мы ограничиваем λ целевое пространство от р к р + . Этот последний момент также обсуждается в моем ответе Phys.SE здесь .

3 Подобный аргумент был дан в уравнении. (3) моего ответа Phys.SE здесь , где множитель Лагранжа λ "=" 1 2 е заменяется полем Эйнбейна е .