Teorema de Noether para hamiltonianos y lagrangianos

Mirando a mi alrededor, veo una versión del Teorema de Noether que crea cantidades conservadas a partir de simetrías que preservan el Lagrangiano (por ejemplo, http://math.ucr.edu/home/baez/noether.html ), y otro teorema también llamado Teorema de Noether que encuentra cantidades conservadas cantidades al ver si conmutan Poisson con el hamiltoniano (p. ej., página 29 de http://www.math.ucla.edu/~tao/preprints/chapter.pdf ).

¿Son estos dos resultados en realidad los mismos resultados disfrazados?

Por ejemplo, Terry Tao en http://www.math.ucla.edu/~tao/preprints/chapter.pdf en la página 83 deriva el cargo total | tu | 2 d X como invariante de la ecuación libre de Schroedinger, dice que esto es una consecuencia del mapa tu mi i ϕ tu . Traté de escribir la ecuación de Schroedinger en forma lagrangiana, al decidir que la parte real de tu sería "posición", y la parte imaginaria de tu sería "impulso". pero luego el mapa tu mi i ϕ tu terminó siendo un mapa que no asignaba la posición a una nueva posición, sino que mezclaba la posición y la velocidad de una manera bastante desagradable. ¿Habría alguna otra elección inteligente para decidir qué variables son la "posición" y el "momento" que harían que la carga total surgiera como la cantidad conservada dada por http://math.ucr.edu/home/baez/noether.html ? ?

También se preguntó aquí: math.stackexchange.com/q/1466389
"¿Son estos dos resultados en realidad los mismos resultados disfrazados?" Sí lo son. Consulte la respuesta a esta pregunta relacionada: physics.stackexchange.com/q/69271

Respuestas (1)

I) Como purista, desaprobé la praxis común de llamar a la implicación

(1) { q , H } + q t   =   0 d q d t     0.
para una 'versión hamiltoniana del teorema de Noether', cf. mi respuesta Phys.SE aquí .

Además, la implicación (1) no es equivalente al teorema de Noether completo por varias razones. En primer lugar, la cuestión de la posible transformación singular de Legendre puede dificultar la comparación de las formulaciones lagrangianas y hamiltonianas. En segundo lugar, el teorema de Noether también funciona para las llamadas variaciones horizontales de la forma d t = no contabilizado en (1).

Más bien, la implicación (1) es solo una consecuencia trivial de las ecuaciones de Hamilton. Véase también, por ejemplo, nLab .

II) Con respecto al ejemplo de OP del campo de Schrödinger libre, la formulación hamiltoniana se analiza, por ejemplo, en esta publicación de Phys.SE. Sugerencia de OP para dividir en partes reales e imaginarias

(1) ϕ   =   ( ϕ 1 + i ϕ 2 ) / 2
estrictamente hablando no es necesario, cf. por ejemplo , esta publicación Phys.SE, pero la lógica es algo más simple si uno se divide. El corchete de Poisson fundamental distinto de cero dice

(2) { ϕ 1 ( X , t ) , ϕ 2 ( y , t ) }   =   d 3 ( X y ) .

El infinitesimal global(= X -independiente) simetría de fase

(3) d ϕ   =   i ϵ ϕ ,

dónde ϵ es un parámetro infinitesimal, se lee en componentes

(4) d ϕ 1   =   ϵ ϕ 2 y d ϕ 2   =   ϵ ϕ 1 .

El componente cero de la corriente Noether 4 es entonces

(5) j 0   :=   ϕ 2 L ϕ ˙ 1 ϕ 1 L ϕ ˙ 2   =   | ϕ | 2 .

Por lo tanto, la carga de Noether es

(6) q ( t )   :=   d 3 X   j 0 ( X , t )   =   d 3 X | ϕ ( X , t ) | 2 .

Es sencillo ver que esta carga de Noether (6) genera la simetría de fase global infinitesimal (4)

(7) d ϕ 1   =   ϵ { ϕ 1 , q } y d ϕ 2   =   ϵ { ϕ 2 , q } ;

que conmuta en Poisson con la densidad hamiltoniana

(8) H   :=   1 2 metro | ϕ | 2   =   1 4 metro ( ϕ 1 ) 2 + 1 4 metro ( ϕ 2 ) 2 ;

y que se conserva en la cáscara.

Además de Terry Tao, están John Baez y Derek Wise en la semana 9 de estas notas de clase , quienes se refieren a la ec. (1) como una versión hamiltoniana del teorema de Noether.