Redshift of a photon emitted along the black hole horizon

In this work we derive some general features of the redshift measured by radially moving observers in the black hole background. Let observer 1 cross the black hole horizon emitting a photon, while observer 2 crossing the same horizon later receives it. We show that if (i) the horizon is the outer one (event horizon) and (ii) it is nonextremal, the received frequency is redshifted. This generalizes recent results in the literature. For the inner horizon (like in the Reissner–Nordström metric) the frequency is blueshifted. If the horizon is extremal, the frequency does not change. We derive explicit formulas describing the frequency shift in generalized Kruskal- and Lemaitre-like coordinates.


Introduction
Redshift is one of the well-known effects of gravity; it plays an essential role in relativistic astrophysics. Its description entered many textbooks. In particles, it concerns propagation of light in the black hole background. Thus, much attention is focused on the properties of light outside the event horizon. Less these properties inside the horizon are discussed. Also, strange as it may seem, the question of the redshift of a photon moving along the horizon dropped out from consideration almost completely. There is general discussion of this issue in [1] for the Reissner-Nordström-de Sitter metric but the relation between redshift or blueshift and the nature of the horizon was not revealed there.
Meanwhile, there are several points that can serve as a motivation for such a consideration.
(i) Recently, important methodic issues were discussed in [2,3] concerning properties of the world visible by an observer falling into the Schwarzschild black hole and a e-mail: atopor@rambler.ru b e-mail: zaslav@ukr.net communicating by radio signals with another falling one.
In doing so, some incorrect statements were made in [2] about "ghosts" of the first observer supposedly waiting for the second one on the horizon. As was argued in [3], there are no such ghosts at all, although the second observer does receive a signal from the first one emitted at the moment of crossing the horizon. This required detailed calculation of the frequency shift for a photon propagating along the horizon with the result that a finite redshift occurs in this case.
In the present work, we generalize these observations, demonstrate that such a redshift is present for any horizon of a spherically symmetric nonextremal black hole and find its value. (ii) If the metric contains an inner horizon (say, for the Reissner-Nordström black hole), the calculation of the frequency shift for a photon emitted along such a horizon is of special interest. We demonstrate that now, instead of a redshift, a blueshift occurs. In the limit when a photon is received near the bifurcation point, the blueshift becomes infinite. This establishes the connection of the issue under discussion with the analog of the Bañados-Silk-West (BSW) effect [4]. It consists in the infinite growth of the energy of colliding particles in the center of mass frame. Originally, it was found near the event horizon but, later on, it turned out that another similar effect is valid also near the inner horizon (see [5] and the references therein). On the other hand, the issue under discussion can be considered as an effect supplemental to a well-known instability of the inner horizon [6,7]. (iii) In addition to the propagation along the nonextremal horizon, there is also the question of what happens in the extremal case. We argue that, by contrast to the two previous ones, now the frequency shift is absent. (iv) In Refs. [2,3] the Kruskal-Szekerez (KS) coordinate system was used. We also exploit it. In addition, it is of interest to compare the results using another pow-erful system-the Lemaitre one. We construct such a system for a whole class of metrics that includes the Schwarzchild one as a particular case.
In the present work, we restrict ourselves to the simplest case of radially moving observers.

Motion outside the nonextremal event horizon
We consider the metric We suppose that the metric has the event horizon at r = r + , so f (r + ) = 0. (For simplicity, we assumed that g 00 g 11 = −1 but this condition can be relaxed easily.) We consider now a nonextremal black hole. Near the horizon, where κ = f (r + ) 2 is the surface gravity. Let an observer have the four-velocity u μ = dx μ dτ , where τ is the proper time. We restrict ourselves to the radial motion of a massive particle (we call it "observer"). Then the fourvelocity u μ = (ṫ,ṙ ). Here, a dot denotes the derivative with respect to τ .
The geodesic equations of motion for such a particle read E = −mu t is the conserved energy of a particle. For a photon having the wave vector k μ , the equations of motion are where ω 0 = −k 0 is the conserved frequency, l = k φ is the conserved angular momentum. Let a free falling observer emit or receive a photon. Its frequency measured by this observer is equal to Taking into account (3)-(7), we find after straightforward calculation: Here, ε = +1 if both objects (the observer and the photon) move in the same direction and ε = −1 if they do this in opposite ones. If ε = −1, this corresponds to a head-on collision between a massive and a massless particles and this means that either an observer receives a photon emitted from a smaller value of r or a falling observer emits a photon in the backward direction.
Near the horizon, f 1. Let ε = +1 and the observer looks back. Near the horizon, he will see the frequency If ε = −1, Here f em is the value of the metric function in the point of emission. Let the observer emit in his frame a photon having the frequency ω, traveling to infinity. Then at infinity it will be received with the frequency ω 0 having the order f em . Equation (11) agrees with the standard result for the Schwarzschild metric (see Sect. XII.102 of [8], especially Eq. 102.10). It is instructive to compare this with another situation usually discussed in textbooks when the emitter is not free falling but is static. In the latter case, the frequency at infinity ω 0 = ω √ f (see, e.g. Eq. 88.6 of [8]) has the order √ f em . Obviously, the difference can be attributed to the motion of an emitter (the Doppler effect makes the redshift stronger).
Some reservations are in order. Throughout the paper, we assume that the geometric optics is a reasonable approximation for propagation of light waves. As usual, this implies that the wavelength λ satisfies the relations λ 2π L, R, where λ is the wave length, L is a typical scale characterizing a wave packet and R −2 is the typical component of the Riemann tensor (see Eq. 22.23c in [9]). For the Schwarzschild metric, this entails, in terms of the frequency, the condition ωM 1; M is the black hole mass. In the more general case of, say, the Reissner-Nordström metric, this gives ωr + 1, where r + is the radius of the horizon.
Also, we assume that backreaction of the photon on the metric is negligible. This implies that, in any case, its energy is much less than the ADM mass of a black hole, so in natural geometric units ω M. Thus we have the double inequality r −1 + ω M. As for the Reissner-Nordstr öm metric M ≤ r + ≤ 2M, the conditions of validity of this approximation are practically the same for the Reissner-Nordström and Schwarzschild metrics.

Photon emitted at the horizon
We see from (11) that, as the point of emission of a photon is approaching the horizon, the frequency measured at infinity becomes smaller and smaller. However, this formula does not describe what happens if the photon is emitted exactly on the horizon. Then ω 0 = 0 and l = 0, f em = 0 from the very beginning (see also below), the photon does not reach infinity at all and moves along the leg of the horizon. Here, the original coordinates (1) are not applicable since the metric becomes degenerate on the horizon. This can be remedied with the use of standard KS coordinates or its generalization.
Let us introduce coordinates U and V , where is the tortoise coordinate. It is seen from (12) that Then the metric reads Here, For the transformation (12), For example, for the Schwarzschild metric, provided the constant of integration is chosen in (14) in such a way that r * = r + r + ln r −r + r + . We consider the vicinity of the future horizon, on which U = 0. Along this horizon, V takes finite values.
Near the horizon where C 0 is a constant. In the Schwarzschild case, C 0 = e. It is instructive to rewrite the equations of motion for massive particles outside the event horizon (3), (4) in terms of the KS coordinates and take the horizon limit afterwards. For an observer moving inward they read Taking also into account (12) and (17), we have In a similar way, we have for a photon moving in the outward direction Let λ be the affine parameter. On the future horizon U = 0, k U = dU dλ = 0 = k V , which agrees with (26) if we put ω 0 = 0 = f = Q in the right hand side. Thus only k V remains nonzero. It follows from the geodesic equations that on the horizon Here ∂ V ∼ f = 0 on the horizon. Therefore, k V = const along the horizon generator. We have from (8), (24) on the horizon and we have Let observer 1 cross the horizon at some V = V 1 and the same for observer 2 but later, at V = V 2 . It follows from (12), (13) that V 2 > V 1 . Assuming that observers are identical in that they have the same values of E and m, we obtain This agrees with Eq. (A16) of [3] obtained for the Schwarzschild metric by another method.
It is also instructive to check that indeed ω 0 = 0. By definition, ω 0 is a constant Killing frequency, where ξ μ is the Killing vector. In the original coordinates (1), Passing to KS coordinates, one obtains Then we see from (32) that On the future horizon, k U = 0 and U = 0, so we see that indeed ω 0 = 0. Also, it is easy to check that for a photon propagating along the horizon l = 0. Indeed, if we write down the condition k μ k μ = 0 on the future horizon, we obtain k φ = 0. This agrees with previous observations concerning the properties of trajectories on the horizon [10,11].

Form of metric
It is instructive to reformulate the redshift value in the Lemaitre-like coordinates ρ, τ . In contrast to the Kruskal ones, this frame is based on free falling particles. The Lemaitre frame is well known for the Schwarzschild metric. Now, we suggest its generalization valid for the metric (1).
The general theory of transformations that make the metric of a spherically symmetric black hole regular, was developed in [12]. For our goals, it is sufficient to find a particular class of transformations that (i) makes the metric regular on the horizon, (ii) generalize the Lemaitre metric (in particular, the metric should have g τ τ = −1). We make the transformation where r * is given by (14). Equations (36), (37) are direct generalizations of Eqs. 102.1 of [8]. Then it is easy to check that On the horizon, f = 0, the metric coefficient is regular, g ρρ = 1. In the particular case of the Schwarzschild metric, f = 1 − r + r and we return to the standard formula for the Lemaitre metric, when r is expressed in terms of ρ and τ . The coordinates (36), (37) are suitable for the description of a black hole including both the outer R region and the contracting T one [13]. In a similar way, one can use the expanding version that would result in a changing sign at τ . Now, we want to pay attention to some nice properties of the metric (38). The proper distance between points 1 and 2 calculated for a given τ is equal to l = dρ √ 1 − f . Requiring dτ = 0 in (37) and substituting dt into (36), we obtain from (14), (36) It is also instructive to calculate the velocity. Let, say, point 1 be fixed and let us focus on the velocity of free fall v = dl dτ of a particle with E = m, where r 2 ≡ r changes depending on time. Then it is easy to find from (4), (39) that Taking the derivative once more, we obtain dv dr = 1 On the horizon, this gives us where we took into account that for our metric the surface gravity κ = 1 2 d f dr H . The subscript "H" means that the corresponding quantity is calculated on the horizon. Equation (41) will be used below. It is worth noting that for the extremal horizon (κ = 0) we have also dv dr H = 0.

Redshift: from Kruskal coordinates to Lemaitre ones
The above frame is especially useful for the presentation of the redshift (31). On the horizon, f = 0. Then, in its vicinity, we obtain from (13), (36), (37) that on the horizon where C 1,2 are constants. As a result, we obtain from (31) Thus the Lemaitre frame allows us to present the resulting redshift along the horizon in a simple and intuitively clear picture-the redshift grows (and, consequently, the emitter looks dimmer) exponentially with respect to Lemaitre time that passes from emitting to observation.
In the last paragraph of Sect. 2, we listed the general condition for the geometrical optic to be valid. Now, we can express it in another way. Since a physical wave packet has a finite length, parts of it will move away from the black hole horizon even if its center is located exactly on the horizon. Since the equations of light geodesics in the generalized Lemaitre frame reads dr/dτ = 1 − √ 1 − f for outward propagation, the Lemaitre time needed to leave the vicinity of the horizon r = r + diverges as |ln(r/r + − 1)|. Suppose, the emitter radiates light with the wavelength λ. Since in any case the wave packets cannot be smaller than λ, we can roughly estimate initial scale as r − r + ∼ λ. Then we find that after the Lemaitre time τ/r + ∼ ln r + /λ ∼ ln ω 0 r + the wave packet will reach the scale of black hole horizon, the geometric optic approximation fails and, in particular, Eq. (43) evidently breaks down.

Photon emitted at the inner horizon
Let us consider a situation similar to that considered above. An observer moves beyond the event horizon r + and approaches the inner horizon r − < r + . When he crosses it, he emits a photon. Another observer who also crosses the inner horizon later, receives this very photon. What can be said about its frequency?

The coordinates and metric
The metric between the outer and inner horizons represents so-called T region [13]. For definiteness, we consider the T − region that corresponds to a black hole, but similar formulas are valid for the T + regions (white holes). Now, the metric can be formally obtained from (1) if one takes into account that for r _ < r < r + the metric function f < 0, so spacelike and timelike coordinates mutually interchange. We can write f = −g, Then the metric can be rewritten in the form The equations of motion for a massive particle have the form where P = mu y is the conserved momentum. Now, the KS transformation somewhat changes and reads where r * is given by the formula The metric takes the form (16) with where κ − is the surface gravity associated with the inner horizon and F = 0 is finite there. Repeating the calculations step by step, we arrive at the same formula (31), Now, we would like to pay attention to the fact that, according to (12), V is a monotonically increasing function of v. It is seen from (13), (14) that, for a fixed u, ∂v ∂r > 0. However, it is seen from (44) that event 2, which takes place after 1, has r 2 < r 1 . As a result, v 2 < v 1 and V 2 < V 1 . Therefore, ω 2 > ω 1 and now we have a blueshift. Thus this is related to the fact that r and t coordinates change their character in the region under discussion.
The results (43) and (52) can be united in one formula, In a similar way, the procedure under discussion gives the same result when an observer crosses the event horizon of a white hole moving outward from the T + to the R region. Then he will find all photons propagating along this horizon to be blueshifted. In particular, this holds for the Schwarzschild metric. Analogously, an observer entering T + region from the inner R one (say, like in the Reissner-Nordström metric) will see a redshift at the inner horizon. In other words, in both situations (either black or white hole) an observer crossing a horizon from the T to R region will see a blueshift, while from the R to T region he will see a redshift.

Relation to other effects
In the previous subsection we have shown that the blueshift at the inner horizon (and, consequently, the energy absorbed by the observer) grows exponentially with the Lemaitre time between the moments of emission and observation. Here we compare this interesting effect with others known in the literature.
If two particles collide, their energy E c.m. in the center of mass frame can be defined on the point of collision according to being the total momentum of two particles. If particle 1 is massive and particle 2 is massless, p μ 1 = mu μ and p μ 2 = k μ , where we put the Planck constant to unity. As a result, In the example under discussion, if V 1 = O(1) and V 2 → 0, the frequency ω 2 → ∞ according to (52). Then E c.m. → ∞ as well and we encounter a counterpart of the BSW effect near the inner horizon. But V = 0 on the future horizon U = 0 is nothing else than the bifurcation point [5] (see also below for more details). Thus the present results for the blueshift agree with the previous ones in the limit when the bifurcation point is reached.
There is also another issue to which we can compare the present consideration. As is well known, near the inner (Cauchy) horizon an instability develops inside black holes. This happens when a decaying flux of radiation coming from infinity crosses the event horizon and concentrates near the inner one-see, e.g. Chapter 14.3.1 in [6]. (For a modern review of the subject see [7].) However, now we consider radiation which is not coming from infinity but is emitted by an observer who crosses the inner horizon. The resulting energy flux from an emitter at the inner horizon appears to be finite, though it is not restricted from above if V → 0.
Thus as far as the radiation near the inner horizon is concerned, we have three situations: (i) the analog of the BSW effect (relevant near the bifurcation point), (ii) blueshift of a photon in the situation under discussion (relevant near any point of the inner horizon, the blueshift is in general finite), (iii) the instability of the inner horizon (infinite blueshift due to concentration of radiation along the horizon). Cases (i) and (ii) are closely related in the sense that in the limit when the point where a photon is absorbed approaches the bifurcation point, one obtains (i) from (ii). Meanwhile, in case (iii) the effect is unbounded and this points to a potential pathology connected with the nature of the inner horizon.

Special case: emission at the bifurcation point
In Sect. 5, we discussed briefly spacetimes that contain T + regions (white holes). Then the intersection between the future and past horizons forms the so-called bifurcation point (sphere, if the angle variables are taken into account), where it is possible to pass from the white hole region to the black one. White holes and bifurcation points do not arise in the situation when a black hole is formed due to gravitational collapse and in this sense they are not feasible astrophysically. However, they are inevitably present in the full picture of an eternal black-white hole. Therefore, we consider such objects for theoretical reasons and for completeness. In particular, in Sect. 5, we saw that accounting for the bifurcation point arises naturally in the connection between our problem and the BSW effect. In doing so, it is a receiver that passes near the bifurcation point.
In the present section, we consider another case, when it is an emitter that passes through this point at the moment of radiation. Consideration of the frequency shift when a photon emitted from the bifurcation point is a separate case that does not follow directly from the previous formulas.
For the Reissner-Nordström-de Sitter metric, such a problem was considered in Sect. IV b of [1]. It follows from the corresponding results that different cases are possible here: ω 2 < ω 1 , ω 2 = ω 1 , ω 2 > ω 1 . On the first glance, this disagrees with our results described above since we obtained either a redshift (for the event horizon of black hole or inner horizon of a white hole) or a blueshift (for the inner one in a black hole or event horizon of a white hole). Fortunately, this contradiction is illusory. Now, we will explain how one can obtain the results for the bifurcation point from ours. To this end, we compare (i) the generic situation and (ii) that with crossing the bifurcation point and trace how (ii) arises from (i) within the limiting transition.
For our purposes, it is sufficient to discuss the simplest metric that possesses the bifurcation point, so we can imply it to be, say, the Schwarzschild one. We assume that emitter 1 moves from the inner expanding T + region (i.e. white hole) [13], crosses the past horizon and enters the R region. Afterwards, it crosses the event horizon falling into a black hole. Let, as before, the emitter and receiver have equal masses m 1 = m 2 = m. However, now we cannot put E 1 = E 2 . This is because a particle with E = m would escape to infinity instead of falling into a black hole. We remind the reader that, up to now, in all our considerations an emitter and an observer are set to be at rest in infinity. However, the most general case can easily be obtained by adding corresponding Lorentz boosts. In the present subsection we meet the situation where this procedure is needed. Therefore, we must use a more general formula based on (30), The first factor can be interpreted as a Lorentz boost responsible for the Doppler effect. For E 1 = E 2 we return to the case considered by us above but now the first factor is not equal to 1 and plays now a crucial role. If, by assumption, particle 1 falls into a black hole, this means that it must bounce from the potential barrier in the turning point r = r 0 . According to the equation of motion (4), this means that If r 0 → r + , f (r 0 ) → 0, so E → 0 as well. More precisely, it is seen from (2), (21) that As a result, In the limit when the trajectory of particle 1 passes closer and closer to the bifurcation point U = 0 = V , α remains finite. Using the equations of motion in the T region (see the previous section), it is easy to show that in the limit V → 0, U → 0, the component of the velocity u U contains just this factor α.
Thus depending on the relation between α and V 2 one can obtain any result for ω 2 (redshift, blueshift, the absence of the frequency shift). In this sense, the general formula (56) reproduces both the "standard" fall of the emitter in a black hole and the behavior of the emitter that passes through the bifurcation point.

Extremal horizon
Let an observer cross the (ultra) extremal horizon r + . By definition, this means that near it the metric function is where n = 2 in the extremal case and n = 3, 4 . . . in the ultraextremal one. The difference from the nonextremal case consists in a different nature of the transformation making the metric regular. Let the two-dimensional part of the metric have the same form as in (1). The subsequent procedure is well known-see, e.g., [14,15] (Sect. 3.5.1). We use the same coordinates u, v and want to find appropriate coordinates U, V , Now, we are interested in the situation with emission of a photon exactly along the horizon. Near the horizon it follows for the tortoise coordinate (14) that We consider the metric near the future horizon where v is finite, r * → −∞, u = v − 2r * → +∞. We have We try a transformation that behaves like so that U → 0. Then it is easy to check that the metric has the form (16) where F = 0 is finite on the horizon. To find the frequency, we must use the expression for u U (22) in which now (65) is valid, so dU du ∼ u n 1−n . It is seen from (64) that u U → const on the horizon and it does not contain V . Taking into account that k V is a constant along the horizon generator as before, we come to the conclusion that V drops out and ω 2 ω 1 = const. We see that in the horizon limit the quantity V does not enter the frequency. In this sense, ω 2 ω 1 does not change along the horizon, so redshift or blueshift is absent.
In a sense, this is quite natural. Indeed, the extremal horizon is the double one. The inner and outer horizons merge. But for an inner horizon we had a blueshift, for the outer one we had a redshift. Together, they mutually cancel and produce no effect.
The absence of the redshift or blueshift formally agrees with (43) if one puts κ = 0 there. However, for (ultra)extremal black holes the Kruskal-like transformation looks very different, so we could not use Eq. (43) directly. Therefore, it was not obvious in advance whether or not the redshift for the extremal horizon can be obtained as the extremal limit of a nonextremal one. Now, we see that this is the case.

Summary
Thus we showed that for emission along the outer horizon redshift occurs and we derived a simple formula that generalized the one previously found in the literature. We also showed that along the inner horizon blueshift occurs and found its relation with the BSW effect. We also showed how the previously known results for the emission at the bifurcation point are reproduced from a general formula and lead to a diversity of situations (redshift, blueshift or the absence of frequency shift). For (ultra)extremal horizons the effect is absent.
These observations have a quite general character in agreement with the universality of black hole physics. We also generalized the Lemaitre frame and in this frame derived a simple and instructive formula for a redshift along the horizon in terms of the Lemaitre time and the surface gravity.