En la teoría de la relatividad general de Einstein , la métrica de Schwarzschild (también conocida como solución de Schwarzschild ) es una solución exacta a las ecuaciones de campo de Einstein que describe el campo gravitacional fuera de una masa esférica, suponiendo que la carga eléctrica de la masa, el momento angular de la masa y la constante cosmológica universal son todos cero. La solución es una aproximación útil para describir objetos astronómicos que giran lentamente, como muchas estrellas y planetas , incluidos la Tierra y el Sol. Fue encontrada por Karl Schwarzschild en 1916.
Según el teorema de Birkhoff , la métrica de Schwarzschild es la solución de vacío esféricamente simétrica más general de las ecuaciones de campo de Einstein. Un agujero negro de Schwarzschild o agujero negro estático es un agujero negro que no tiene carga eléctrica ni momento angular (no rotatorio). Un agujero negro de Schwarzschild se describe mediante la métrica de Schwarzschild y no se puede distinguir de ningún otro agujero negro de Schwarzschild excepto por su masa.
El agujero negro de Schwarzschild se caracteriza por un límite esférico circundante, llamado horizonte de sucesos , que está situado en el radio de Schwarzschild ( ), a menudo llamado el radio de un agujero negro. El límite no es una superficie física, y una persona que cayera a través del horizonte de sucesos (antes de ser destrozada por las fuerzas de marea) no notaría ninguna superficie física en esa posición; es una superficie matemática que es significativa para determinar las propiedades del agujero negro. Cualquier masa no giratoria y sin carga que sea menor que su radio de Schwarzschild forma un agujero negro. La solución de las ecuaciones de campo de Einstein es válida para cualquier masa M , por lo que en principio (dentro de la teoría de la relatividad general) podría existir un agujero negro de Schwarzschild de cualquier masa si las condiciones se volvieran lo suficientemente favorables para permitir su formación.
En las proximidades de un agujero negro de Schwarzschild, el espacio se curva tanto que incluso los rayos de luz se desvían, y la luz muy cercana puede desviarse tanto que viaja varias veces alrededor del agujero negro. [1] [2] [3]
La métrica de Schwarzschild es una métrica lorentziana esféricamente simétrica (aquí, con convención de firma (+, -, -, -) ), definida en (un subconjunto de) donde es un espacio euclidiano tridimensional, y es la esfera bidimensional. El grupo de rotación actúa sobre el factor o como rotaciones alrededor del centro , mientras que deja el primer factor sin cambios. La métrica de Schwarzschild es una solución de las ecuaciones de campo de Einstein en el espacio vacío, lo que significa que es válida solo fuera del cuerpo gravitacional. Es decir, para un cuerpo esférico de radio la solución es válida para . Para describir el campo gravitacional tanto dentro como fuera del cuerpo gravitacional, la solución de Schwarzschild debe coincidir con alguna solución interior adecuada en , [4] como la métrica interior de Schwarzschild .
En las coordenadas de Schwarzschild, la métrica de Schwarzschild (o equivalentemente, el elemento de línea para el tiempo propio ) tiene la forma donde es la métrica en las dos esferas, es decir . Además,
La métrica de Schwarzschild tiene una singularidad para r = 0 , que es una singularidad de curvatura intrínseca. También parece tener una singularidad en el horizonte de sucesos r = r s . Dependiendo del punto de vista, la métrica se define, por tanto, solo en la región exterior , solo en la región interior o en su unión disjunta. Sin embargo, la métrica en realidad no es singular en todo el horizonte de sucesos, como se ve en las coordenadas adecuadas (véase más abajo). Para , la métrica de Schwarzschild es asintótica a la métrica estándar de Lorentz en el espacio de Minkowski. Para casi todos los objetos astrofísicos, la relación es extremadamente pequeña. Por ejemplo, el radio de Schwarzschild de la Tierra es aproximadamente8,9 mm , mientras que el Sol, que está3,3 × 10 5 veces más masivo [6] tiene un radio de Schwarzschild de aproximadamente 3,0 km. La relación se vuelve grande solo en proximidad cercana a agujeros negros y otros objetos ultradensos como las estrellas de neutrones .
La coordenada radial resulta tener importancia física como la "distancia adecuada entre dos eventos que ocurren simultáneamente en relación con los relojes geodésicos que se mueven radialmente, estando los dos eventos en la misma línea de coordenadas radiales". [7]
La solución de Schwarzschild es análoga a una teoría clásica de la gravedad newtoniana que corresponde al campo gravitatorio alrededor de una partícula puntual. Incluso en la superficie de la Tierra, las correcciones a la gravedad newtoniana son sólo una parte en mil millones. [8]
La solución de Schwarzschild recibe su nombre en honor a Karl Schwarzschild , quien encontró la solución exacta en 1915 y la publicó en enero de 1916, [9] poco más de un mes después de la publicación de la teoría de la relatividad general de Einstein. Fue la primera solución exacta de las ecuaciones de campo de Einstein aparte de la solución trivial del espacio plano . Schwarzschild murió poco después de que se publicara su artículo, como resultado de una enfermedad (que se cree que era pénfigo ) que desarrolló mientras servía en el ejército alemán durante la Primera Guerra Mundial . [10]
En 1916, Johannes Droste [11] produjo de forma independiente la misma solución que Schwarzschild, utilizando una derivación más simple y directa. [12]
En los primeros años de la relatividad general hubo mucha confusión sobre la naturaleza de las singularidades encontradas en las ecuaciones de campo de Einstein y en otras soluciones de las ecuaciones de campo de Schwarzschild . En el artículo original de Schwarzschild, puso lo que ahora llamamos el horizonte de sucesos en el origen de su sistema de coordenadas. En este artículo también introdujo lo que ahora se conoce como la coordenada radial de Schwarzschild ( r en las ecuaciones anteriores), como una variable auxiliar. En sus ecuaciones, Schwarzschild estaba usando una coordenada radial diferente que era cero en el radio de Schwarzschild.
Al año siguiente, David Hilbert [13] realizó un análisis más completo de la estructura de singularidades , identificando las singularidades tanto en r = 0 como en r = r s . Aunque hubo un consenso general de que la singularidad en r = 0 era una singularidad física "genuina", la naturaleza de la singularidad en r = r s seguía sin estar clara. [14]
En 1921, Paul Painlevé y en 1922 Allvar Gullstrand produjeron independientemente una métrica, una solución esféricamente simétrica de las ecuaciones de Einstein, que ahora sabemos que es la transformación de coordenadas de la métrica de Schwarzschild, las coordenadas de Gullstrand-Painlevé , en la que no había singularidad en r = r s . Sin embargo, no reconocieron que sus soluciones eran simplemente transformaciones de coordenadas y, de hecho, utilizaron su solución para argumentar que la teoría de Einstein estaba equivocada. En 1924, Arthur Eddington produjo la primera transformación de coordenadas ( coordenadas de Eddington-Finkelstein ) que mostraba que la singularidad en r = r s era un artefacto de coordenadas, aunque también parece haber sido inconsciente de la importancia de este descubrimiento. Más tarde, en 1932, Georges Lemaître dio una transformación de coordenadas diferente ( coordenadas de Lemaître ) con el mismo efecto y fue el primero en reconocer que esto implicaba que la singularidad en r = r s no era física. En 1939, Howard Robertson demostró que un observador en caída libre que descendiera en la métrica de Schwarzschild cruzaría la singularidad r = r s en una cantidad finita de tiempo propio , aunque esto tomaría una cantidad infinita de tiempo en términos del tiempo de coordenadas t . [14]
En 1950, John Synge publicó un artículo [15] que mostraba la extensión analítica máxima de la métrica de Schwarzschild, mostrando nuevamente que la singularidad en r = r s era un artefacto de coordenadas y que representaba dos horizontes. Un resultado similar fue redescubierto más tarde por George Szekeres [16] e independientemente Martin Kruskal [17] . Las nuevas coordenadas hoy conocidas como coordenadas de Kruskal-Szekeres eran mucho más simples que las de Synge , pero ambas proporcionaban un único conjunto de coordenadas que cubrían todo el espacio-tiempo. Sin embargo, quizás debido a la oscuridad de las revistas en las que se publicaron los artículos de Lemaître y Synge, sus conclusiones pasaron desapercibidas, y muchos de los principales actores en el campo, incluido Einstein, creían que la singularidad en el radio de Schwarzschild era física. [14] La derivación posterior de Synge de la solución métrica de Kruskal-Szekeres, [18] que fue motivada por un deseo de evitar "utilizar coordenadas 'malas' [Schwarzschild] para obtener coordenadas 'buenas' [Kruskal-Szekeres]", ha sido generalmente subestimada en la literatura, pero fue adoptada por Chandrasekhar en su monografía del agujero negro. [19]
En la década de 1960 se produjo un verdadero progreso cuando la formulación matemáticamente rigurosa en términos de geometría diferencial entró en el campo de la relatividad general, lo que permitió definiciones más exactas de lo que significa que una variedad lorentziana sea singular. Esto condujo a la identificación definitiva de la singularidad r = r s en la métrica de Schwarzschild como un horizonte de eventos , es decir, una hipersuperficie en el espacio-tiempo que puede cruzarse en una sola dirección. [14]
La solución de Schwarzschild parece tener singularidades en r = 0 y r = r s ; algunos de los componentes métricos "explotan" (implican división por cero o multiplicación por infinito) en estos radios. Dado que se espera que la métrica de Schwarzschild sea válida solo para aquellos radios mayores que el radio R del cuerpo gravitante, no hay problema siempre que R > r s . Para las estrellas y los planetas ordinarios, este es siempre el caso. Por ejemplo, el radio del Sol es aproximadamente700 000 km , mientras que su radio de Schwarzschild es de sólo3 kilómetros .
La singularidad en r = r s divide las coordenadas de Schwarzschild en dos parches desconectados . La solución de Schwarzschild exterior con r > r s es la que está relacionada con los campos gravitatorios de las estrellas y los planetas. La solución de Schwarzschild interior con 0 ≤ r < r s , que contiene la singularidad en r = 0 , está completamente separada del parche exterior por la singularidad en r = r s . Por lo tanto, las coordenadas de Schwarzschild no dan ninguna conexión física entre los dos parches, que pueden verse como soluciones separadas. Sin embargo, la singularidad en r = r s es una ilusión; es un ejemplo de lo que se llama una singularidad de coordenadas . Como su nombre lo indica, la singularidad surge de una mala elección de coordenadas o condiciones de coordenadas . Al cambiar a un sistema de coordenadas diferente (por ejemplo , coordenadas de Lemaître , coordenadas de Eddington–Finkelstein , coordenadas de Kruskal–Szekeres , coordenadas de Novikov o coordenadas de Gullstrand–Painlevé ), la métrica se vuelve regular en r = r s y puede extender el parche externo a valores de r menores que r s . Usando una transformación de coordenadas diferente, se puede relacionar el parche externo extendido con el parche interno. [20]
Sin embargo, el caso r = 0 es diferente. Si se pide que la solución sea válida para todos los r, se llega a una singularidad física verdadera, o singularidad gravitacional , en el origen. Para ver que se trata de una singularidad verdadera, hay que observar cantidades que sean independientes de la elección de las coordenadas. Una de esas cantidades importantes es el invariante de Kretschmann , que viene dado por
En r = 0 la curvatura se vuelve infinita, lo que indica la presencia de una singularidad. En este punto la métrica no puede extenderse de manera uniforme (el invariante de Kretschmann implica derivadas segundas de la métrica), por lo que el espacio-tiempo en sí mismo ya no está bien definido. Además, Sbierski [21] demostró que la métrica no puede extenderse ni siquiera de manera continua. Durante mucho tiempo se pensó que una solución de este tipo no era física. Sin embargo, una mayor comprensión de la relatividad general llevó a la comprensión de que tales singularidades eran una característica genérica de la teoría y no solo un caso especial exótico.
La solución de Schwarzschild, considerada válida para todos los r > 0 , se denomina agujero negro de Schwarzschild . Es una solución perfectamente válida de las ecuaciones de campo de Einstein, aunque (como otros agujeros negros) tiene propiedades bastante extrañas. Para r < r s, la coordenada radial de Schwarzschild r se vuelve temporal y la coordenada temporal t se vuelve espacial . [22] Una curva en r constante ya no es una línea de mundo posible de una partícula o un observador, ni siquiera si se ejerce una fuerza para intentar mantenerla allí; esto ocurre porque el espacio-tiempo se ha curvado tanto que la dirección de causa y efecto (el futuro cono de luz de la partícula ) apunta hacia la singularidad. [ cita requerida ] La superficie r = r s demarca lo que se llama el horizonte de sucesos del agujero negro. Representa el punto más allá del cual la luz ya no puede escapar del campo gravitatorio. Cualquier objeto físico cuyo radio R se vuelve menor o igual al radio de Schwarzschild ha sufrido un colapso gravitatorio y se ha convertido en un agujero negro.
La solución de Schwarzschild se puede expresar en una variedad de opciones de coordenadas además de las coordenadas de Schwarzschild utilizadas anteriormente. Las diferentes opciones tienden a resaltar diferentes características de la solución. La siguiente tabla muestra algunas opciones populares.
En la tabla anterior, se han introducido algunas abreviaturas para abreviar. La velocidad de la luz c se ha establecido en uno . La notación
se utiliza para la métrica de una esfera bidimensional de radio unitario. Además, en cada entrada, R y T indican opciones alternativas de coordenadas radiales y temporales para las coordenadas particulares. Tenga en cuenta que R o T pueden variar de una entrada a otra.
Las coordenadas de Kruskal-Szekeres tienen la forma a la que se puede aplicar la transformada de Belinski-Zakharov . Esto implica que el agujero negro de Schwarzschild es una forma de solitón gravitacional .
La curvatura espacial de la solución de Schwarzschild para r > r s se puede visualizar como lo muestra el gráfico. Consideremos una porción ecuatorial de tiempo constante H a través de la solución de Schwarzschild fijando θ = π/2 , t = constante, y dejando que varíen las coordenadas de Schwarzschild restantes ( r , φ ) . Imaginemos ahora que hay una dimensión euclidiana adicional w , que no tiene realidad física (no es parte del espacio-tiempo). Luego reemplazamos el plano ( r , φ ) con una superficie con hoyuelos en la dirección w según la ecuación ( paraboloide de Flamm )
Esta superficie tiene la propiedad de que las distancias medidas dentro de ella coinciden con las distancias en la métrica de Schwarzschild, porque con la definición de w anterior,
Por lo tanto, el paraboloide de Flamm es útil para visualizar la curvatura espacial de la métrica de Schwarzschild. Sin embargo, no debe confundirse con un pozo gravitatorio . Ninguna partícula ordinaria (masiva o sin masa) puede tener una línea de universo que se encuentre sobre el paraboloide, ya que todas las distancias sobre él son espaciales (se trata de una sección transversal en un momento del tiempo, por lo que cualquier partícula que se mueva sobre él tendría una velocidad infinita ). Un taquión podría tener una línea de universo espacial que se encuentre completamente sobre un solo paraboloide. Sin embargo, incluso en ese caso, su trayectoria geodésica no es la trayectoria que se obtiene a través de una analogía de "lámina de goma" del pozo gravitatorio: en particular, si el hoyuelo se dibuja apuntando hacia arriba en lugar de hacia abajo, la trayectoria geodésica del taquión aún se curva hacia la masa central, no alejándose. Consulte el artículo sobre el pozo gravitatorio para obtener más información.
El paraboloide de Flamm se puede derivar de la siguiente manera. La métrica euclidiana en las coordenadas cilíndricas ( r , φ , w ) se escribe
Dejando que la superficie se describa mediante la función w = w ( r ) , la métrica euclidiana se puede escribir como
Comparando esto con la métrica de Schwarzschild en el plano ecuatorial ( θ = π/2) en un tiempo fijo ( t = constante, dt = 0 )
produce una expresión integral para w ( r ) :
cuya solución es el paraboloide de Flamm.
Una partícula que orbita en la métrica de Schwarzschild puede tener una órbita circular estable con r > 3 r s . Las órbitas circulares con r entre 1,5 r s y 3 r s son inestables, y no existen órbitas circulares para r < 1,5 r s . La órbita circular de radio mínimo 1,5 r s corresponde a una velocidad orbital que se aproxima a la velocidad de la luz. Es posible que una partícula tenga un valor constante de r entre r s y 1,5 r s , pero solo si alguna fuerza actúa para mantenerla allí.
Las órbitas no circulares, como la de Mercurio , permanecen más tiempo en radios pequeños de lo que cabría esperar en la gravedad newtoniana . Esto puede considerarse como una versión menos extrema del caso más dramático en el que una partícula pasa a través del horizonte de sucesos y permanece en su interior para siempre. Entre el caso de Mercurio y el de un objeto que cae más allá del horizonte de sucesos, existen posibilidades exóticas, como las órbitas de borde de cuchillo, en las que se puede hacer que el satélite ejecute un número arbitrario de órbitas casi circulares, tras lo cual vuelve a volar hacia el exterior.
El grupo de isometría de la métrica de Schwarzchild es , donde es el grupo ortogonal de rotaciones y reflexiones en tres dimensiones, comprende las traslaciones temporales y es el grupo generado por la inversión temporal.
Éste es, pues, el subgrupo del grupo de Poincaré decadimensional que toma el eje temporal (trayectoria de la estrella) hacia sí mismo. Omite las traslaciones espaciales (tres dimensiones) y los impulsos (tres dimensiones). Mantiene las traslaciones temporales (una dimensión) y las rotaciones (tres dimensiones). Por tanto, tiene cuatro dimensiones. Al igual que el grupo de Poincaré, tiene cuatro componentes conectados: el componente de la identidad; el componente invertido en el tiempo; el componente de inversión espacial; y el componente que es a la vez invertido en el tiempo y en el espacio.
El escalar de curvatura de Ricci y el tensor de curvatura de Ricci son ambos cero. Los componentes no cero del tensor de curvatura de Riemann son [25]
No se muestran los componentes que se pueden obtener mediante las simetrías del tensor de Riemann.
Para entender el significado físico de estas magnitudes, es útil expresar el tensor de curvatura en una base ortonormal. En una base ortonormal de un observador, los componentes no nulos en unidades geométricas son [25]
Nuevamente, no se muestran los componentes que se pueden obtener mediante las simetrías del tensor de Riemann. Estos resultados son invariantes ante cualquier aumento de Lorentz, por lo que los componentes no cambian para observadores no estáticos. La ecuación de desviación geodésica muestra que la aceleración de marea entre dos observadores separados por es , por lo que un cuerpo de longitud se estira en la dirección radial por una aceleración aparente y se comprime en las direcciones perpendiculares por .
observamos los agujeros negros, la métrica dentro del horizonte de sucesos invierte las coordenadas espaciales y temporales. El radio comienza a actuar como si fuera temporal y el tiempo comienza a actuar como si fuera espacial.