¿Invarianza de la acción frente a lagrangiana en el teorema de Noether?

Recientemente comencé a estudiar la teoría clásica de campos. El teorema de Noether establece que toda simetría diferenciable de la acción de un sistema físico tiene una ley de conservación correspondiente. Pero encuentro que, a menudo, cuando se resuelven las corrientes conservadas, se supone que se deben a la invariancia de Lagrangian, es decir; d L = 0 . ¿Ambas afirmaciones son siempre iguales?

no lo son, pero d L = 0 Es un caso especial muy común.

Respuestas (2)

No, no son lo mismo. Para ver por qué, incluso en la mecánica clásica, supongamos que tenemos una transformación de simetría q q + ϵ k eso deja el lagrangiano invariante. Esto significa que debemos tener

límite ϵ 0 1 ϵ ( L ( q + ϵ k , q ˙ + ϵ k ˙ , t ) L ( q , q ˙ , t ) ) = L q k + L q ˙ k ˙ = 0
T h mi norte usas el hecho de que las ecuaciones de movimiento se satisfacen para escribir L q = d d t L q ˙ y esto implica
d d t L q ˙ k + L q ˙ k ˙ = d d t ( L q ˙ k ) = 0
es decir, la cantidad L q ˙ k se conserva

Una simetría de la acción es una transformación que deja la acción invariante, se satisfagan o no las ecuaciones de movimiento. En este caso el mismo procedimiento produce la condición

L q k + L q ˙ k ˙ = d METRO d t
dónde METRO es una función de q , q ˙ , t . Si tal M existe, decimos que la acción es invariante bajo la transformación de simetría.

Es muy fácil ver que cuando imponemos las ecuaciones de movimiento LHS se convierte en d d t ( L q ˙ k ) y podemos derivar una cantidad conservada:

d d t ( L q ˙ k METRO ) = 0.

El ejemplo más simple posible de una transformación de simetría que es una simetría de la acción pero no del Lagrangiano es la traducción del tiempo en sistemas donde el Lagrangiano no tiene una dependencia temporal explícita. Cuando cambiamos el tiempo por un pequeño arbitrario ϵ , las coordenadas generalizadas q cambiar de acuerdo a q ( t ) q ( t ) + ϵ q ˙ ( t ) , por lo tanto k = q ˙ . Pero

d d t ( L q ˙ q ˙ ) = L q q ˙ + L q ˙ q ¨ = d L d t 0
En este caso METRO = L y la cantidad conservada es
H = L q ˙ q ˙ L .

Puede que llegue un poco tarde a la fiesta, pero ¿cuál es la función K que describe aquí? ¿Es una función de q(t) y t?
Además, supongo que M debería ser una función de q y t , y no q , q ˙ y t porque una vez que incluye velocidades también, entonces tendría que agregar una restricción adicional de que la velocidad a lo largo de la ruta se desvanece en los puntos finales.
Como se muestra en el caso de la invariancia de la traducción del tiempo, k puede ser una función de q ˙ también.
En el mismo ejemplo, METRO es el lagrangiano que es una función de q ˙ .El Lagrangiano es una función de q y q ˙ tratadas como variables independientes. El hecho de que en el formalismo lagrangiano se derivan los ecuaciones de los movimientos variando la acción manteniendo las coordenadas fijas en los puntos finales (sin requerir que las velocidades desaparezcan) es otra historia. Significa que para las trayectorias que satisfacen las ecuaciones de los movimientos en función del tiempo, q ( t ) y q ˙ ( t ) no son independientes. Consulte tinyurl.com/yxfpqfg7 . De hecho, nunca supuse que las velocidades se desvanecieran en los puntos finales.

En primer lugar, la noción de simetría estricta debe relajarse en una noción de cuasisimetría para que sea lo más general posible. Ambas versiones del teorema de Noether siguen siendo verdaderas, pero la versión de acción es más general.

No entiendo por qué querríamos un nuevo nombre para él.
Diferentes autores utilizan diferentes terminologías. A menudo es útil usar la palabra cuasisimetría para enfatizar la noción más general.