Cargas conservadas como generadoras de simetrías en la mecánica hamiltoniana

He estado tratando de entender la relación entre las cargas conservadas y las transformaciones de simetría; en particular, cómo las cargas conservadas actúan como generadores de la simetría en el formalismo hamiltoniano y cómo, dada una carga conservada, podemos derivar la simetría asociada. He visto que esto se conoce como el teorema inverso de Noether.

Aquí https://arxiv.org/abs/1601.03616 (sección 2.2) el argumento es el siguiente:

Dada una carga conservada q con

(1) d q d t = 0

y una transformación definida por el cambio infinitesimal en las coordenadas siendo:

(2) d s q i = [ q i , ϵ q ] = ϵ q pag i , d s pag i = [ pag i , ϵ q ] = ϵ q q i ,

el cambio en la acción es:

(3) d I = d t ( d s pag q ˙ + pag d d t d s q H pag d s pag H q d s q ) = d t ( ϵ q q q ˙ + d d t ( pag d s q ) ϵ pag ˙ q pag + ϵ H pag q q ϵ H q q pag ) = d t ( ϵ ( d q d t + q t + [ q , H ] ) + d d t ( pag d s q ) ) = d t d d t ( ϵ q + pag d s q ) .

Esto me confunde porque parece que el cambio en el Lagrangiano sería una derivada de tiempo total independientemente de si q es una constante del movimiento o no.

(4) F t + [ F , H ] = d F d t ,

para cualquier función, entonces, en la penúltima línea, ¿no serían todos los términos que involucran q desaparecen del cambio en el Lagrangiano incluso si q no era constante?

Cualquier ayuda sería apreciada. También me gustaría intuir por qué son las cargas conservadas en particular las que generan simetrías incluso cuando el corchete de Poisson con el hamiltoniano es distinto de cero debido a una dependencia temporal explícita.

Creo que el punto es que, al resolver (2.49) simplemente están tomando el RHS de la flecha en (2.46) como la definición de una carga conservada, tenga en cuenta que para ir de izquierda a derecha en (2.46) necesita use el EOM como se hace en (2.45), y no puede ir de izquierda a derecha de (2.46) sin el EOM, también tenga en cuenta que justo antes de (2.49) dicen que no están usando el EOM en ninguna parte, por lo tanto al pasar de la segunda a la última línea de (2.49) solo usan el RHS de (2.46), el resultado se mantiene 'fuera de la cáscara', es decir, sin usar el EOM.

Respuestas (1)

Respuesta corta:

Se supone que una (cuasi) simetría en el teorema de Noether se mantiene fuera de la estructura, es decir, sin el uso de 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.)

Por lo tanto, no se nos permite usar EOM (4) en la variación fuera de caparazón (3), por lo que el primer paréntesis en la tercera línea de la ecuación de OP. (3) no desaparece.

Para obtener más información, consulte la declaración relacionada 3 en mi respuesta Phys.SE aquí .

Ah, sí, no estoy seguro de por qué no vi sus respuestas anteriores sobre el tema cuando busqué antes. Estoy trabajando a mi manera a través de ellos. ¡Gracias!