¿Por qué los componentes T01, T02, T03, T10, T20 y T30 del tensor de energía de estrés en relatividad general se refieren a la densidad de momento en las direcciones x, y y z?

En física, las cantidades conservadas son extremadamente importantes, y saber qué cantidades se conservan en los sistemas físicos puede decirle mucho sobre ellas. En resumen, una cantidad conservada es una cantidad cuyo valor no cambia con el tiempo.

Las cantidades conservadas más comúnmente conocidas son energía e impulso . Gracias a un hermoso teorema del gran físico Emmy Noether , sabemos que si la física de un sistema dado no cambia bajo un cambio particular en las variables subyacentes, habrá una cantidad conservada correspondiente. Llamamos a tales transformaciones, que no cambian la física de un sistema, simetrías.

Demos algunos ejemplos simples. Si tomo un sistema físico simple, como una partícula puntual masiva, resulta que la dinámica no depende de dónde está la partícula. En otras palabras, si coloco la partícula aquí o allá, la partícula se comporta de la misma manera. Formalmente, lo que estamos haciendo es cambiar las coordenadas x a algunas coordenadas nuevas [matemáticas] x \ flecha derecha x + \ delta x [/ matemáticas], donde [matemáticas] \ delta x [/ matemáticas] solo significa “un pequeño cambio en la coordenada x “ .

Ahora, debido a que la física de este sistema no cambia cuando hago esto, esta transformación se llama simetría del sistema y, según el teorema de Noether, hay una cantidad conservada correspondiente y la cantidad en este caso es exactamente el momento de la partícula! Esto lleva generalmente a lo siguiente:

Para los sistemas físicos que no dependen de las posiciones de los objetos, se conserva el impulso.

Ok, hay un ejemplo, pero hay otro. Suponga que la física de algún sistema (¡otra vez, podríamos considerar la partícula masiva nuevamente!) No solo depende de dónde está la partícula, sino también de cuándo está la partícula. En otras palabras, podríamos cambiar ligeramente el valor del tiempo actual [matemática] t \ rightarrow t + \ delta t [/ math], donde nuevamente [math] \ delta t [/ math] solo significa “un pequeño cambio en el valor del tiempo t “. Si la física no cambia, entonces esta transformación es, como antes, una simetría, ¡y ahora el teorema de Noether me dice que la energía se conserva!

Ahora hagamos las cosas un poco extrañas: si en lugar de cambiar por separado los valores de las coordenadas de tiempo y espacio, permítanme cambiar ambos al mismo tiempo, en una cantidad constante, en otras palabras, permítanme hacer ambas transformaciones [matemáticas] t \ rightarrow t + \ delta t [/ math] y [math] x \ rightarrow x + \ delta x. [/ math] Ahora, esto se pone un poco complicado porque básicamente, de alguna manera, estoy poniendo t y x en la misma posición . Tenga en cuenta que hasta ahora no estoy asumiendo la relatividad, ¡pero eso vendrá más tarde! ¡Por ahora, todo lo que digo se aplica perfectamente cuando no consideramos la relatividad en absoluto!

Bien, entonces el teorema de Noether nos dice que si la física de algún sistema (hipotético) no cambia bajo esta transformación, ¡habrá una cantidad conservada, o más bien cantidades conservadas! Resulta que uno puede expresar la respuesta del sistema a esta transformación en términos del llamado complejo energía-momento, [matemática] T [/ matemática]. para lo cual tenemos eso,

[matemáticas] \ parcial_ a T_ {ab} = 0 [/ matemáticas] (1)

Donde podemos decir [matemática] a = (0,1,2,3) [/ matemática], de modo que [matemática] x_0 = t, x_1 = x [/ matemática] etc. Las cantidades conservadas [matemática] P_a [/ matemáticas] se dan esquemáticamente de la siguiente manera,

[matemáticas] P_a = \ int dx \ T_ {0 a} [/ matemáticas] (2)

Donde básicamente estamos integrando [matemáticas] T_ {0 a} [/ matemáticas] en todo el espacio. Las cantidades (2) se conservan debido a (1). [matemática] P_0 [/ matemática] es energía, [matemática] P_1 [/ matemática] es impulso en la dirección [matemática] x [/ matemática], y así sucesivamente. Una vez más, todo esto se deriva del tratamiento de t y x en una base similar, pero crucialmente no estoy permitiendo transformaciones que los mezclen, lo cual es una diferencia crucial que aparece cuando en realidad enciendo la relatividad. Estas cantidades son componentes conservados del vector abstracto de cuatro [matemática] P_a = (P_0, P_1, P_2, P_3 [/ matemática]). Sin embargo, al observar la ecuación (2), uno ve que provienen exactamente de los componentes [matemáticos] T_ {0 a} [/ matemáticos] que usted mencionó, integrándolos en todo el espacio. En otras palabras, [math] T_ {0 a} [/ math] describe las densidades de las cantidades correspondientes [math] P_a [/ math]. Por ejemplo, [math] T_ {00} [/ math], integrado en todo el espacio, da [math] P_0 [/ math], de modo que si llamamos al último, energía, entonces podemos pensar en el primero como densidad de energía .

Pero también tenemos otras cantidades, ¿verdad? Tenemos [math] T_ {ab} [/ math] donde ni aob es igual a cero, y por supuesto tenemos [math] T_ {a 0} [/ math]. Las cabezas de relatividad pueden estar rascándose la cabeza ahora, porque están acostumbradas al hecho de que [matemáticas] T_ {ab} = T_ {ba} [/ matemáticas] en relatividad, ¡pero no es cierto en general! En general, el complejo de momento de energía no es simétrico, y en consecuencia las cantidades [matemáticas] T_ {a 0} [/ matemáticas] y [matemáticas] T_ {0 a} [/ matemáticas] son ​​cosas físicamente distintas. Por ejemplo, uno puede interpretar las cantidades [matemáticas] T_ {0 a} [/ matemáticas] como densidades de flujo de momento, en teorías no relativistas. [math] T_ {ab} [/ math], donde a y b no son iguales a cero, describe tensiones y deformaciones espaciales. Por ejemplo, si estaba considerando una lámina de metal estirada, por ejemplo, podría haber valores distintos de cero para estas tensiones y tensiones.

Los momentos totales son, por definición, las cantidades conservadas obtenidas aplicando el teorema de Noether a la simetría traslacional continua de la acción para la teoría. En el caso de que la teoría sea una teoría de campo, tenemos que tratar el lagrangiano como una función de los valores de campo especificados en una porción espacial completa de espacio-tiempo, [matemáticas] \ phi (x ^ i) [/ matemáticas]. Por lo tanto, siempre que se cumplan las condiciones del teorema de Noether (que el lagrangiano general es invariante bajo traducciones espaciales continuas del campo), los momentos totales se definen por las expresiones

[matemáticas] \ begin {ecation} p ^ k = \ int \ frac {\ delta L} {\ delta \ dot {\ phi}} (x ^ i) \ partial_k \ phi (x ^ i) \, \ mathrm { d} ^ 3 x ^ i \ end {ecuación} [/ matemáticas]

Ahora hablemos de lo que entendemos por densidad de momento. En general, definiríamos la “densidad X” en un punto tomando el límite de la cantidad de X en una región que rodea el punto dividido por el volumen de la región, ya que el volumen de la región va a cero. Sin embargo, esto supone que tenemos una manera de definir el impulso de una región. En general, solo podemos hacer esto para una región aproximadamente aislada , donde la dinámica dentro de esa región puede ser determinada por un lagrangiano dependiendo solo de esa región. Para algo así como una onda electromagnética, no podemos aplicar el teorema de Noether a una pequeña región dentro del volumen ocupado por la onda.

Todavía es posible definir una densidad de momento conservada utilizando el teorema de Noether porque este último se puede aplicar a una acción sobre funciones de arbitrariamente muchas variables. La idea es trabajar con la densidad lagrangiana [math] \ mathcal {L} [/ math]. La aplicación del teorema de Noether a una densidad lagrangiana que exhibe invariancia traslacional da, en lugar de un impulso conservado [matemáticas] p ^ k [/ matemáticas], un tensor de energía de estrés [matemáticas] T ^ {\ mu \ nu} [/ matemáticas ] que cumple con la ley de conservación [matemáticas] \ partial_ \ nu T ^ {\ mu \ nu} = 0 [/ matemáticas]. La integración de [matemáticas] T ^ {\ mu 0} [/ matemáticas] en todo el espacio dará el impulso total [matemáticas] p ^ \ mu [/ matemáticas], de modo que justifica la interpretación de [matemáticas] T ^ {\ mu 0 } [/ math] como densidad de momento, con [math] \ partial_ \ nu T ^ {\ mu \ nu} = 0 [/ math] expresando la conservación local de una corriente de momento.

El problema con este procedimiento es que el llamado tensor de energía de estrés “canónico” así obtenido no es único. Podemos agregar cualquier divergencia total a la densidad lagrangiana sin cambiar la física, pero hacerlo resultará en un tensor de energía de estrés diferente , pero también conservado . Esto nos dice que para una teoría física dada, puede que no haya una forma única de tomar el impulso total del sistema y asignar una distribución en el espacio (es decir, una densidad de momento).

En un universo sin gravitación, esta sería la última palabra. Pero en un universo con gravitación, dado que la energía y el momento actúan como fuentes de curvatura espacio-temporal, debe haber una distribución espacial única de energía y momento; cualquier otra distribución produciría una curvatura notablemente diferente. Este tensor de energía de estrés único es el tensor de energía de estrés de Hilbert. Da el mismo momento total, [matemática] p ^ k = \ int T ^ {k0} \, \ mathrm {d} ^ 3 x [/ matemática], como el procedimiento basado en el teorema de Noether. Entonces, usted podría decir que estos componentes [matemática] T ^ {k0} [/ matemática] son ​​”las” densidades de momento.

Para más información, consulte [1605.01121] El tensor (es) de energía-momento en las teorías del medidor clásico

Tal pregunta es bastante compleja debido al hecho de que la relatividad general es una teoría complicada del campo gravitacional, es un tipo de hipótesis topológicas, la geometría reimaniana juega un papel principal en sus matemáticas. tratamiento.

La gravedad es una curvatura espacio-temporal, no como una imagen newtoniana de una fuerza entre dos masas. Esta curvatura se debe al tensor de energía-momento de esfuerzo Tuv, que consiste en una matriz 4 × 4, para entrar en detalles matemáticamente no es fácil en tal respuesta, pero este tensor está hecho de densidad de energía, densidad de movimiento y flujo, términos de cizallamiento y términos de presión, todos se ven afectados por la simetría, como se conserva http://quantity.Así que para más detalles, lo remito a Wikipedia o cualquier libro sobre relatividad general.