¿Por qué en algunos casos el componente 0α0α0\alpha del tensor de tensión-energía no forma 4 vectores?

En electrodinámica existe el vector de Poynting y la densidad de energía, que se refieren a 0 α componentes del tensor de tensión-energía, no cree 4 vectores. Situación análoga con la densidad de masa y la densidad de corriente de masa en la relatividad general. Entonces, ¿por qué no forman 4 vectores (con qué propiedad está conectado)?

El T 0 α los componentes nunca forman 4 vectores. Son componentes del tensor de segundo rango. T 0 i por otro lado, forma 3 vectores con respecto a la transformación de solo coordenadas espaciales.
@ user23660: me refiero a la representación integral del vector de impulso debido a los componentes del tensor de energía de tensión 0 α .
Creo que en el caso del campo EM, el T 0 α componentes forman un cuatro vector si no hay corrientes presentes, ya que α T 0 α = 0 en cada marco inercial.

Respuestas (1)

Quizás no entendí tu pregunta. Sin embargo, refiriéndose al tensor de tensión-energía, el cuatro vector que desea es:

S v = Σ t T 0 v d 3 X

dónde Σ es el resto 3 espacios X 0 = t del marco de referencia de Minkowski con coordenadas X 0 , X 1 , X 2 , X 3 . En vista de la relación m T m v = 0 la definición de S no depende (1) del marco de referencia minkonskiano utilizado, (2) del valor de t , (3) define un cuatrivector, y (4) se conserva: m S m = 0 .

Todo eso es cierto si la región en el espacio-tiempo donde T 0 tiene una intersección compacta con cada uno de esos Σ t (es suficiente que ocurra para que uno de ellos sea válido para todos y para todos los marcos de referencia). Sin embargo, esta condición puede debilitarse.

Las pruebas de todo lo que escribí surgen fácilmente del teorema de la divergencia (de cuatro dimensiones).

NOTA AÑADIDA. Toda la discusión anterior se mantiene en el espacio-tiempo de Minkowski, en el espacio-tiempo curvo la imagen se vuelve más complicada. En un espacio-tiempo curvo globalmente hiperbólico, se obtiene una corriente conservada a partir de un tensor de energía de tensión conservado simétrico en presencia de un vector Killing ξ . Entonces j m := ξ v T v m verifica v j v = 0 . En este caso

q := Σ j m norte m d m
es una "carga" conservada independiente de la superficie de Cauchy similar al espacio Σ . Arriba m es la medida natural inducida en Σ por la métrica del espacio-tiempo y norte el covector normal unitario. los componentes de S m arriba tienen esta estructura, ξ v ( m ) siendo los campos vectoriales constantes en el espacio-tiempo de Minkowski asociados con un marco de referencia de Minkowski.

Sí, es lo que quiero.
Pero hay una pequeña pregunta: ¿cómo es exactamente la relaciónmTμ ν defineSv de su respuesta como 4-vector?
Considere dos marcos de referencia Minkowskianos diferentesj yj conectado por una cierta transformación de Lorentz,Λ , y definir los cuatro números correspondientesSm ySα usando el mismo tensorT e integrándose sobre el respectivo espacio de descanso. Entonces, el teorema de la divergencia, la relaciónvTvρ= 0 , y el hecho de queT es un tensor de salida aSα=ΛβαSβ .
Sin embargo, esta definición depende de la existencia de un marco de referencia minkowskiano. En GR completo, se debe tener cuidado al definir qué significa esa integral.
@JerrySchirmer: en GR necesitamos tomar la integral( - gramo) (T0 v+τ0 v)d3X , dóndeτ es el pseudotensor de Landau-Lifshitz.
@AndrewMcAddams: y necesita proyectar en la unidad normal, en lugar de simplemente tomar el componente 0, y debe definir invariablemente lo que quiere decir con una integral de valor vectorial, ya que no está claro a qué espacio tangente pertenece. Incluso cuando se hace algo como definir el momento del ADM, termina con basura a menos que proyecte en una tétrada que conecta su geometría física con una plana en la superficie donde está calculando la integral. No es trivial.
@Jerry Schirmer ¡Claro! ¡Interpreté toda esta pregunta en el espacio-tiempo de Minkowski! En un espacio-tiempo curvo globalmente hiperbólico, también necesita un vector Killingξ . Una corriente conservada es entoncesjm: =ξvTvm (donde se supone que el tensor tensión-energía es simétrico). En este casoΣjmnortemdetalle hd3X es una "carga" conservada independiente en la superficie de CauchyΣ .
Agregué una nota correspondiente a mi respuesta.
@V.Moretti: "...entonces, el teorema de la divergencia, la relaciónvTvρ= 0 , y el hecho de queT es un tensor de salida aS'α=ΛβαSβ ...", pero ¿por qué necesitamos el teorema de la divergencia para demostrar queSα es un 4-vector? Solo es posible reescribir su definición en una forma de
Sv=t = c o norte s t , un l l s pags un do miTμ νΣm,
lo que demuestra queSv se refiere a 4 vectores.
@Andrew McAddams No, no funciona. Primero debe definir un conjunto de cuatro componentes para cada referencia minkowskiana, integrandoT en el marco de descanso correspondiente. A continuación, debe demostrar que estos conjuntos de componentes se transforman con las transformaciones de Lorentz correctas. Esto no es en modo alguno obvio y la relación de conservación juega un papel fundamental para demostrarlo.
@V.Moretti: así lo defino
S1v= T0 vdΣ0t = c o norte s t,S2m= T0 μdΣ0t = c o norte s t,
T0 μdΣ0=ΛβmT0 βdΣ0,
y luego
S2m= ΛvmT0 vdΣ0t = c o norte s t.
Entonces, ¿dónde en el próximo paso debo usar la relación?mTμ ν= 0 por probar queSm es un 4-vector?
Disculpe, quiero entender esto completamente.
Aunque la identidadTdΣ= ΛT _dΣ es correcta sobre un punto, digamospag , el resultado final no se debe a que esté integrando en dos diferentes3 -superficies que están muy lejos unas de otras tan pronto como se sale depag . Para conectar estas integrales tienes que usar el teorema de la divergencia y la ecuación de conservación.