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 como invariante de la ecuación libre de Schroedinger, dice que esto es una consecuencia del mapa . Traté de escribir la ecuación de Schroedinger en forma lagrangiana, al decidir que la parte real de sería "posición", y la parte imaginaria de sería "impulso". pero luego el mapa 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 ? ?
I) Como purista, desaprobé la praxis común de llamar a la implicación
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 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
El infinitesimal global(= -independiente) simetría de fase
dónde es un parámetro infinitesimal, se lee en componentes
El componente cero de la corriente Noether 4 es entonces
Por lo tanto, la carga de Noether es
Es sencillo ver que esta carga de Noether (6) genera la simetría de fase global infinitesimal (4)
que conmuta en Poisson con la densidad hamiltoniana
y que se conserva en la cáscara.
Stephen Montgomery Smith
udv