Densidad de momento canónico frente a tensor de energía-momento

Supongamos que tenemos un campo escalar φ con lagrangiano

L = 1 2 k ( φ X ) 2 + 1 2 ρ ( φ t ) 2 .

Entonces la densidad de cantidad de movimiento canónica es

π = L φ ˙ = ρ φ ˙ .

Mientras que el tensor de energía-momento:

T m v = L ( m φ ) v φ d v m L

Tiene un componente 01 cuya interpretación (creo) es la densidad de momento,

T 0 1 = ρ φ ˙ φ .

Estas dos cantidades no se corresponden; ¿que esta pasando aqui?

Gracias.

Respuestas (2)

Las dos cantidades no se corresponden porque son cantidades conservadas correspondientes a diferentes simetrías. Una es una simetría de cambiar su campo, la otra de cambiar el espacio-tiempo mismo. Esto es lo que está pasando precisamente:

Primero hagamos un caso más simple: en un sistema de mecánica de partículas, digamos una partícula libre con L = 1 2 metro X ˙ 2 , el "campo" es simplemente X ( t ) . Sin embargo L no depende explícitamente de X , por lo que podemos cambiar nuestro sistema X a X + ϵ y hacer que nuestra acción general no cambie. Siguiendo el procedimiento de Noether, hacemos ϵ dependiente del tiempo, haga la variación nuevamente y recupere el impulso "canónico" conservado, el habitual metro X ˙ . También tenga en cuenta que el sistema tampoco depende explícitamente del tiempo. Variar t según Noether nos da H .

En el caso de la teoría de campos, la recuperación del momento canónico es exactamente análoga. En este caso, nuestro campo es φ , así que si tomamos φ a φ + ϵ ψ , es decir d φ = ϵ ψ al ser nuestra variación, podemos recuperar el impulso canónico. La simetría que te da el tensor de tensión-energía, por otro lado, es si cambias tus variables de espacio-tiempo. Llevar X m a X m + ϵ m . Esto es equivalente a dejar d φ = ϵ m m φ . Proceder con Noether le da el tensor de energía de estrés (este cálculo se puede encontrar en los libros de texto de teoría de campo estándar).

El impulso canónico π no es lo mismo que ciertos componentes del tensor de momento de energía T . Esto se puede ver yendo a la descripción hamiltoniana. La acción de gj255 da el hamiltoniano,

H = 1 2 d X ( ρ ϕ , 0 ϕ , 0 k ϕ , 1 ϕ , 1 )   .
Aquí las coordenadas del formalismo hamiltoniano son q i ( t ) q X ( t ) ϕ ( t , X ) . En el formalismo hamiltoniano, los momentos canónicos pag i son invariantes bajo transformaciones canónicas generadas por el pag j ellos mismos; esto queda claro en el corchete de Poisson,
d pag i d ϵ = [ pag i , pag j ] PAG B = 0   .
En la teoría de campos, los momentos pag i ( t ) pag X ( t ) π ( t , X ) y así el π ( t , X ) es invariante bajo transformaciones canónicas generadas por π ( t , y ) .
d π ( t , X ) d ϵ = [ π ( t , X ) , π ( t , y ) ] PAG B = 0
Esto es completamente diferente al tensor de impulso de energía. T que se deriva del hecho de que la densidad lagrangiana L = L ( ϕ , ϕ , m ) no tiene una dependencia explícita de X y t .

Esta respuesta es esencialmente la misma que la de dayareishq pero usa el formalismo hamiltoniano en lugar del de Noether.