En la teoría de la gravedad de Newton, la masa es la fuente del campo gravitatorio.
En la Relatividad Especial, la masa puede cambiar dependiendo del observador, por lo que construimos un Lorentz de cuatro vectores que se conserva bajo transformaciones de Lorentz.
La relatividad general es, por hipótesis, localmente Minkowski, por lo que la masa aún se comporta como un componente de un cuatro vector y no tendría sentido si solo la masa generara el campo gravitatorio, ya que entonces la gravitación sería diferente para diferentes observadores inerciales, violando El principio de relatividad de Einstein.
Sin embargo, no puedo entender desde un punto de vista físico por qué deberíamos ir más allá de tomar como fuente del campo.
Sé que todas las propiedades de una variedad se reflejan en la métrica, un tensor de 2 con componentes , y en particular todas las propiedades de curvatura se recogen en el tensor de Riemann 4 , obtenido a partir de las segundas derivadas de la métrica. También sé que el único tensor conservado simétrico (sin tosiones) que se puede escribir que involucra solo las segundas derivadas de la métrica es el tensor de Einstein, .
Supongo que debido a que el tensor de Riemann tiene 4 índices, no podemos obtener un objeto con un solo índice contrayéndolo con otros tensores invariantes de Lorentz, pero entonces, ¿por qué las ecuaciones deberían involucrar solo este objeto de 2 tensores en lugar del 4 tensor completo? Riemann? ¿Y cuál es la razón física que justifica el uso como la fuente? ¿Por qué no algo como ?
Porque para una distribución continua de materia (o energía), como un fluido, lo que realmente quieres es la densidad del momento, y esta densidad viene dada por el tensor energía-momento.
Si tiene un fluido (o, de nuevo, cualquier distribución de energía), puede definir en cada punto la velocidad , que en el espacio-tiempo se generaliza a las cuatro velocidades . No hay problema hasta ahora. Pero si quieres el impulso en cada punto, esa es la masa por la velocidad. ¡Y nos encontramos con un problema, porque la masa de un solo punto es cero! La masa no es una cantidad que se pueda definir en cada punto; no es un campo.
Eso está bien, porque sabemos que realmente deberíamos haber usado la densidad de masa. Y así, en la mecánica newtoniana podemos escribir la densidad de momento como , y la densidad de energía como . Pero en relatividad esto realmente no funciona, porque la densidad no es un escalar: cambia después de un impulso de Lorentz. Algunas matemáticas revelan que la densidad de energía se transforma como el componente cero-cero de un tensor (tomando dos factores de ), que es el tensor de energía-momento.
O dicho de otro modo: la densidad de energía-momento, cualquiera que sea, debe tener dos índices. Necesitas un índice para decirme cuál es tu eje de tiempo; y luego puedo tomar el espacio 3D ortogonal a ese eje de tiempo y dar la densidad de momento en ese espacio, teniendo en cuenta el otro índice. Pero no puedo definir una densidad si no me dices cómo eliges dividir el espacio-tiempo en espacio y tiempo.
En realidad usamos algo un poco como . Si sumas la expresión para todas las partículas de materia en una región, se obtiene , al menos para el elemento materia. Todavía necesita el componente em de los fotones, pero puede ver que debe incluirse debido a la conservación de la energía-momento.
Einstein se había dado cuenta mucho antes de que la curvatura debía estar involucrada, al pensar en la paradoja de los gemelos que lo llevó a expresar el principio de equivalencia. No se puede usar Riemann porque eso significaría que el espacio-tiempo era plano en regiones sin masa. Trató de usar Ricci, pero no funcionó. Solo cuando descubrió que el tensor de Einstein obedece a la identidad de Bianci contraída y, en consecuencia, conserva automáticamente la energía-momento, encontró la ecuación correcta.
Aquí hay una línea de razonamiento: recuerde que una fuente es (menos) la derivada de la acción efectiva wrt. el campo clasico . Por analogía, se puede considerar el tensor SEM de Hilbert/métrico
El punto de partida de la justificación debería ser la ecuación del campo gravitatorio clásico de Newton. Esta no es la famosa ley de gravitación de Newton, sino la ecuación de Poisson con la densidad de masa en el RHS:
Esta ecuación es mucho más general y permite calcular el potencial gravitacional para cualquier tipo de distribución de masa expresado por la densidad de distribución de masa , en particular para para una masa en .
Las EFE (ecuaciones de campo de Einstein) deben contener en cualquier caso la ecuación de Poisson en aproximación newtoniana. Si usamos el EFE de la siguiente forma (pongamos velocidad de la luz ):
Limitamos el análisis a la componente:
usando dónde si es la densidad de energía. Este es el tensor de energía-momento de un líquido incompresible en reposo.
Además suponemos que en la mayoría de los casos la presión puede despreciarse como fuente de gravitación en esta aproximación (en la teoría newtoniana la presión al menos no sirve como fuente de gravitación). Así que ya reproducimos el término fuente (RHS) de la ecuación de Poisson. Sin embargo, tratar de usar el cuadrivector energía-momento o sus binomios no lograría construir tal expresión.
El análisis del LHS es un poco más complicado. El mejor enfoque es a través de la ecuación de desviación geodésica. Es bien sabido que en caída libre la aceleración sentida hacia la fuente masiva puede eliminarse por completo, mientras que los cuerpos de sonda extendidos todavía sienten fuerzas de marea que no pueden eliminarse. La descripción formal se realiza mediante la ecuación de desviación geodésica que contiene componentes del tensor de Riemann:
que describe la aceleración de un vector normal entre dos geodésicas adyacentes. En GR esta fuerza de marea está asociada con la curvatura del espacio, expresada en la ecuación por el tensor de Riemann.
En realidad, también se puede hacer algo comparable en la teoría newtoniana: para dos puntos de masa adyacentes en las órbitas: y obtenemos 2 ecuaciones de movimiento:
y
Tomando la diferencia de ambas ecuaciones se obtiene:
Por lo que podemos establecer la siguiente correspondencia:
Si contraemos los índices y obtenemos:
Así que si reemplaza por en el componente del EFE finalmente obtenemos:
Nuevamente, si en lugar de eso lo hubiéramos probado con el tensor de Riemann no contraído en el LHS, habríamos terminado con términos como , que no aparecen en la LHS de la ecuación de Poisson. Si no fuéramos capaces de reproducir la física newtioniana en circunstancias simples, evidentemente algo andaría mal con las EFE.
Por supuesto, uno podría preguntarse si hay formas más sutiles de reproducir la ecuación de Poisson a partir de ecuaciones de campo gravitatorio más sutiles, ya que necesitamos una teoría cuántica compatible (que reemplace a GR). Este es un tema de investigación real.
Slereah