La réponse actuellement acceptée évite la question sur le calcul des événements qui peuvent réellement être vus en utilisant les coordonnées de Schwarzschild. Il est possible de trouver une réponse à cette question en utilisant les coordonnées de Schwarzschild, à la fois numériquement et analytiquement. La réponse est bien sûr que le cône de lumière passé pour le cas limite n'inclut pas l'univers entier en dehors du trou noir et qu'il y a un temps fini disponible pour signaler à un objet en chute (même en coordonnées Schwarzschild), cela dépend de l'endroit où le l'observateur en chute a été libéré de.
Il y a deux problèmes distincts, chacun avec deux cas distincts. La première consiste à déterminer si la lumière intercepte un observateur qui tombe avant qu'il n'atteigne l'horizon des événements. Cependant, il y a ensuite une petite correction supplémentaire à apporter pour déterminer si un signal lumineux peut encore intercepter un observateur en chute après avoir traversé l'horizon des événements mais avant qu'il n'atteigne la singularité.
1. La lumière peut-elle intercepter un objet avant qu'il n'atteigne l'horizon des événements?
(a) Objet tombant de l'infinity
Je commence par un observateur de rayon $ r_0 $ (tous les rayons sont exprimés en multiples du rayon de Schwarzschild $ r_s $). L'observateur est passé au temps $ t_0 $ (en coordonnées Schwarzschild, qui est égal à $ \ tau = 0 $ selon la propre horloge de l'observateur), par un objet tombant radialement vers l'intérieur vers le trou noir depuis infini (où il a commencé au repos). À un certain moment $ \ Delta t $ plus tard, l'observateur tire un rayon laser radialement vers l'intérieur. Le problème est de calculer le maximum $ \ Delta t $ qui interceptera l'objet tombant et de le convertir ensuite en $ \ Delta \ tau $ en termes de temps propre selon l'observateur. Qu'il doit y avoir un maximum $ \ Delta t $ et $ \ Delta \ tau $ est conceptuellement facilement établi en considérant (par exemple) les coordonnées de Kruskal-Szekeres.
La géodésique nulle (en coordonnées Schwarzschild) que suit la lumière voyageant vers l'intérieur (en unités $ c = 1 $) est:
$$ t = -r - r_s \ ln \ gauche | \ frac {r -r_s} {r_0-r_s} \ right | + a + \ Delta t \,, \ tag {1} $$
où la constante $ a = r_0 + t_0 $.
La géodésique suivie d'un corps libéré au repos de l'infini est (par exemple, voir l'équation 25.38 dans "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 $ peut être choisie pour s'assurer que l'objet passe par le point $ (t_0, r_0) $ - ainsi:
$$ 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} $$
En traçant ces géodésiques et en utilisant une méthode de bissection pour déterminer quand et si elles se croisent, j'ai pu déterminer le maximum $ \ Delta t $
($ T $ dans l'OP, bien que j'ai commencé mon objet en chute libre depuis l'infini) qui permet toujours à la lumière d'intercepter l'objet en chute en fonction de l'endroit d'où cette lumière est émise. Le résultat semble stable à la réduction de la tolérance (j'ai utilisé $ 10 ^ {- 14} r_s $).
Un exemple du cas limite est présenté ci-dessous. La courbe rouge est la géodésique légère tandis que la courbe bleue montre la géodésique d'un objet tombant de l'infini et passant par (dans ce cas) $ 5.8r_s $ à $ t = 0 $. Seuls les événements sous la courbe rouge pouvaient être vus par un observateur en baisse.
J'ai ensuite "dérivé" cette courbe de manière analytique. Réorganiser l'équation (1) que nous pouvons écrire
$$ r - r_s = (r_0-r_s) \ exp ((a + \ Delta t -r) / r_s) \ exp (-t / r_s) $$
et si (proche de la limite où il est possible pour la lumière d'intercepter l'objet tombant) on laisse $ t $ devenir grand, alors $ r \ rightarrow r_s $ et on peut écrire
$$ r - r_s \ simeq (r_0 - r_s) \ exp ((a + \ Delta t -r_s) / r_s) \ exp (-t / r_s) \,, \ tag {4} $$
où nous exploitons le fait que la limite de $ r \ exp (-r / r_s) $ comme $ r \ rightarrow r_s $ est juste $ r / e $.
En réorganisant l'équation (2) de la même manière, on obtient
$$ \ frac {\ sqrt {r / r_s} - 1} {\ sqrt {r / r_s} +1} = \ exp (-t / r_s) \ exp \ left (- \ frac {2} {3} \ gauche (\ frac {r} {r_s} \ droite) ^ {3/2} -2 \ gauche (\ frac {r} {r_s} \ droite) ^ {1/2} + \ frac {b} {r_s} \droite)\, . $$
Encore une fois, nous soutenons que autour du cas limite $ r \ rightarrow r_s $ et ainsi nous pouvons écrire
$$ \ sqrt {r / r_s} = 1 + 2 \ exp (b / r_s - 8/3) \ exp (-t / r_s) $$
Mettre au carré ceci et négliger le terme $ \ exp (-2t / r_s) $:
$$ r - r_s \ simeq 4r_s \ exp (b / r_s - 8/3) \ exp (-t / r_s)) \ tag {5} $$
Il y a ou non un point d'interception est déterminé par le fait que le rapport des équations (4) et (5) est inférieur à 1 comme $ 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 \, $$
qui conduit à
$$ \ 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 $$
Réinsertion des expressions pour $ a $ et $ 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 \ gauche (\ frac {r_0} {r_s} \ droite) ^ {1/2} - \ ln \ gauche | \ frac {\ sqrt {r_0 / r_s} + 1} {\ sqrt {r_0 / r_s} -1} \ right | - \ frac {5} {3} \ right) r_s - r_0 $$
Cela correspond à ce qui est tracé ci-dessus.
Pour transformer cela en un intervalle de temps maximum propre $ \ Delta \ tau $ du point de vue de l'observateur, le résultat serait multiplié par $ (1 - r_s / r_0) ^ {1/2} $.
(b) Objet tombant du repos à $ t_0, r_0 $
Maintenant, la configuration est que l'observateur libère l'objet de $ t_0, r_0 $, puis attend un intervalle de temps (coordonné) $ \ Delta t $ avant de signaler.
L'équation (1) est toujours valide dans ce scénario, cependant l'équation (2) doit être remplacée par la géodésique suivante pour un objet tombant librement du repos à $ 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} $$
Ici le "paramètre cycloïde" $ \ eta (r) $ est défini par
$$ r = \ frac {r_0} {2} (1 + \ cos \ eta) $$
Comme $ r \ rightarrow r_s $, le premier terme de l'équation (6) croît de façon exponentielle tandis que le deuxième terme, que je définirai comme $ b (r) / r_s $, tend vers une 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), $$
où
$$ \ cos \ eta _ {\ rm rs} = \ gauche (\ frac {2r_s} {r_0} -1 \ droite). $$
En utilisant l'identité que $ \ tan \ eta / 2 = \ sin \ eta / (1 + \ cos \ eta) $, alors
$$ \ tan (\ eta / 2) = \ gauche (\ frac {r_0} {r} - 1 \ droite) ^ {1/2}. $$
En remplaçant cela dans l'équation (6), nous pouvons définir $ t_0 = 0 $, exponentiellement et trouver
$$ \ left (\ frac {r_0} {r_s} -1 \ right) ^ {1/2} \ left (1 - \ exp \ left [\ frac {bt} {r_s} \ right] \ right) = \ left (\ frac {r_0} {r} -1 \ right) ^ {1/2} \ left (1 + \ exp \ left [\ frac {bt} {r_s} \ right] \ right) $$
En mettant cela au carré et en négligeant les termes contenant $ \ exp (-2t / r_s) $ lorsque $ t $ devient grand, cela peut être réorganisé pour donner
$$ r = r_s \ frac {\ left (1 + 2 \ exp [(bt) / r_s] \ right)} {1 - 2 \ exp [(bt) / r_s] + (4r_s / r_0) \ exp [( bt) / r_s]}. $$
Encore une fois, comme nous recherchons un comportement limitant à grand $ t $, alors le dénominateur peut être développé comme un binôme, en ne conservant que les deux premiers termes. La multiplication avec le numérateur donne alors:
$$ r -r_s \ simeq 4r_s \ left (1 - \ frac {r_s} {r_0} \ right) \ exp \ left [\ frac {b-t} {r_s} \ right]. \ tag {7} $$
Pour trouver la limite $ \ Delta t $ pour laquelle un faisceau lumineux de l'observateur "attrapera" l'objet qui tombe, nous prenons le rapport des équations 4 et 7, posons $ b = b _ {\ rm rs} $ et exiger que ce soit inférieur à 1. Cela donne
$$ \ 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] $$
et donc
$$ \ Delta t < r_s \ ln \ left (\ frac {4r_s} {r_0} \ right) + b _ {\ rm rs} + r_s - r_0 $$
Le résultat est tracé ci-dessous comme la courbe rouge (et j'ai confirmé qu'il est correct en utilisant une méthode de bissection numérique) et comparé au cas 1 avec l'objet en chute libre de l'infini (courbe bleue, comme dans la première image). Comme prévu, le $ \ Delta t $ autorisé est plus grand lorsque l'objet est libéré du repos.
Comme précédemment, ce résultat est l'intervalle de temps maximal des coordonnées Schwarzschild. Il doit être réduit du facteur de dilatation du temps approprié $ (1-r_s / r_0) ^ {1/2} $ pour donner l'intervalle de temps approprié maximum.
Un exemple du cas limite est présenté ci-dessous. La courbe rouge est la géodésique de la lumière, la courbe bleue est la géodésique de l'objet qui tombe. Seuls les événements sous la courbe rouge (qui asymptote à un gradient de -1) peuvent être "vus" par un objet tombant dans un trou noir depuis le repos, à partir (dans ce cas) d'environ 5,8r_s $.
2. Si la lumière peut intercepter un objet avant qu'il n'atteigne la singularité
La réponse ci-dessus donne le délai maximum (coordonné) pour qu'un signal d'un observateur stationnaire atteigne un objet tombant avant qu'il n'atteigne l'horizon des événements, $ (\ Delta t) _ {\ rm EH} $. Mais cela ne répond pas complètement à la question (du titre), car l'objet peut encore recevoir de la lumière pendant le temps qu'il faut pour atteindre la singularité après traverser l'horizon des événements. Cela se voit le plus clairement dans les coordonnées de Kruskal-Szekeres, mais encore une fois, il est possible de résoudre ce problème (assez facilement) en coordonnées de Schwarzschild.
La condition ici est que le temps de coordonnées de la géodésique de lumière retardée doit être inférieur ou égal au temps de coordonnées de la géodésique de l'objet tombant à $ r = 0 $.
Cette condition est en fait assez facile à trouver. Pour le cas de l'objet tombant librement de l'infini, les équations (1-3) montrent que le $ \ Delta t $ original que j'ai dérivé doit être augmenté comme
$$ (\ Delta t) _ {\ rm singularité} = 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 $$
Ou en termes de résultat précédent.
$$ (\ Delta t) _ {\ rm singularité} = (\ Delta t) _ {\ rm EH} + r_s \ left (\ frac {5} {3} - 2 \ ln 2 \ right) = (\ Delta t) _ {\ rm EH} + 0,280r_s $$
Pour le cas d'un objet tombant du repos, on voit que $ \ eta = \ pi $ at $ r = 0 $, de sorte que si le temps de coordonnée est inférieur ou égal au temps de coordonnée de l'objet à $ r = 0 $ est obtenu à partir des équations (1) et (6) comme
$$ (\ Delta t) _ {\ rm singularité} = r_s \ ln \ left (\ frac {r_s} {r_0-r_s} \ right) + \ pi r_s \ left (\ frac {r_0} {r_s} -1 \ droite) ^ {1/2} \ gauche (1 + \ frac {r_0} {2r_s} \ droite) -r_0, $$
qui est plus grand que $ (\ Delta t) _ {\ rm EH} $ d'un montant qui dépend de $ r_0 $, mais qui est asymptotique à la baisse des résultats de l'infini lorsque $ r_0 $ devient grand.
Cette nouvelle relation est tracée ci-dessous - la courbe rouge supérieure est le retard maximum (temps de coordonnées) qui peut être toléré et envoyer toujours un signal qui atteint l'objet qui tombe avant la singularité.Le graphique inférieur montre la différence entre ce résultat et le résultat précédent pour que le retard atteigne toujours l'objet avant l'horizon des événements.
Le graphique ci-dessous devrait rendre les choses plus claires.Il montre les géodésiques de chaque côté ou $ r_s $ dans le cas d'un objet tombant de $ r = 2r_s $ à $ t = 0 $.La géodésique légère en rouge est celle calculée de sorte qu'elle intercepte juste l'objet comme $ r \ rightarrow r_ {s} $ et a $ (\ Delta t) _ {\ rm EH} = 3,834 r_s / c $.Mais on voit que cette géodésique "dépasse" l'objet qui tombe avant qu'il n'atteigne la singularité à $ r = 0 $.Cependant, la géodésique de la lumière verte, avec $ (\ Delta t) _ {\ rm singularité} = 4.283 r_s / c $ intercepte l'objet géodésique exactement à $ r = 0 $.