En la relatividad general , específicamente en las ecuaciones de campo de Einstein , se dice que un espacio-tiempo es estacionario si admite un vector de Killing que es asintóticamente temporal . [1]
En un espacio-tiempo estacionario, los componentes del tensor métrico, , pueden elegirse de modo que sean todos independientes de la coordenada temporal. El elemento de línea de un espacio-tiempo estacionario tiene la forma
donde es la coordenada temporal, son las tres coordenadas espaciales y es el tensor métrico del espacio tridimensional. En este sistema de coordenadas, el campo vectorial de Killing tiene las componentes . es un escalar positivo que representa la norma del vector de Killing, es decir, , y es un 3-vector, llamado vector de torsión, que se desvanece cuando el vector de Killing es ortogonal a la hipersuperficie. Este último surge como los componentes espaciales del 4-vector de torsión (véase, por ejemplo, [2] p. 163) que es ortogonal al vector de Killing , es decir, satisface . El vector de torsión mide el grado en el que el vector de Killing no es ortogonal a una familia de 3-superficies. Una torsión distinta de cero indica la presencia de rotación en la geometría del espacio-tiempo.
La representación de coordenadas descrita anteriormente tiene una interpretación geométrica interesante. [3] El vector de Killing de traslación temporal genera un grupo de un parámetro de movimiento en el espacio-tiempo . Al identificar los puntos del espacio-tiempo que se encuentran en una trayectoria particular (también llamada órbita) se obtiene un espacio tridimensional (la variedad de trayectorias de Killing) , el espacio cociente. Cada punto de representa una trayectoria en el espacio-tiempo . Esta identificación, llamada proyección canónica, es una aplicación que envía cada trayectoria en sobre un punto en e induce una métrica en a través del pullback. Las cantidades , y son todas campos en y son, en consecuencia, independientes del tiempo. Por lo tanto, la geometría de un espacio-tiempo estacionario no cambia en el tiempo. En el caso especial , se dice que el espacio-tiempo es estático . Por definición, todo espacio-tiempo estático es estacionario, pero lo inverso no es generalmente cierto, ya que la métrica de Kerr proporciona un contraejemplo.
En un espacio-tiempo estacionario que satisface las ecuaciones de Einstein del vacío fuera de las fuentes, el 4-vector de torsión no tiene rizos,
y por lo tanto es localmente el gradiente de un escalar (llamado escalar de torsión):
En lugar de los escalares , es más conveniente utilizar los dos potenciales de Hansen, los potenciales de masa y momento angular, y , definidos como [4]
En la relatividad general, el potencial de masa desempeña el papel del potencial gravitatorio newtoniano. Un potencial de momento angular no trivial surge para fuentes rotatorias debido a la energía cinética rotacional que, debido a la equivalencia masa-energía, también puede actuar como fuente de un campo gravitatorio. La situación es análoga a un campo electromagnético estático donde uno tiene dos conjuntos de potenciales, eléctrico y magnético. En la relatividad general, las fuentes rotatorias producen un campo gravitomagnético que no tiene análogo newtoniano.
Por lo tanto, una métrica de vacío estacionaria se puede expresar en términos de los potenciales de Hansen ( , ) y la métrica 3. En términos de estas cantidades, las ecuaciones de campo de vacío de Einstein se pueden expresar en la forma [4]
donde , y es el tensor de Ricci de la métrica espacial y el escalar de Ricci correspondiente. Estas ecuaciones forman el punto de partida para investigar métricas de vacío estacionarias exactas.