Cargas conservadas y generadores

Para el campo de Klein Gordon, la carga conservada para la traslación en el espacio viene dada por:

PAG = 1 2 d 3 k k { a k a k + a k a k }

Si tuviéramos que encontrar los generadores para una traducción espacial, encontraríamos que,

PAG j = i j ,
dónde j = 1 , 2 , 3 .

Si actuamos los dos operadores anteriores en el campo ϕ , el resultado coincide! Mi pregunta es si ambos, los generadores y las cargas conservadas de una simetría, ¿son siempre lo mismo? ¿Cuál sería una forma sencilla de ver esta conexión?

Solo trabajando en QM simple, supongamos que tenemos una simetría continua tu parametrizado por θ , entonces [ tu ( θ ) , H ] = 0 . Ahora, tu ( θ ) = mi i θ A para hermitiano A (entonces A es el generador) y tomando θ 0 da [ A , H ] = 0 (entonces A es la cantidad conservada). ¡Eso es todo!
Solo para estar seguro: ¿estás preguntando sobre mecánica clásica, mecánica cuántica o ambas?
Lo siento, he estado de viaje durante los últimos días. Tenía la intención de preguntar sobre QFT, pero siéntase libre de resaltar las diferencias entre eso y la mecánica clásica en el contexto actual.
@ArnabBarmanRay Traté de abordar ambos casos en mi respuesta a continuación; de hecho, traté de exponer el resultado con la mayor generalidad posible. Espero que sea lo suficientemente claro. ¡Salud!

Respuestas (3)

OP se pregunta si la carga conservada asociada a una simetría continua siempre genera la simetría misma. Podemos decir, en general, que la respuesta es

Sí.

Veamos cómo funciona esto.

Mecanica clasica.

Usamos una notación adaptada a la teoría clásica de campos en lugar de la mecánica de partículas puntuales, pero la primera incluye a la segunda como un subcaso especial, por lo que no perdemos generalidad.

Considere un sistema clásico que puede incluir o no campos de calibre y/o variables impares de Grassmann. Por simplicidad, consideramos un espacio-tiempo plano. Suponga que el sistema es invariante bajo la transformación infinitesimal ϕ ϕ + d ϕ . Según el teorema de Noether , existe una corriente j m

j m L ϕ ˙ , m d ϕ
que se conserva en la concha,
m j m = O S 0

Esto a su vez implica que la carga asociada de Noether q

q = d mi F R d 1 j 0 d X
se conserva,
q ˙ = O S 0

En Ref.1 se prueba que la carga q genera la transformación d ϕ ,

d ϕ = ( q , ϕ )

dónde ( , ) es el soporte de DeWitt-Peierls . Esta es precisamente nuestra reivindicación. El lector encontrará la prueba del teorema en la referencia citada, así como una buena discusión sobre el significado del resultado.

Además, una declaración similar se aplica cuando el espacio-tiempo es curvo, pero esto requiere la existencia de un campo de muerte adecuado (cf. esta publicación de PSE ).

Además, para sistemas canónicos estándar, Ref.1 también prueba que ( , ) está de acuerdo con el corchete de Poisson { , } .

Mecánica cuántica.

Esto es de hecho un corolario del caso anterior. Ref.1 demuestra que, salvo las ambigüedades de orden habituales inherentes al procedimiento de cuantificación, el paréntesis de DeWitt-Peierls de dos campos fundamentales concuerda con el conmutador [ , ] de los operadores correspondientes.

Si asumimos que la ley de conservación clásica m j m 0 no es violada por el regulador (es decir, si la simetría no es anómala), entonces automáticamente obtenemos el análogo cuántico de nuestro resultado anterior, a saber

d ϕ = i [ q , ϕ ]

según sea necesario.

Referencias

  1. Bryce DeWitt, El enfoque global de la teoría cuántica de campos .

Mi pregunta es si ambos, los generadores y las cargas conservadas de una simetría, ¿son siempre lo mismo?

Sí lo son. Para ver eso, consideremos una simetría genérica de la acción, que tiene una corriente conservada j m debido al teorema de Noether. En ese caso podemos definir una corriente conservada como

q ( t ) = d 3 X j 0   .

Dado que los campos (es decir, ϕ ) son operadores, en primer orden se transforman bajo la simetría como

ϕ ϕ = mi i T ϕ mi i T ( 1 + i T ) ϕ ( 1 i T ) = ϕ + i [ T , ϕ ]   ,
dónde T es el generador de la transformación en el campo de la representación. Entonces tenemos
ϕ ϕ = d ϕ = i [ T , ϕ ]   .

Si demostramos que i d ϕ = [ q , ϕ ] , que el juego ha terminado. Hagamos esto en los dos casos de traslaciones de espacio-tiempo y simetrías internas.

Traslaciones del espacio-tiempo : en el caso de las traslaciones del espacio-tiempo el teorema de Noether nos da 4 corrientes conservadas, como

m T v m = 0
y así, de la expresión de T v m , tenemos
q v ( t ) = d 3 X T v 0 = d 3 X ( π v ϕ L gramo v 0 )
forma which (usando reglas canónicas de conmutación)
[ q v ( t ) , ϕ ( y , t ) ] = d 3 X [ π ( X , t ) v ϕ ( X , t ) L gramo v 0 , ϕ ( y , t ) ] = i v ϕ ( y , t )
eso es igual a i d ϕ (para una traducción dada de a m )
ϕ = ϕ + a m m ϕ

Simetrías internas: : en el caso de simetría interna tenemos que

j m = L m ϕ d ϕ
y entonces la corriente conservada es
q ( t ) = d 3 X j 0 = d 3 π ( X , t ) d ϕ ( X , t )   .
Podemos ver que este caso es más simple ya que
[ q ( t ) , ϕ ( y , t ) ] = d 3 X [ π ( X , t ) , ϕ ( y , t ) ] d ϕ ( X , t ) = i d ϕ ( y , t )   .

Cualquier operador que conmuta con el hamiltoniano (y no tiene ninguna dependencia temporal explícita ) se conserva en el tiempo, como puede verse trivialmente a partir de la ecuación de movimiento de Heisenberg del operador . Por supuesto, si un operador A conmuta con el hamiltoniano, entonces F ( A ) lo hace también para cualquier función analítica F , por lo que trivialmente obtenemos un espacio de dimensión infinita de cantidades conservadas (no algebraicamente independientes).

Si la simetría es continua, entonces podemos indexar las transformaciones de simetría unitaria tu ( θ ) por un parámetro continuo θ , que el generador de simetría T := i d tu d θ | θ = 0 es una cantidad conservada, y generalmente es el representante canónico de la clase de equivalencia de cantidades conservadas (algebraicamente dependientes) que identificamos como "la" cantidad conservada correspondiente a la simetría. Pero también podríamos haber elegido tu en su lugar. (Para sistemas de muchos cuerpos y en teoría de campos, T suele ser más natural que tu trabajar porque se puede representar como una suma/integral espacial sobre términos locales).

Si la simetría es discreta, entonces no podemos definir un generador, y debemos trabajar con el operador unitario tu en sí mismo, que sigue siendo una cantidad conservada válida (por ejemplo, la paridad del campo, de modo que no tengamos que preocuparnos de que los escalares evolucionen en el tiempo a pseudoescalares o viceversa).

Entonces cualquier generador de una simetría continua es una cantidad conservada correspondiente a esa simetría, pero no toda cantidad conservada correspondiente a una simetría es el generador de una simetría continua.