Ecuaciones de Euler-Lagrange a partir de un Lagrangiano complejo

Estoy buscando generalizaciones de las ecuaciones de Euler-Lagrange que se derivarían de una densidad lagrangiana de valor complejo. Me doy cuenta de que "mínimo" y "máximo" no tienen un significado obvio para una acción de valor complejo, por lo que estoy buscando ecuaciones EL que correspondan a (a) amplitud constante de la acción, (b) fase constante de la acción, o (c) ambos.

Los documentos que he encontrado evitan en su mayoría el problema al permitir variables de campo de valor complejo dentro del Lagrangiano pero asegurando que el Lagrangiano en sí mismo tenga un valor real.

Este artículo podría ser relevante: Dinámica lagrangiana compleja no estándar

Cualquier consejo será bienvenido.

Hay casos en los que, aunque la acción sea real, deben tenerse en cuenta los complejos puntos de silla (o trayectorias). Véase, por ejemplo, esto .
@S. McGrew: ¿Tienes algún sistema físico en mente? ¿Cual?
Por lo que vale, vea mi respuesta en physics.stackexchange.com/q/438956
@akhmeteli, es un comentario útil. No me preocupa en este momento si el resultado es físico o no; exactamente cómo se ve el resultado.
@Qmechanic, sí, tengo un sistema físico en mente, pero no quiero confundir la pregunta al mencionar en este punto cuál es el sistema. Sin embargo, la variación de la integral de trayectoria de Feynman sería (creo) vagamente análoga a la variación de un Lagrangiano complejo.
La acción en FPI es real.
Entendido, pero el integrando es complejo. La variación de esa integral es lo que sería vagamente análogo, creo.
@Qmechanic, agregué un enlace a un documento que parece relevante.

Respuestas (2)

Si tiene una acción compleja, debe decidir qué necesita para ser estacionario. Puede ser a) acción siempre que su amplitud sea constante; b) acción siempre que su fase sea constante; c) amplitud de la acción; d) fase de la acción; e) parte real de la acción, etc. En cada uno de estos casos esto equivale a exigir que alguna acción real sea estacionaria, por ejemplo, en el caso c) se puede elegir una acción igual a la amplitud de la acción compleja "antigua".

Entonces, ¿qué sucede si requiere, digamos, que tanto la amplitud como la fase de la acción compleja sean estacionarias? Como cada uno de estos requisitos suele ser suficiente para obtener ecuaciones de movimiento, estos dos requisitos juntos suelen producir un sistema de ecuaciones sobredeterminado. Es posible, sin embargo, que este sistema sobredeterminado sea consistente y tenga sentido, pero no puedo ofrecer un ejemplo en este momento.

  1. Un principio de acción estacionario para una acción compleja S C = S 1 + i S 2 C es equivalente a 2 principios de acción estacionarios reales para la parte real e imaginaria, S 1 , S 2 R . En otras palabras, las ecuaciones EL para S C son precisamente las ecuaciones EL para S 1 y las ecuaciones EL para S 2 . Puede ser posible organizar las ecuaciones EL para S C como ecuaciones complejas, especialmente si el Lagrangiano es holomorfo.

  2. En la integral de trayectoria de Feynman Z , la acción S es real, al menos en la formulación minkowskiana. Sin embargo, al evaluar la aproximación semiclásica a través del método del descenso más pronunciado , normalmente se deforma el contorno de integración en el plano complejo, lo que puede conducir a contribuciones complejas a Z . Los puntos estacionarios en el plano complejo pueden o no tener una interpretación física directa como soluciones a las ecuaciones EL (continuación analítica).

En otras palabras, un Lagrangiano complejo produce dos conjuntos de ecuaciones EL de forma estándar, uno para la parte real del Lagrangiano y otro para la parte imaginaria del Lagrangiano. En ese caso, a menos que las variables de campo en sí mismas sean complejas, parece que, como señaló @akhmeteli, las ecuaciones estarían sobredeterminadas.
No necesariamente.
¿Puede proporcionar un ejemplo simple?
Bien, puedo dar un ejemplo, pero es demasiado simple: si las partes real e imaginaria del Lagrangiano conducen a las mismas ecuaciones; y no necesitan ser idénticos para hacer eso.
Puedo ver que si los dos conjuntos de ecuaciones son iguales, no estarán sobredeterminados. ¿Hay otros casos que se te ocurran en los que los conjuntos no estén sobredeterminados?