Abstract
A perturbative method to compute the deflection angle of both timelike and null rays in arbitrary static and spherically symmetric spacetimes in the strong field limit is proposed. The result takes a quasi-series form of \((1-b_c/b)\) where b is the impact parameter and \(b_c\) is its critical value, with coefficients of the series explicitly given. This result also naturally takes into account the finite distance effect of both the source and detector, and allows to solve the apparent angles of the relativistic images in a more precise way. From this, the BH angular shadow size is expressed as a simple formula containing metric functions and particle/photon sphere radius. The magnification of the relativistic images were shown to diverge at different values of the source-detector angular coordinate difference, depending on the relation between the source and detector distance from the lens. To verify all these results, we then applied them to the Hayward BH spacetime, concentrating on the effects of its charge parameter l and the asymptotic velocity v of the signal. The BH shadow size were found to decrease slightly as l increases to its critical value, and increase as v decreases from light speed. For the deflection angle and the magnification of the images however, both the increase of l and decrease of v will increase their values.
Similar content being viewed by others
![](https://media.springernature.com/w215h120/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-023-12047-z/MediaObjects/10052_2023_12047_Fig1_HTML.png)
Avoid common mistakes on your manuscript.
1 Introduction
Geodesic behavior of both null and timelike rays in the strong field limit (SFL) near the ultra-compact objects, such as black holes (BHs) and neutron stars (NS), is important for many phenomena. The accretion of materials [1], the shape of BH shadow [2], the supernova explosion details [3] and the ring-down phase of BH/NS binary mergers [4] are among the many such phenomena. In order to understand these well, to test BH and NS physics and to test GR in the SFL, therefore it is necessary to understand the general geodesic behavior of null/timelike rays near the gravitational center.
Previously, the null geodesics in this limit has been well studied and understood in many spacetimes. The existence of photon sphere (surface) around some BHs [5] has been well known, and the location of the innermost stable circular orbits [6, 7] has been intensively investigated. In particular, the deflection of null rays in the SFL has been systematically studied by Bozza et al. for static and spherically symmetric (SSS) spacetimes and equatorial motion in stationary and axisymmetric (SAS) spacetimes [8,9,10] and has since been used to study the deflection and GL in the SFL for many interesting spacetimes [11,12,13,14,15,16,17,18,19,20,21]. Note that most of the deflection angles found in these works assumed that the source and detectors are located at infinite distance. Through these studies, it is found that when the impact parameter b approaches the critical value \(b_c\), the deflection angle diverges as
where \({\bar{a}},~{\bar{b}}\) are some coefficients. With this deflection angle, then the single most remarkable consequence is the existence of a series of relativistic image with infinite magnification for rays near the critical photon sphere.
The messenger for these GL images and for GL in the weak field limit were traditionally light rays. However, with the discovery of extragalactic neutrinos from SN1987A [22, 23] and blazar TXS 0506 + 056 [24, 25] and the gravitational waves (GWs) [26,27,28,29,30], and especially the lensed supernovas [31, 32] and simultaneous observation of GW + GRB events [29, 30], we know that timelike rays might also be messengers for GL or other gravitational effects in the SFL. Therefore in this work we will investigate the influence of the asymptotic velocity on the deflection angle and GL in the SFL for general SSS spacetimes. Moreover, we adapt a perturbative method developed previously for the calculation of the deflection angle and time delay in the weak field limit [33,34,35,36,37] to the SFL case, and use it to find a series form of the deflection angle for source and detector at finite distances. The leading two orders of this series will produce the deflection angle (1) when the asymptotic velocity is set to light speed and source/detector distances set to infinity. Therefore results in this work will be more general in that they include the effects of the timelike velocity, the finite distance of the source and detector and contributions from orders higher than constant.
The paper is organized as the following. In Sect. 2 we describe in detail this perturbative method. The result of the deflection angle is given in Eqs. (23)–(26) and its realizations in some simple spacetimes are compared with known results. In Sect. 3, we study the GL, including the apparent angles and the magnification, and BH shadow size in the SFL for signals with arbitrary velocity and source/detector from finite distances. In Sect. 4, the perturbative method and the GL results then are applied to the Hayward spacetime and the effects of the charge parameter and signal velocity are analyzed. We summarize and discuss possible extensions in the end.
2 Perturbative method
We start from the most general SSS metric, which is described by
where \((t,~r,~{\theta },~\varphi )\) are the coordinates and A, B, C are metric functions depending on r only. The function C(r) can be further chosen to \(r^2\) (at least locally). However, sometimes in special coordinate systems this is not explicitly set so we will keep it free here.
In this work, we will study signals that do not interact with the background matter or field, and neither will they cause back-reactions to the spacetime. Correspondingly, the geodesic equations are
where without losing any generality we have set \({\theta }=\pi /2\). \(\kappa =0,~1\) for massless and massive particles respectively. Here L and E are the angular momentum and energy of the signal (per unit mass) respectively. They can be related to the impact parameter b of the signal and its velocity v at infinity by
The change of the angular coordinate from source located at radius \(r_s\) to detector at radius \(r_d\) then is
We assume that the detector is located far away from the gravitational center while \(r_s\) is not necessarily so. Here \(r_0\) is the closest approach defined by \({\dot{r}}|_{r=r_0}=0\) which after using Eq. (3a) becomes
This \(r_0\) can also be related to the impact parameter b by using Eqs. (4) and (6)
We also assume that the spacetime contains a particle (or photon) sphere below which the particle (or photon) will spiral into the BH and not escape. This particle sphere has a radius \(r_c\) defined as the critical point of the denominator of Eq. (5)
If the closest approach \(r_0\) equals particle sphere radius \(r_c\), then we call the impact parameter corresponding to this \(r_0\) the critical impact parameter \(b_c\). That is, using Eq. (7),
For example, for Schwarzschild spacetime, it is well known that for light signal with \(\kappa =0\), the photon sphere has a radius \(r_c=3M\) as predicted by Eq. (8) and a critical impact parameter \(b_c=3\sqrt{3}M\) which can be verified using Eq. (9). While for light signal in RN BH spacetime, it is known that [38]
We now define a function p(x) that is inspired by Eq. (9)
and denote its inverse function as q(x). Clearly, these functions satisfy \( p \left( \frac{1}{r_0}\right) =\frac{1}{b_c}-\frac{1}{b}\) and
Using function q(x), for \(\Delta \phi \) in Eq. (5) we then do a change of integration variables from r to \(\xi \) linked by
such that after using Eqs. (4), (12) and (13) the various terms in the integral (5) becomes respectively,
where \(q=q(\xi /b_c)\) and \(q^\prime \) is its derivative. For quantity \(\eta _{s,d}\), it is through them that \(\Delta \phi \) depends on the finite distance \(r_s\) and \(r_d\). Also note that \(\arcsin (1-\eta _{d})\) is the apparent angle of the GL images observed by the detector (see Refs. [33, 39]) and in the infinite \(r_{s,d}\) limit, we will have \(\eta _{s,d}=1\) because \(C(r_{s,d}\rightarrow \infty )\rightarrow r_{s,d}^2\). The change of variables (15) is the key step that enables the later integrability of \(\Delta \phi \) in Sect. 2.1. Organizing the terms in Eq. (15) together, Eq. (5) is transformed to
where \(a\equiv 1-b_c/b\). Then our target for calculating \(\Delta \phi \) in the SFL becomes to calculate this integral in the limit \(b\rightarrow b_c^+\), i.e., \(a\rightarrow 0^+\).
2.1 Perturbative computation of \(\Delta \phi \)
To proceed from Eq. (16), we will denote the integrand of Eq. (16), except the factor \(1/\sqrt{\xi -a }\), as
Since we are interested in the small a limit of the integral, to which the contribution from \(y(\xi ,a)\) when \(\xi \) is small is expected to be large, we can directly expand \(y(\xi ,a)\) for small \(\xi \) and then attempt to carry out the integral. The square-root factor of \(y(\xi ,a)\) has the following expansion
Denoting the rest factors of \(y(\xi ,a)\) as \(f(\xi )\),
then one can show that it has an expansion
where the initial index is − 1 due to the \(q^\prime \) factor in \(y(\xi ,a)\) and \(f_n\) are the coefficients. We can then combine the above two expansions and collect according to the power of \(\xi ^n\)
where \(y_{n,m}\) denote coefficients of corresponding powers of \(\xi , ~a\) and \((2-a)\). Note that these \(y_{n,m}\) are neither \(\xi \) nor a dependent and can be directly worked out once the metric functions are known, as will be shown in Sect. 2.1. The \(\Delta \phi \) in Eq. (16) consequently becomes
At this point, the integrability of \(\Delta \phi \) becomes apparent because the integrals of the form \(\displaystyle \int _a^{\eta _i} \frac{\xi ^{n/2}}{\sqrt{\xi -a}}\mathrm {d}\xi ~(n=-1,0,\ldots )\) can always be carried out. For even and odd n respectively, the results of such integrals are given by the Eq. (A1) in Appendix A. Substituting them into Eq. (22), \(\Delta \phi \) finally becomes
It is seen that the only divergence in the SFL is proportional to \(\ln a\) and caused by the \(k=m=0\) term. In the small a limit, all functions of a here can be further expanded and then this \(\Delta \phi \) can be thought as a quasi-series of a, with only one term in the coefficient of each \(a^n~(n=0,~1,~\ldots )\) containing one \(\ln a\). That is,
where \(-C_n\) and \(D_n\) are coefficients depending on the spacetime behaviour near the particle sphere through \(y_{k,m}\), on the finite distance \(r_{s,d}\) through \(\eta _{s,d}\) and on the particle velocity v through both. To the \({\mathcal {O}}(a)^0\) order, only the \(m=0,~j=k\) terms in Eq. (23) contribute to \(\Delta \phi \), i.e.,
where \(C_0\) and \(D_0(\eta _s,\eta _d)\) can be read off directly from Eq. (25) to be
To link \(y_{n,m}\) to the behavior of the spacetime in a more transparent way, we will first express them using expansions of the metric functions around the particle sphere. It will be seen that for any particular n, the \(y_{n,m}\) are linked to the metric expansion coefficients up to the n-th order. And then in Table 1, we will apply these results to particular spacetimes and compare \(\Delta \phi \) found using our method to known analytic formulas and numerical values.
Assuming that the metric functions A(r), B(r) and C(r) have the following series expansion at the particle sphere \(r=r_c\)
then we see that the very fact that \(r_c\) is the radius of the particle sphere demands through Eq. (8) that
This condition provides a constraint from which we can express \(a_1\) in terms of \(a_0,~c_0\) and \(c_1\)
Moreover, the critical impact parameter in Eq. (9) can also be related to these coefficients
It is also interesting to note that this value depends only on the metric functions A(r) and C(r) but not B(r). Furthermore, without losing any generality, C(r) can be set to \(r^2\). In this case, the expansion (29c) of C(r) only contains three terms
If the metric function \(B(r)=1/A(r)\) as in many SSS cases, then the entire set of B(r)’s coefficients \(b_n~(n=0,~1,~\ldots )\) can be correlated with that of A(r) and \(r_c\). In these cases, the number of independent coefficients will be much smaller.
Using the expansions (29), together with Eqs. (12), (17), (21) and the Lagrangian inverse theorem, we can compute the coefficients \(y_{n,m}\) to any desired order. The first few \(y_{n,0}\) which are crucial for \(\Delta \phi \) to the \({\mathcal {O}}(a)^0\) order are
where constants \(T_2\), \(T_3\) are
It is seen that \(y_{-1,0}\), which determines the divergence as \(a\rightarrow 0^+\), is fixed by the metric expansion coefficients \(a_{0, 2},~b_0\) and \(c_{0,1,2}\) but not the higher order coefficients. Higher order \(y_{n,0}\) (\(n= 1,2\)) are given in Appendix A in Eq. (34c-d) because of their excessive length. From these, one finds that for a general n, \(y_{n,0}\) are determined by coefficients up to \(a_{n+3},~b_{n+1}\) and \(c_{n+3}\). Once the spacetime metric is known and its \(r_c\) radius is found, then all these \(y_{n,0}\) can be readily obtained from Eq. (34).
2.2 Comparison with known results
Now we can apply the above Eqs. (25)–(28) for \(\Delta \phi \) to particular spacetimes to verify the validity of our methodology by comparing our results to others in the SFL. In Table 1, we list the spacetimes and the quantities we compared, the method for comparison (analytical or numerical) and the corresponding references. All these literatures only worked for null signal and most of the them only presented deflection angle numerically. In all literature compared, our Eq. (25) were able to reproduce the corresponding quantities in that spacetime.
3 GL and BH shadow size in the SFL
GL in the SFL (and also the weak field limit), including the image apparent angular positions and their magnifications, are always solved from the GL equation that is applicable to the case. Previously, GL equation was usually built using some approximate geometrical relations between the source and lens distances, the source’s angular positions, and the deflection angle for source and detector located at infinity. However, in simple spacetimes such as SSS spacetimes, using \(\Delta \phi \) that works for source and detector located at finite distances, we show now that an easier and more exact GL equation system can be established. This system contains two equations and is applicable to GL in both strong and weak field limits. It also involves very little geometrical approximation and is usually easy to solve for the image apparent angles. In essence, this system is equivalent to the exact GL equations that are proposed by Perlick [40].
The first equation links \(\Delta \phi \) to the source coordinate \((r_s,~\phi _s)\) and the detector coordinates \((r_d,~\phi _d)\) (see Fig. 1). Note that \(\phi _s,~\phi _d\in [0,2\pi )\) and without losing any generality, later on we can set \(\phi _d=0\). This equation is nothing but the very definition of \(\Delta \phi \)
where integer \(n\ge 1\) is the number that the trajectory loops around the center and p is used to denote collectively all other parameters of the spacetime. The \(s=\pm 1\) is a sign corresponding to the anti-clockwise and clockwise looping directions respectively. From this equation, one is able to solve for each n the two b’s from the two directions that allow the trajectory starting from the source to be received at the detector. Using the \(\Delta \phi \) to the \(\mathcal {O}(a)^0\) order, which is given in Eqs. (26), (36) becomes
where we denoted \(\Delta \phi _{sd}=\phi _s-\phi _d\). Immediately the impact parameter can be solved as
where \(b_c\) is given in Eq. (9). Clearly, as n varies, there will be a discrete series of b allowing the signal to reach the detector. Moreover, because the \(\Delta \phi (r_s,~r_d,~b,~p)\) we substituted into Eq. (36) become more accurate when b approaches \(b_c\), i.e., \(a\rightarrow 0^+\), the solution (38) will be more precise when n is larger. Note that \(b_{n,s}\) are also dependent on the finite distances of source and detector through the coefficient \(D_0(\eta _s,\eta _d)\) with \(\eta _{s,d}\) given in Eq. (15b), although this dependence is weak especially when \(r_s,~r_d\) and n are large.
The purpose of the GL is usually to solve the image apparent angles \(\theta \) against the detector-lens axis (see Fig. 1) and their magnification. For geodesics in SSS spacetimes, this can be achieved by using an exact apparent angle formula once b is known
We refer the reader to Ref. [33, 39] for the derivation of this formula. Substituting Eq. (38) into the above equation, it is immediately clear that one discrete series of \(\theta _{n,s}~(n=1,2,3,\ldots )\) is allowed from each side (\(s=\pm 1\)) of the lens
These are the apparent angular locations of the relativistic images in the SFL. Here in Eq. (40) for the first time we give an explicit formula for the apparent angle that works for all SSS spacetimes, particle velocity, source and detector distance. An approximate form of this result for null rays was obtained by Bozza in Ref. [8] and used/re-derived by many others in particular spacetimes [11,12,13,14,15,16,17,18,19,20, 38]. When \(n\rightarrow \infty \), \(\theta _{\infty ,s}\) becomes independent of \(C_0,~D_0\) as well as \(\Delta \phi _{sd}\) and reaches its minimal value, i.e., the size of the black hole shadow
It is seen that the shadow size is determined completely by the location of the detector \(r_d\), the particle sphere size \(r_c\), the metric functions at these locations and the velocity of the signals forming the shadow. Although Eq. (41) is not a difficult result, to our best knowledge, such simple relation between the spacetime metric and shadow size was never reported before, certainly not for signals with general asymptotic velocities.
With the apparent angles of the images known, now we show that the magnifications of the relativistic images form a geometrical series with a convergence factor determined by \(C_0\) only. The magnification of the n-th relativistic image is defined as [38, 45]
where \(\beta \) is the angle of the source against the lens-detector axis if there was no GL (see Fig. 1). To facilitate the computation of \(\mu _{n,s}\), we have to link \(\beta \) to other known quantities. This can be done through the geometrical relation in triangle \(\triangle SAD\) that
which links \(\beta \) to \(\Delta \phi _{sd}\). Therefore using Eq. (43) in Eq. (42) and together with Eq. (40), the magnification for the n-th image under the condition that \(r_d\gg b_c\) becomes
This magnification depends on n and \(\Delta \phi _{sd}\) in some interesting ways. Clearly, as n increases, the magnifications form a geometric series with the convergence factor \(\text {e}^{-\frac{2\pi }{C_0}}\). This means that the relativistic images will become weaker and weaker as one goes to inner images with smaller \(\theta _{n,s}\). On the other hand, if one holds n and varies \(\Delta \phi _{sd}\), then the denominator of Eq. (44) indicates that the magnification diverges at
(see Fig. 5). Moreover, because \(0\le \Delta \phi _{sd}<2\pi \), one can also verify from Eq. (44) that the magnification of the n-th relativistic image with \(\Delta \phi _{sd}\) that is not close to the detector-lens axis is always larger than that of the \((n+1)\)-th image with any \(\Delta \phi _{sd}\) which might be close to 0 or \(\pi \). This implies that when discussing series of relativstic images in GL in the SFL, the angular location of the source is not limited to \(\Delta \phi \approx \pi \) as in the case of GL in the weak field limit or \(\Delta \phi \approx 0\) as in the case of retrolensing.
Since usually the relativistic images with \(n\ge 2\) are not resolvable from each other in reasonable future (see Sect. 4), the images with \(n\ge 2\) will only form one image. The total magnification of this image is
To deduce properties of the BH spacetime, which are characterized by \(C_0\) and \(D_0\), we can use the flux ratio of this image against the first relativistic image [8], which is
Moreover, one can also use the positions of \(\theta _{1,s}\) and \(\theta _{\infty ,s}\) to find two ratios
From (47) and (48), one is able to solve the coefficients \(C_0\) and \(D_0\), and the angular coordinate difference \(\Delta \phi _{sd}\)
Again, as pointed out by Bozza [8], by measuring the flux and angular position ratios, one is able to reconstruct the full SFL expansion of the deflection angle. Further more, since \(C_0\) and \(D_0\) depend on the nature of the BH, this also allows us to deduce information about the central BH.
4 The Hayward BH spacetime case
In this section, we apply our perturbative method for solving \(\Delta \phi \) and the GL equations in the SFL to the Hayward BH spacetime. Previously, GL in the strong field limit in other spacetimes has been studied extensively using traditional GL equations (see e.g. [20, 46]). While for Hayward spacetime, Ref. [47] has studied the geodesics in it, including those around the photon sphere. The metric for the Hayward spacetime is given by [48]
where m is the spacetime mass and the charge parameter l is smaller than a critical value \(l<4m/(3\sqrt{3})\equiv l_c\) in order for the spacetime to contain a BH. The equation determining the location of the particle sphere is given by Eq. (8), which for the Hayward BH spacetime becomes
After solving this equation numerically for a given E (or v), m and l then using Eq. (9), one can obtain the corresponding critical impact parameter.
In Fig. 2, we plot the solved \(r_c\) and \(b_c\) as a function of l from 0 to \(l_c\) for two different velocities. It is seen that the with the increase of l, both \(r_c\) and \(b_c\) decrease monotonically from their Schwarzschild values, i.e. 3m and \(3\sqrt{3}m\). Then one would expect that the gravitational effect become stronger if the test particles come close to the same distance to the critical sphere. The decrease of the signal velocity increases \(b_c\) more dramatically than \(r_c\), which is also expected because it is known that in Schwarszchild spacetime as v decreases to zero, \(b_c\) approaches infinity while \(r_c\) only increases to 4m. Similar increase of \(b_c\) and \(r_c\) also happens in the RN BH spacetime [38].
Once \(r_c\) is known, then the expansions of the metric functions in (52) around \(r_c\) can be worked out. To the \(\mathcal {O}(r-r_c)^4\), they are
Reading off the corresponding coefficients \(a_n,~b_n\) and \(c_n\) and substituting into Eq. (34), one can obtain the coefficients in the deflection angle of the Hayward spacetime
Higher order terms can be similarly obtained but they are too long to presented here. Substituting them further into Eqs. (25), the deflection angle in the Hayward BH spacetime in the SFL becomes
In Fig. 3a, we plot the relative difference \(|\Delta \phi _{\text {H}}/\Delta \phi _{\text {{H,num}}}-1|\) between \(\Delta \phi _{\text {H}}\) obtained using Eq. (56) with the truncation of the summation to order 0, 2, 4, 6, 8, 10 and 12 (from bottom to top) and the corresponding numerical value \(\Delta \phi _\text {H,num}\) obtained using numerical integration of the definition Eq. (5) as functions of b as it approaches \(b_c\) from above. It is seen that as the order of truncation in the summation of Eq. (56) increases, the deviation of our analytical result from the true value obtained by the numerical integration of Eq. (5) decreases, by a factor of \(\sim 3\) for every two orders. At order 12, the relative deviation is only about \(10^{-5}\) when \(1-b_c/b\) is about \(10^{-7}\), which corresponds to the \(\Delta \phi _{\text {H}}\approx 3\pi \), i.e., the trajectory loops 1 circle around the BH. Moreover, for each fixed order, the deviation decreases monotonically as b approaches \(b_c\). Both the above features match the fact that our result (56) is essentially a perturbative series approximating the true \(\Delta \phi \).
In Fig. 3b, the coefficients \(C_0,~D_0\) and \(\Delta \phi _{\text {H}}\) as functions of the parameter l for different values of v are plotted. The increase of \(C_0\) and decrease of \(D_0\) as the charge parameter l increases are very similar to the effect of electric charge Q in the case of deflection in the SFL in RN BH spacetime [38]. This plot also shows that the \(\Delta \phi _{\text {H}}\) increases as l increases, which is in accordance with the decrease of \(b_c\) in Fig. 2. On the other hand, although the decrease of the velocity from 1 to 0.9 in this case still increases \(\Delta \phi _{\text {H}}\), its effect is much weaker than the increase of l, unlike the case in Fig. 2. This is a reflection that the decrease of v indeed increases the particle sphere size and therefore the looping of the trajectory happens at a larger radius, reducing \(\Delta \phi _\text {H}\)’s amount of increase.
a \(|\Delta \phi _{\text {H}}/\Delta \phi _{\text {H,num}}-1|\) for \(l/m=1/2\) and \(v=1\) and Eq. (56) truncated at order 0, 2, 4, 6, 8, 10 and 12 (from top to bottom). Inset: numerical value obtained from Eq. (5). b Variation of coefficients \(C_0,~D_0\) and deflection \(\Delta \phi _{\text {H}}\) for the Hayward spacetime with respect to l/m for velocities \(v=1\) (solid) and \(v=0.9\) (dashed) respectively
a Relativistic Einstein rings assuming that the SgrA* BH is an Hayward BH for \(v=1\) and \(l/m=0, ~1/2,~3/4\) from outer to inner circle. Zoom-in: partially resolved \(\theta _{1,s}\) and \(\theta _{2\cdots \infty ,s}\). b Relativistic Einstein rings for \(l/m=1/2\) and \(v=1,~0.9, ~0.8\) from inner to outer respectively. Zoom-in: Partically resolved Einstein rings for \(v=0.8\). c The dependence of \(\theta _{1,s}\) and \(\theta _{\infty ,s}\) on (top): l while holding \(v=1\) and (bottom): v while holding \(l/m=0.5\)
Substituting the \(\Delta \phi _{\text {H}}\) in Eq. (56) into Eq. (40), we are able to solve the apparent angles \(\theta _{n,s}\). In Fig. 4a, b, we plot the Einstein rings in the SFL, which are located at \(\theta _{n,s}\) when \(\Delta \phi _{sd}=\pi \). Here we assume that \(m=4.12\times 10^6M_\odot \) is the SgrA* BH mass, \(r_s=r_d=8.12\) [kpc] is the distance to SgrA* BH [49]. However, note that in the zoom-out large plot, different rings correspond to the relativistic Einstein rings of different l (from outer to inner circle in Fig. 4a, \(l/m=0, ~1/2,~3/4\)) or different v (from inner to outer circle in Fig. 4b, \(v=1,~0.9,~0.8\) respectively). Only in the zoom-in insets the Einstein rings for a fixed l or v are resolved between \(\theta _{1,s}\) and \(\theta _{2\cdots \infty ,s}\). In general, the first relativistic ring \(\theta _{1,s}\) is always larger than higher order ones \(\theta _{2\cdots \infty ,s}\), separated from them by roughly \(\mathcal {O}(0.1)\) [\(\mu \)as]. Therefore, these higher order rings are not even observationally resolvable in the near future. Their locations are practically the same as the location of the BH shadow of the Hayward BH. In Fig. 4c top and bottom plots respectively, the dependence of the outmost ring location \(\theta _{1,s}\) and the inner overlapped ring location \(\theta _{2\cdots \infty ,s}\) on the spacetime parameter l and signal variable v are plotted. It is clear that as l increases or v decreases, the Einstein ring and shadow sizes decrease or increase respectively. Moreover, change of v has a larger effect than that of l on \(\theta _{n,s}\), in agreement with their effects on \(b_c\) as indicated in Fig. 2. These features in the Hayward spacetime are similar to the effect of charge and velocity in the RN spacetime [38].
a The magnification of the relativistic images in the Hayward BH spacetime. \(m,~r_d,~v,~l\) are the same as in Fig. 4 and \(r_s=r_d/2\) (top), \(r_s=r_d\) (center) and \(r_s=1.5r_d\) (bottom) for \(n=1,~2\) and 3. b The dependence of the magnification on l while holding \(v=1\) (top) and on v while holding \(l/m=0.5\) (bottom). \(\Delta \phi _{sd}=5\pi /6\) and \(r_s=r_d\) is assumed
The magnification of the relativistic images in the Hayward BH spacetime can be obtained using Eq. (44). In Fig. 5a, we plot the magnification of the images for different n, \(\Delta \phi _{sd}\) and \(r_s/r_d\), and in Fig. 5b the magnification as a function of l/m and v. It is seen from Fig. 5a that as expected, for all \(\Delta \phi _{sd}\) and \(r_s/r_d\), the magnification \(\mu _{1,s}\) of the outer-most image is always much larger than that of the inner images. Because the ratio of magnifications of the two successive images is given by \(\exp (-2\pi /C_0)\) and \(C_0<2\), \(\mu _{1,s}\) is indeed larger than \(\mu _{\sum ,s}\), as predicted by Eq. (47). The three subplots also verify the three possible cases found in Eq. (45). The existence of these three cases is robust and purely due to the geometric variables \(\Delta \phi _{sd},~r_s\) and \(r_d\). Figure 5b shows the effect of l and v to the magnification. Given that both the decrease of v and increase of l will increase the value of \(C_0\), as can be seen from the Fig. 3b, using Eq. (44) then it is immediately clear that these changes will increase the magnification too. This implies that the the Hayward BH with larger charge or signal with slower velocity tends to have larger magnification of the relativistic images, which is confirmed in Fig. 5b.
5 Discussions
In this work, we developed a perturbative method to compute the deflection angle of both null and timelike signals in the SFL in the SSS spacetimes. In doing so, the effects of finite source/detector distances are also taken into account. The result takes a quasi-power series form of Eq. (24), i.e.,
where \(a=\left( 1-\frac{b_c}{b}\right) \) is the infinitesimal expansion parameter as \(b\rightarrow b_c^+\) and the series coefficients of \(a^n\) contain a weak logarithmic divergence. The \(a^0\) order for light ray has been well known and widely applied in many spacetimes. The form of the first few orders in Schwarzschild spacetime was also known for light signal by expanding the elliptical functions representing the deflection angle [41]. However, the general form of \(\Delta \phi \) for higher order terms for general SSS spacetime, especially for timelike signal is first derived here. Using this result, we connected the behavior of the spacetime near the particle (or photon) sphere, the particle velocity and the finite distances to the deflection angle in the SFL.
Using a new set of GL equations, we were able to solve the apparent angles and their magnifications of the relativistic images in the SFL for signals with arbitrary velocity. A simple formula for the shadow size was found in terms of the metric functions, particle sphere size and detector radius.
Applying the perturbative method and results to the Hayward spacetime, we verified that the series approaches the true deflection angle as the truncation order increases and \(b\rightarrow b_c^+\). As the charge parameter l increases, the particle sphere size decreases, the deflection angle increases, the apparent angle decreases and magnification increases. On the other hand, as the decrease of the signal velocity from that of light, the particle sphere size, the deflection angle, the apparent angle and magnification all increase.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is an analytical work without large data set. All data used here has been properly referred.].
References
C. Bambi, Astrophys. J. 761, 174 (2012). https://doi.org/10.1088/0004-637X/761/2/174. arXiv:1210.5679 [gr-qc]
A. Grenzebach, V. Perlick, C. Lämmerzahl, Phys. Rev. D 89(12), 124004 (2014). https://doi.org/10.1103/PhysRevD.89.124004. arXiv:1403.5234 [gr-qc]
C.D. Ott, E. Abdikamalov, P. Mösta, R. Haas, S. Drasco, E.P. O’Connor, C. Reisswig, C.A. Meakin, E. Schnetter, Astrophys. J. 768, 115 (2013). https://doi.org/10.1088/0004-637X/768/2/115. arXiv:1210.6674 [astro-ph.HE]
T. Assumpcao, V. Cardoso, A. Ishibashi, M. Richartz, M. Zilhao, Phys. Rev. D 98(6), 064036 (2018). https://doi.org/10.1103/PhysRevD.98.064036. arXiv:1806.07909 [gr-qc]
C.M. Claudel, K.S. Virbhadra, G.F.R. Ellis, J. Math. Phys. 42, 818–838 (2001). https://doi.org/10.1063/1.1308507. arXiv:gr-qc/0005050
D. Psaltis, Living Rev. Relativ. 11, 9 (2008). https://doi.org/10.12942/lrr-2008-9. arXiv:0806.1531 [astro-ph]
M.A. Abramowicz, P.C. Fragile, Living Rev. Relativ. 16, 1 (2013). https://doi.org/10.12942/lrr-2013-1. arXiv:1104.5499 [astro-ph.HE]
V. Bozza, Phys. Rev. D 66, 103001 (2002). https://doi.org/10.1103/PhysRevD.66.103001. arXiv:gr-qc/0208075
V. Bozza, G. Scarpetta, Phys. Rev. D 76, 083008 (2007). https://doi.org/10.1103/PhysRevD.76.083008. arXiv:0705.0246 [gr-qc]
V. Bozza, Gen. Relativ. Gravit. 42, 2269–2300 (2010). https://doi.org/10.1007/s10714-010-0988-2. arXiv:0911.2187 [gr-qc]
V. Perlick, Living Rev. Relativ. 7, 9 (2004)
R. Whisker, Phys. Rev. D 71, 064004 (2005). https://doi.org/10.1103/PhysRevD.71.064004. arXiv:astro-ph/0411786
V. Bozza, F. De Luca, G. Scarpetta, M. Sereno, Phys. Rev. D 72, 083003 (2005). https://doi.org/10.1103/PhysRevD.72.083003. arXiv:gr-qc/0507137
E.F. Eiroa, Phys. Rev. D 73, 043002 (2006). https://doi.org/10.1103/PhysRevD.73.043002. arXiv:gr-qc/0511065
K.K. Nandi, Y.Z. Zhang, A.V. Zakharov, Phys. Rev. D 74, 024020 (2006). https://doi.org/10.1103/PhysRevD.74.024020. arXiv:gr-qc/0602062
Sb Chen, Jl Jing, Phys. Rev. D 80, 024036 (2009). https://doi.org/10.1103/PhysRevD.80.024036. arXiv:0905.2055 [gr-qc]
I.Z. Stefanov, S.S. Yazadjiev, G.G. Gyulchev, Phys. Rev. Lett. 104, 251103 (2010). https://doi.org/10.1103/PhysRevLett.104.251103. arXiv:1003.1609 [gr-qc]
N. Tsukamoto, T. Harada, K. Yajima, Phys. Rev. D 86, 104062 (2012). https://doi.org/10.1103/PhysRevD.86.104062. arXiv:1207.0047 [gr-qc]
S. Sahu, M. Patil, D. Narasimha, P.S. Joshi, Phys. Rev. D 86, 063010 (2012). https://doi.org/10.1103/PhysRevD.86.063010. arXiv:1206.3077 [gr-qc]
S.W. Wei, K. Yang, Y.X. Liu, Eur. Phys. J. C 75, 253 (2015). https://doi.org/10.1140/epjc/s10052-015-3556-9. arXiv:1405.2178 [gr-qc]
N. Tsukamoto, Y. Gong, Phys. Rev. D 95(6), 064034 (2017). https://doi.org/10.1103/PhysRevD.95.064034. arXiv:1612.08250 [gr-qc]
K. Hirata et al. [Kamiokande-II Collaboration], Phys. Rev. Lett. 58, 1490 (1987)
R.M. Bionta et al., Phys. Rev. Lett. 58, 1494 (1987)
M.G. Aartsen et al. [IceCube and Fermi-LAT and MAGIC and AGILE and ASAS-SN and HAWC and H.E.S.S. and INTEGRAL and Kanata and Kiso and Kapteyn and Liverpool Telescope and Subaru and Swift NuSTAR and VERITAS and VLA/17B-403 Collaborations], Science 361(6398), eaat1378 (2018)
M.G. Aartsen et al. [IceCube Collaboration], Science 361(6398), 147 (2018)
B.P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Phys. Rev. Lett. 116(6) (2016). https://doi.org/10.1103/PhysRevLett.116.061102. arXiv:1602.03837 [gr-qc]
B.P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Phys. Rev. Lett. 116(24) (2016). https://doi.org/10.1103/PhysRevLett.116.241103. arXiv:1606.04855 [gr-qc]
B.P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Phys. Rev. Lett. 119(14) (2017). https://doi.org/10.1103/PhysRevLett.119.141101. arXiv:1709.09660 [gr-qc]
B.P. Abbott et al. [LIGO Scientific and Virgo Collaborations], Phys. Rev. Lett. 119(16) (2017). https://doi.org/10.1103/PhysRevLett.119.161101. arXiv:1710.05832 [gr-qc]
B.P. Abbott et al. [LIGO Scientific and Virgo and Fermi-GBM and INTEGRAL Collaborations], Astrophys. J. 848(2), L13 (2017). https://doi.org/10.3847/2041-8213/aa920c. arXiv:1710.05834 [astro-ph.HE]
P.L. Kelly et al., Science 347, 1123 (2015). https://doi.org/10.1126/science.aaa3350. arXiv:1411.6009 [astro-ph.CO]
A. Goobar et al., Science 356, 291 (2017). https://doi.org/10.1126/science.aal2729. arXiv:1611.00014 [astro-ph.CO]
K. Huang, J. Jia, JCAP 08, 016 (2020). https://doi.org/10.1088/1475-7516/2020/08/016. arXiv:2003.08250 [gr-qc]
H. Liu, J. Jia, arXiv:2006.03542 [gr-qc]
H. Liu, J. Jia, Eur. Phys. J. C 80(10), 932 (2020). https://doi.org/10.1140/epjc/s10052-020-08496-5. arXiv:2006.11125 [gr-qc]]
Y. Duan, W. Hu, K. Huang, J. Jia, Class. Quantum Gravity 37(14), 145004 (2020). https://doi.org/10.1088/1361-6382/ab852c. arXiv:2001.03777 [gr-qc]
J. Jia, Eur. Phys. J. C 80(3), 242 (2020). https://doi.org/10.1140/epjc/s10052-020-7796-y. arXiv:2001.02038 [gr-qc]
X. Pang, J. Jia, Class. Quantum Gravity 36(6), 065012 (2019). https://doi.org/10.1088/1361-6382/ab0512. arXiv:1806.04719 [gr-qc]
Michael H. Soffel, Relativity in Astrometry, Celestial Mechanics and Geodesy (Springer Science & Business Media, Berlin, 2012)
V. Perlick, Phys. Rev. D 69, 064017 (2004). https://doi.org/10.1103/PhysRevD.69.064017. arXiv:gr-qc/0307072
S.V. Iyer, A.O. Petters, Gen. Relativ. Gravit. 39, 1563–1582 (2007). https://doi.org/10.1007/s10714-007-0481-8. arXiv:gr-qc/0611086
A.S. Majumdar, N. Mukherjee, Int. J. Mod. Phys. D 14, 1095 (2005). https://doi.org/10.1142/S0218271805006948. arXiv:astro-ph/0503473
A. Bhadra, Phys. Rev. D 67, 103009 (2003). https://doi.org/10.1103/PhysRevD.67.103009. arXiv:gr-qc/0306016
E.F. Eiroa, C.M. Sendra, Class. Quantum Gravity 28, 085008 (2011). https://doi.org/10.1088/0264-9381/28/8/085008. arXiv:1011.2455 [gr-qc]
E.F. Eiroa, D.F. Torres, Phys. Rev. D 69, 063004 (2004). https://doi.org/10.1103/PhysRevD.69.063004. arXiv:gr-qc/0311013
J. Schee, Z. Stuchlik, JCAP 06, 048 (2015). https://doi.org/10.1088/1475-7516/2015/06/048. arXiv:1501.00835 [astro-ph.HE]
T. Chiba, M. Kimura, PTEP 2017(4), 043E01 (2017). https://doi.org/10.1093/ptep/ptx037. arXiv:1701.04910 [gr-qc]
S.A. Hayward, Phys. Rev. Lett. 96, 031103 (2006). https://doi.org/10.1103/PhysRevLett.96.031103. arXiv:gr-qc/0506126
A. Eckart, A.A. Tursunov, M. Zajacek, M. Parsa, E. Hosseini, M. Subroweit, F. Peissker, C. Straubmeier, M. Horrobin, V. Karas, PoS (APCS2018) 048
I.S. Gradshteyn, I.M. Ryzhik, Table of Integrals, Series, and Products, 8th edn. (Academic Press, New York, 2014). (Eq. 2.511, 2.521 and 2.582.1)
Acknowledgements
We thank Dr. Nan Yang and Mr. Haotian Liu for valuable discussions. This work is supported by the NNSF China 11504276.
Author information
Authors and Affiliations
Corresponding author
Appendix A: High order \(y_{n,m}\) and integration formulas
Appendix A: High order \(y_{n,m}\) and integration formulas
The higher order coefficients of \(y_{0,n}\) in Eq. (34) are
where \(T_n\) are given in Eq. 35
For the integrals appearing in Eq. (22), we have for non-negative integer n the following result
They can be proven by using successive changes of variables \(\xi =a+t^2\) and \(t=\sqrt{a}\cot (s)\) and then use integral formula in Ref. [50]. Their correctness can also be directly checked numerically.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Jia, J., Huang, K. Perturbative deflection angle, gravitational lensing in the strong field limit and the black hole shadow. Eur. Phys. J. C 81, 242 (2021). https://doi.org/10.1140/epjc/s10052-021-09026-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09026-7