"Derivar" la condición de calibre de Lorenz a partir del lagrangiano

Estoy estudiando QFT con Mandl & Shaw, Quantum Field Theory y me encontré con el problema 2.3 (página 37 de la segunda edición) que dice:

Problema 2.3: Muestre que la densidad lagrangiana

L = 1 2 [ α ϕ β ( X ) ] [ α ϕ β ( X ) ] + 1 2 [ α ϕ α ( X ) ] [ β ϕ β ( X ) ] + m 2 2 ϕ α ( X ) ϕ α ( X )

para el campo vectorial real ϕ α ( X ) conduce a las ecuaciones de campo

[ gramo α β ( + m 2 ) α β ] ϕ β ( X ) = 0

y que el campo ϕ α ( X ) satisface la condición de Lorenz

α ϕ α ( X ) = 0.

He hecho la primera parte, pero no estoy seguro de cómo abordar la segunda parte --- derivando la condición del indicador de Lorenz. Ahora sé cómo derivar ambos resultados.

Sin embargo, ¿por qué/cómo es esto posible ? El Lagrangiano se parece mucho a un Lagrangiano de Klein-Gordon para cada componente del campo, excepto por el segundo término. Sin embargo, si la condición de Lorenz fuera realmente derivable del Lagrangiano dado, el segundo término será idénticamente cero, y el Lagrangiano se reducirá completamente a un Lagrangiano de Klein-Gordon para cada componente. Entonces, ¿cuál fue el punto del segundo término en el Lagrangiano desde el principio? Su contribución a la ecuación de movimiento también será idénticamente cero, si se cumple la condición de Lorenz.

¿Hay una interpretación física significativa que aprender aquí?

¿Qué sucede si tomas la derivada de la ecuación de campo con respecto a α ?
@ gj255 bien, wow, eso hace el trabajo. Era vergonzosamente simple. Todavía no entiendo lo que esto implica, sin embargo.
no puede volver a conectar eom en el lagrangiano a menos que el campo sea auxiliar (cf. por ejemplo, el lagrangiano en el caparazón se desvanece ).
Si tuviera una teoría de cuatro campos escalares independientes que satisfagan la ecuación de Klein-Gordon, no habría ninguna condición de Lorenz que los relacione. El hecho de que haya usado la condición de Lorenz para reducir el Lagrangiano o las ecuaciones de movimiento de cierta manera no significa que pueda olvidar que todavía tiene la condición de Lorenz.

Respuestas (1)

Como @ gj255 ya señaló, α obtiene m 2 β ϕ β = 0 , que por m 2 0 cancela al calibre Lorenz. Sustituyendo esto de nuevo en la ecuación de movimiento da ( + m 2 ) ϕ α = 0 , una ecuación de Klein-Gordon como has adivinado. En otras palabras, podemos pensar en nuestra única ecuación de Euler-Lagrange como dos ecuaciones en una, una KGE y la medida de Lorenz.

Usted preguntó qué significa esto físicamente. Lo que significa es que, mientras que ϕ α tiene 4 grados de libertad, el indicador reduce eso a 3 , el número esperado de un giro masivo 1 partícula. (La función del segundo término, sobre la que preguntó, es, por lo tanto, crear esta reducción de DOF. Un Lagrangiano con él eliminado no es equivalente, porque perdemos el indicador de Lorenz).

Puede ver esto en el Apéndice del Capítulo I.5 de A. Zee's Quantum Field Theory in a Nutshell , donde sin asumir ningún Lagrangiano, motiva el indicador de Lorenz para reducir el número de grados de libertad y muestra que esto + el KGE es equivalente a su ecuación de movimiento Luego observa que multiplicando el lado izquierdo de la EOM por ϕ α 2 da una densidad lagrangiana masiva, que (hasta la integración por partes) es solo la densidad lagrangiana masiva de Maxwell.