Invariancia de Lagrangian en el teorema de Noether

A menudo, en los libros de texto, el teorema de Noether se establece con la suposición de que el Lagrangiano debe ser invariante. d L = 0 .

Sin embargo, dado un lagrangiano L , sabemos que los lagrangianos α L (dónde α es cualquier constante) y L + d F d t (dónde F es cualquier función) conducen a las mismas ecuaciones de movimiento.

¿Podemos entonces considerar que el Lagrangiano es invariante bajo una transformación si encontramos d L = α L o d L = d F d t en vez de d L = 0 ?

Respuestas (2)

Aquí me gustaría mencionar la noción de cuasi-simetría. En general, si el Lagrangiano (resp. Lagrangiano densidad resp. Acción) solo es invariante hasta una derivada de tiempo total (resp. Espacio-tiempo divergencia resp. Término límite) cuando se realiza una determinada 1 variación, se habla de una cuasi-simetría, véase, por ejemplo, Ref. 1.

El primer teorema de Noether también se cumple para cuasi-simetrías. Para ver ejemplos de leyes de conservación no triviales asociadas con cuasi-simetrías, consulte los ejemplos 1, 2 y 3 en el artículo de Wikipedia para el teorema de Noether .

Referencias:

  1. JV Jose & EJ Saletan, Dinámica Clásica: Un Enfoque Contemporáneo, 1998; pags. 565.

--

1 Aquí la palabra off-shell significa que las ecuaciones de Euler-Lagrange (EL). No se supone que el movimiento se mantenga bajo la variación específica. Si asumimos las ecuaciones EL. de movimiento para sostener, cualquier variación del Lagrangiano es trivialmente una derivada total.

ok, lo entiendo un poco mejor ahora, la variación en el caparazón siempre es una derivada total porque el integrando es cero, y solo quedan términos de contorno. Pero por el bien de encontrar F que entra en las corrientes de Noether, ¿solo nos preocupan las variaciones fuera del caparazón?
El teorema de Noether solo se aplica a cuasi-simetrías fuera del caparazón, no a cuasisimetrías en el caparazón.

Me gustaría decir que el teorema estándar de Noether se aplica mucho al caso de que d L = F ˙ . Por ejemplo, la traducción del tiempo es de esta forma. Podemos ver esto realizando el procedimiento de Noether para una traducción de tiempo minúscula.

q ( t ) q ( t + ε ) q ( t ) + ε q ˙ ( t ) q ˙ ( t ) q ˙ ( t ) + ε q ¨ ( t )
esto envía
L L + ε L ˙
como fue prometido. Si luego hacemos ε en una pequeña función dependiente del tiempo ε ( t ) , ahora tenemos

q ( t ) q ( t ) + ε ( t ) q ˙ ( t ) q ˙ ( t ) q ˙ ( t ) + ε ( t ) q ¨ ( t ) + ε ˙ ( t ) q ˙ ( t ) .

Después de jugar un poco con la regla de la cadena del cálculo de múltiples variables, encontramos que esto envía

L L + ε L ˙ + ε ˙ q ˙ L q ˙

Entonces usamos el hecho de que d S = 0 en soluciones a las ecuaciones de movimiento, y después de una integración por partes encontrar que

d d t ( pags q ˙ L ) = 0

en las soluciones de las ecuaciones de movimiento. Esto es solo la conservación de la energía.

Simetrías TLDR que cambian L por una derivada total simplemente se incorporan al teorema de Noether sin tener que hacer nada extra. Las traducciones de tiempo son un ejemplo de esto.

Sin embargo, d L L es un poco más exótico. Realización del procedimiento de Noether sobre el Lagrangiano de una partícula libre ( L = metro q ˙ 2 / 2 ) que tiene una simetría de escala q ( 1 + ε ) q , encuentro que la "ley de conservación" (si quieres llamarla así) es solo metro q q ¨ = 0 , que es trivialmente 0 de todos modos en las ecuaciones de movimiento.