La respuesta actualmente aceptada elude la cuestión de calcular qué sucesos pueden verse realmente utilizando las coordenadas de Schwarzschild. Es 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 coordenadas de Schwarzschild), que depende del lugar desde el que se soltó el observador que cae.
Hay dos problemas distintos, cada uno con dos casos distintos. El primero consiste en averiguar si la luz intercepta a un observador que cae antes de alcanzar el horizonte de sucesos. Sin embargo, hay que hacer una pequeña corrección adicional para determinar si una señal de luz puede interceptar a un observador que cae después de cruzar el horizonte de sucesos pero antes de llegar a la singularidad.
1. Si la luz puede interceptar un objeto antes de llegar al horizonte de sucesos
(a) Objeto que cae desde el infinito
Empiezo con un observador en un radio $r_0$ (todos los radios se expresan como múltiplos del radio de Schwarzschild $r_s$ ). El observador es aprobado en el momento $t_0$ (en coordenadas de Schwarzschild, que es igual a $\tau =0$ según el propio reloj del observador), por un objeto que cae radialmente hacia el interior del agujero negro desde el infinito (donde comenzó en reposo). En algún momento $\Delta t$ Posteriormente, el observador dispara un rayo láser radialmente hacia el interior. El problema consiste en calcular el máximo $\Delta t$ que intercepte el objeto que cae y lo convierta en un $\Delta \tau$ en términos de tiempo propio según el observador. Que debe haber un máximo $\Delta t$ y $\Delta \tau$ es conceptualmente fácil de establecer 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: $$ t = -r - r_s \ln \left| \frac{r -r_s}{r_0-r_s}\right| + a + \Delta t\, ,\tag{1}$$ donde la constante $a = r_0 + t_0$ .
La geodésica seguida por un cuerpo liberado en reposo desde el infinito es (por ejemplo, véase la ecuación 25.38 en "Gravitation" de Misner, Thorner & Wheeler, 2017, Princeton University press) $$t = r_s \left( -\frac{2}{3}\left(\frac{r}{r_s}\right)^{3/2} - 2\left(\frac{r}{r_s}\right)^{1/2} + \ln \left| \frac{\sqrt{r/r_s} + 1}{\sqrt{r/r_s} -1}\right|\right) + b \tag{2}$$ La constante $b$ se puede elegir para garantizar que el objeto pase por el punto $(t_0, r_0)$ - así: $$b = t_0 - r_s\left( -\frac{2}{3}\left(\frac{r_0}{r_s}\right)^{3/2} - 2\left(\frac{r_0}{r_s}\right)^{1/2} + \ln \left| \frac{\sqrt{r_0/r_s} + 1}{\sqrt{r_0/r_s} -1}\right|\right) \tag{3}$$
Al trazar estas geodésicas y utilizar un método de bisección para determinar cuándo y si se cruzan, pude determinar la máximo $\Delta t$ ( $T$ en el OP, aunque empecé mi objeto en caída libre desde el infinito) que todavía permite que la luz intercepte el objeto que cae como una función de donde se emite esa luz. El resultado parece estable al reducir la tolerancia (usé $10^{-14}r_s$ ).
A continuación se muestra un ejemplo del caso límite. La curva roja es la geodésica de la luz mientras que la curva azul muestra la geodésica de un objeto que cae desde el infinito y pasa por (en este caso) $5.8r_s$ en $t=0$ . Sólo los eventos por debajo de la curva roja podrían ser vistos por un observador que cayera.
A continuación, he "derivado" esta curva de forma analítica. Reordenando la ecuación (1) podemos escribir $$ r - r_s = (r_0-r_s) \exp((a + \Delta 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 que $t$ se vuelven grandes, entonces $r \rightarrow r_s$ y podemos escribir $$ r - r_s \simeq (r_0 - r_s) \exp((a + \Delta t -r_s)/r_s) \exp(-t/r_s) \, , \tag{4}$$ donde explotamos el hecho de que el límite de $r \exp(-r/r_s)$ como $r\rightarrow r_s$ es sólo $r/e$ .
Reordenando la ecuación (2) de forma similar, obtenemos $$\frac{\sqrt{r/r_s} - 1}{\sqrt{r/r_s} +1} = \exp(-t/r_s)\exp\left(-\frac{2}{3}\left(\frac{r}{r_s}\right)^{3/2} -2\left(\frac{r}{r_s}\right)^{1/2} + \frac{b}{r_s} \right)\, . $$ De nuevo, argumentamos que en torno al caso límite $r \rightarrow r_s$ y así podemos escribir $$ \sqrt{r/r_s} = 1 + 2\exp(b/r_s - 8/3)\exp(-t/r_s)$$ Al cuadrar esto y descuidar el $\exp(-2t/r_s)$ plazo: $$ r - r_s \simeq 4r_s \exp(b/r_s - 8/3)\exp(-t/r_s)) \tag{5}$$
La existencia o no de un punto de interceptación viene determinada por el hecho de que la relación de las ecuaciones (4) y (5) sea inferior a 1, ya que $t \rightarrow \infty$ . $$\lim_{t\rightarrow \infty} \frac{(r_0 - r_s) \exp((a + \Delta 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 $$\frac{(r_0 - r_s) \exp((a + \Delta t -r_s)/r_s)}{4r_s \exp(b/r_s - 8/3)} < 1$$ $$ \exp(\Delta t/r_s) < \frac{4r_s}{r_0 - r_s} \exp(\frac{b - a}{r_s} - \frac{5}{3}) $$ $$ \Delta t < \ln \left(\frac{4r_s}{r_0 - r_s}\right)r_s + \left(\frac{b - a}{r_s} - \frac{5}{3}\right)r_s$$ Volviendo a insertar las expresiones para $a$ y $b$ $$\Delta t < \ln \left(\frac{4r_s}{r_0 - r_s}\right)r_s + \left( \frac{2}{3}\left(\frac{r_0}{r_s}\right)^{3/2} + 2\left(\frac{r_0}{r_s}\right)^{1/2} - \ln \left| \frac{\sqrt{r_0/r_s} + 1}{\sqrt{r_0/r_s} -1}\right| - \frac{5}{3}\right)r_s - r_0$$ Esto coincide con lo que se ha representado anteriormente.
Para convertir esto en un intervalo de tiempo máximo adecuado $\Delta \tau$ 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 a $t_0, r_0$
Ahora la configuración es que el observador libera el objeto de $t_0, r_0$ y luego espera un intervalo de tiempo (coordinado) $\Delta t$ antes de la señalización.
La ecuación (1) sigue siendo válida en este escenario, sin embargo la ecuación (2) debe ser sustituida por la siguiente geodésica para un objeto que cae libremente desde el reposo a $t_0, r_0$ . $$ \frac{t-t_0}{r_s} = \ln \left| \frac{ (r_0/r_s -1)^{1/2} + \tan (\eta/2)}{(r_0/r_s -1)^{1/2} -\tan(\eta/2)}\right| + \left(\frac{r_0}{r_s}-1\right)^{1/2} \left( \eta + \frac{r_0}{2r_s}(\eta + \sin \eta)\right). \tag{6}$$ Aquí el "parámetro cicloide" $\eta(r)$ se define por $$r = \frac{r_0}{2}(1 + \cos \eta)$$
Como $r \rightarrow 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: $$ \lim_{r \rightarrow r_s} b(r) = b_{\rm rs} = r_s\left(\frac{r_0}{r_s}-1\right)^{1/2} \left( \eta_{\rm rs} + \frac{r_0}{2r_s}(\eta_{\rm rs} + \sin \eta_{\rm rs})\right), $$ donde $$\cos \eta_{\rm rs} = \left(\frac{2r_s}{r_0} -1 \right).$$
Utilizando la identidad que $\tan \eta/2 = \sin \eta/(1 + \cos \eta)$ entonces $$\tan (\eta/2) = \left( \frac{r_0}{r} - 1 \right)^{1/2}.$$ Sustituyendo esto en la ecuación (6) podemos establecer $t_0=0$ , exponer y encontrar $$\left(\frac{r_0}{r_s}-1\right)^{1/2}\left(1 - \exp\left[\frac{b-t}{r_s}\right]\right) = \left(\frac{r_0}{r}-1\right)^{1/2} \left( 1 + \exp\left[\frac{b-t}{r_s}\right]\right)$$ Al cuadrar esto y descuidar los términos que contienen $\exp(-2t/r_s)$ como $t$ se hace grande, esto puede ser reordenado para dar $$ r = r_s\frac{\left(1 + 2\exp[(b-t)/r_s]\right)}{1 - 2\exp[(b-t)/r_s] + (4r_s/r_0)\exp[(b-t)/r_s]}.$$ De nuevo, como buscamos un comportamiento limitante a gran $t$ entonces el denominador puede expandirse como un binomio, conservando sólo los dos primeros términos. La multiplicación con el numerador da como resultado: $$ r -r_s \simeq 4r_s \left(1 - \frac{r_s}{r_0}\right) \exp\left[\frac{b-t}{r_s}\right]. \tag{7}$$
Para encontrar el límite $\Delta t$ para el cual un haz de luz del observador "atrapará" al objeto que cae, tomamos la relación de las ecuaciones 4 y 7, fijamos $b=b_{\rm rs}$ y exigir que sea menor que 1. Esto da como resultado $$ \exp\left[\frac{\Delta t}{r_s}\right] < 4 \left(\frac{r_s}{r_0}\right) \exp\left[\frac{b_{\rm rs}}{r_s}\right] \exp\left[\frac{r_s-r_0}{r_s}\right]$$ y por lo tanto $$\Delta t < r_s \ln \left(\frac{4r_s}{r_0}\right) + b_{\rm rs} + r_s - r_0$$
El resultado se representa a continuación como la curva roja (y he confirmado que es correcto utilizando 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, el $\Delta t$ es mayor cuando el objeto se libera del reposo.
Como antes, este resultado es el máximo intervalo de tiempo de las coordenadas de Schwarzschild. Hay que reducirlo con el factor de dilatación temporal adecuado $(1-r_s/r_0)^{1/2}$ para obtener el máximo intervalo de tiempo adecuado.
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. Sólo los sucesos por debajo de la curva roja (que asimila 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.8r_s$ .
2. Si la luz puede interceptar un objeto antes de llegar a la singularidad
La respuesta anterior da el tiempo de retardo máximo (por coordenadas) para que una señal de un observador estacionario llegue a un objeto que cae antes de alcanzar el horizonte de sucesos , $(\Delta t)_{\rm EH}$ . Pero eso no responde completamente a la pregunta (del titular), porque el objeto puede seguir recibiendo luz durante el tiempo que tarda en llegar a la singularidad después de cruzando el horizonte de sucesos. Esto se ve más claramente en las coordenadas de Kruskal-Szekeres, pero de nuevo es es posible resolverlo (con bastante facilidad) en coordenadas de Schwarzschild.
La condición aquí es que el tiempo de coordenadas de la geodésica de la luz retrasada debe ser menor o igual al tiempo de coordenadas de la geodésica del objeto que cae en $r=0$ .
Esta condición es en realidad bastante fácil de encontrar. Para el caso del objeto en caída libre desde el infinito, las ecuaciones (1-3) muestran que el $\Delta t$ que derivé debe ser incrementado como $$(\Delta t)_{\rm singularity} = r_s \ln \left( \frac{r_s}{r_0-r_s}\right) - r_s\left( -\frac{2}{3}\left(\frac{r_0}{r_s}\right)^{3/2} - 2\left(\frac{r_0}{r_s}\right)^{1/2} + \ln \left| \frac{\sqrt{r_0/r_s} + 1}{\sqrt{r_0/r_s} -1}\right|\right) - r_0$$ O en términos del resultado anterior. $$ (\Delta t)_{\rm singularity} = (\Delta t)_{\rm EH} +r_s\left(\frac{5}{3} - 2\ln 2\right) =(\Delta t)_{\rm EH} + 0.280r_s $$
Para el caso de un objeto que cae desde el reposo, vemos que $\eta = \pi$ en $r=0$ , de modo que si el tiempo de coordenadas para ser menor o igual al tiempo de coordenadas del objeto en $r=0$ se obtiene de las ecuaciones (1) y (6) como $$ (\Delta t)_{\rm singularity} = r_s \ln \left(\frac{r_s}{r_0-r_s}\right) + \pi r_s\left(\frac{r_0}{r_s} -1\right)^{1/2}\left(1 + \frac{r_0}{2r_s}\right) -r_0,$$ que es mayor que $(\Delta t)_{\rm EH}$ en una cantidad que depende de $r_0$ pero es asintótica a la caída desde el infinito resulta como $r_0$ se hace grande. Esta nueva relación se representa a continuación: la curva roja superior es el retraso máximo (en tiempo de coordenadas) que se puede tolerar y seguir enviando una señal que llegue al objeto que cae antes de la singularidad. El gráfico inferior muestra la diferencia entre este resultado y el anterior para que el retraso siga llegando al objeto antes del horizonte de sucesos.
La trama de abajo debería aclarar las cosas. Muestra las geodésicas cualquier lado o $r_s$ en el caso de que un objeto caiga desde $r=2r_s$ en $t=0$ . La geodésica luminosa en rojo es la que se calcula para que justo intercepte el objeto como $r \rightarrow r_{s}$ y tiene $(\Delta t)_{\rm EH} = 3.834 r_s/c$ . Pero vemos que esta geodésica "adelanta" al objeto que cae antes de que alcance la singularidad en $r=0$ . Sin embargo, la geodésica de luz verde, con $(\Delta t)_{\rm singularity} = 4.283 r_s/c$ intercepta la geodésica del objeto exactamente en $r=0$ .