Métrica de Schwarzschild - Schwarzschild metric

En Einstein teoría de la 's relatividad general , la métrica de Schwarzschild (también conocido como el vacío Schwarzschild o solución de Schwarzschild ) es una solución exacta a las ecuaciones de campo de Einstein que describe el campo gravitatorio fuera de una masa esférica, en el supuesto de que la carga eléctrica de la masa, el momento angular de la masa y la constante cosmológica universal son todas 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 encontrado por Karl Schwarzschild en 1916, y casi al mismo tiempo de forma independiente por Johannes Droste , quien publicó su discusión mucho más completa y de aspecto moderno solo cuatro meses después de Schwarzschild.

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 un agujero negro estático es un agujero negro que no tiene carga eléctrica ni momento angular. 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 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 eventos (antes de ser destrozada por las fuerzas de las mareas), no notaría ninguna superficie física en esa posición; es una superficie matemática que es importante para determinar las propiedades del agujero negro. Cualquier masa no giratoria y sin carga que sea más pequeña 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 (de acuerdo con la teoría de la relatividad general) podría existir un agujero negro de Schwarzschild de cualquier masa si las condiciones fueran lo suficientemente favorables para permitir su formación.

Formulación

La métrica de Schwarzschild es una métrica de Lorentzian esféricamente simétrica (aquí, con la convención de firma (-, +, +, +) ,) definida en (un subconjunto de)

donde es el espacio euclidiano tridimensional y las dos esferas. El grupo de rotación actúa sobre el factor o como rotaciones alrededor del centro , dejando 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 gravitante. Es decir, para un cuerpo esférico de radio la solución es válida . Para describir el campo gravitacional tanto dentro como fuera del cuerpo gravitante, la solución de Schwarzschild debe combinarse con alguna solución interior adecuada en , 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 adecuado ) tiene la forma

donde está la métrica en las dos esferas, es decir . Es más,

  • es positivo para el tiempo como curvas, y es el tiempo adecuado (tiempo medido por un reloj que se mueve a lo largo de la misma línea del mundo con la partícula de prueba ),
  • es la velocidad de la luz ,
  • es la coordenada de tiempo (medida por un reloj estacionario ubicado infinitamente lejos del cuerpo masivo),
  • es la coordenada radial (medida como la circunferencia, dividida por 2 π , de una esfera centrada alrededor del cuerpo masivo),
  • es un punto en las dos esferas ,
  • es la colatitud de (ángulo desde el norte, en unidades de radianes ) definida después de elegir arbitrariamente un eje z ,
  • es la longitud de (también en radianes) alrededor del eje z elegido , y
  • es el radio de Schwarzschild del cuerpo masivo, un factor de escala que está relacionado con su masa por , donde es la constante gravitacional .

La métrica de Schwarzschild tiene una singularidad para la cual es una singularidad de curvatura intrínseca. También parece tener una singularidad en el horizonte de eventos . 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 su unión disjunta. Sin embargo, la métrica no es singular en todo el horizonte de eventos, como se ve en las coordenadas adecuadas (ver más abajo). Porque , la métrica de Schwarzschild es asintótica con la métrica estándar de Lorentz en el espacio de Minkowski. Para casi todos los objetos astrofísicos, la proporción es extremadamente pequeña. Por ejemplo, el radio de Schwarzschild de la Tierra es aproximadamente 8,9 mm , mientras que el Sol, que es3.3 × 10 5 veces más masivo tiene un radio de Schwarzschild de aproximadamente 3.0 km. La proporción se vuelve grande solo en las proximidades de los agujeros negros y otros objetos ultra densos como las estrellas de neutrones .

La coordenada radial resulta tener un significado físico como la "distancia adecuada entre dos eventos que ocurren simultáneamente en relación con los relojes geodésicos que se mueven radialmente, los dos eventos que se encuentran en la misma línea de coordenadas radiales".

La solución de Schwarzschild es análoga a una teoría de la gravedad newtoniana clásica que corresponde al campo gravitacional alrededor de una partícula puntual. Incluso en la superficie de la Tierra, las correcciones a la gravedad newtoniana son solo una parte en mil millones.

Historia

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, 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 además de la solución trivial del espacio plano . Schwarzschild murió poco después de la publicación de su artículo, como resultado de una enfermedad que desarrolló mientras servía en el ejército alemán durante la Primera Guerra Mundial .

Johannes Droste en 1916 produjo de forma independiente la misma solución que Schwarzschild, utilizando una derivación más simple y directa.

En los primeros años de la relatividad general hubo mucha confusión sobre la naturaleza de las singularidades encontradas en Schwarzschild y otras soluciones de las ecuaciones de campo de Einstein . En el artículo original de Schwarzschild, puso lo que ahora llamamos horizonte de eventos 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.

David Hilbert realizó un análisis más completo de la estructura de la singularidad el año siguiente, 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 no quedó clara.

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, coordenadas de Gullstrand-Painlevé , en la que no había singularidad en r = r s . Sin embargo, no reconocieron que sus soluciones eran solo transformaciones de coordenadas y, de hecho, usaron 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 mostró que la singularidad en r = r s era un artefacto de coordenadas, aunque también parece haber ignorado la importancia de este descubrimiento. Posteriormente, 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 desciende 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 de tiempo coordenado t .

En 1950, John Synge produjo un artículo 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 e independientemente Martin Kruskal . Las nuevas coordenadas conocidas hoy en día como coordenadas de Kruskal-Szekeres eran mucho más simples que las de Synge, pero ambas proporcionaban un único conjunto de coordenadas que cubría 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, creyeron que la singularidad en el radio de Schwarzschild era física.

Se logró un progreso real en la década de 1960 cuando las herramientas más exactas de la geometría diferencial entraron en el campo de la relatividad general, permitiendo definiciones más exactas de lo que significa que una variedad de Lorentz sea ​​singular. Esto llevó a la identificación definitiva de la singularidad r = r s en la métrica de Schwarzschild como un horizonte de eventos (una hipersuperficie en el espacio-tiempo que se puede cruzar en una sola dirección).

Singularidades y agujeros negros

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 los radios mayores que el radio R del cuerpo gravitante, no hay problema siempre que R > r s . Para las estrellas y planetas ordinarios, este es siempre el caso. Por ejemplo, el radio del Sol es aproximadamente700 000  km , mientras que su radio de Schwarzschild es solamente3 km .

La singularidad en r = r s divide las coordenadas de Schwarzschild en dos parches desconectados . La solución exterior de Schwarzschild con r > r s es la que está relacionada con los campos gravitacionales de estrellas y planetas. La solución interior de Schwarzschild 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 proporcionan una 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 una instancia de lo que se llama 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 Lemaitre , 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 sy puede extender el parche externo a valores de r menor que r s . Usando una transformación de coordenadas diferente, uno puede relacionar el parche externo extendido con el parche interno.

Sin embargo, el caso r = 0 es diferente. Si uno pide que la solución sea válida para todo r, uno se encuentra con una verdadera singularidad física, o singularidad gravitacional , en el origen. Para ver que esta es una verdadera singularidad, uno debe mirar cantidades que son independientes de la elección de 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 se puede extender de manera uniforme (el invariante de Kretschmann implica segundas derivadas de la métrica), el espacio-tiempo en sí ya no está bien definido. Además, Sbierski mostró que la métrica no se puede extender ni siquiera de manera continua. Durante mucho tiempo se pensó que tal solución 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 todo 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 similar a un tiempo y la coordenada de tiempo t se vuelve similar a un espacio . Una curva en r constante ya no es una posible línea de mundo de una partícula u observador, ni siquiera si se ejerce una fuerza para tratar de 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. La superficie r = r s demarca lo que se llama el horizonte de eventos del agujero negro. Representa el punto más allá del cual la luz ya no puede escapar del campo gravitacional. Cualquier objeto físico cuyo radio R sea ​​menor o igual al radio de Schwarzschild ha sufrido un colapso gravitacional y se ha convertido en un agujero negro.

Coordenadas alternativas

La solución de Schwarzschild se puede expresar en un rango de diferentes 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.

Coordenadas alternativas
Coordenadas Elemento de línea Notas Características
Coordenadas de Eddington-Finkelstein
(entrante)
regular en el horizonte futuro - el horizonte
pasado está en v = - infinito
Coordenadas de Eddington-Finkelstein
(saliente)
regular en el horizonte pasado se
extiende a través del horizonte pasado.
Horizonte futuro en u = infinito
Coordenadas de Gullstrand-Painlevé regular en el horizonte (+ futuro / pasado)
Coordenadas isotrópicas
Válido solo fuera del horizonte de eventos:
conos de luz isotrópicos en segmentos de tiempo constantes
Coordenadas de Kruskal-Szekeres regular en el horizonte
Se extiende al máximo al espacio-tiempo completo
Coordenadas de Lemaître regular en el horizonte futuro / pasado
Coordenadas armónicas

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 y denotar opciones alternativas de radial y coordenada de tiempo para las coordenadas particulares. Tenga en cuenta que el y / o 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 .

Paraboloide de Flamm

Una trama del paraboloide de Flamm. No debe confundirse con el concepto no relacionado de pozo de gravedad .

La curvatura espacial de la solución de Schwarzschild para r > r s se puede visualizar como muestra el gráfico. Considere un corte ecuatorial de tiempo constante a través de la solución de Schwarzschild ( θ = π2 , t = constante) y deje que la posición de una partícula que se mueve en este plano se describa con las coordenadas de Schwarzschild restantes ( r , φ ) . Imagínese ahora que hay una dimensión euclidiana adicional w , que no tiene realidad física (no es parte del espacio-tiempo). Luego reemplace el plano ( r , φ ) con una superficie con hoyuelos en la dirección w de acuerdo con 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 de gravedad . Ninguna partícula ordinaria (masiva o sin masa) puede tener una línea de mundo sobre el paraboloide, ya que todas las distancias son espaciales (esta es una sección transversal en un momento determinado, por lo que cualquier partícula que se mueva sobre ella tendría una velocidad infinita ). Un taquión podría tener una línea de mundo similar a un espacio que se encuentra completamente en 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 gravitacional: en particular, si el hoyuelo se dibuja apuntando hacia arriba en lugar de hacia abajo, la trayectoria geodésica del taquión todavía se curva hacia la masa central. , No lejos. Consulte el artículo sobre pozos de gravedad 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 sea descrita por 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.

Movimiento orbital

Comparación entre la órbita de una partícula de prueba en el espacio-tiempo newtoniano (izquierda) y de Schwarzschild (derecha); nótese la precesión Apsidal a la derecha.

Una partícula que orbita en la métrica de Schwarzschild puede tener una órbita circular estable con r > 3 r s . Ó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 de 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 se esperaría en la gravedad newtoniana . Esto puede verse como una versión menos extrema del caso más dramático en el que una partícula atraviesa el horizonte de eventos y permanece dentro de él para siempre. Intermedio entre el caso de Mercurio y el caso de un objeto que cae más allá del horizonte de sucesos, existen posibilidades exóticas como las órbitas de filo de cuchillo, en las que se puede hacer que el satélite ejecute un número arbitrariamente grande de órbitas casi circulares, después de lo cual vuela hacia afuera.

Simetrías

El grupo de isometrías de la métrica de Schwarzschild es el subgrupo del grupo de Poincaré de diez dimensiones que toma el eje del tiempo (trayectoria de la estrella) a sí mismo. Omite las traslaciones espaciales (tres dimensiones) y potencia (tres dimensiones). Conserva las traslaciones temporales (una dimensión) y las rotaciones (tres dimensiones). Por tanto, tiene cuatro dimensiones. Como el grupo de Poincaré, tiene cuatro componentes conectados: el componente de la identidad; el componente de tiempo invertido; el componente de inversión espacial; y el componente que está invertido tanto en el tiempo como en el espacio.

Curvaturas

El escalar de curvatura de Ricci y el tensor de curvatura de Ricci son ambos cero. Los componentes distintos de cero del tensor de curvatura de Riemann son

Los componentes que se pueden obtener mediante las simetrías del tensor de Riemann no se muestran.

Para comprender el significado físico de estas cantidades, es útil expresar el tensor de curvatura en forma ortonormal. En una base ortonormal de un observador, los componentes distintos de cero en unidades geométricas son

De nuevo, no se muestran los componentes que se pueden obtener mediante las simetrías del tensor de Riemann. Estos resultados son invariantes a cualquier impulso de Lorentz, por lo que los componentes no cambian para los observadores no estáticos. La ecuación de desviación geodésica muestra que la aceleración de la 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 aprieta en las direcciones perpendiculares por .

Ver también

Notas

Referencias