Уравнения Эйлера-Лагранжа из комплексного лагранжиана

Я ищу обобщения уравнений Эйлера-Лагранжа, которые можно было бы вывести из лагранжевой плотности с комплексным знаком. Я понимаю, что «минимум» и «максимум» не имеют очевидного значения для комплекснозначного действия, поэтому я ищу уравнения ЭЛ, которые соответствуют (а) постоянной амплитуде действия, (б) постоянной фазе действия, или (c) оба.

Документы, которые я нашел, в основном избегают этой проблемы, позволяя комплекснозначные переменные поля в лагранжиане, но гарантируя, что сам лагранжиан является действительным.

Эта статья может быть релевантной: Нестандартная сложная лагранжева динамика

Любые советы будут приветствоваться.

Бывают случаи, когда, хотя действие и реально, приходится учитывать сложные седловые точки (или траектории). См., например, это .
@С. МакГрю: Вы имеете в виду какую-нибудь физическую систему? Который?
Для чего это стоит, см. Мой ответ на физике.stackexchange.com/q /438956
@akhmeteli, это полезный комментарий. На данный момент меня не волнует, будет ли результат физическим или нет; как выглядит результат.
@Qmechanic, да, я имею в виду физическую систему, но не хочу запутывать вопрос, упоминая здесь, что это за система. Однако вариация интеграла Фейнмана по путям была бы (я думаю) отдаленно аналогична вариации комплексного лагранжиана.
Действие в FPI настоящее.
Понятно, но подынтегральная функция сложная. Я думаю, что вариация этого интеграла была бы приблизительно аналогичной.
@Qmechanic, я добавил ссылку на статью, которая кажется актуальной.

Ответы (2)

Если у вас есть сложное действие, вам нужно решить, что вам нужно, чтобы быть неподвижным. Это может быть а) действие, если его амплитуда постоянна; б) действие, если его фаза постоянна; в) амплитуда действия; г) фаза действия; д) реальная часть действия и т. д. В каждом из этих случаев это равносильно требованию стационарности некоторого реального действия, например, в случае в) можно выбрать действие, равное амплитуде «старого» сложного действия.

Так что же произойдет, если вам потребуется, скажем, чтобы и амплитуда, и фаза сложного действия были стационарными? Поскольку каждого из этих требований обычно достаточно для получения уравнений движения, оба этих требования вместе обычно дают переопределенную систему уравнений. Возможно, однако, что эта сверхдетерминированная система непротиворечива и имеет смысл, но в данный момент я не могу предложить пример.

  1. Принцип стационарного действия для сложного действия С с "=" С 1 + я С 2 е С эквивалентно 2 реальным принципам стационарного действия для действительной и мнимой частей, С 1 , С 2 е р . Другими словами, уравнения ЭЛ для С с являются в точности уравнениями ЭЛ для С 1 и уравнения ЭЛ для С 2 . Возможно, удастся организовать уравнения EL для С с как сложные уравнения, особенно если лагранжиан голоморфен.

  2. В интеграле Фейнмана по траекториям Z , Действие С реально, по крайней мере, в формулировке Минковского. Однако при оценке квазиклассического приближения методом наискорейшего спуска обычно деформируется контур интегрирования в комплексную плоскость, что может привести к комплексным вкладам в Z . Стационарные точки на комплексной плоскости могут иметь, а могут и не иметь прямой физической интерпретации как решения (аналитическое продолжение) уравнений ЭЛ.

Другими словами, комплексный лагранжиан дает два набора уравнений ЭЛ стандартной формы, один для действительной части лагранжиана, а другой для мнимой части лагранжиана. В этом случае, если сами переменные поля не являются сложными, кажется, что, как указал @akhmeteli, уравнения будут переопределены.
Не обязательно.
Можете ли вы привести простой пример?
Хорошо, я могу привести пример, но он слишком прост: если действительная и мнимая части лагранжиана приводят к одним и тем же уравнениям; и они не должны быть идентичными, чтобы сделать это.
Я вижу, что если два набора уравнений одинаковы, они не будут переопределены. Есть ли другие случаи, о которых вы можете подумать, когда наборы не будут переопределены?