1 Introduction

The study on gravitational frequency shift of light signals is a important topic in modern astronomy since its original prediction by general relativity (GR) [1]. Acting as a crucial experimental verification of the local position invariance [2] of Einstein equivalence principle, null gravitational shift (especially redshift) has been applied extensively from ground-based [3,4,5,6,7,8] to space-borne-based [9,10,11] measurements and has received its high-accuracy consistency (at the \(7\times 10^{-5}\) level) with GR’s prediction. In contrast to these efforts devoted to the weak-field counterparts in the solar system, investigations of gravitational shift of spectrum lines produced in the strong-field region of a compact object (e.g., a neutron star or black hole) beyond the solar system were also performed with a fascinating prospect (see [12,13,14,15,16,17,18,19,20], and references therein). In particular, Müller and Wold [17] adopted the ray-tracing technique to numerically investigate the gravitational redshift effect of emission lines from both the weak- and strong-field regions of a Kerr black hole, which was compared with the observations of galaxy Mrk 110 [21]. Actually, probing strong gravitational fields using the gravitational shift tests along with other tests (e.g., Refs. [22,23,24,25,26,27,28,29,30,31]) plays a significant role in the examinations of general relativity as well as alternative theories of gravity [2, 32, 33]. Two reasons are responsible for this. The first one is that strong-field regions in our Universe are common, however, most of actual tests have been restricted in our solar system [33]. It is necessary and naturally desired to grasp the degree to which the consistency of the predictions of gravitational theories including GR with the astronomical observations can achieve. A second one is that gravitational shift tests are classical and relative feasible, and they have become one of the most convenient chooses [16]. Recently, the most direct evidence of a binary black hole system in the first direct detections of gravitational waves was reported [34]. Very recently, the images of a supermassive black hole (i.e., the one at the center of M87 Galaxy) observed directly by the Event Horizon Telescope have also been presented for the first time [35, 36]. There is no doubt that these two events as well as other observations (e.g, Ref. [37]) may promote further the theoretical studies of gravitational shifts of frequency of light in the strong field of a black hole.

Fig. 1
figure 1

Schematic diagram for the light propagation in the gravitational field of a Reissner–Nordström black hole. The central body is assumed to be located at the origin O(0,  0,  0) of a three-dimensional Cartesian coordinate system (X,  Y,  Z)

Historically, considerations of gravitational shift in the strong field limit were usually done under the common scenario, where the light receiver was far away from the central body while the light emitter was in the strong-field region of the lens, corresponding to the famous gravitational redshift phenomenon. Under this scenario, the gravitational shift approximately depends only on the emitter’s position. However, further consideration is necessary if both the light emission and reception events happen in the strong-field region for probing strong gravity in future. This is because the gravitational shift for this case depends not only on the position of the receiver but also on that of the emitter, which, however, may not be always known simultaneously. This paper gives a new numerical approach to tackle the issue how to obtain the emitter’s position (and thus the gravitational shift) for a given observer and a given received direction of the light curve.

In this work, based on the exact equations of motion of light in harmonic coordinates, we study the gravitational shift of light induced by a Reissner–Nordström black hole numerically in the traditional strong-field scenario, as well as in the scenario where both the light emitter and the observer are located in the strong field of the lens. Since the emitter is connected to the receiver by a light-like world line, our focus is the determination of the unknown spatial position of one of the emitter and the receiver by integrating the null geodesics in the strong field limit, when the other’s position is given. For this purpose, a new numerical technique is proposed. Two things should be pointed out. First, both the issue and the method of this work are different from that in the numerical investigation [17] and theoretical considerations [19, 20]. Second, we note that rapid progress in the precision to measure the gravitational shift of frequency has been made during the last two decades. For example, the gravitational frequency shift of radio photons was measured with a high precision (\(\sim 10^{-14}\)) in the Cassini experiment in 2002 [38,39,40]. There might be a possibility to detect or constrain the intrinsic electric charge of a RN black hole by measuring its component contribution to the gravitational redshift, although it may be very weak up to now.

This paper is organized as follows. In Sect. 2, the analytical form of the null gravitational redshift in Reissner–Nordström spacetime in the strong field limit is presented in harmonic coordinates. In Sect. 3, we first derive the exact null equations of motion in this spacetime, and then integrate them via a new numerical technique to calculate the spacial position of the light emitter for a given observer. The numerical results of the gravitational redshift are thus obtained for both the traditional and non-traditional strong-field scenarios. A summary is given in Sect. 4. In what follows, we use natural units in which \(G = c = 1\).

2 Null Gravitational shift caused by a RN black hole in harmonic coordinates

Consider the gravitational frequency shift of light signals in the Reissner–Nordström geometry. The Reissner–Nordström metric in harmonic coordinates \((X_0,~X_1,~X_2,~X_3)\) (defined as (T,  X,  Y,  Z)) can be written as [41]

$$\begin{aligned} ds^{2}= & {} -\frac{R^2-M^2+Q^2}{(R+M)^2}dX_0^2+\left( 1+\frac{M}{R}\right) ^2 \nonumber \\&\quad \times \left( \delta _{ij}+\frac{M^2-Q^2}{R^2-M^2+Q^2} \frac{X_iX_j}{R^2}\right) dX_idX_j~, \end{aligned}$$
(1)

where \(\delta _{ij}\) denotes Kronecker delta, i and j run over the values 1,  2,  3, \({\varvec{X}}\cdot d{\varvec{X}}\equiv X_1dX_1+X_2dX_2+X_3dX_3\), and \(R\equiv |{\varvec{X}}|=\sqrt{X_1^2+X_2^2+X_3^2}\). M and Q are the rest mass and electrical charge of the gravitational source, respectively, with the relation \(M^2\ge Q^2\) to avoid the naked singularity of the black hole. Figure 1 shows the schematic diagram for the propagation of light in the gravitational field of a RN black hole. The spacial coordinates of the light emitter (marked by A) and the receiver (marked by B) are denoted as \((X_A,~Y_A,~Z_A)\) and \((X_B,~Y_B,~Z_B)\), respectively. A is connected to B by a null world line (red line). We denote the coordinate times of the emission and reception events as \(T_A\) and \(T_B\) respectively. For simplicity, we discuss the special case in which both the light emitter and the receiver are assumed to be static in the background’s rest frame (T,  X,  Y,  Z).

The gravitational redshift of frequency of light is conventionally defined by [17, 42,43,44]

$$\begin{aligned} z\equiv \frac{\nu _A-\nu _B}{\nu _B}=\frac{d\tau _B}{d\tau _A}-1 =\frac{dT_A}{d\tau _A}\frac{dT_B}{dT_A}\frac{d\tau _B}{dT_B}-1~, \end{aligned}$$
(2)

where \(\tau _A\) and \(\tau _B\) denote the proper times of the light emitter and the receiver, respectively. A negative redshift means a blueshift. For the case of the emitter and the receiver being static, \(\frac{d\tau _A}{dT_A}\), \(\frac{dT_B}{d\tau _B}\), and \(\frac{dT_A}{dT_B}\) in the Reissner–Nordström spacetime read as follows:

$$\begin{aligned}&\frac{dT_A}{d\tau _A}=\frac{1}{\sqrt{-g_{00}\left( {\varvec{X}}_A\right) }} =\sqrt{\frac{(R_A+M)^2}{R_A^2-M^2+Q^2}}~, \end{aligned}$$
(3)
$$\begin{aligned}&\frac{d\tau _B}{dT_B}=\sqrt{-g_{00}\left( {\varvec{X}}_B\right) } =\sqrt{\frac{R_B^2-M^2+Q^2}{(R_B+M)^2}}~, \end{aligned}$$
(4)
$$\begin{aligned}&\frac{dT_B}{dT_A}=1~, \end{aligned}$$
(5)

where \(R_A=\sqrt{X_A^2\!+\!Y_A^2\!+\!Z_A^2}\) and \(R_B=\sqrt{X_B^2\!+\!Y_B^2\!+\!Z_B^2}\). Thus, the exact form of the gravitational redshift of frequency induced by a RN source in harmonic coordinates is easily rewritten as follows:

$$\begin{aligned} z_{RN}=\sqrt{\frac{(R_B^2-M^2+Q^2)(R_A+M)^2}{(R_A^2-M^2+Q^2)(R_B+M)^2}}-1~. \end{aligned}$$
(6)

In the conventional strong-field case, the light observer is far away from the central body (\(R_B\rightarrow +\infty \)), and the redshift in Eq. (6) reduces to \(z_{RN}=\sqrt{\frac{(R_A+M)^2}{R_A^2-M^2+Q^2}}-1\). However, this is not the case in our non-traditional scenario where both the light emitter and the observer are located in the strong-field region. Notice that the positions of the receiver and the emitter may not be always known at the same time in some cases, which is different from the assumption that they are always known simultaneously given in previous work (see [45,46,47], and references therein). Since they are connected by a light-like geodesic, our focus is the determination of the position of one of the light emitter and the observer via integrating the exact null geodesics, once the spacial position of the other is given. Without loss of generality, the observer’s position is assumed to be known while the emitter’s position unknown in the following calculations.

3 Numerical calculations in the strong field limit

In this section, we first derive the exact null equations of motion in the RN spacetime. A new numerical technique, which is different from the Kerr Black Hole Ray Tracer technique [17], is then adopted to compute the gravitational redshift \(z_{RN}\) in the strong field of the RN black hole for both the traditional and non-traditional strong-field scenarios.

3.1 Exact null geodesics in the RN geometry

Based on the harmonic metric given in Eq. (1), we obtain the exact form of the equations of motion of light in the RN geometry via calculating the nonvanishing Christoffel symbols tediously but straightforwardly as follows:

$$\begin{aligned} 0&=\ddot{T}+\frac{2(M^2-Q^2+MR)(X\dot{X}+Y\dot{Y} +Z\dot{Z})\dot{T}}{R(R+M)(R^2-M^2+Q^2)} ~,~~~~~ \end{aligned}$$
(7)
$$\begin{aligned} 0&=\ddot{X}+\frac{X(R^2-M^2+Q^2)(M^2-Q^2+MR)\dot{T}^2}{R(R+M)^5} \nonumber \\&\quad -\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{X}}{R^2(M+R)} +\frac{X}{R^5(M+R)} \nonumber \\&\quad \times \Bigg [R^2(M^2-Q^2+MR)(\dot{X}^2+\dot{Y}^2+\dot{Z}^2) \nonumber \\&\quad +\frac{(M^2\!\!-\!Q^2)(M^2\!\!-\!Q^2\!-\!MR\!-\!2R^2)(X\dot{X} \!+\!Y\dot{Y}\!+\!Z\dot{Z})^2}{R^2-M^2+Q^2} \Bigg ] , \end{aligned}$$
(8)
$$\begin{aligned} 0&=\ddot{Y}+\frac{Y(R^2-M^2+Q^2)(M^2-Q^2+MR)\dot{T}^2}{R(R+M)^5} \nonumber \\&\quad -\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{Y}}{R^2(M+R)}+\frac{Y}{R^5(M+R)} \nonumber \\&\quad \times \Bigg [R^2(M^2-Q^2+MR)(\dot{X}^2+\dot{Y}^2+\dot{Z}^2) \nonumber \\&\quad +\frac{(M^2\!\!-\!Q^2)(M^2\!\!-\!Q^2\!-\!MR\!-\!2R^2)(X\dot{X}\!+\!Y\dot{Y}\!+\!Z\dot{Z})^2}{R^2-M^2+Q^2} \Bigg ] , \end{aligned}$$
(9)
$$\begin{aligned} 0&=\ddot{Z}+\frac{Z(R^2-M^2+Q^2)(M^2-Q^2+MR)\dot{T}^2}{R(R+M)^5} \nonumber \\&\quad -\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{Z}}{R^2(M+R)}+\frac{Z}{R^5(M+R)} \nonumber \\&\quad \times \Bigg [R^2(M^2-Q^2+MR)(\dot{X}^2+\dot{Y}^2+\dot{Z}^2) \nonumber \\&\quad +\frac{(M^2\!\!-\!Q^2)(M^2\!\!-\!Q^2\!-\!MR\!-\!2R^2)(X\dot{X}\!+\!Y\dot{Y}\!+\!Z\dot{Z})^2}{R^2-M^2+Q^2} \Bigg ], \end{aligned}$$
(10)

where a dot denotes the derivative with respect to the affine parameter \(\xi \) along the geodesic [48, 49]. It can be seen that, dropping the electrical charge \((Q=0)\) in Eqs. (7)–(10), we can get the exact null geodesics of the Schwarzschild spacetime in harmonic coordinates

$$\begin{aligned} 0&=\ddot{T}+\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{T}}{R(R^2-M^2)} ~, \end{aligned}$$
(11)
$$\begin{aligned} 0&=\ddot{X}+\frac{MX(R-M)\dot{T}^2}{R(R+M)^3}-\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{X}}{R^2(R+M)} \nonumber \\&\quad +\frac{MX\left[ R^2(\dot{X}^2+\dot{Y}^2+\dot{Z}^2)+\frac{M(M-2R)(X\dot{X}+Y\dot{Y} +Z\dot{Z})^2}{R^2-M^2}\right] }{R^5}~,~~~~ \end{aligned}$$
(12)
$$\begin{aligned} 0&=\ddot{Y}+\frac{MY(R-M)\dot{T}^2}{R(R+M)^3}-\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{Y}}{R^2(R+M)} \nonumber \\&\quad +\frac{MY\left[ R^2(\dot{X}^2+\dot{Y}^2+\dot{Z}^2) +\frac{M(M-2R)(X\dot{X}+Y\dot{Y}+Z\dot{Z})^2}{R^2-M^2}\right] }{R^5}~,~~~~ \end{aligned}$$
(13)
$$\begin{aligned} 0&=\ddot{Z}+\frac{MZ(R-M)\dot{T}^2}{R(R+M)^3}-\frac{2M(X\dot{X}+Y\dot{Y}+Z\dot{Z})\dot{Z}}{R^2(R+M)} \nonumber \\&\quad +\frac{MZ\left[ R^2(\dot{X}^2+\dot{Y}^2+\dot{Z}^2) +\frac{M(M-2R)(X\dot{X}+Y\dot{Y}+Z\dot{Z})^2}{R^2-M^2}\right] }{R^5}~,~~~~ \end{aligned}$$
(14)

which can be reduced to the result for the equatorial propagation [50] in the second post-Minkowskian approximation.

3.2 Basics of numerical simulations

For the convenience of discussion, three assumptions are made. First, we follow Wucknitz and Sperhake’s idea [49] and assume the trajectory parameter \(\xi \) to take the dimension of length. Second, since the receiver \(B\,(X_B,~Y_B,~Z_B)\) for the traditional scenario is far enough away from the gravitational source, we assume \(|X_B|\) to be large enough, with \(X_B\ll Y_B<0\) and \(X_B\ll Z_B<0\). We finally assume the light propagating vector \({\varvec{k}}\) at the position of the receiver B to be approximately parallel to the X-axis of the coordinate system, which is not difficult to be realized by adjusting the coordinate frame. Notice that the light emitter \(A\,(X_A,~Y_A,~Z_A)\) is close to the black hole but beyond its gravitational radius, and that the receiver for the non-traditional scenario is denoted by \(\bar{B}\,(X_{\bar{B}},~Y_{\bar{B}},~Z_{\bar{B}})\) and is located at some place (between A and B) of the same null world line.

With the consideration of the reversibility of light paths, there are three steps to determine the spatial coordinates of the light emitter \(A\,\) for calculating the redshift \(z_{RN}\):

First, for convenience, we make our numerical integrating direction be reverse to the direction of the light propagation shown in Fig. 1, namely, computing from the observer \(B\,(X_B,~Y_B,~Z_B)\) to the emitter \(A\,(X_A,~Y_A,~Z_A)\).

Second, for a given observer B and a given \(X_A\), we need to integrate Eqs. (7)–(10) numerically to obtain \(Y_A\) and \(Z_A\). Notice that for a given \(X_B\) in the starting conditions, the adjustment of the coordinates \(Y_B\) and \(Z_B\) will make us get any desired position for the emitter A. Since there is only one specific value of \(\xi \) corresponding to one point of the photon’s world line, we can obtain the numerical value of the affine parameter \(\xi _A\) for the emitter via performing a definite integral for \(\dot{X}\) over \(\xi \) as follows:

$$\begin{aligned} X_A-X_B=\int _{\xi _B}^{\xi _A} \dot{X}d\xi ~~~(>0)~, \end{aligned}$$
(15)

with the affine parameter \(\xi _B\) of the observer being given to be \(X_B\) in the asymptotically flat spacetime [49, 51]. It is worth to point out that there might be several numerical values of \(\xi _A\) to correspond to a given \(X_A\) in the strong field limit, and we take the one whose value is closest to \(X_A\) in the following calculations for physical reasons. After the determination of \(\xi _A\), we can immediately get the numerical values of \(Y_A\) and \(Z_A\) from the following definite integrals:

$$\begin{aligned}&Y_A-Y_B=\int _{\xi _B}^{\xi _A} \dot{Y}d\xi ~, \end{aligned}$$
(16)
$$\begin{aligned}&Z_A-Z_B=\int _{\xi _B}^{\xi _A} \dot{Z}d\xi ~. \end{aligned}$$
(17)

Finally, knowing the desired spatial position of the light emitter \(A(X_A,~Y_A,~Z_A)\), the gravitational redshift of light propagating from the emitter A to the receiver B in the field of a given RN black hole can be calculated according to Eq. (6). We emphasize that the position of the observer B is the place where the starting conditions are given for both the traditional and non-traditional strong-field cases, and that the numerical process above is also applied to calculating the gravitational redshift of light propagating from the emitter A to the receiver \(\bar{B}\) caused by the same central body.

In the numerical calculations, the computation domain is set as \(\xi \in [-X_{max},~X_{max}]\), with \(X_{max}=-X_B~(\gg \sqrt{Y_{B}^2+Z_{B}^2})\), and we use \(X_{max}\) to replace the infinity \(+\infty \) for a large enough \(X_{max}\). The initial and boundary conditions for both the traditional and non-traditional strong-field cases are given as follows:

$$\begin{aligned}&\left. \frac{dT}{d\xi }\right| _{\xi \rightarrow -\infty }\left( \approx \left. \frac{dT}{d\xi }\right| _{\xi \rightarrow -X_{max}}\right) =1~, \end{aligned}$$
(18)
$$\begin{aligned}&\left. \frac{dX}{d\xi }\right| _{\xi \rightarrow -\infty }\left( \approx \left. \frac{dX}{d\xi }\right| _{\xi \rightarrow -X_{max}}\right) =1~, \end{aligned}$$
(19)
$$\begin{aligned}&\left. \frac{dY}{d\xi }\right| _{\xi \rightarrow -\infty }\left( \approx \left. \frac{dY}{d\xi }\right| _{\xi \rightarrow -X_{max}}\right) =0~, \end{aligned}$$
(20)
$$\begin{aligned}&\left. \frac{dZ}{d\xi }\right| _{\xi \rightarrow -\infty }\left( \approx \left. \frac{dZ}{d\xi }\right| _{\xi \rightarrow -X_{max}}\right) =0~, \end{aligned}$$
(21)
$$\begin{aligned}&\left. T\right| _{\xi \rightarrow -\infty }\left( \approx \left. T\right| _{\xi \rightarrow -X_{max}}\right) =-X_{max}~, \end{aligned}$$
(22)
$$\begin{aligned}&\left. X\right| _{\xi \rightarrow -\infty }\left( \approx \left. X\right| _{\xi \rightarrow -X_{max}}\right) =-X_{max}~, \end{aligned}$$
(23)
$$\begin{aligned}&\left. Y\right| _{\xi \rightarrow -\infty }\left( \approx \left. Y\right| _{\xi \rightarrow -X_{max}}\right) =Y_{B}~, \end{aligned}$$
(24)
$$\begin{aligned}&\left. Z\right| _{\xi \rightarrow -\infty }\left( \approx \left. Z\right| _{\xi \rightarrow -X_{max}}\right) =Z_{B}~. \end{aligned}$$
(25)
Table 1 The numerical values of the redshift \(z_{RN}\) for different \(Y_B\), \(Z_B\), and \(X_A\) (in units of M). As an example, we set \(X_B=-1.0\times 10^{10}\) and \(Q=0.05\)

3.3 Numerical results

3.3.1 The traditional case

We first consider the redshift \(z_{RN}\) as the function of the positions of the emitter and the receiver. Since the event horizon of a RN black hole is located at \(R_H=\sqrt{M^2-Q^2}\) in harmonic coordinates, the numerical values of \(Y_B\) and \(Z_B\) can not be too small for avoiding the swallow of light by the black hole. Table 1 gives the numerical values of the redshift \(z_{RN}\) for variable \(Y_B\), \(Z_B\), and \(X_A\) in units of M. We can see that the magnitudes of \(z_{RN}\) are much larger than nowadays precession (\(\sim 10^{-14}\)) of the astronomical measurements of the shift. For the convenience of display, Fig. 2 shows the propagating trajectories of light in the strong field of a RN black hole, plotted for different \(Y_B\) and \(Z_B\).

Fig. 2
figure 2

The three-dimensional null trajectories in the strong field of a RN black hole, plotted with different \(Y_B\) and \(Z_B\) (in units of M). Here, we assume \(X_B=-1.0\times 10^{10}\), \(Q=0.05\), and \(Y_B=Z_B=-6\) (dotted orange), \(-5\) (thick green), \(-3.6865\) (dot-dashed blue), and \(-3.67271\) (thin red) as examples

Table 2 The numerical values of the redshift \(z_{RN}\) for different Q (in units of M), with \(X_B=-1.0\times 10^{10}\), \(Y_B=-10\), and \(Z_B=-5\)

We next discuss the contribution of the electrical charge Q to the frequency shift. Table 2 gives the numerical values of the redshift \(z_{RN}\) for variable Q and \(X_A\) in units of M. It indicates that it is possible to detect the charge-produced contribution to the gravitational redshift in the high-accuracy observations, although the electrical charge of the black hole may be weak (such as \(Q=0.01M\)).

With respect to the gravitational redshift as a function of the rest mass M of the gravitational lens for a given observer, Table 3 presents the numerical values of \(z_{RN}\) for different rest mass M and the emitter’s position (\(X_A\)) in units of \(M_{\odot }\).

Table 3 The numerical values of the redshift \(z_{RN}\) for different M and \(X_A\) (in units of \(M_\odot \)), with \(X_B=-1.0\times 10^{10}\), \(Y_B=-1000\), \(Z_B=-500\), and \(Q=0.05M\)

3.3.2 The non-traditional case

The numerical results above are based on the scenario where the light receiver B is located far enough from the black hole. We now consider the gravitational redshift of light coming from the emitter \(A~(X_A,~Y_A,~Z_A)\) to the receiver \(\bar{B}~(X_{\bar{B}},~Y_{\bar{B}},~Z_{\bar{B}})\) (\(X_B\ll X_{\bar{B}}<X_A\)). With the starting conditions (i.e., Eqs. (18)–(25)), the spacial positions of both the light emitter A and the receiver \(\bar{B}\) can be determined via the process in Sect. 3.3.1, if \(X_A\) and \(X_{\bar{B}}\) are given. Note that in the scenario where both the light emitter and the receiver are located in the strong-field region, the spacial point \((X_B,~Y_B,~Z_B)\) is just regarded as the position of the starting conditions rather than a reception point. In units of M, Table 4 shows the numerical values of the gravitational redshift \(z_{RN}\) of light propagating from A to \(\bar{B}\) for different values of \(Y_B\), \(Z_B\), and \(X_A\), with \(X_B=-1.0\times 10^{10}\) and \(X_{\bar{B}}=20\) as an example.

Table 4 The numerical values of \(z_{RN}\) for light propagating from the emitter A to the receiver \(\bar{B}\) for different \(Y_B\), \(Z_B\), and \(X_A\) (in units of M)

4 Summary

In this work, the gravitational redshift effect of light in the Reissner–Nordström geometry has been studied numerically, in both the traditional strong-field scenario and the non-traditional scenario where both the light emission and reception events happen in the strong-field region. In order to obtain the numerical results of the gravitational redshift, the exact null geodesics in the Reissner–Nordström spacetime have been derived and solved via a new numerical technique to determine the spatial position of the emitter for a given light observer. Since the positions of the emission and reception events are not always known simultaneously, this work might be helpful to the related astronomical measurements for probing strong gravity in future.