¿Alguien que cae en un agujero negro ve el fin del universo?

Esta pregunta fue planteada por ¿Puede la materia realmente caer a través de un horizonte de sucesos? . Notoriamente, si calcula el tiempo de coordenadas de Schwarzschild para cualquier cosa, materia o luz, para alcanzar el horizonte de eventos, el resultado es infinito. Esto implica que el universo envejece por un tiempo infinito antes de que alguien que cae en el agujero negro alcance el horizonte de eventos, entonces, ¿podría esa persona ver el universo envejecer por un tiempo infinito?

Para ser más precisos, suponga que el observador comienza a caer desde el reposo en el momento t = 0 y alguna distancia inicial r > r s . Si esperamos un tiempo T luego haz brillar un rayo de luz hacia el observador que cae. ¿Llegará siempre el rayo de luz al observador que cae antes de cruzar el horizonte de sucesos? Si no, ¿cuál es la fórmula para el tiempo más largo? T que podemos esperar y aun así estar seguros de que el rayo atrapará al observador? Si T no está acotado, implica que el observador podría ver el final del universo.

Puedo pensar en un argumento cualitativo para un límite superior en T , pero no estoy seguro de cuán sólido es mi argumento. El tiempo adecuado para que el observador caiga al horizonte de eventos es finito; llame a esto τ . El tiempo adecuado para que el rayo de luz llegue al horizonte es cero, por lo tanto, el rayo de luz llegará al observador antes de que cruce el horizonte de eventos solo si T < τ . Por eso T está acotado y el observador no verá el final del universo.

Creo que un enfoque más riguroso sería determinar las ecuaciones de movimiento (en las coordenadas de Schwarzschild) para el observador que cae y el rayo de luz, y luego encontrar la condición para que la luz alcance al observador que cae a cierta distancia. ϵ del horizonte de sucesos. Entonces tome el límite como ϵ 0 . En principio esto parece sencillo, pero en la práctica el álgebra me derrotó rápidamente. Incluso para un rayo de luz, la ecuación radial de distancia:tiempo no es de forma cerrada (Wolfram afirma que necesita la W función) y para el observador que cae el cálculo es aún más difícil.

A partir de este diagrama en la respuesta seleccionada, se puede ver que, sin importar el momento en el futuro que se elija, tanto el observador lejano como el observador que cae todavía están fuera del agujero negro (hay una línea discontinua de igual tiempo que conecta los dos). Dado que el agujero negro se evapora en un tiempo finito, esto indica que el observador que cae nunca cruzará el horizonte de eventos. Pero sí, el observador que cae en un tiempo propio finito cruza el horizonte (si no hay radiación de Hawking) o ve desaparecer el BH. No verá un futuro infinito (pero afectará un futuro infinito).

Respuestas (9)

Recomendaría evitar las coordenadas de Schwarzschild para este tipo de preguntas. Todos los infinitos clásicos (es decir, dejando de lado la paradoja del cortafuegos) que tienen que ver con el horizonte de sucesos se deben a malas elecciones de coordenadas. Desea utilizar un sistema de coordenadas que sea regular en el horizonte, como Kruskal-Szekeres . De hecho, eche un vistazo al diagrama de Kruskal-Szekeres:

Diagrama de Kruskal-Szekeres(fuente: Wikipedia)

Esta es la geometría de Schwarschild extendida al máximo, no un agujero negro físico que se forma a partir del colapso estelar, pero las diferencias no deberían molestarnos en esta pregunta. Las regiones I y III son regiones asintóticamente planas, II es el interior del agujero negro y IV es un agujero blanco. Las hipérbolas en negrita en las regiones II y IV son las singularidades. Las diagonales que pasan por el origen son los horizontes de sucesos. El origen (realmente una esfera de 2 con coordenadas angulares suprimidas) es la garganta de un agujero de gusano no atravesable que une los "universos" separados I y III. Los rayos de luz radiales siguen siendo líneas diagonales de 45 grados en el diagrama de Kruskal-Szekeres. Las hipérbolas discontinuas son líneas de constante de Schwarzschild. r coordenadas, y los rayos radiales discontinuos son líneas de constante t . Puede ver cómo el horizonte de eventos se convierte en una singularidad coordinada donde r y t Cambiar roles.

Ahora bien, si dibuja una línea de mundo desde la región I que va a la región II, se vuelve obvio que cruza el horizonte en un tiempo propio finito y, lo que es más importante, el cono de luz pasado del evento donde golpea la singularidad no puede contener todo el espacio-tiempo. Así que la respuesta corta a tu pregunta es no , alguien que cae en un agujero negro no ve el fin del universo. No sé la fórmula que pides. T , pero en principio puede leerlo a partir de los rayos de luz en el diagrama y simplemente convertirlo a cualquier coordenada/hora adecuada que desee usar.

@JohnRennie Ahora veo que en la pregunta anterior usted mismo planteó este argumento (y, por supuesto, sospeché que ya había oído hablar de él), pero parece que lo encuentra insatisfactorio de alguna manera. Pero debo confesar que no veo qué es lo que no convence, más que decir que la geometría funciona bien en el polo norte a pesar de que algunos sistemas de coordenadas comunes dan una impresión diferente...
Ah, sí, lo veo ahora y es un argumento tan claro :-) Todas las geodésicas nulas radiales van de abajo a la derecha hacia arriba a la izquierda, y dondequiera que el observador que cae golpea la singularidad, cualquier rayo de luz golpea la singularidad en la parte superior derecha del observador. no puede ser visto por ellos. Lo que falta es cómo construir la trayectoria del observador que cae. ¿Existen reglas simples que me ayuden a dibujar la trayectoria del observador (similar al tiempo) en su diagrama?
Correcto, he reescrito tu respuesta para ayudarme a entenderla. ¿Podría echar un vistazo a mi reescritura y criticar según corresponda (obviamente, su respuesta es la aceptada! :-).
Tengo una pequeña pero importante objeción a este argumento (cc @John Rennie): si nuestras coordenadas expandieron inadvertidamente un punto (en 1+1D) a una línea, entonces golpear diferentes partes de la línea no significa que las trayectorias no lo hagan. converger. Considere los mapas de la Tierra que expanden el Polo Norte a una línea horizontal: no diría que alguien en (90 N, 20 E) está desconectado de alguien en (90 N, 130 W), aunque el diagrama lo implica. Del mismo modo, el punto donde mi línea de mundo se cruza tu = v parece disjunto desde donde un rayo nulo interseca esta línea, pero debe demostrar que son distintos.
@JohnRennie Simplemente feliz de ayudar. :)
@ChrisWhite: Buen punto. ¿Estás hablando del horizonte o de la singularidad? Para el horizonte, son las coordenadas de Schwarzschild las que son análogas a su mapa distorsionado, no las coordenadas de Kruskal. Por otro lado, la singularidad es una singularidad física real, no una mera singularidad coordinada, así que realmente no sé cómo hablar de eso.
A partir de este diagrama se puede ver que en cualquier momento lejano en el futuro que se elija, tanto el observador lejano como el observador que cae todavía están fuera del agujero negro (hay una línea discontinua de igual tiempo que conecta a los dos). Dado que el agujero negro se evapora en un tiempo finito, esto indica que el observador que cae nunca cruzará el horizonte de eventos. Pero sí, el observador que cae en un tiempo propio finito cruza el horizonte (si no hay radiación de Hawking) o ve desaparecer el BH.

Esta es una reescritura de la respuesta de Michael Brown para ayudarme a aclarar mis pensamientos, y posiblemente para ayudar a todos los demás interesados ​​a aclarar sus pensamientos también :-) Michael presenta una respuesta muy simple a mi pregunta basada en la geometría del espacio-tiempo. alrededor del agujero negro.

El punto clave es que las coordenadas usuales de radio/tiempo de Schwarzschild no son útiles porque oscurecen lo que está pasando. Para sortear esto, usamos una transformación de coordenadas para dibujar el espacio-tiempo alrededor del agujero negro usando las coordenadas de Kruskal-Szekeres. tu y v . Este es el resultado:

Agujero negro

los tu coordenada es horizontal y la v coordenada es vertical.

El problema con estas coordenadas es que son muy poco intuitivas. Un desplazamiento en tu o v no corresponde a ninguna cantidad física simple, a diferencia de un desplazamiento en la coordenada radial habitual r o coordenada de tiempo t . Sin embargo, las coordenadas KS simplifican las cosas drásticamente de la siguiente manera:

En estas coordenadas constantes r es una hipérbola como lo muestra la línea discontinua. El horizonte de sucesos es la línea continua de 45°. Puedes pensar como t aumentando a medida que avanza hacia arriba, lo hace, aunque no de forma lineal. La singularidad es la hipérbola roja (este es un diagrama de espacio-tiempo, recuerde, por lo que la singularidad es una curva, no un punto). La región que he etiquetado yo es el exterior del agujero negro y la región que he etiquetado yo yo es la región dentro del horizonte de sucesos. Ignore la región del diagrama en la parte inferior izquierda ya que no es relevante para mi pregunta.

Finalmente, la característica clave que hace posible responder a mi pregunta es que todos los rayos de luz entrantes radiales son líneas rectas de 45° que van desde la parte inferior derecha hasta la parte superior izquierda. He dibujado varios rayos de luz como líneas magenta.

Ahora podemos responder a mi pregunta. Comenzamos con un cohete flotando a una distancia constante del agujero negro, que está representado por la hipérbola discontinua negra de constante r (como mencioné anteriormente, puedes pensar en aumentar el tiempo a medida que avanzas). En el momento t 0 nuestro observador abandona el cohete y comienza a caer hacia el agujero negro. La línea azul muestra la trayectoria seguida por el observador. El observador golpea la singularidad en el punto donde se encuentran las líneas azul y roja.

En el momento t 1 el cohete emite un rayo de luz hacia el observador que cae. El rayo de luz, que viaja a 45°, alcanza al observador antes de que cruce el horizonte de sucesos, hasta ahora todo bien. En el momento t 2 el cohete arroja un segundo rayo de luz al observador, y este rayo de luz llega al observador justo cuando golpean la singularidad. En el momento t 3 el cohete emite un tercer rayo de luz en el agujero negro, pero este no llega al observador porque el observador ya ha golpeado la singularidad y ya no existe. Eso significa que el observador nunca ve el rayo de luz liberado en el momento t 3 . El observador ve cualquier rayo de luz liberado entre t 0 y t 2 , pero no ve ningún rayo de luz liberado después t 2 . Entonces, la línea magenta discontinua marca el límite entre los rayos de luz que el observador puede ver y los que no.

Y ahí está la respuesta a mi pregunta. El observador no ve el final del universo porque el último rayo de luz que ve es el que se libera en el momento t 2 .

Esto no me da una manera fácil de calcular el valor de t 2 , porque tendría que derivar una expresión para la trayectoria del observador que cae (línea azul) y eso es difícil. Sin embargo se muestra que t 2 es finito entonces, usando la notación en mi pregunta, T está ligado.

Como un aparte y relacionado con la interpretación de las coordenadas u (espaciales) y v (temporales), tenga en cuenta que en la región exterior, las líneas diagonales a través del origen son líneas de coordenadas de tiempo t de Schwarzschild constantes . Y, como usted señala, el lugar geométrico de la coordenada r del espacio de Schwarzschild constante es una hipérbola. Ahora, con esta imagen en mente, eche un vistazo a las coordenadas de Rindler.
¡Se ve bien!....
¡John Rennie, Michael Brown, los saludo a ambos y me inclino con profundo respeto! Esto es encantador y es justo el tipo de claridad esquemática de lo que sucede que más esperaba, pero que temía preguntar (los números exactos son secundarios; es el marco conceptual lo que es crítico). Es posible que tenga más comentarios después de afinar este (¡merece un examen minucioso!), pero sobre todo quiero decir gracias. Dudo que sea el único al que le ha molestado esto a lo largo de los años (¡y hay evidencia estadística que respalda esa afirmación!) Además, John Rennie, gracias por esa buena cifra final. ¡Muy claro!
También le pueden interesar las coordenadas de Gullstrand-Painlevé, que tienen una interpretación física más clara que las de Kruskal-Szekeres, ya que se adaptan a un observador en caída libre radial, pero se mantienen regulares en el horizonte. El precio a pagar está fuera de los términos diagonales en la métrica.
Michael Brown, gracias, otra buena referencia. Si bien todavía no he tenido tiempo de estudiar este sistema KS, me sorprendió bastante lo familiar que parecía para las figuras con las que he jugado para mi propia comprensión de SR... lo que me hace sospechar que estoy malinterpretando algo. ? Por ejemplo, los conos de luz SR seguramente no se pueden mapear directamente en la geometría del espacio curvo de la región cercana a un agujero negro, ¿verdad? Y realmente no he mirado las coordenadas de GP más allá de un vistazo rápido. Espero tener más tiempo pronto...
@TerryBollinger: vea también physics.stackexchange.com/questions/28297/… donde uso las coordenadas GP para mostrar por qué la luz no puede escapar de un agujero negro.
@TerryBollinger Es un hecho general de la geometría diferencial que cualquier espacio bidimensional es (localmente) conformemente plano, por lo que si suprime los ángulos y solo mira el r t espacio, siempre puede encontrar una transformación de coordenadas que haga rayos nulos (radiales) en diagonales de 45 grados, y lleve la métrica a la forma ω 2 ( tu , v ) ( d v 2 + d tu 2 ) + r 2 ( tu , v ) d Ω 2 2 para algunas funciones adecuadas ω ( tu , v ) y r ( tu , v ) . Los rayos de luz radiales se vuelven v = ± tu + constante . No siempre se puede hacer el mismo truco en > 2 dimensiones: demasiados grados de libertad en la métrica.
Gracias, eso es útil; e incluso esquemáticamente puedo ver cómo las manipulaciones correctas podrían recrear la hermosa 45 caminos de luz de SR. Mi punto de intensa curiosidad es entender claramente cómo el tu y v las coordenadas se desarrollan en términos de dilatación relativa del tiempo (proporciones de unidad de tiempo). No hay tiempo este fin de semana, pero pronto espero...
No me queda claro si ese es el tipo de camino que tomaría el observador que cae. ¿Puede dar alguna intuición de este sistema de coordenadas de la escala de tiempo que pasa? Creo que ese era el quid de la cuestión para empezar. Por ejemplo, ¿está claro que el camino no hace asíntota a 45 grados antes de tocar la singularidad?
@Inverse: creo que mi ilustración del camino está un poco fuera de lugar y debería parecerse más a mi respuesta a esta pregunta
Una fórmula para t 2 t 0 se da en mi respuesta.
@inverse Creo que para una partícula masiva que cae, el lugar geométrico es asintótico a una línea que une el origen donde la partícula se encuentra con la singularidad. Esta es, por supuesto, una línea de constante Schwarzschild t .
Es difícil ver en estas coordenadas, pero en realidad el momento en que el observador golpea el horizonte está en el futuro infinito. Puedes imaginar que las líneas de tiempo igual ("isotemps"), que son líneas rectas que cruzan el origen, se vuelven más densas a medida que uno se acerca a la diagonal nula (horizonte). Como tal, el observador nunca cruzará el horizonte, necesitaría cruzar un número infinito de isotempos (pero tampoco verá el final del universo).
Por cierto, este sistema de coordenadas es simplemente un plano complejo dividido. El tiempo es un argumento de complejo dividido y el radio es un módulo de complejo dividido. El tiempo entre dos isotemps es proporcional al área del sector parabólico entre esas dos líneas.
Curiosamente, el tiempo en que el observador llegará al horizonte de eventos, aunque infinito, se regulariza a la constante de Euler-Mascheroni γ mathoverflow.net/questions/389694/…
El modelo de complejo dividido muestra que el centro real del agujero negro es su horizonte de eventos (las distancias entre todos los puntos en las diagonales nulas son cero, es una esfera de radio cero). La "singularidad" no está en el centro del agujero negro, es una superficie esférica con radio imaginario a una distancia constante del horizonte. No hay nada "singular" en la singularidad, pero la verdadera singularidad está en el horizonte: todos los puntos allí corresponden a matrices singulares.
¿Estás seguro de que tu observador verá el fotón emitido en t2? La diagonal que va de abajo a la izquierda a arriba a la derecha está etiquetada
t =
en el diagrama de Kruskal-Szekeres. ¿No significa eso que necesitan una cantidad infinita de tiempo para encontrarse? Y si ese es el caso, probablemente el último fotón que ve el observador es el emitido en el tiempo entre t1 y t2 que golpea al observador justo antes de que cruce el horizonte de eventos.
@KamilSzot Eso t = se refiere al tiempo de coordenadas de Schwarzschild, no al tiempo medido por el observador que cae.
Así que el tiempo de coordenadas de Schwarzschild puede ser igual ¿Y es algo normal que no sea el fin de los tiempos desde el punto de vista de todos los que están lejos?

La respuesta actualmente aceptada elude la pregunta sobre cómo calcular qué eventos se pueden ver realmente usando las coordenadas de Schwarzschild. Es posible encontrar una respuesta a esta pregunta utilizando las coordenadas de Schwarzschild, tanto numérica como analíticamente. La respuesta, por supuesto, es que el cono de luz pasado para el caso límite no abarca todo el universo fuera del agujero negro y que hay un tiempo finito disponible para señalar a un objeto que cae (incluso en las coordenadas de Schwarzschild), eso depende de dónde esté el se liberó del observador que caía.

Hay dos problemas separados, cada uno con dos casos separados. El primero es averiguar si la luz intercepta a un observador que cae antes de que alcance el horizonte de sucesos. Sin embargo, se debe realizar una pequeña corrección adicional para determinar si una señal de luz aún puede interceptar a un observador que cae después de que cruce el horizonte de eventos pero antes de que alcance la singularidad.

1. Si la luz puede interceptar un objeto antes de que alcance el horizonte de sucesos

(a) Objeto que cae desde el infinito

Comienzo con un observador en un radio r 0 (todos los radios se expresan como múltiplos del radio de Schwarzschild r s ). El observador se pasa en el tiempo t 0 (en coordenadas de Schwarzschild, que es igual a τ = 0 según el propio reloj del observador), por un objeto que cae radialmente hacia el agujero negro desde el infinito (donde comenzó en reposo). En algún momento Δ t más tarde, el observador dispara un rayo láser radialmente hacia adentro. El problema es sacar el máximo Δ t que interceptará el objeto que cae y luego lo convertirá en un Δ τ en términos de tiempo propio según el observador. Que debe haber un máximo Δ t y Δ τ se establece conceptualmente fácilmente considerando (por ejemplo) las coordenadas de Kruskal-Szekeres.

La geodésica nula (en coordenadas de Schwarzschild) que sigue la luz que viaja hacia el interior (en C = 1 unidades) es:

(1) t = r r s en | r r s r 0 r s | + a + Δ t ,
donde la constante a = r 0 + t 0 .

La geodésica seguida por un cuerpo liberado en reposo desde el infinito es (p. ej., consulte la ecuación 25.38 en la sección "Órbitas de partículas" de "Gravitación" de Misner, Thorne & Wheeler, 2017, Princeton University press)

(2) t = r s ( 2 3 ( r r s ) 3 / 2 2 ( r r s ) 1 / 2 + en | r / r s + 1 r / r s 1 | ) + b
El constante b se puede elegir para asegurar que el objeto pasa por el punto ( t 0 , r 0 ) - de este modo:
(3) b = t 0 r s ( 2 3 ( r 0 r s ) 3 / 2 2 ( r 0 r s ) 1 / 2 + en | r 0 / r s + 1 r 0 / r s 1 | )

Al trazar estas geodésicas y usar un método de bisección para determinar cuándo y si se cruzan, pude determinar el máximo Δ t ( T en el OP, aunque comencé mi objeto en caída libre desde el infinito) que aún permite que la luz intercepte el objeto que cae en función de dónde se emite esa luz. El resultado parece estable a la reducción de la tolerancia (usé 10 14 r s ).Máximo retardo de tiempo, caída libre desde el infinito

A continuación se muestra un ejemplo del caso límite. La curva roja es la geodésica ligera, mientras que la curva azul muestra la geodésica de un objeto que cae desde el infinito y pasa (en este caso) 5.8 r s a t = 0 . Solo los eventos por debajo de la curva roja pueden ser vistos por un observador que cae.Caso límite para caída libre desde el infinito

Luego "derivé" esta curva analíticamente. Reordenando la ecuación (1) podemos escribir

r r s = ( r 0 r s ) Exp ( ( a + Δ t r ) / r s ) Exp ( t / r s )
y si (cerca del límite donde es posible que la luz intercepte el objeto que cae) dejamos t hacerse grande, entonces r r s y podemos escribir
(4) r r s ( r 0 r s ) Exp ( ( a + Δ t r s ) / r s ) Exp ( t / r s ) ,
donde explotamos ese hecho de que el límite de r Exp ( r / r s ) como r r s es solo r / mi .

Reordenando la ecuación (2) de manera similar, obtenemos

r / r s 1 r / r s + 1 = Exp ( t / r s ) Exp ( 2 3 ( r r s ) 3 / 2 2 ( r r s ) 1 / 2 + b r s ) .
Una vez más, argumentamos que en torno al caso límite r r s y así podemos escribir
r / r s = 1 + 2 Exp ( b / r s 8 / 3 ) Exp ( t / r s )
Cuadrando esto y despreciando el Exp ( 2 t / r s ) término:
(5) r r s 4 r s Exp ( b / r s 8 / 3 ) Exp ( t / r s ) )

Si hay un punto de intercepción o no está determinado por si la relación de las ecuaciones (4) y (5) es menor que 1 como t .

límite t ( r 0 r s ) Exp ( ( a + Δ t r s ) / r s ) Exp ( t / r s ) r s ( 1 + 4 Exp ( b / r s 8 / 3 ) Exp ( t / r s ) ) < 1
lo que lleva a
( r 0 r s ) Exp ( ( a + Δ t r s ) / r s ) 4 r s Exp ( b / r s 8 / 3 ) < 1
Exp ( Δ t / r s ) < 4 r s r 0 r s Exp ( b a r s 5 3 )
Δ t < en ( 4 r s r 0 r s ) r s + ( b a r s 5 3 ) r s
Reinsertando las expresiones para a y b
Δ t < en ( 4 r s r 0 r s ) r s + ( 2 3 ( r 0 r s ) 3 / 2 + 2 ( r 0 r s ) 1 / 2 en | r 0 / r s + 1 r 0 / r s 1 | 5 3 ) r s r 0
Esto coincide con lo que se traza arriba.

Para convertir esto en un intervalo de tiempo máximo adecuado Δ τ desde el punto de vista del observador, el resultado se multiplicaría por ( 1 r s / r 0 ) 1 / 2 .

(b) Objeto que cae desde el reposo en t 0 , r 0

Ahora la configuración es que el observador suelta el objeto de t 0 , r 0 , luego espera un intervalo de tiempo (coordenadas) Δ t antes de señalizar.

La ecuación (1) sigue siendo válida en este escenario, sin embargo, la ecuación (2) debe reemplazarse por la siguiente geodésica para un objeto en caída libre desde el reposo en t 0 , r 0 .

(6) t t 0 r s = en | ( r 0 / r s 1 ) 1 / 2 + broncearse ( η / 2 ) ( r 0 / r s 1 ) 1 / 2 broncearse ( η / 2 ) | + ( r 0 r s 1 ) 1 / 2 ( η + r 0 2 r s ( η + pecado η ) ) .
Aquí el "parámetro cicloide" η ( r ) es definido por
r = r 0 2 ( 1 + porque η )

Como r r s , el primer término de la ecuación (6) crece exponencialmente mientras que el segundo término, que definiré como b ( r ) / r s , tiende a una constante:

límite r r s b ( r ) = b r s = r s ( r 0 r s 1 ) 1 / 2 ( η r s + r 0 2 r s ( η r s + pecado η r s ) ) ,
dónde
porque η r s = ( 2 r s r 0 1 ) .

Usando la identidad que broncearse η / 2 = pecado η / ( 1 + porque η ) , después

broncearse ( η / 2 ) = ( r 0 r 1 ) 1 / 2 .
Sustituyendo esto en la ecuación (6) podemos establecer t 0 = 0 , exponencia y encuentra
( r 0 r s 1 ) 1 / 2 ( 1 Exp [ b t r s ] ) = ( r 0 r 1 ) 1 / 2 ( 1 + Exp [ b t r s ] )
Elevando al cuadrado esto y despreciando los términos que contienen Exp ( 2 t / r s ) como t se vuelve grande, esto se puede reorganizar para dar
r = r s ( 1 + 2 Exp [ ( b t ) / r s ] ) 1 2 Exp [ ( b t ) / r s ] + ( 4 r s / r 0 ) Exp [ ( b t ) / r s ] .
Nuevamente, como estamos buscando un comportamiento limitante en general t , entonces el denominador se puede expandir como un binomio, conservando solo los dos primeros términos. La multiplicación con el numerador da como resultado:
(7) r r s 4 r s ( 1 r s r 0 ) Exp [ b t r s ] .

Para encontrar la limitante Δ t para el cual un haz de luz del observador "atrapa" el objeto que cae, tomamos la relación de las ecuaciones 4 y 7, establecemos b = b r s y exigir que sea menor que 1. Esto produce

Exp [ Δ t r s ] < 4 ( r s r 0 ) Exp [ b r s r s ] Exp [ r s r 0 r s ]
y por lo tanto
Δ t < r s en ( 4 r s r 0 ) + b r s + r s r 0

El resultado se representa a continuación como la curva roja (y he confirmado que es correcto usando un método de bisección numérica) y se compara con el caso 1 con el objeto en caída libre desde el infinito (curva azul, como en la primera imagen). Como era de esperar lo permitido Δ t es mayor cuando el objeto se suelta desde el reposo.

Como antes, este resultado es el máximo intervalo de tiempo de coordenadas de Schwarzschild. Debe ser reducido por el factor de dilatación del tiempo apropiado ( 1 r s / r 0 ) 1 / 2 para producir el máximo intervalo de tiempo apropiado.Retardo de tiempo máximo para la caída del objeto desde el reposo

A continuación se muestra un ejemplo del caso límite. La curva roja es la geodésica de la luz, la curva azul es la geodésica del objeto que cae. Solo los eventos debajo de la curva roja (que asíntota a un gradiente de -1) pueden ser "vistos" por un objeto que cae en un agujero negro desde el reposo, desde (en este caso) aproximadamente 5.8 r s .Ejemplo del caso límite.

2. Si la luz puede interceptar un objeto antes de que alcance la singularidad

La respuesta anterior proporciona el tiempo de demora máximo (coordenadas) para que una señal de un observador estacionario alcance un objeto que cae antes de que alcance el horizonte de eventos , ( Δ t ) mi H . Pero eso no responde por completo a la pregunta (del titular), porque el objeto aún puede recibir luz durante el tiempo que tarda en alcanzar la singularidad después de cruzar el horizonte de sucesos. Esto se ve más claramente en las coordenadas de Kruskal-Szekeres, pero nuevamente es posible resolver esto (con bastante facilidad) en las coordenadas de Schwarzschild.

La condición aquí es que el tiempo de las coordenadas de la geodésica de luz retrasada debe ser menor o igual al tiempo de las coordenadas de la geodésica del objeto que cae en r = 0 .

Esta condición es bastante fácil de encontrar. Para el caso del objeto en caída libre desde el infinito, las ecuaciones (1-3) muestran que el original Δ t que derivé debe incrementarse como

( Δ t ) s i norte gramo tu yo a r i t y = r s en ( r s r 0 r s ) r s ( 2 3 ( r 0 r s ) 3 / 2 2 ( r 0 r s ) 1 / 2 + en | r 0 / r s + 1 r 0 / r s 1 | ) r 0
O en términos del resultado anterior.
( Δ t ) s i norte gramo tu yo a r i t y = ( Δ t ) mi H + r s ( 5 3 2 en 2 ) = ( Δ t ) mi H + 0.280 r s

Para el caso de un objeto que cae desde el reposo, vemos que η = π a r = 0 , de modo que si la coordenada de tiempo es menor o igual a la coordenada de tiempo del objeto en r = 0 se obtiene de las ecuaciones (1) y (6) como

( Δ t ) s i norte gramo tu yo a r i t y = r s en ( r s r 0 r s ) + π r s ( r 0 r s 1 ) 1 / 2 ( 1 + r 0 2 r s ) r 0 ,
que es más grande que ( Δ t ) mi H en una cantidad que depende de r 0 , pero es asintótica a la caída desde el infinito resulta como r 0 se vuelve grande Esta nueva relación se representa a continuación: la curva roja más alta es el retraso máximo (tiempo de coordenadas) que se puede tolerar y aun así enviar una señal que llega al objeto que cae antes de la singularidad. El gráfico inferior muestra la diferencia entre este y el resultado anterior para el retraso en alcanzar el objeto antes del horizonte de eventos.Retardo máximo antes de la singularidad

La siguiente trama debería aclarar las cosas. Muestra las geodésicas a ambos lados o r s en el caso de que un objeto caiga de r = 2 r s a t = 0 . La geodésica ligera en rojo es la calculada de modo que intercepta el objeto justo como r r s y tiene ( Δ t ) mi H = 3.834 r s / C . Pero vemos que esta geodésica "alcanza" al objeto que cae antes de que alcance la singularidad en r = 0 . Sin embargo, la geodésica de luz verde, con ( Δ t ) s i norte gramo tu yo a r i t y = 4.283 r s / C intercepta el objeto geodésico exactamente r = 0 .Geodésicas a ambos lados de r_s

Había estado trabajando en esto también, pero me ganaste. Supongo que tú eres el fotón y yo soy el objeto que se mueve lentamente :) Acabo de publicar mi propia versión.
Creo que te perdiste un extra r 0 en tu última ecuación. Curiosamente, parece que la figura 31.4 en MTW contiene un error: el tu -coordenada del camino F F debe aumentar en lugar de disminuir. En la singularidad, d tu / d v = tu / v .
@Pulsar Es en parte esta incertidumbre lo que me impidió intentar verificar los resultados (agregados) anteriores en las coordenadas de KS. ¿Está seguro? ¿No es necesario que la trayectoria sea decreciente? r y decreciendo t bajo el horizonte, con una geodésica temporal cortando las líneas de constante t en ángulo recto cuando alcanza la singularidad?
Estoy bastante seguro. Encontré este artículo , que es consistente con mis cálculos. Mire la figura 2 y la ecuación 23.
@Pulsar Estoy de acuerdo (y me confundí) una geodésica temporal debería terminar asintótica a una línea de constante t ? Tanto AA'' como FF'' se ven mal en ese diagrama MTW.
Correcto. Evidentemente, incluso la Biblia tiene algunos errores.
Muy bien, pero me encogí cada vez que leí que usaste la bisección (pero para ser justos, pasé los últimos días mejorando los algoritmos de búsqueda de raíces en el trabajo)
@KyleKanos Si hubiera tomado más tiempo del que me toma mover el mouse, entonces tal vez habría invertido algo de tiempo en algo más complejo.
@RobJeffries bastante justo.

Estoy de acuerdo en que para un espacio-tiempo que es exactamente Schwarzschild, el observador que cae no ve la historia completa del universo. Sin embargo, este no es el caso genérico que cabría esperar de un agujero negro astrofísico, que se formó a partir del colapso de una distribución de materia aproximadamente esférica. En realidad, este tema se está investigando activamente, y hay algunos resultados muy interesantes sobre cómo se ve realmente el interior de un agujero negro. Véase, por ejemplo, este artículo reciente .

La razón por la que en Schwarzschild el observador que cae no ve la historia completa del universo es que la singularidad es similar al espacio. Esto significa que hay un rango de puntos donde el observador que cae puede golpear la singularidad, y cada punto solo puede ver una parte del universo en su pasado causal.

Pero la gente ha sabido durante mucho tiempo de otros tipos de agujeros negros que no comparten este comportamiento. Los ejemplos más conocidos son la solución de Reissner-Nordstrom para un agujero negro con simetría esférica cargada y la solución de Kerr para un agujero negro giratorio. Ambos tienen singularidades temporales y, por lo tanto, la situación es bastante diferente . Aquí hay un diagrama causal de un agujero negro de Reissner-Norstrom:

Diagrama causal RN BH

Las líneas irregulares verticales representan las singularidades temporales de este agujero negro. En este caso, es posible evitar la singularidad y emerger a un nuevo universo que podría adjuntar a la parte superior de esta imagen. En este caso, cuando cruzas el horizonte interior, deberías poder mirar hacia atrás y ver toda la historia o el universo.

Sin embargo, esto trae a colación un punto problemático. El observador pasa el horizonte interior en un tiempo propio finito, pero es capaz de ver toda la luz que entra en el agujero negro de toda la historia infinita del universo. Dado que la luz tiene energía, se podría pensar que esta acumulación de radiación del universo exterior debería dar lugar a una gran curvatura, y de hecho lo hace. Esto se conoce como inestabilidad de inflación masiva del agujero negro. Los agujeros negros de Kerr comparten esta característica, aunque la estructura de la singularidad en ese caso es más complicada.

Entonces, para los agujeros negros genéricos que no son exactamente Schwarzschild, se espera un comportamiento diferente. Las perturbaciones tienden a cambiar la singularidad de ser espacial a comportarse como una superficie nula, es decir, siguiendo las trayectorias de la luz. Una imagen del documento anterior muestra esta situación:

horizonte nulo

El universo exterior vive en el triángulo inferior derecho de esta imagen. Las líneas etiquetadas C H + son las singularidades nulas. El documento encontró que esta situación resultó de perturbar la solución de Schwarzschild con materia de campo escalar. En este caso, si caes en el agujero negro desde el exterior del universo, te toparías con las singularidades nulas, y suponiendo que golpees la de la derecha, verás toda la historia completa del universo, en el sentido de que todo eso tendrá acceso a la luz que ingresa al agujero negro desde tiempos arbitrariamente tardíos de la historia del universo.

¿Quieres decir que si eres un punto sin masa y caes libremente en un agujero negro cargado o giratorio, en realidad te toma una cantidad infinita de tiempo para alcanzar la singularidad, pero como continúas acelerando a través del espacio-tiempo cada vez más rápido, tu tiempo se ralentiza? suficiente para pasar sólo una cantidad finita?

(La respuesta de Michael Brown es la respuesta correcta y esto es simplemente para ampliar a través de un diagrama adicional).

A continuación se muestra la figura 31.4 de la página 835 de Gravitation (MTW).

ingrese la descripción de la imagen aquí

Ambos diagramas son de la geometría de Schwarzschild. Tenga en cuenta que en las coordenadas de Kruskal-Szekeres, los conos de luz aparecen como lo hacen en el espacio-tiempo de Minkowski.

Como señala Michael, las geodésicas radiales similares a la luz son líneas de 45 grados, como se puede ver al observar la geodésica B.

Claramente, hay líneas de mundo similares a la luz que cruzan el horizonte después de algunas líneas de mundo similares al tiempo, por lo que la línea de mundo de un astronauta que cae radialmente hacia el agujero no se cruza con todas las líneas de mundo radiales similares a la luz antes de cruzar el horizonte.

Además, está claro que hay líneas de mundo similares a la luz que terminan en la singularidad después de algunas líneas de mundo similares al tiempo.

Así, el astronauta no ve el futuro infinito antes de cruzar el horizonte o encontrarse con la singularidad.

Además, y esta es solo una nota al margen interesante para considerar, la solución de Schwarzschild es la solución estática esféricamente simétrica (bueno, al menos fuera del horizonte) para las ecuaciones de Einstein. En otras palabras, no hay un "fin del universo" en esta solución .

Ah, escribimos elaboraciones de la respuesta de Michael al mismo tiempo :-) ¿Podría echar un vistazo a mi versión y criticar según corresponda?
Un par de nosotros pensamos que las geodésicas temporales de MTW pueden estar dibujadas incorrectamente en las coordenadas KS en este diagrama (AA'' y particularmente FF''). ¿Tendrías una opinión sobre esto?
La diagonal que va de abajo a la izquierda a arriba a la derecha está etiquetada
t =
¿Cómo es que no es el fin del universo?
@KamilSzot, la coordenada de tiempo de Schwarzschild no alcanza esa línea t . Es un problema con las coordenadas, no con el espacio-tiempo. La verdadera singularidad futura es la hipérbola para r = 0
¿Cómo no se alcanza si tiene que ser atravesado por objetos que viajan en geodésicas 'temporales radiales' y similares a la luz para llegar a la hipérbola en r = 0 ?
@KamilSzot, investigue un poco sobre las coordenadas de Schwarzschild y, en particular, cómo son singulares en el horizonte, aunque el espacio-tiempo es perfectamente regular allí. La sección de comentarios no es para una discusión extensa. Le recomiendo que investigue un poco y luego, si aún no está claro, publique una pregunta para la comunidad.
Está bien. Solo una pregunta adicional. Que es t en t = ? ¿Como se llama? Entiendo que es una especie de tiempo, pero ¿cómo se llama exactamente? Me ayudará con la búsqueda. ¿Es "la coordenada de tiempo de Schwarzschild t "? Por cierto, no estoy preguntando sobre la regularidad del espacio-tiempo aquí, o las singularidades o los agujeros negros. Estoy preguntando cómo se etiqueta la línea que cruza la línea t = podría hablarse de que no llega a esta línea con coordenadas t . Mi pregunta es solo sobre lo que veo con mis ojos en el dibujo sin ninguna conexión con la realidad física que modela o incluso con el modelo mismo.

Inspirado por una pregunta similar , he estado trabajando en este tema al mismo tiempo que Rob Jeffries. Irritantemente, se me adelantó; pero como utilizo un enfoque ligeramente diferente y como no quiero que mis esfuerzos sean en vano, publicaré mi propia derivación. Si nada más, sirve como una confirmación de su fantástica respuesta :)

Comencemos indicando las coordenadas Kruskal-Szekeres (región I)

tu = F ( r ) aporrear ( C t 2 r s ) , v = F ( r ) pecado ( C t 2 r s ) , F ( r ) = ( r r s 1 ) 1 / 2 mi r / 2 r s .

Como es bien sabido, en estas coordenadas las geodésicas de los rayos de luz que inciden radialmente son líneas rectas en 45 anglos. De hecho, si conectamos tu + v = k en las ecuaciones, con k una constante, entonces de tu 2 v 2 = F ( r ) 2 encontramos k ( tu v ) = F ( r ) 2 , de modo que

k Exp ( C t 2 r s ) = F ( r ) = ( r r s 1 ) 1 / 2 Exp ( r 2 r s ) ,
o
C t r s = en ( k 2 ) r r s en ( r r s 1 ) ,
que son de hecho las geodésicas de un fotón que cae radialmente, con k = F ( r 0 , γ ) y r 0 , γ la posición inicial del fotón en t = 0 .

Ahora, supongamos que tenemos un objeto que cae radialmente, que comienza en reposo en una posición r 0 a t = 0 . ¿Qué fotones que caen radialmente alcanzarán el objeto antes de que cruce el horizonte de sucesos? Para responder a esto, intentaremos derivar la geodésica de un fotón que incide radialmente de modo que alcanza al objeto justo en el horizonte de sucesos.

La geodésica de un objeto que cae radialmente se puede escribir en la forma (Misner, Thorne & Wheeler Eq. (31.10), Pag. 824)

r = r 0 2 ( 1 + porque η ) = r 0 porque 2 η / 2 , C τ r s = 1 2 ( r 0 r s ) 3 / 2 ( η + pecado η ) , C t r s = en ( r 0 / r s 1 + broncearse η / 2 r 0 / r s 1 broncearse η / 2 ) + ( r 0 r s 1 ) 1 / 2 ( η + r 0 2 r s ( η + pecado η ) ) .
También es instructivo introducir la energía total (adimensional) del objeto
mi = mi metro C 2 = ( 1 r s r ) d t d τ .
Las órbitas radiales satisfacen la ecuación.
( d r C d τ ) 2 = mi 2 ( 1 r s r ) ,
entonces si el objeto está en reposo en la posición r 0 a t = τ = 0 , después
mi = 1 r s r 0 .
La ecuación para t ( η ) por lo tanto puede reescribirse como
C t r s = en ( mi + 1 mi 2 broncearse η / 2 mi 1 mi 2 broncearse η / 2 ) + mi 1 mi 2 ( η + η + pecado η 2 ( 1 mi 2 ) ) .
A continuación, seguiré este artículo (que contiene algunos errores) para deducir cómo se comporta esta ecuación como r se acerca al horizonte de sucesos. Nosotros escribimos
r = r s ( 1 + ε ) , ε 0.
Cerca del horizonte de sucesos podemos ignorar los términos de orden superior en ε , de modo que
porque 2 η / 2 = ( 1 + ε ) r s r 0 = ( 1 + ε ) ( 1 mi 2 ) = 1 mi 2 + ε ( 1 mi 2 ) , pecado 2 η / 2 = mi 2 ε ( 1 mi 2 ) ,
y
( 1 mi 2 ) broncearse 2 η / 2 = mi 2 ε ( 1 mi 2 ) ( 1 + ε ) [ mi 2 ε ( 1 mi 2 ) ] ( 1 ε ) mi 2 ε ( 1 mi 2 ) ε ) mi 2 = mi 2 ε .
Por lo tanto,
mi + 1 mi 2 broncearse η / 2 mi ( 1 + 1 ε / mi 2 ) 2 mi ε 2 mi 2 mi ,
y
mi 1 mi 2 broncearse η / 2 mi ( 1 1 ε / mi 2 ) ε 2 mi ,
Para que finalmente, como r r s ,
C t s r s en ( 4 mi 2 ε ) + mi 1 mi 2 ( η s + η s + pecado η s 2 ( 1 mi 2 ) ) ,
con η s El valor de η en el horizonte de sucesos. Ya que aporrear ( X ) = pecado ( X ) mi X / 2 como X , las coordenadas Kruskal-Szekeres del objeto en el horizonte de sucesos se convierten (desde t )
tu s 2 = v s 2 = 1 4 F ( r s ) 2 Exp ( C t s r s ) = ε mi 4 Exp ( C t s r s ) = mi mi 2 Exp [ mi 1 mi 2 ( η s + η s + pecado η s 2 ( 1 mi 2 ) ) ] ,
o
tu s = v s = mi mi Exp [ mi 2 1 mi 2 ( η s + η s + pecado η s 2 ( 1 mi 2 ) ) ] = mi r s r 0 ( r 0 r s 1 ) 1 / 2 Exp [ 1 2 ( r 0 r s 1 ) 1 / 2 ( η s + r 0 2 r s ( η s + pecado η s ) ) ] .
Las coordenadas correspondientes para un fotón que cae radialmente satisfacen tu s + v s = k b , para algún valor límite k b . Por lo tanto k b = 2 tu s y encontramos la geodésica nula correspondiente
C t r s = en ( k b 2 ) r r s en ( r r s 1 ) .
Podríamos resolver esto para r a t = 0 , lo que produce un radio límite r b más allá del cual los fotones que caen radialmente no pueden alcanzar al objeto antes de que cruce el horizonte de sucesos. Alternativamente, podríamos conectar r = r 0 y pregunta cual es el tiempo maximo Δ t es tal que los fotones enviados a r 0 antes de t = Δ t todavía puede ponerse al día con el objeto. Encontramos
C Δ t r s = en ( k b 2 ) r 0 r s en ( r 0 r s 1 ) = 1 + en ( 4 r s r 0 ) + [ ( r 0 r s 1 ) 1 / 2 ( η s + r 0 2 r s ( η s + pecado η s ) ) ] r 0 r s ,
que es exactamente el mismo resultado dado por Rob Jeffries.

Hice un gráfico para visualizar los resultados, en coordenadas de Schwarzschild y Kruskal-Szekeres:

ingrese la descripción de la imagen aquí

La curva azul es la geodésica de un objeto, en reposo en t = 0 (aquí, r 0 = 2 r s ). La curva naranja es la geodésica de un fotón que está en la posición r 0 a t = 0 . La curva roja es la geodésica que derivé en esta publicación. Comienza en la posición r b a t = 0 y se pone al día con el objeto justo en el horizonte de sucesos. Las geodésicas de fotones que se encuentran entre las curvas naranja y roja (he trazado dos, las curvas discontinuas) alcanzarán al objeto, las geodésicas más allá de la curva roja no lo harán.

Desconcertado por el diagrama de la derecha. ¿Es esa la trayectoria de un objeto en caída libre en coordenadas KS?
@RobJeffries Sí, es el mismo objeto que el diagrama de la izquierda. Cruza la EH (en tu s = 9.25 ) aunque en un ángulo muy poco profundo. No estoy seguro de por qué es eso. Sin embargo, todo lo demás se verifica.
Ver mi edición importante. Ahora he tenido en cuenta (creo) el tiempo adicional disponible mientras el objeto cae de r s a la singularidad. Esto debe incluirse y es en realidad lo que es importante para responder a la pregunta. ¡Es mucho más fácil de calcular!

Para agregar a las excelentes respuestas anteriores, aquí hay un diagrama de espacio-tiempo en coordenadas Gullstrand-Painleve o "lluvia". Esto es del magnífico y accesible libro Exploring Black Holes (2000) de Taylor & Wheeler, § B .6 . Su metáfora "lluvia" significa una partícula de prueba con masa, que inicialmente cayó desde el reposo lejos del agujero negro. Piense en ellos como astronautas/observadores, para este problema.

t lluvia es el tiempo propio de una gota de lluvia, que se utiliza como coordenada. r es la coordenada de curvatura habitual como en las coordenadas de Schwarzschild [-Droste], y METRO es la masa del agujero negro. El diagrama muestra que la mayoría de los "pulsos de luz" nunca alcanzan un "émbolo de lluvia" dado; en particular, no verán el fin del universo.

ingrese la descripción de la imagen aquí

No. El agujero negro se evaporará por completo en un tiempo finito, por lo que al final del universo ya no existirá.

No fui el votante negativo, pero esto no es realmente una respuesta. La pregunta se planteó en el contexto de la gravedad clásica.
@Ben Crowell, entonces esta teoría no es aplicable a tal rango de tiempo.

Su pregunta se debe a cierta confusión con el concepto de espacio-tiempo de un agujero negro. Debes distinguir entre tu sistema de coordenadas y lo que ves. Ambos son conceptos diferentes: un ejemplo simple es un espacio de Minkowski: si un diagrama de Minkowski representa sus coordenadas, obtiene una vista de cuatro dimensiones de todo el espacio-tiempo. En contraste, lo que ves son elementos que están ubicados en tu cono de luz que se muestra en el pasado.

Cerca de un agujero negro debemos aplicar la misma distinción de este concepto doble que se puede mostrar en el siguiente diagrama de Kruskal, con una partícula A que cae y una partícula que permanece fuera de B:

ingrese la descripción de la imagen aquí

Las coordenadas de tiempo de un observador lejano están indicadas por las líneas que pasan por el centro: t = 0, t = 1, t = 2, limitadas por el horizonte de eventos donde t = . De acuerdo con estas coordenadas de tiempo, la partícula que cae nunca alcanzará el horizonte. Y a la inversa, cuando A se acerca al horizonte, el reloj de un observador externo se acercará al final de los tiempos.

Tal vez esta es la razón por la que hizo su pregunta. Pero su pregunta no es: cuál es la posición con respecto a las coordenadas de un observador externo, sino: qué ve la partícula que cae, y para esta pregunta debe referirse (como se muestra en otras respuestas) al pequeño 45 °- flechas entre las partículas que se comunican A y B. Las 3 flechas diagonales desde abajo hacia la izquierda muestran que B está en un punto determinado cuando A toca el horizonte de eventos.