Off-equatorial deflections and gravitational lensing. II. In general stationary and axisymmetric spacetimes
Xinguang Ying
School of Physics and Technology, Wuhan University, Wuhan, 430072, China
Junji Jia
[email protected]Department of Astronomy & MOE Key Laboratory of Artificial Micro- and Nano-structures, School of Physics and Technology, Wuhan University, Wuhan, 430072, China
(May 15, 2024)
Abstract
In this work, we develop a general perturbative procedure to find the off-equatorial plane deflections in the weak deflection limit in general stationary and axisymmetric spacetimes satisfying some common variable separation conditions. Deflections of both null and timelike rays with the finite distance effect of the source and detector taken into account are obtained as dual series of and . These deflections allow a set of exact gravitational lensing equations from which the images’ apparent angular positions are solved. The method and general results are then applied to the Kerr-Newmann, Kerr-Sen, and rotating Simpson-Visser spacetimes to study the effect of the spin and characteristic (effective) charge of the spacetimes and the source altitude on the deflection angles and image apparent angles. It is found that in general, both the spacetime spin and charge only affect the deflections from the second non-trivial order, while the source altitude influences the deflection from the leading order. Because of these, it is found that in gravitational lensing in realistic situations, it is hard to measure the effects of the spacetime spin and charge from the images’ apparent locations. We also presented the off-equatorial deflections in the rotating Bardeen, Hayward, Ghosh, and Tinchev black hole spacetimes.
Deflection of light rays in gravity has been extensively studied from the very early stage of General Relativity [2, 1]. Nowadays, gravitational lensing (GL) has developed into a powerful tool in astronomy, ranging from measuring the mass of galaxies or their clusters [3], studying distributions of dark matter [4], properties of supernovas [5] and even testing alternative gravitational theories [6, 7].
The simplest scenario of signal deflection and GL is those of light rays in static and spherically symmetric (SSS) spacetime, or in the equatorial plane of stationary and axisymmetric (SAS) spacetimes in the weak deflection limit (WDL). With the fast developments of astroparticle physics [8, 9], gravitational wave detection [10] and black hole (BH) imaging [11, 12] however, enormous effort has been devoted to the extension to the deflection and GL of timelike signals [14, 13], with finite source and detector distance [15], and in the strong deflection limit [16, 17, 18]. Different analytical methods were also developed, including the perturbative methods [20, 19, 18, 21] and the more recent Gauss-Bonnet theorem-based methods [22].
However, extension to the non-equatorial deflection and GL in SAS spacetime is still rare (in SSS spacetime essentially there is no non-equatorial motion). Due to the complexity of the motion equations for the off-equatorial trajectories, only a few works have studied the deflection and GL in quasi-equatorial motion of null rays [23, 24, 25] or only numerically in the general non-equatorial case [26, 27], let alone the deflection of both null and timelike rays. In Ref. [28], the general non-equatorial deflection and GL in Kerr spacetime were studied perturbatively for the first time for both null and timelike rays in the WDL, with finite distance effect taken into account. One of the motivations of the current work is to study the condition on the form of SAS spacetime for the perturbative method to be feasible for non-equatorial deflection and GL. We will show that for many SAS spacetimes satisfying a separation condition, the perturbative method is always valid for both null and timelike rays with the finite distance effect automatically taken into account. The second motivation is to reveal the effects of various spacetime parameters on such deflections and GL. Spacetimes will be considered include the Kerr-Newmann (KN), Kerr-Sen (KS) [29], rotating Simpson–Visser (RSV) [30] and a few other ones [32, 33, 34, 31].
The paper is organized as follows.
In Sec. II.1, we first introduce the basic setup of the problem, establish the equations of motion, and study a condition for the perturbative method to work. In Sec. III, we explore a perturbative method to solve the deflection angle in both and direction. The off-equatorial GL equations are then solved in Sec. IV to obtain the apparent angles of the lensed images. The method and deflection and GL results are then applied to the KN, KS, and RSV spacetimes in Sec. V, and the effects of their characteristic parameters are studied. We conclude the paper with a summary and discussion in Sec. VI. Throughout the paper we use the natural unit and the spacetime signature ().
II General framework
In this section, we will derive the deflection angles in the and directions for SAS spacetimes. We will show that this is always possible when the metric functions satisfy certain conditions such that a proper separation of variables in the equations of motion, or equivalently the existence of a generalized Carter constant (GCC), can be accomplished.
II.1 Preliminaries
We start from the most general SAS spacetime, whose metric can always be expressed in the following form
(1)
where are the Boyer-Lindquist coordinates and are functions of
and only.
This metric allows two commutive Killing vectors
where the spacelike corresponding to the rotation symmetry and timelike to the time translation. These Killing vectors generate two conserved quantities of the motion
(2)
(3)
Here the dot stands for the derivative to the proper time or affine parameter of the motion and and can be interpreted as the energy and angular momentum of the particle (per unit mass) respectively. In asymptotically flat spacetimes, can also be related to the asymptotic velocity of the particle through
(4)
From these equations, one can obtain two first derivatives
(5)
(6)
Now for the equations of motion of the and coordinates, we can simply write out their geodesic equations. However, they are second-order equations that are very complicated to simplify. In this work, we will limit our choices of the SAS spacetimes, i.e., putting conditions on the metric functions, such that the motions allow a third conserved constant, i.e. the GCC [35].
We note that unlike the Kerr spacetime case, which not only contains a Carter constant [36] but even second-order Killing tensors [37],
the existence of GCC is not guaranteed in all SAS spacetimes. For those SAS spacetime without GCC, many of them are non-integrable systems and even the geodesics are chaotic, such as Johannsen-Psaltis spacetime [38], Zipoy-Voorhees spacetime [39] and so on.
We will not study these spacetimes in this work.
To see what the existence of such GCC requires, and to obtain (simpler) equations of motion for and , we
will use the Hamiltonian-Jacobian approach.
Our starting point is the action of the free particle for a separable solution, which reads
(7)
where for null and timelike particles respectively. Here and henceforth any function with an or superscript is a function of or only.
The Hamilton-Jacobi equation is given by
We then seek metrics that allow this equation, after multiplied by some proper total factor function , to be separable into and dependent parts.
This can be accomplished if the metric functions , and factor can cast the left-hand sides of the following equations into their right-hand sides
(10a)
(10b)
(10c)
where .
Note here the condition (10c) is for the separability of the case and unnecessary for null signals.
Condition (10a) implies
(11)
In practice, the functions on the right-hand sides of Eq. (10) as well as can be simply read off from the left-hand sides and Eq. (11). One might also notice that there is a freedom of a multiplicative constant in functions and , and additive constant freedom in each pair of functions and . Indeed one can show that these freedoms will be canceled out in the final equations of motion (17) and (18) and therefore not affect the physics. Let us also point out that many SAS spacetimes, including the Kerr spacetime, satisfy these conditions (10).
Using conditions (10) in Eq. (9) and separating the and dependent parts, we obtain
(12)
where the assigned constant is the GCC we are looking for. Note that this GCC also allows some constants because we can always add or multiply some constant to both sides of the first equal sign in Eq. (12). However, these additive or multiplicative constants will not affect the dynamics and therefore can be chosen freely. Eq. (12) then can be split into two equations
(13)
(14)
where we have defined two compact functions and to simplify the notation. We remind that once the metric functions are known, these two functions are determined too.
The function and therefore can be solved and the action (7) becomes
(15)
where and are two signs introduced when taking the square roots in Eqs. (13) and (14).
The motion equations for and coordinates then are found using
(16)
to be
(17)
(18)
II.2 Defining the deflection and
One of the main goals of this work is to find the deflection angles of the trajectory in the WDL. Denoting the source and the detector coordinates as and respectively, this goal is equivalent to finding
(19)
Before we dive further into the technical details however, let us also remind that since we are in a WDL, it is reasonable to assume that during the propagation of the signal, it only experiences one periapsis with radius where is the characteristic length scale of the spacetime, and one extreme value of the azimuth angle . I.e.,
(20)
The existence of such means it is either closer to or than both and , and therefore we always have .
From Eqs. (17) and (18), we see that the above can be inverted to find
(21)
After substituting Eqs. (13) and (14), this yields the more explicit relation
(22)
(23)
where
and is introduced when solving a quadratic equation.
These relations connect the motion constants with .
In Sec. III, we will use to tread for since the latter are less intuitive and usually harder to measure in astronomy.
To obtain the deflections and , we first transform slightly the equations of motion (6), (17) and (18) and show that they can be integrated.
First of all, from Eqs. (17) and (18), one can find easily
Note that when integrating from to (or to ), the first term of Eq. (27) is expected to have (or ). And when integrating from to (or to ), (or ) if is a minimum or (or ) if is a maximum. These sign values caused the extra sign in front of the second integral in Eq. (28).
Similarly, integrating Eq. (25) we will obtain the following relation between initial and final coordinates
(29)
This relation allows us to solve once , the spacetime, and other kinetic variables are known. Therefore from this, we will be able to find the deflection in the direction as defined in Eq. (19).
III Perturbative Method and Deflections
The integrations (28) and (29) which solve the deflection angles however, usually can not be carried out to obtain closed analytical forms.
Therefore in this section, we will develop the perturbative method to approximate these integrals and then obtain the deflection.
III.1 The Perturbative Method
The main idea of the perturbative method is selecting appropriate expansion parameter(s) and expanding the interands into simpler series so that the integrations become doable. In the WDL, there is a natural small parameter suitable for this purpose. When expanding the integrands in Eqs. (28) and (29), one can also anticipate that the expansion coefficients will explicitly depend on the asymptotic behavior of the metric functions.
After a short survey of the applicable spacetime metrics of our method, we found the following expansions can be assumed for the functions and and
(30a)
(30b)
(30c)
(30d)
(30e)
where the constant can be interpreted as the spacetime spin, and without losing any generality, we can always assume . Other coefficients can be determined once the metric functions are known. Note that for the functions of the above form, the relation (20) between and other parameters becomes very explicit as
(31)
and in principle, we can solve in terms of other parameters if needed.
Substituting the above series and using the following simple changes of variables
(32)
in the integrals of Eqs. (28) and (29),
they can be further expanded with as the small parameter into the following series forms
(33)
(34)
where and the small dimensionless quantities are defined as
The coefficients can be computed to any desired high order. Here we only list the first few orders of them
(35a)
(35b)
(35c)
(35d)
(35e)
(35f)
(35g)
(35h)
Some higher-order terms are present in Appendix A.
For the integrals over in Eqs. (33) and (34), we can show that their integrands are always of the form and therefore integrable [28]. For the integral over in these equations, their integrands are always of the form and therefore also integrable.
The results of the integrations are of the form
(36)
(37)
where are the corresponding integral results of the terms respectively. Again, the first few terms are
(38a)
(38b)
(38c)
(38d)
(38e)
(38f)
(38g)
(38h)
and some higher-order results are given in Appendix A.
III.2 Deflection angles
We note that the deflection in Eq. (36) still contains the unknown in its second term coefficients . On the other hand,
Eq. (37) effectively establishes a relation between (or ) and other parameters. Therefore to solve the deflections and , we will have to solve from Eq. (37) first.
In the WDL, can also be expressed in the series form
(39)
where the coefficients are solvable from Eq. (37) using the method of undetermined coefficients. Here we only show the first two orders
Substituting solution Eq. (39) into Eq. (36) and carrying out the small expansion again, the deflection is found finally as
(41)
where the were unchanged as in Eq. (38) and the first few as
(42a)
(42b)
(42c)
Inspecting the above results, one can discover that is just the sign of at the lowest order, which also means that correspond to anticlockwise and clockwise motions respectively. Naturally, the following relation holds
(43)
In the infinite limit, we see clearly from the term that to the leading order equals .
Similarly, substituting solution (39) into Eq. (19), the deflection in direction becomes
(44)
where
(45a)
(45b)
(45c)
Note that in the limit , approaches and therefore approaches 0.
Eqs. (41) and (44) are two important results of the work and a few comments are in order for them. Firstly, these results apply to general SAS spacetimes that allow the existence of a GCC. This includes many well-known spacetimes such as the Kerr, KN, and all SSS ones, which can be obtained by setting all for .
Secondly, they work for both light rays (setting ) and timelike particles (setting ). Indeed we can show that the limits of these results for timlike signals equal exactly their values for null rays. Thirdly, these deflections also take into account the finite distance effect of the source and detector. This effect could be important when studying the GL effect. Setting to zero, the infinite distance version of the deflections can be obtained. Fourthly, these deflections work for both non-equatorial and equatorial trajectories. For the former, setting , we have verified that the deflection angle reduces to its value on the equatorial plane in the Kerr spacetime [19].
For the latter case, these formulas do not rely on any near-equatorial plane approximation, i.e., and can be far from . Last but not least, the deflections (41) and (44) can be further expanded around small if the source and detector are far away, i.e., , and a dual series form will be obtained. Such a form will be more appealing from the application point of view and we will only do this in Sec. V.
IV Gravitational lensing
Since we now have the deflection angles for arbitrary inclination angles of the signals, we can study the GL in such SAS spacetime in the off-equatorial plane too.
Then since our deflection angles (41) and (44) contain the finite distance effect, we can naturally establish the following GL equations
(46a)
(46b)
Here and are the two small angles characterizing the angular position of the source relative to the detector-lens axis in the spherical coordinates as shown in the schematic diagram in Fig. 1. Once are fixed,
then substituting Eqs. (41) and (44) into Eq. (46) will allow us to solve the minimal radius and extreme azimuth angle for each pair of . Unfortunately, Eq. (46) are high-order polynomials of and more complicated functions of , which usually can not be solved analytically. This is particularly so when the effects of higher-order parameters are sought. Therefore when solving them, most of the time we will use the numerical method.
Figure 1: Schematic diagram for one trajectory from the source at S to the detector at D. The and mark the minimal radius and extreme points on the trajectory. The marks the apparent angle formed by this trajectory on the celestial sphere of the observer.
It is found that in general, there will be two sets of that allow the signal to reach the detector. Most of the time when the deflection is not small, these two solutions will have opposite orbital rotation direction and the equals for each solution. Only when the source, lens and detector are very aligned (deflection less than in the Sgr A* situation considered in Sec. V.1) and the spacetime spin is large, there could exist exceptions (see also Ref. [28]). Therefore we will label these two solutions as and to represent the prograde and retrograde rotating signals respectively.
To link the solved to the observables of the GL however, we still need to work out the formula for the apparent angles of the lensed images. For a static observer in the spacetime with metric (1), the associated tetrad takes the form
(47a)
(47b)
(47c)
(47d)
where is the four-velocity of the observer.
Then for a signal with four-velocity
, its projection using the projection operator
into the tetrad frame yields the vector
(48)
Here the are linked to through Eqs. (6), (17) and (18) and then to the through Eqs. (22) and (23).
Then the apparent angle measured by this observer against the detector’s radial direction and against the plane and against the plane are respectively
(49a)
(49b)
(49c)
where the subscript means all coordinates should be evaluated at the detector location. These equations are valid for all trajectories in the SAS spacetimes including those that are bent strongly. In the large limit, then and therefore we only need to concentrate on two of them, which are conventionally chosen as .
V Application to particular spacetimes
In this section, we will apply the general method and results in Secs. III and IV to some known SAS spacetimes to examine the validity of the results and significance of the spacetime parameters on the off-equatorial deflection and GL. We will focus on deflections , the and apparent angles .
V.1 Deflections and GL in KN spacetime
For KN BH, the deflection in its equatorial plane has been considered using analytical methods repeatedly and the (quasi-)equatorial motion was studied multiple times too [41, 40, 43, 42, 44], let alone numerical solution of the trajectories. However, to our best knowledge, the perturbative study of the general off-equatorial deflection has not been done yet.
The metric of KN is given by
(50)
where
and are respectively the mass, charge and spin angular momentum per unit mass of the spacetime. In studying the trajectories, one can always choose if the motion is allowed to go both clock- and anticlock-wise.
To use the method and results developed in Secs. III and IV, the first thing to check is whether the metric (50) satisfies the separation requirements (30). Substituting the metric into these equations, it is easy to find that the separation can be done and the -dependent functions are
(51a)
(51b)
(51c)
(51d)
(51e)
and the are exactly as given in Eq. (30). This guarantees the existence of the GCC, as was well-known prior, and the applicability of the results of deflection angles.
Substituting the coefficients in Eqs. (51) directly into Eq.
(41) and (44) and carrying out the small expansion, the deflection angles in KN spacetime are found as dual series of and
(52a)
(52b)
where the infinitesimal represents either the or , and
(53)
and has been replaced by the asymptotic velocity through Eq. (4). There are a few limits that we can take for these deflections. Setting or , they reduce respectively to deflections of light rays or deflections from infinity to infinity. A more unusual limit is to set , which pushes these deflections to their values of the signal in an RN spacetime but with arbitrary incoming direction. Setting , they agree with Eqs. (32) and (39) of Ref. [28]. In the infinite distance and equatorial limit, and , and we have checked that in this limit agrees with Eq. (83) of Ref. [20].
Both Eqs. (52a) and (52b) illustrate various effects of the non-equatorial motion and spacetime parameters.
For the deflection , the following observations can be made.
Firstly we observe that the non-equatorial effect manifests in two ways. The first is through the terms
proportional to . These terms will vanish in the equatorial limit and therefore we call them non-equatorial terms. The second way of the non-equatorial effect is through the factor of the other terms, which will be called the equatorial terms. If the trajectory was in the equatorial plane, these factors would all be one. Therefore these factors effectively adjusted the contribution of equatorial terms to the deflection. The second comment concerns the effects of the spacetime charge and spin. As in the case of equatorial motion, and start to appear in the equatorial terms from the second order only, i.e., the or terms. While in non-equatorial terms, they start to appear from the third order.
The terms of the deflection in Eq. (52b) are either proportional to or , which both approach zero in the equatorial limit. At the leading orders of both and , the terms are proportional to . For the effect of both and , they both appear from the second order, which is similar to the equatorial terms in .
In both and
, the sign of does not matter, as expected since the signal is neutral.
(a) (b)
(c) (d)
(e)
Figure 2: The dependences of and on and in KN spacetime. . In (a)(b), , . In (c)(d), . In (e), . All red lines represent numerical results.
To check the validity of these deflections (52a) and (52b), in Fig. 2 we compare them with their corresponding numerically integrated values. In this plot, we choose relatively small so that the deflections are appreciable to tell the effects of various parameters. It is seen from Fig.
2 (a) and (b) that as increases, both and decrease monotonically. The analytical results approach the numerical value more closely as increases too, which is expected because both deflections are series of . From Fig. 2 (c) and (d), we see that as decreases, the deflection in direction increases while that in the direction decreases. This is intuitively consistent with the physical expectation because the decreasing of corresponds to the motion of the trajectory asymptotic line towards the axis above the equatorial plane. Fig. 2 (e) shows the effect of on the deflections. Previously it was known from the equatorial plane case that the would decrease as increase [44], which is still observed here for the off-equatorial motion. We also note that this is even true for , which shows the spherical nature of the effect of on the deflections. Lastly, the effect of the spacetime spin on these deflections was studied in Ref. [28] in the Kerr spacetime and we found that qualitatively that effect is not changed: larger increases (or decreases) the of the prograde (or retrograde) signal.
With the correctness of the series results confirmed, we can now solve the lensing equations (46) with and given by Eqs. (52b) and (52a) to obtain the for a fixed pair which characterizes the angular deflection of the source against the lens-observer axis. For the non-equatorial motion in a SAS spacetime, the source’s azimuth angle also becomes important. Since these equations are high-order polynomials if the effects of and are taken into account, we have only solved them numerically. We used the Sgr A* BH as the lens and set and varied . We found that qualitatively the effect of and are similar to their effects in the Kerr case studied in Ref. [28]. For this reason, we will not show these figures here. Rather, we only mention that a larger positive decreases (or increases) the of a counterclockwise (or clockwise) rotating trajectory, and therefore the trajectory is pulled towards (or pushed away from) the axis. The will change accordingly: a larger positive will increase of both counterclockwise and clockwise rotating orbits. For the charge , its deviation from zero was found to decrease for all and orbit rotation directions and increases very weakly.
Finally, substituting the solved together with the initial parameters into Eqs. (49b) and (49c), we can obtain the apparent positions of the two images on the celestial sphere of the detector
in KN spacetime. The can be fixed by through Eqs. (22) and (23). These apparent angles are consistent with the results in Ref. [28].
For the null particle in the WDL, we can make the following power series approximation for them by taking and as small quantities
(56a)
(56b)
where and henthforce . When we set , they agree with Ref. [28]. When however, its effect does not only appear from the order as one might think superficially from Eq. (56). Indeed, affects by an amount similar to the size of itself and therefore its influence on the image apparent angles is at the order, i.e., one order lower than what appeared in Eq. (56). The off-equatorial effect influences from the second order because at the leading order the total apparent angle would not be tuned by the factor or in front of and respectively.
(a)
(b)
(c)
Figure 3: Apparent angles of lensed images in the celestial sky in KN spacetime. (a) varies from to with fixed ( and ) and ( and ). (b) varies from to with fixed ( and ) and ( and ). The symbols and are for and the and are for respectively. The color of the symbols from blue to red indicates that the changing angles increase from to . (c) Variation of the apparent angles as increases. In all plots, kpc are used. In (c), . The .
In Fig. 3 the angular positions of the GL images as functions of (a) and (b) are plotted. It is seen that as varies from to while kee** at the two images are in the first and third quadrants respectively. The image in the third quadrant is separated further from the lens than the one in the first quadrant. Since in this parameter settings, the effect of spin on the apparent angles of the images is weak, when we flip to the range of to 0, or to , the images are reflected by the and axes respectively in the 2d celestial frame. What is more interesting is the effect of in this plot. It is seen that the trace of the images as varies for almost coincides with that for . The reason can be understood from the fact that when the spin effect is not strong, the total deflection in an SAS spacetime is approximately the same as in an SSS spacetime. In SSS spacetimes, only characterize the altitude of the images while when scans through a range, the traces of the images will coincide if the origin of the local 2d celestial sky is allowed to shift, as in the case of Fig. 3 (a).
For the variation of with fixed , different however allows a different contribution from to the total deflection , which roughly equals
(57)
And therefore the image traces will not coincide, as shown in Fig. 3 (b).
Note that in both plots, we have set . The effect of these parameters under the current parameter settings, as seen from Eq. (56), is very small compared to the apparent angles themselves, and therefore can not be recognized in plots (a) and (b). Therefore in (c), we show the small variation of the apparent angles as increases, where , . As can be seen, the sizes of both images’ apparent angles decrease by about as increases. Both the trend and changed amount agree with the prediction of Eq. (56).
V.2 Deflections and GL in KS spacetime
KS BH is a kind of rotating and charged black hole in the four-dimensional heterotic string theory [29]. Although both the strong [45] and weak [46] deflection limits of GL effects have been studied in this spacetime using approaches different from ours, these studies are either in the (quasi-)equatorial plane or did not express the deflections in terms of the original source and kinetic variables. Here we will extend them to the general non-equatorial case, with finite distance effect and timeline effect taken into account.
with . This metric reduces to the Kerr one when . The metric functions satisfy the separation conditions (10) too and the corresponding functions and their asymptotic expansions are
(59a)
(59b)
(59c)
(59d)
(59e)
Substituting the coefficients Eqs. (59) into Eqs. (41) and (44) and carrying out the small expansion, the deflection angles in KS spacetime are found as
(60a)
(60b)
where
(61)
and .
Comparing Eq. (60) to the corresponding results in Eq. (52) in KN spacetime, we see that the only change is essentially in the definition of .
This is understandable because both the KN and KS spacetimes reduce to the Kerr one if we set in the former and (or ) in the latter, and these two parameters only appear from the second order in each of the deflections and .
The infinite source/detector limit and null limit of the deflections (60) can be easily obtained by putting and respectively. The equatorial plane case of was found in Eq. (49) of Ref. [45] for light ray and infinite source/detector and agrees with our result under these limits.
(a)
(b)
Figure 4: The dependences of and (a) and and on in KS spacetime. In (a), were used. In (b), were used.
To study the effect of the new parameter on the deflections, in Fig. 4 (a) we plot the dependence of and on . It is seen that as increases, the both deflections and for all spin decrease monotonically. This effect is qualitatively similar to the effect of in KN spacetime.
With the deflection known, we can solve the GL equations (46) for and too. Again, if we use the deflection angles of high enough order such that the effect of is taken into account, then these GL equations are polynomials whose solutions are too lengthy to present here and therefore we will not do so. We also studied the dependence of the solved on and found that it is also qualitatively similar to the effect of in KN spacetime. That is, the is decreased as increases for fixed while is increased but only very weakly in the WDL.
Using these and in Eq. (49), the apparent angles in the KS spacetime are found as
(62a)
(62b)
where the in the KS spacetime also takes the form of Eq. (55) but its have different relations to through Eqs. (22) and (23). For null rays and the small and limit, these apparent angles are approximated as
(63a)
(63b)
In contrast to the parameter in the KN apparent angles (56), we see that the parameter affects the apparent angles in KS spacetime from the order explicitly. However, we also point out that as increases from zero, its influence on is also at this order but slightly larger and with an opposite sign.
Fig. 4 (b) shows the apparent locations of the images in the KS spacetime as varies. The and values are the same as in Fig. 3 (c) since at , the KS spacetime reduces to the Kerr one. It is seen that as argued above, the total effect of from 0 to 1 is also the decrease of the image apparent angles by about . In this sense, the effect of in the KS spacetime is similar to that of parameter in the KN spacetime, both qualitatively and quantitatively.
V.3 Deflections and GL in RSV spacetime
RSV spacetime is another modification from the Kerr spacetime that satisfies the separation conditions (10).
Its metric is given by [30]
(64)
where
The parameter is a length scale responsible for the regularization of the central singularity.
When , this reduces to the Kerr spacetime too. It can also describe two-way traversable
wormhole , a one-way wormhole , and regular black hole at different values of [30]. The GL effects of null rays with source/detector at infinite distance in the equatorial plane were studied in the strong
deflection limit in this spacetime in Ref. [48]. The WDL deflection angle of the null signal on the equatorial plane without the finite distance effect was obtained using the Gauss-Bonnet theorem method in Ref. [49].
The asymptotic expansions of separated functions associated with the metric are
(65a)
(65b)
(65c)
(65d)
(65e)
Substituting the coefficients in these functions into Eqs.
(41) and (44) and after the small expansion, the deflection angles in the RSV spacetime becomes
(66a)
(66b)
where
(67)
and . The reduction of Eq. (66a) on the equatorial plane for null rays with infinite source/detector distance agrees with Eq. (21) of [49].
Similar to KS deflections (60), the deflections (66) are different from the KN case result (52) also in its . However unlike the in and in , here the regularization length scale has a negative sign in
and therefore its effects on the deflections , the and the apparent angles in Eq. (69) are all opposite to those two parameters, as we will show in Fig. 5 (a) and (b) respectively.
(a)
(b)
Figure 5: The dependences of and (a)
and and (b) on in RSV spacetime. In (a), are used to see clearly the effect. In (b), . In both plots, are used.
After solving and substituting into Eq. (49), the
apparent angles in the RSV spacetime are found to be
(68a)
(68b)
where is still given by Eq. (55) while its depends on through Eqs. (22) and (23). The approximation of these apparent angles are
(69a)
(69b)
In Fig. 5 (b), we plotted the dependences of the deflections and the apparent angles on . Similar to the effect of in KN spacetime, here also decreases and consequently the apparent angles of the images. The amount of reduction of either or as grows to 2.5 is comparable to that for in the KN case or in the KS case.
VI Conclusions and Discussions
In this work, we studied the off-equatorial deflections and GL of both null and timelike signals in general SAS spacetimes in the weak deflection limit, with the finite distance effect of source and detector. It is found that as long as the metric functions satisfy certain common separable variable conditions (10), the deflection angles in both the and directions can always be found using the perturbative method. The results as shown in Eqs. (41) and (44), are dual series of and , and can be directly used in a set of exact GL equations (46). These equations are then solved to find the apparent angles of images in such spacetimes (49).
These results are then applied to the KN, KS, and rotating SV spacetimes to validate the correctness of the method and results, and to find the effect of the spacetime spin as well as that of the characteristic parameter (usually some effective charge) of these spacetimes. It is found that generally both the spacetime spin and charge
appear in the second order of both and , while the non-equatorial effect shows up from the very leading nontrivial order, as illustrated in Eq. (52), (60) and (66).
For the image apparent angles, again both the spacetime spin and (effective) charge
appear in the subleading, as manifested in Eqs. (56), (63) and (69).
Therefore these parameters are quite hard to detect from the apparent angles in relativistic GL in the WDL.
To show the generality of our method, in Appendix B we supplemented a few other spacetimes whose off-equatorial deflections can be found using our method.
There are a few potential extensions to this work that can be explored. The first is to study the magnification and time delays of the images in the off-equatorial GL. In Ref. [28] for the Kerr spacetime, it is known that the spacetime spin might have a stronger effect on the time delay than on image locations. The second is that we might also attempt to study the off-equatorial deflection of charged particles in electromagnetic fields. However there, the separation condition (10) has to be re-investigated.
Acknowledgements.
This work is supported by the National Natural Science Fundation of China. The authors thank the helpful discussion with Tingyuan Jiang and Xiaoge Xu.
Appendix A Higher order items of series
Here we list some higher-order coefficients in the series appearing in the main text of the III. For Eq. (35), we present two more coefficients, which are also used in the computations in the main text
In addition to the spacetimes that we discussed in detail in Sec. V, many spacetimes also meet the requirements of the separation of variables we established in Sec. II.1.
Here we briefly mentioned the off-equatorial deflections in these spacetimes.
A class of spacetimes satisfying these conditions is described by the following line element
(75)
where
and are the spacetime spin and mass functions respectively. This line element covers the Kerr spacetime when is a constant, the rotating Bardeen black hole [32] when
and it’s seen that for the rotating Bardeen and Tinchev spacetimes, their characteristic parameter appears from the second order of the expansion. While the rotating Ghosh and Hayward ones, they appear from the first and third order respectively.
Using the line element (75) and mass function (80), the deflection and are found as
(81a)
(81b)
where
(82)
We also computed the deflection in the Konoplya-Zhidenko rotating non-Kerr spacetime whose metric is given by [31]
(83)
where
and is the deformation parameter that describes the deviation from Kerr spacetime.
However, it is found that to order , the parameter does not appear in either of or . Therefore the deflections to order in this spacetime is also given by Eq. (81) with .
References
[1]
A. Einstein,
Science 84 (1936), 506-507
doi:10.1126/science.84.2188.506
[2]
F. W. Dyson, A. S. Eddington and C. Davidson,
Phil. Trans. Roy. Soc. Lond. A 220 (1920), 291-333
doi:10.1098/rsta.1920.0009
[3]
M. Bartelmann and P. Schneider,
Phys. Rept. 340 (2001), 291-472
doi:10.1016/S0370-1573(00)00082-X
[arXiv:astro-ph/9912508 [astro-ph]].
[4]
R. B. Metcalf and P. Madau,
Astrophys. J. 563 (2001), 9
doi:10.1086/323695
[arXiv:astro-ph/0108224 [astro-ph]].
[5]
K. Sharon and T. L. Johnson,
Astrophys. J. Lett. 800 (2015) no.2, L26
doi:10.1088/2041-8205/800/2/L26
[arXiv:1411.6933 [astro-ph.CO]].
[6]
C. R. Keeton and A. O. Petters,
Phys. Rev. D 72 (2005), 104006
doi:10.1103/PhysRevD.72.104006
[arXiv:gr-qc/0511019 [gr-qc]].
[7]
A. Joyce, L. Lombriser and F. Schmidt,
Ann. Rev. Nucl. Part. Sci. 66 (2016), 95-122
doi:10.1146/annurev-nucl-102115-044553
[arXiv:1601.06133 [astro-ph.CO]].
[8]
M. Aguilar et al. [AMS],
Phys. Rept. 894 (2021), 1-116
doi:10.1016/j.physrep.2020.09.003
[9]
R. M. Bionta, G. Blewitt, C. B. Bratton, D. Casper, A. Ciocio, R. Claus, B. Cortez, M. Crouch, S. T. Dye and S. Errede, et al.
Phys. Rev. Lett. 58 (1987), 1494
doi:10.1103/PhysRevLett.58.1494
[10]
B. P. Abbott et al. [LIGO Scientific and Virgo],
Phys. Rev. Lett. 116 (2016) no.6, 061102
doi:10.1103/PhysRevLett.116.061102
[arXiv:1602.03837 [gr-qc]].
[11]
K. Akiyama et al. [Event Horizon Telescope],
Astrophys. J. Lett. 875 (2019), L1
doi:10.3847/2041-8213/ab0ec7
[arXiv:1906.11238 [astro-ph.GA]].
[12]
K. Akiyama et al. [Event Horizon Telescope],
Astrophys. J. Lett. 930 (2022) no.2, L12
doi:10.3847/2041-8213/ac6674
[arXiv:2311.08680 [astro-ph.HE]].
[13]
J. Jia, X. Pang and N. Yang,
Gen. Rel. Grav. 50 (2018) no.4, 41
doi:10.1007/s10714-018-2364-6
[arXiv:1704.01689 [gr-qc]].
[14]
J. Jia, J. Liu, X. Liu, Z. Mo, X. Pang, Y. Wang and N. Yang,
Gen. Rel. Grav. 50 (2018) no.2, 17
doi:10.1007/s10714-017-2337-1
[arXiv:1702.05889 [gr-qc]].
[15]
A. Ishihara, Y. Suzuki, T. Ono, T. Kitamura and H. Asada,
Phys. Rev. D 94 (2016) no.8, 084015
doi:10.1103/PhysRevD.94.084015
[arXiv:1604.08308 [gr-qc]].
[16]
V. Bozza,
Phys. Rev. D 66 (2002), 103001
doi:10.1103/PhysRevD.66.103001
[arXiv:gr-qc/0208075 [gr-qc]].
[17]
S. Zhou, M. Chen and J. Jia,
Eur. Phys. J. C 83 (2023) no.9, 883
doi:10.1140/epjc/s10052-023-12047-z
[arXiv:2203.05415 [gr-qc]].
[18]
J. Jia and K. Huang,
Eur. Phys. J. C 81 (2021) no.3, 242
doi:10.1140/epjc/s10052-021-09026-7
[arXiv:2011.08084 [gr-qc]].
[19]
K. Huang and J. Jia,
JCAP 08 (2020), 016
doi:10.1088/1475-7516/2020/08/016
[arXiv:2003.08250 [gr-qc]].
[20]
J. Jia,
Eur. Phys. J. C 80 (2020) no.3, 242
doi:10.1140/epjc/s10052-020-7796-y
[arXiv:2001.02038 [gr-qc]].
[21]
Y. Duan, S. Lin and J. Jia,
JCAP 07 (2023), 036
doi:10.1088/1475-7516/2023/07/036
[arXiv:2304.07496 [gr-qc]].
[22]
G. W. Gibbons and M. C. Werner,
Class. Quant. Grav. 25 (2008), 235009
doi:10.1088/0264-9381/25/23/235009
[arXiv:0807.0854 [gr-qc]].
[23]
A. B. Aazami, C. R. Keeton and A. O. Petters,
J. Math. Phys. 52 (2011), 102501
doi:10.1063/1.3642616
[arXiv:1102.4304 [astro-ph.CO]].
[24]
V. Bozza,
Phys. Rev. D 67 (2003), 103006
doi:10.1103/PhysRevD.67.103006
[arXiv:gr-qc/0210109 [gr-qc]].
[25]
S. W. Wei and Y. X. Liu,
Phys. Rev. D 85 (2012), 064044
doi:10.1103/PhysRevD.85.064044
[arXiv:1107.3023 [hep-th]].
[26]
X. Yang and J. Wang,
Astrophys. J. Suppl. 207 (2013), 6
doi:10.1088/0067-0049/207/1/6
[arXiv:1305.1250 [astro-ph.HE]].
[27]
X. L. Yang and J. C. Wang,
Astron. Astrophys. 561 (2014), A127
doi:10.1051/0004-6361/201322565
[arXiv:1311.4436 [gr-qc]].
[28]
T. Jiang, X. Xu and J. Jia,
[arXiv:2307.15174 [gr-qc]].
[29]
A. Sen,
Phys. Rev. Lett. 69 (1992), 1006-1009
doi:10.1103/PhysRevLett.69.1006
[arXiv:hep-th/9204046 [hep-th]].
[30]
J. Mazza, E. Franzin and S. Liberati,
JCAP 04 (2021), 082
doi:10.1088/1475-7516/2021/04/082
[arXiv:2102.01105 [gr-qc]].
[31]
R. Konoplya and A. Zhidenko,
Phys. Lett. B 756 (2016), 350-353
doi:10.1016/j.physletb.2016.03.044
[arXiv:1602.04738 [gr-qc]].
[32]
C. Bambi and L. Modesto,
Phys. Lett. B 721 (2013), 329-334
doi:10.1016/j.physletb.2013.03.025
[arXiv:1302.6075 [gr-qc]].
[33]
S. G. Ghosh,
Eur. Phys. J. C 75 (2015) no.11, 532
doi:10.1140/epjc/s10052-015-3740-y
[arXiv:1408.5668 [gr-qc]].
[34]
V. K. Tinchev,
Chin. J. Phys. 53 (2015), 110113
doi:10.6122/CJP.20150810
[arXiv:1512.09164 [gr-qc]].
[35]
B. Bezdekova, V. Perlick and J. Bicak,
J. Math. Phys. 63 (2022) no.9, 092501
doi:10.1063/5.0106433
[arXiv:2204.05593 [gr-qc]].
[36]
B. Carter,
Phys. Rev. 174 (1968), 1559-1571
doi:10.1103/PhysRev.174.1559
[37]
J. Brink,
Phys. Rev. D 81 (2010), 022001
doi:10.1103/PhysRevD.81.022001
[arXiv:0911.1589 [gr-qc]].
[38]
O. Zelenka and G. Lukes-Gerakopoulos,
[arXiv:1711.02442 [gr-qc]].
[39]
G. Lukes-Gerakopoulos,
Phys. Rev. D 86 (2012), 044013
doi:10.1103/PhysRevD.86.044013
[arXiv:1206.0660 [gr-qc]].
[40]
G. V. Kraniotis,
Gen. Rel. Grav. 46 (2014) no.11, 1818
doi:10.1007/s10714-014-1818-8
[arXiv:1401.7118 [gr-qc]].
[41]
T. Hsieh, D. S. Lee and C. Y. Lin,
Phys. Rev. D 103 (2021) no.10, 104063
doi:10.1103/PhysRevD.103.104063
[arXiv:2101.09008 [gr-qc]].
[42]
G. He and W. Lin,
Phys. Rev. D 105 (2022) no.10, 104034
doi:10.1103/PhysRevD.105.104034
[arXiv:2112.08142 [gr-qc]].
[43]
S. Ghosh and A. Bhattacharyya,
JCAP 11 (2022), 006
doi:10.1088/1475-7516/2022/11/006
[arXiv:2206.09954 [gr-qc]].
[44]
Y. W. Hsiao, D. S. Lee and C. Y. Lin,
Phys. Rev. D 101 (2020) no.6, 064070
doi:10.1103/PhysRevD.101.064070
[arXiv:1910.04372 [gr-qc]].
[45]
G. N. Gyulchev and S. S. Yazadjiev,
Phys. Rev. D 81 (2010), 023005
doi:10.1103/PhysRevD.81.023005
[arXiv:0909.3014 [gr-qc]].
[46]
G. N. Gyulchev and S. S. Yazadjiev,
Phys. Rev. D 75 (2007), 023006
doi:10.1103/PhysRevD.75.023006
[arXiv:gr-qc/0611110 [gr-qc]].
[47]
J. Jiang, X. Liu and M. Zhang,
Phys. Rev. D 100 (2019) no.8, 084059
doi:10.1103/PhysRevD.100.084059
[arXiv:1910.04060 [hep-th]].
[48]
S. U. Islam, J. Kumar and S. G. Ghosh,
JCAP 10 (2021), 013
doi:10.1088/1475-7516/2021/10/013
[arXiv:2104.00696 [gr-qc]].
[49]
K. Gao and L. H. Liu,
[arXiv:2307.16627 [gr-qc]].