Intento entender uno de los ejemplos de la aplicación del teorema de Noether dados en An Introduction to Quantum Field Theory de Peskin & Schroeder (Página no. 18, Student Economy Edition). La parte relevante del texto se da a continuación.
Si entiendo correctamente la derivación y la discusión correspondiente aquí , entonces se supuso que la densidad lagrangiana satisface la ecuación de Euler-Lagrange:
Mi confusión: no veo cómo satisface la ecuación de Euler-Lagrange. Porque en el lado izquierdo, obtengo , y en el lado derecho, obtengo Si lo dado no satisface la ecuación de Euler-Lagrange, entonces, ¿cómo se puede aplicar la formulación de Peskin & Schroeder a este caso? ¿Que me estoy perdiendo aqui?
Has escrito correctamente tu ecuación de Euler-Lagrange. Entonces, cuando lo simplifica, obtiene la ecuación de movimiento (tal como mencionó en su pregunta):
Si entiendo correctamente, tiene un problema con la ecuación de Euler-Lagrange "satisfecha". Me gustaría aclarar esto corrigiendo su declaración: es incorrecto decir que el "Lagrangiano" satisface la ecuación de Euler-Lagrangiana; es el "campo" que satisface la ecuación de Euler-Lagrange.
La ecuación de Euler-Lagrange es
Espero que esto haya aclarado el problema.
La ecuación de Euler-Lagrange no se satisface automáticamente por . Es al revés. Dado , puedes encontrar la ecuación clásica de movimiento satisfecha por el campo . Esto es como darte una fórmula para la fuerza en la mecánica newtoniana. Incluso si sabes , todavía necesitas saber la segunda ley de Newton para encontrar el movimiento. Aquí también: dado , aún necesita la "ley" (ecuación EL) para encontrar el movimiento.
Por lo que vale, es muy importante en qué etapa se usan las ecuaciones de Euler-Lagrange (EL) en una aplicación del (primer) teorema de Noether . El primer teorema de Noether tiene 2 lados:
Entrada: un fuera de la cáscara global (cuasi)simetría . Aquí uno no debe usar EOM. (Una simetría en el caparazón es una noción vacía, porque cada vez que variamos la acción infinitesimalmente y aplicar EOM, entonces por definición desaparece módulo términos de frontera.)
Salida: una ecuación de continuidad en el caparazón . Aquí uno debe usar EOM. (Si también se mantiene fuera de la cáscara, es porque la simetría global es parte de una simetría local/de calibre más grande. Consulte el segundo teorema de Noether y, por ejemplo, esta publicación de Phys.SE).
--
Las palabras on-shell y off-shell se refieren a si las ecuaciones de Euler-Lagrange (EL) (=EOM) se cumplen o no.