Aplicación del Teorema de Noether

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.

ingrese la descripción de la imagen aquí

Si entiendo correctamente la derivación y la discusión correspondiente aquí , entonces se supuso que la densidad lagrangiana L satisface la ecuación de Euler-Lagrange:

L ϕ = m [ L ( m ϕ ) ] .

Mi confusión: no veo cómo L = 1 2 ( m ϕ ) 2 satisface la ecuación de Euler-Lagrange. Porque en el lado izquierdo, obtengo L ϕ = 0 , y en el lado derecho, obtengo m [ L ( m ϕ ) ] = m m ϕ . Si lo dado L 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?

Respuestas (3)

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):

m m ϕ = 2 ϕ = 0.
Tenga en cuenta que no hay nada peculiar en esto porque si usó el Lagrangiano con el término de energía potencial también, es decir
L = 1 2 ( m ϕ ) 2 1 2 metro 2 ϕ 2 ,
la ecuación de movimiento que obtendrías es
( m m + metro 2 ) ϕ = 0.
Todo lo que estamos haciendo aquí es enchufar metro = 0 , que devuelve la primera ecuación.

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" L 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

m ( L ( m ϕ ) ) L ϕ = 0 ,
lo que te da diferentes expresiones en LHS dependiendo del Lagrangiano que uses (ya hemos visto dos ejemplos arriba). Iguala la expresión en el LHS a cero para obtener la ecuación de Euler-Lagrange (o ecuación de movimiento) y resuelve para ϕ .

Espero que esto haya aclarado el problema.

La ecuación de Euler-Lagrange no se satisface automáticamente por L . Es al revés. Dado L , 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 F , todavía necesitas saber la segunda ley de Newton F = metro a para encontrar el movimiento. Aquí también: dado L , 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 1 (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 d S infinitesimalmente y aplicar EOM, entonces por definición d S 0 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).

--

1 Las palabras on-shell y off-shell se refieren a si las ecuaciones de Euler-Lagrange (EL) (=EOM) se cumplen o no.