Abstract
We consider photon orbits in the space-time consisting of two identical Schwarzschild black holes in static equilibrium. In particular, we focus on fundamental photon orbits – bound photon orbits that do not fall into either black hole or go to infinity. It is known that there could exist up to two circular photon orbits lying in the plane of symmetry between the black holes. In this paper, we present more examples of fundamental photon orbits in this space-time. This includes non-circular orbits lying in the plane of symmetry, circular orbits that lie off the plane of symmetry, polar orbits, and non-planar orbits that orbit around one or both of the black holes. These orbits are all unstable. Finally, in an appendix, we present a class of circular time-like orbits that lie off the plane of symmetry.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
It is well known that photons can orbit around a Schwarzschild black hole in a circle with radius equal to 3M, where M is the mass of the black hole in geometric units. Although this orbit is unstable, it plays an important role in the appearance of the black hole to a distant observer. In general, the black hole will appear as a shadow – a region of the observer’s sky devoid of light. The boundary of this shadow is formed by photons which approach the unstable circular photon orbit when traced back asymptotically to the past.
For the rotating Kerr black hole, two circular photon orbits are known to exist in the equatorial plane – one prograde and one retrograde. More interestingly, other bound photon orbits are allowed [1]. These orbits have a constant coordinate radius, but are not necessarily confined to a plane; for this reason, they are known as spherical photon orbits. These orbits play an important role in the imaging of the Kerr black hole, in particular in the reconstruction of its shadow.
In general, a bound photon orbit that does not fall into the black hole or go to infinity is known as a fundamental photon orbit (FPO) [2]. A special but important case of an FPO is a circular photon orbit, also known as a light ring (LR). For the Kerr black hole, it can be shown that the only FPOs are the spherical photon orbits, with the two equatorial LRs as special cases.
For other examples of FPOs, one has to turn to other black hole space-times. It is natural to consider space-times with more than one black hole. In [3], a space-time consisting of two identical extremally charged black holes – known as the double Majumdar–Papapetrou space-time – was considered, and several interesting classes of FPOs were discovered. Amongst them are closed orbits that lie in a plane containing the symmetry axis of the space-time. These orbits can orbit around either one or both of the black holes. One particularly interesting example is an orbit that orbits around both black holes in the shape of a figure 8. The non-planar counterparts of these orbits were also discussed.
The extremal charge of the black holes considered in [3] is necessary to maintain a static equilibrium between them. It might be physically more relevant to consider uncharged black holes, such as Schwarzschild or Kerr black holes. In this paper, we shall consider the double Schwarzschild space-time. This space-time contains two identical Schwarzschild black holes, held in static equilibrium by a conical singularity stretching between them along the axis of symmetry. This exact solution has been used as a model for the more realistic case of a dynamical binary black hole system in [4, 5].
An early study of null geodesics in the doubleSchwarzschild space-time was made by Coelho and Herdeiro [6]. They showed that there exist two LRs lying in the plane of symmetry between the black holes, when the separation of the black holes is below a certain critical value. Most remarkably, this critical value was found to involve the reciprocal of the golden ratio \(\varphi \equiv (\sqrt{5}+1)/2\), also known as the golden ratio conjugate. The two LRs merge into one at this critical value, and cease to exist altogether above this critical value.
In this paper, we will find a number of new classes of FPOs in this space-time, and study their properties. We begin in Sect. 2 with a brief review of the double Schwarzschild space-time and the relevant geodesic equations. In Sect. 3, we show that when the separation of the black holes is below the above-mentioned critical value, there exists a class of non-circular FPOs lying in the plane of symmetry between the black holes. In Sect. 4, we show that when the separation is above the critical value, there exist two LRs lying symmetrically off the plane of symmetry. Thus the LRs found in [6] do not actually cease to exist, but rather they just move off the plane of symmetry.
In Sect. 5, we find a class of closed FPOs lying in a plane containing the symmetry axis of the space-time. We then turn to the existence of non-planar FPOs in Sect. 6, and show that there exists a class of such FPOs which orbit around both black holes, and another class which only orbit around one of the black holes. In Sect. 7, we show how the effective potential method provides an alternative way to visualise the FPOs. The paper concludes in Sect. 8 with some open questions and future directions. Although it is not the main focus of this paper to consider time-like geodesics, we present in the appendix a class of circular time-like orbits that lie off the plane of symmetry between the black holes.
2 Geodesic equations
It is well known that the general static axisymmetric solution of the vacuum Einstein equations has a metric which can be written in Weyl–Papapetrou coordinates as [7]
where \(U=U(\rho ,z)\) and \(k=k(\rho ,z)\) are functions of \(\rho \) and z only. In particular, U satisfies the Laplace equation
for three-dimensional flat space in cylindrical polar coordinates, with the metric
Once U is specified, k can be derived by solving the set of equations
The standard Schwarzschild solution is obtained if U is taken to be the Newtonian potential of an infinitesimally thin rod of mass M and length 2M, placed somewhere along the z-axis [7]. The rod itself corresponds to the horizon of the black hole. To obtain the double Schwarzschild solution, we can take U to be the potential of two such rods, placed along the z-axis in the intervals \(a_1\le z\le a_2\) and \(a_3\le z\le a_4\), for some \(a_1,\dots ,a_4\) satisfying \(a_1<a_2<a_3<a_4\) [8]. The two black holes then have masses \(M_1=(a_2-a_1)/2\) and \(M_2=(a_4-a_3)/2\), and are separated by a coordinate distance \(2L=a_3-a_2\). For this solution, the functions U and k are explicitly given by [9]
where we have defined
Assuming that the azimuthal coordinate \(\phi \) has the standard periodicity, there is a conical singularity along the z-axis between the two rods, for \(a_2<z<a_3\). In this case, it corresponds to an excess angle given by
The existence of this conical singularity is necessary to counterbalance the gravitational attraction of the two black holes, thus maintaining the system in static equilibrium.
In the rest of this paper, we shall assume that the two black holes have the same mass, i.e., \(M_1=M_2\equiv M\). Without loss of generality, we can then choose \(a_1=-L-2M\), \(a_2=-L\), \(a_3=L\) and \(a_4=L+2M\).
The geodesic equations can be derived in the standard way using either the Lagrangian or Hamiltonian formalism; we shall use the former here. For the metric (2.1), the geodesic equations are obtained by extremising the Lagrangian
where the dot denotes derivative with respect to an affine parameter along the geodesic. For the t and \(\phi \) geodesic equations, we obtain the first-integrals:
where E and \(\Phi \) are constants of motion, interpreted as the energy and angular momentum of the particle respectively. The \(\rho \) and z geodesic equations are second-order differential equations, given by
The partial derivatives of k can be calculated from those of U using (2.4). For the double Schwarzschild solution, the latter are explicitly
For null geodesics, we also have the condition that the Lagrangian (2.8) vanishes. In this case, we can effectively set \(E=1\) through a rescaling of the affine parameter and \(\Phi \); this is what we will assume from now on. Substituting (2.9) into (2.8), we then have
where \(H(\rho ,z)\) is given by
Since the left-hand side of (2.12) is non-negative, we must have \(|\Phi |\le H(\rho ,z)\) for physical motion. This result forms the basis of the effective potential method, with \(H(\rho ,z)\) being the effective potential [3, 6].Footnote 1 This method will prove to be very useful for studying certain qualitative properties of FPOs in the space-time. However, we will also need explicit examples of these orbits to understand their properties more fully. They are obtained by numerically integrating the four geodesic equations (2.9) and (2.10).
In this work, the geodesic equations were integrated numerically using the standard fourth-order Runge–Kutta method. The desired orbit was found by treating it as an initial value problem, and using the shooting method. The condition \({{\mathcal {L}}}=0\) was imposed at the initial point, and then used as a consistency check of the subsequent numerical integration. In our simulations, it was found to be always satisfied to an accuracy of at least \(10^{-10}\).
In searching for FPOs, we do not consider photon orbits that fall into either black hole. Thus, they should not approach the two rods along the z-axis. However, they are allowed to approach the remaining parts of the z-axis, which together make up the axis of symmetry of the space-time. In particular, they are allowed to approach arbitrarily close to the conical singularity that lies on the part of the z-axis between the two rods, even though we assume the photons cannot pass through the conical singularity itself.
We remark that the numerical integration might encounter problems near or on the axis of symmetry. This is because \(R_i-\zeta _i\) vanishes on the part of the axis where \(z\ge a_i\), leading to potential issues in the computation of \(\textrm{e}^{2U}\) and \(\partial _\rho U\) in (2.5a) and (2.11a), respectively. To address this problem, we can replace the exact expressions for \(\textrm{e}^{2U}\) and \(\partial _\rho U\) by their corresponding Taylor series expansions in \(\rho \) when \(a_2<z<a_3\) and \(z>a_4\). This will ensure the stability and accuracy of the numerical integration if the orbit approaches these parts of the symmetry axis.
Once the orbits have been obtained, we will plot them out in the three-dimensional flat space (2.3). Examples of such plots can be found in Figs. 2, 5, 8, 9, 11 and 12 below. In these plots, the x and y axes refer to the usual Cartesian coordinates defined by \(x=\rho \cos \phi \) and \(y=\rho \sin \phi \). The rods representing the black hole horizons are indicated in red in these plots (except for Fig. 2). However, we have not indicated the conical singularity between them, to reduce clutter in the figures.
3 Equatorial FPOs
Since the plane of symmetry between the two black holes is a totally geodesic sub-manifold of the space-time [6], it is natural to begin by looking for photon orbits in this plane. It was found in [6] that there exist two LRs lying in this plane when L/M is less than the golden ratio conjugateFootnote 2\(1/\varphi =(\sqrt{5}-1)/2\). The two LRs coincide when L/M is equal to this value. In this section, we investigate if there exists any other FPOs in the plane of symmetry. For brevity, we will henceforth refer to this plane as the equatorial plane [3], and orbits lying in it as equatorial FPOs.
The existence of the two LRs was derived using the effective potential method in [6]. In this case, we have to set \(z=\dot{z}=0\) in (2.12) and (2.13). When \(L<M/\varphi \), the general form of \(H(\rho ,0)\) is shown in Fig. 1. As can be seen, it has two stationary points. Each stationary point corresponds to an LR, with angular momentum \(\Phi \) equal to the value of \(\pm H(\rho ,0)\) at the point. The two stationary points coincide when \(L=M/\varphi \), and cease to exist altogether when \(L>M/\varphi \).
Note that the general form of \(H(\rho ,0)\) in Fig. 1 also allows for the existence of a family of non-circular equatorial FPOs, whose angular momentum \(\Phi \) ranges between that of the inner and outer LRs. An example is indicated by the horizontal blue line, which describes an orbit whose radius \(\rho \) takes the finite range \(\rho _\textrm{min}\le \rho \le \rho _\textrm{max}\). The angular momentum \(\Phi \) of this orbit is then given by the value of \(\pm H(\rho ,0)\) at either the minimum radius \(\rho _\textrm{min}\) or the maximum radius \(\rho _\textrm{max}\). It is clear from Fig. 1 that \(\rho _\textrm{max}\) always lies between the two LRs, while \(\rho _\textrm{min}\) always lies below the inner LR. The smallest value that \(\rho _\textrm{min}\) can take occurs when \(\rho _\textrm{max}\) is equal to the radius of the outer LR.
For a fixed value of L in the range \(0<L<M/\varphi \), this family of non-circular equatorial FPOs can be conveniently parameterised by the value of \(\rho _\textrm{max}\). Two examples of such FPOs are plotted in Fig. 2, for the case \(L=M/2\). As can be seen, these FPOs precess by a certain amount after every complete oscillation in radius. We note that analogues of these orbits have also been found in the double Majumdar–Papapetrou space-time [10], as well as in other black hole space-times [11, 12].
4 Off-equatorial LRs
Since we know that LRs exist in the equatorial plane of the double Schwarzschild space-time, the next question is if LRs can exist off this plane of symmetry. In this section, we show the existence of LRs that lie in a plane of constant \(z\ne 0\).
To do so, we use the effective potential method again. In this case, we just have to set \(\dot{z}=0\) in (2.12). Stationary points of the potential \(H(\rho ,z)\) in (2.13) then correspond to LRs, with angular momentum \(\Phi \) equal to the value of \(\pm H(\rho ,z)\) at the point. The conditions for a stationary point, \(\partial _\rho H(\rho ,z)=0\) and \(\partial _zH(\rho ,z)=0\), are equivalent to
respectively. The set of all points \((\rho ,z)\) satisfying each of these conditions can be found numerically, using the expressions in (2.11). It turns out that the solution of (4.1a) generally consists of two curves in the \((\rho ,z)\)-plane. Similarly, the solution of (4.1b) generally consists of two curves in the \((\rho ,z)\)-plane, with one of them being the \(z=0\) line. The qualitative behaviour of these curves will depend on whether L is below, equal to, or above the critical value \(M/\varphi \).
We begin by considering the case \(L<M/\varphi \). As an example, the set of points satisfying the conditions in (4.1) is plotted in Fig. 3a for \(L=M/2\). The two orange curves are points at which \(\partial _\rho H(\rho ,z)=0\), while the two blue curves are points at which \(\partial _z H(\rho ,z)=0\). It can be seen that there are only two points – indicated by the black dots – at which one of the orange curves meets one of the blue ones, and they both lie along the \(z=0\) line. These are precisely the locations of the two equatorial LRs found in [6]. It is clear that there are no off-equatorial LRs in this case.
We next consider the critical case \(L=M/\varphi \) in Fig. 3b. In this case, the two orange curves and the two blue curves all meet at a single point. This, of course, describes the case in which the two equatorial LRs have merged into one. Again, it is clear that there are no off-equatorial LRs in this case.
Finally, we consider the case \(L>M/\varphi \). As an example, the set of points satisfying (4.1) is plotted in Fig. 3c for \(L=M\). The qualitative behaviour of the orange curves is now different. While there are still two points at which one of the orange curves meets one of the blue ones, they now both lie symmetrically off the \(z=0\) line, with the same value of \(\rho \). This shows that there are two off-equatorial LRs with the same radius in this case.
Although we have only illustrated this for one specific value of \(L>M/\varphi \), we have checked that it holds for other values of L in this range. Figure 4 shows how the radius \(\rho \) of the LRs and their separation \(\Delta z\) depends on L. Note that \(\rho \) monotonically decreases as L is increased from the critical value, and that it approaches the value \(\sqrt{3}M\) in the limit \(L\rightarrow \infty \). By contrast, \(\Delta z\) monotonically increases as L is increased, and in fact asymptotically approaches the line \(2(M+L)\). These limiting values arise when the two black holes can be regarded as separate Schwarzschild black holes with no interactions between them. The radius \(\sqrt{3}M\) is that of the circular photon orbit around a Schwarzschild black hole in Weyl–Papapetrou coordinates.Footnote 3 On the other hand, \(2(M+L)\) is the separation between the centres of mass of the two black holes. This is also the separation between the photon orbits around each of the black holes, if the interactions between them are neglected.
We remark that the stability of these orbits can be checked in the usual way by calculating the Hessian matrix \(\left( {\begin{matrix} \partial _\rho ^2 H(\rho ,z)&{}\partial _\rho \partial _z H(\rho ,z)\\ \partial _z\partial _\rho H(\rho ,z)&{}\partial _z^2 H(\rho ,z) \end{matrix}}\right) \). It turns out that all the LRs described in this section – including the equatorial ones – have a negative Hessian determinant, showing that these orbits are unstable. This is consistent with the general result found in [13].
To summarise, we have shown that the two LRs found in [6] for the case \(L<M/\varphi \), continue to exist in the case \(L>M/\varphi \), except that they no longer lie in the equatorial plane. Instead, they lie symmetrically off the equatorial plane, with the same radius. The transition between these two cases occurs at the critical value \(L=M/\varphi \) involving the golden ratio, when the two LRs merge into one.
5 Polar FPOs
The next class of orbits that we shall consider are closed FPOs that lie in a plane containing the z-axis. Since there is a conical singularity along the z-axis between the black holes, we shall assume that the orbits cannot pass through the inner part of the axis. They can only pass through the outer parts of the axis, where \(z<a_1\) or \(z>a_4\), as they orbit the black holes. Because of this, we shall refer to such FPOs as polar FPOs. These orbits necessarily have vanishing angular momentum \(\Phi \).
Two examples of such FPOs are illustrated in Fig. 5, for the cases \(L=2M\) and 5M. For sufficiently small L, these FPOs resemble ellipses (although we have checked that they are not true ellipses). These orbits become more elongated as L is increased. Two useful characteristics of these orbits are its radius \(\rho \) when it passes through the equatorial plane, and the maximum z coordinate reached by the orbit. We denote them by \(\rho _{z=0}\) and \(z_\textrm{max}\), respectively. In Fig. 6, we have plotted \(\rho _{z=0}\) and \(z_\textrm{max}-L\) against L for this class of polar FPOs.
We note that \(\rho _{z=0}\) monotonically increases as L is increased, and that it approaches a constant value in the limit \(L\rightarrow \infty \). On the other hand, \(z_\textrm{max}\) monotonically increases as L is increased, and in fact increases linearly with L in the asymptotic limit. The latter can be seen from the fact that \(z_\textrm{max}-L\) tends to a constant value as \(L\rightarrow \infty \).
It is, in fact, possible to derive these asymptotic values, using the fact that the two black holes can be regarded as separate Schwarzschild black holes in this limit. The corresponding orbit in this limit is one that approaches a Schwarzschild black hole from infinity, and is deflected by an angle of \(180^\circ \) before receding back to infinity. The asymptotic value of \(\rho _{z=0}\) is just the impact parameter b of this orbit. The value of b can be calculated to be approximately 5.35696M; see, e.g., [15, 16]. On the other hand, the asymptotic value of \(z_\textrm{max}\) is the closest point of this orbit to the black hole. This value can be calculated to be approximately 3.52062M, using Eq. (5) of [16].
It is also possible to derive the values of \(\rho _{z=0}\) and \(z_\textrm{max}\) when \(L=0\). This limit corresponds to the two black holes merging into a single Schwarzschild black hole with mass 2M. In this case, the polar orbit is just the circular photon orbit around the Schwarzschild black hole with radius \(r=6M\) in spherical polar coordinates. In Weyl–Papapetrou coordinates (c.f. Footnote 3), this corresponds to the values \(\rho _{z=0}=2\sqrt{3}M\) and \(z_\textrm{max}=4M\).
6 Non-planar FPOs
We have so far focussed on FPOs that lie in a plane in the three-dimensional space (2.3). In this section, we turn our attention to the existence of non-planar FPOs. We have found a few such classes of FPOs, which we now discuss in turn.
6.1 Class A non-planar FPOs
The first class of non-planar FPOs, which we call Class A, contains the polar FPOs described in Sect. 5 as a special case. A common feature of this class of orbits is that they all pass through the equatorial plane \(z=0\), with the property that \({\dot{\rho }}|_{z=0}=0\). It turns out that a possible choice of parameter for these orbits is the radius \(\rho \) of the orbit when it passes through the equatorial plane. As usual, we denote this by \(\rho _{z=0}\).
Two useful characteristics of these orbits are the inclination angle that the orbit makes with respect to the equatorial plane in the three-dimensional space (2.3), and the maximum z coordinate reached by the orbit. We denote them by \(\theta _\textrm{inc}\) and \(z_\textrm{max}\), respectively. In particular, \(\theta _\textrm{inc}\) is given by the general formula:
Without loss of generality, we can assume \(\dot{z}|_{z=0}\ge 0\), so the allowed range of \(\theta _\textrm{inc}\) is from \(0^\circ \) (equatorial orbits) to \(90^\circ \) (polar orbits). In Fig. 7, we show how \(\theta _\textrm{inc}\) and \(z_\textrm{max}\) – as well as \(\Phi \) – depend on \(\rho _{z=0}\), for several values of L.
It is clear from Fig. 7 that the qualitative behaviour of the orbits is different, depending on whether L is more or less than the critical value \(M/\varphi \). We begin by considering the range \(L\le M/\varphi \). In this range, the lower and upper bounds of \(\rho _{z=0}\) are finite non-zero values, as listed in Table 1. As \(\rho _{z=0}\) is decreased from the upper bound, both \(\theta _\textrm{inc}\) and \(z_\textrm{max}\) will monotonically decrease. Two example orbits are plotted in Fig. 8a and b for the specific value \(L=M/2\). As \(\rho _{z=0}\) reaches the lower bound, both \(\theta _\textrm{inc}\) and \(z_\textrm{max}\) will vanish. Thus, we recover a circular orbit lying in the equatorial plane. Indeed, it can be checked that it is just the outer LR discovered in [6].
Next, we consider the range \(L>M/\varphi \). In this range, the lower bound of \(\rho _{z=0}\) is zero while the upper bound is a finite non-zero value, as listed in Table 1. As \(\rho _{z=0}\) is decreased from the upper bound, both \(\theta _\textrm{inc}\) and \(z_\textrm{max}\) will initially decrease, but may increase again. Two example orbits are plotted in Fig. 8c and d for the specific value \(L=M\). As \(\rho _{z=0}\rightarrow 0\), both \(\theta _\textrm{inc}\) and \(z_\textrm{max}\) will tend to finite non-zero values. Thus, we do not recover an equatorial orbit in this limit. In Fig. 9a, we have illustrated an orbit with a very small value of \(\rho _{z=0}\). As can be seen, it resembles a figure-8 or lemniscate type of orbit. However, unlike the figure-8 orbit that is known to exist in the double Majumdar–Papapetrou space-time [3], the orbit in Fig. 9a does not lie in a single plane. This is due to the presence of the conical singularity on the z-axis between the black holes. It is known that when a geodesic passes close to a conical singularity, it will undergo a deflection by a certain angle [4].
This angle can be approximately derived as follows. Consider a constant z plane cutting through the conical singularity (so that \(a_2<z<a_3\)). The metric of this two-dimensional plane, in the neighbourhood of the conical singularity itself, is given by
up to an irrelevant conformal factor. This metric describes a two-dimensional flat space in polar coordinates, with polar angle given by \(\phi '=\textrm{e}^{-k(0,z)}\phi \). Now consider a geodesic which passes through \(\rho =0\); its \(\phi '\) coordinate will undergo the usual shift \(\phi '\rightarrow \phi '+\pi \). However, in terms of the coordinate \(\phi \), this will correspond to the shift \(\phi \rightarrow \phi +\pi \textrm{e}^{k(0,z)}\). Thus, the angle by which the geodesic will be deflected is given by
This formula remains approximately valid for geodesics passing close to the conical singularity; a fact we have verified numerically for our examples. Since we do not allow light to pass through the conical singularity, the exact angle (6.3) will not be reached in practice.
6.2 Class B non-planar FPOs
The Class A FPOs that we discussed in the previous subsection have the property that they cross the equatorial plane \(z=0\) repeatedly. As such, they can be regarded as orbiting around both black holes. We now turn to a second class of orbits, which we call Class B, that are confined to either the region \(z>0\) or \(z<0\). Thus, they can be regarded as orbiting around only one of the black holes. Without loss of generality, we can take it to be the upper black hole. Because these orbits do not pass through the equatorial plane, we need to use a different parameter from the Class A FPOs. A possible choice of parameter is the maximum z coordinate reached by the orbit, denoted by \(z_\textrm{max}\).
Two useful characteristics of these orbits are its radius \(\rho \) at \(z=z_\textrm{max}\), and the difference between the maximum and minimum z coordinates reached by the orbit. We denote them by \(\rho _{z_\textrm{max}}\) and \(\Delta z\), respectively. In Fig. 10, we show how these two quantities – as well as \(\Phi \) – depend on \(z_\textrm{max}\), for several values of L.
Again, it is clear that the qualitative behaviour of the orbits is different, depending on whether L is more or less than the critical value \(M/\varphi \). We begin by considering the range \(L>M/\varphi \). In this range, the lower and upper bounds of \(z_\textrm{max}\) are finite non-zero values, as listed in Table 2. We note from Fig. 10b that \(\Delta z=0\) at the lower bound. This in fact corresponds to an off-equatorial LR, of the type described in Sect. 4. As \(z_\textrm{max}\) is increased, \(\Delta z\) will monotonically increase and the orbit will start tilting with respect to the z-axis. Two example orbits are plotted in Fig. 11a and b for the specific value \(L=M\). As \(z_\textrm{max}\) approaches the upper bound, the orbit will become almost vertical. However, as the lowest point of the orbit nears the conical singularity between the two rods, a deflection of the type described at the end of Sect. 6.1 will occur. In Fig. 9b, we have illustrated an orbit with a value of \(z_\textrm{max}\) very close to the upper bound. In analogy with the non-planar figure-8 orbit in Fig. 9a, we shall call such an orbit a “non-planar figure-0 orbit”.
Next, we consider the range \(L\le M/\varphi \). In this range, the lower bound of \(z_\textrm{max}\) is zero while the upper bound is a finite non-zero value, as listed in Table 2. The upper bound again corresponds to a non-planar figure-0 orbit, when the orbit is most vertical. As \(z_\textrm{max}\) is decreased, the orbit will become less inclined. Two example orbits are plotted in Fig. 11c and d for the specific value \(L=M/2\). When \(z_\textrm{max}=0\), we have \(\Delta z=0\) while \(\rho _{z_\textrm{max}}\) remains non-vanishing. This corresponds to an equatorial FPO, of the type described in Sect. 3. For \(L=M/2\), we actually obtain the orbit shown in Fig. 2a; indeed, it can be seen that Fig. 2a is like a “flattened” version of Fig. 11d.
6.3 Higher-order non-planar FPOs
It turns out that there exist non-planar FPOs that are hybrids of the Class A and Class B FPOs when \(L>M/\varphi \). Like the Class A FPOs, they all pass through the equatorial plane. Two such FPOs are plotted in Fig. 12, for the same specific values of \(L=M\) and \(\Phi =6.5M\) as the Class A orbit in Fig. 8d; indeed, they can be regarded as higher-order generalisations of the latter orbit.
In Fig. 12a, the orbit starts at the equatorial plane \(z=0\) and initially heads upwards like the Class A orbit in Fig. 8d. However, at the maximum value of z, it then orbits once around the upper black hole like the Class B orbit in Fig. 11b. After returning to the maximum value, it continues the rest of its orbit like the Class A orbit. In Fig. 12b, the first half of the orbit is similar to the previous one. However, at the minimum value of z, it orbits once around the lower black hole, before returning to the equatorial plane.
It is natural to label each of these orbits by a pair of integers (m, n), where m is the number of times it orbits around the upper black hole like a Class B orbit, and n is the number of times it orbits around the lower black hole like a Class B orbit subsequently. The lowest-order case \((m,n)=(0,0)\) corresponds to the orbit in Fig. 8d. The orbits in Fig. 12a and b have \((m,n)=(1,0)\) and (1, 1), respectively. One may wonder if there exist generalisations of these orbits to even higher order. Indeed, we have found examples of orbits with (m, n) as high as (2, 2). Not surprisingly, the numerical integration has to be carried out to a very high precision to obtain them.
These higher-order (m, n)-orbits can be parameterised by the initial position and direction of the orbit in the equatorial plane. The initial position is, as usual, specified by the radius \(\rho _{z=0}\). On the other hand, the initial direction is specified by the inclination angle \(\theta _\textrm{inc}\) defined in (6.1), as well as an azimuthal-type angle \(\theta _\textrm{azi}\) defined by
Note that \(\theta _\textrm{azi}\) is non-zero only for (m, n)-orbits with \(m\ne n\); by symmetry, it vanishes for orbits with \(m=n\). The corresponding parameters for the two higher-order orbits in Fig. 12 are indicated in their respective captions.
7 Effective potential method for FPOs
The effective potential method is an important and useful tool when analysing geodesics. Indeed, we have so far used it to deduce the existence of the equatorial FPOs in Sect. 3, and the existence and stability properties of the off-equatorial LRs in Sect. 4. In this section, we will expand on this method following [3], and show how it can be applied to understand the general behaviour of the FPOs found in this paper. In particular, it provides an alternative way to visualise the motion of the geodesics in the \((\rho ,z)\) plane. This is especially useful for the non-planar FPOs found in Sect. 6.
Recall that the effective potential for the null geodesics considered here is given by \(H(\rho ,z)\) in (2.13), and that the angular momentum \(\Phi \) of the photon must satisfy \(|\Phi |\le H(\rho ,z)\) for physical motion. Equality occurs if and only if \({\dot{\rho }}=\dot{z}=0\), as can be seen from (2.12). Note that, without loss of generality, we can assume \(\Phi \ge 0\); the case \(\Phi <0\) can then be obtained by a reflection \(\phi \rightarrow -\phi \).
Now, for fixed values of M, L and \(\Phi \), one can consider the set of points \((\rho ,z)\) satisfying the equation
known as level curves of \(H(\rho ,z)\). They delineate the boundary between the allowed and forbidden regions of the \((\rho ,z)\) plane for a null geodesic. Since \({\dot{\rho }}=\dot{z}=0\) along the level curves, a null geodesic will turn around when it reaches such a curve.
As an example, consider the case \(L=M/2\) and \(\Phi =10M\) in Fig. 13a. The shaded regions indicate the parts of the \((\rho ,z)\) plane for which \(\Phi <H(\rho ,z)\), where null geodesics are allowed to exist. In this case, there are two allowed regions, one connected to the black holes and the other to infinity.
As the values of the parameters are varied, the level curves will change. The rest of the plots in Fig. 13 illustrate this. Figure 13b shows the situation when \(\Phi \) is decreased below a certain critical value – approximately equal to 9.78603M in this case. At the critical value itself, the right-most two curves in Fig. 13a will meet up at a single point; this point corresponds to the outer LR in the equatorial plane. Below the critical value, the two curves will intercommute, as shown in Fig. 13b for the case \(\Phi =8.8M\). As a result, the two allowed regions in Fig. 13a will join up to become a single region, connected to both black holes and to infinity.
On the other hand, Fig. 13c shows the situation when \(\Phi \) is increased above a certain critical value – approximately equal to 10.3154M in this case. At the critical value itself, the left-most two curves in Fig. 13a will meet up at a single point; this point corresponds to the inner LR in the equatorial plane. Above the critical value, the two curves will intercommute, as shown in Fig. 13c for the case \(\Phi =10.5M\). As a result, there are now three allowed regions: two of which are connected to either black hole, and one to infinity.
Figure 13d and e illustrate examples of level curves when the black holes are separated by an intermediate and far distance, respectively. There are still three allowed regions in these cases, although the shapes of the level curves are different. In particular, it is clear from Fig. 13e that the two black holes are beginning to behave like separate Schwarzschild black holes. In such cases, there is a critical value of \(\Phi \) for which the two left curves will meet up with the right curve. The two points at which they meet up correspond to the two off-equatorial LRs. If \(\Phi \) is decreased below the critical value, we have the situation shown in Fig. 13f. The three allowed regions in Fig. 13e will join up to become a single region, connected to both black holes and to infinity.
We note that in the limit \(\Phi =0\), the three level curves in Fig. 13f will approach the z-axis itself. The allowed region therefore becomes the whole \((\rho ,z)\) plane, consistent with the fact that the null geodesics are now allowed to reach the z-axis. This is in fact a general result that applies for any value of L.
The six sets of level curves shown in Fig. 13 can be divided into three topologically distinct types, represented by Figs. 13a, b and c. We call them type (a), (b) and (c), respectively. Note that Fig. 13d and e belong to type (c), while Fig. 13f belongs to type (b). There are no other topologically distinct types. Indeed, it can be checked that the L–\(\Phi \) parameter space is divided into three parts as shown in Fig. 14, corresponding to types (a), (b) and (c).
As we have already seen, in all three cases, the allowed regions of the \((\rho ,z)\) plane are connected to the black holes and/or to infinity. This shows that it is kinematically possible for a null geodesic to reach the black holes or go to infinity. For all the FPOs found in this paper, we have checked that a small perturbation in the appropriate direction will cause them to fall into one of the black holes or move off to infinity. They are thus unstable.Footnote 4
Despite being inherently unstable, an FPO will in general trace out a trajectory in the allowed region of the \((\rho ,z)\) plane – that neither falls into a black hole nor moves off to infinity. Moreover, it can be shown that these trajectories will touch the level curves at right angles [4. These orbits are described in the appendix. The investigation of other classes of time-like orbits will be left for the future.
It should also be possible to extend this work to the case of more than two black holes, and even to charged black holes. We mention that the existence of equatorial LRs and time-like geodesics in these more general space-times were already considered in the pioneering work of Coelho and Herdeiro [6].
More recently, the authors of [17,18,19] have uncovered a certain topological charge (TC) of a given space-time, equal to the number of stable LRs minus the number of unstable LRs. It is invariant under smooth deformations of the space-time obeying fixed boundary conditions. So far, most of the work on the TC has been for space-times containing no or one black hole horizon. Thus, it is timely to investigate the TC in space-times with more than one horizon present. We note that \(\textrm{TC}=-2\) for the double Schwarzschild space-time.
It is our hope that the FPOs discovered in this paper would eventually lead to a better understanding of aspects of the double Schwarzschild space-time, such as its shadow. In particular, the existence of the higher-order non-planar FPOs suggests that the shadow might exhibit fractal behaviour [3], and it would be interesting to study this and other chaotic features of the space-time in more detail.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: All data was obtained using the formulae and procedures as described in the article.]
Notes
The golden ratio conjugate is sometimes denoted by \(\Phi \), but we do not use this notation here as \(\Phi \) is already used to denote the angular momentum of the photon.
The relation between Weyl–Papapetrou coordinates and the usual spherical polar coordinates is given by \(\rho =\sqrt{r(r-2M)}\sin \theta \) and \(z=(r-M)\cos \theta \) [14]. Thus \(\rho =\sqrt{3}M\) corresponds to \(r=3M\), when \(\theta =\pi /2\).
References
E. Teo, Spherical photon orbits around a Kerr black hole. Gen. Relativ. Gravit. 35, 1909 (2003). https://doi.org/10.1023/A:1026286607562
P.V.P. Cunha, C.A.R. Herdeiro, E. Radu, Fundamental photon orbits: black hole shadows and spacetime instabilities. Phys. Rev. D 96, 024039 (2017). https://doi.org/10.1103/PhysRevD.96.024039. ar**v:1705.05461 [gr-qc]
J.O. Shipley, S.R. Dolan, Binary black hole shadows, chaotic scattering and the Cantor set. Class. Quantum Gravity 33, 175001 (2016). https://doi.org/10.1088/0264-9381/33/17/175001. ar**v:1603.04469 [gr-qc]
P.V.P. Cunha, C.A.R. Herdeiro, M.J. Rodriguez, Does the black hole shadow probe the event horizon geometry? Phys. Rev. D 97, 084020 (2018). https://doi.org/10.1103/PhysRevD.97.084020. ar**v:1802.02675 [gr-qc]
P.V.P. Cunha, C.A.R. Herdeiro, M.J. Rodriguez, Shadows of exact binary black holes. Phys. Rev. D 98, 044053 (2018). https://doi.org/10.1103/PhysRevD.98.044053. ar**v:1805.03798 [gr-qc]
F.S. Coelho, C.A.R. Herdeiro, Relativistic Euler’s 3-body problem, optical geometry and the golden ratio. Phys. Rev. D 80, 104036 (2009). https://doi.org/10.1103/PhysRevD.80.104036. ar**v:0909.4413 [gr-qc]
H. Weyl, Zur Gravitationstheorie. Ann. Phys. 54, 117 (1917). https://doi.org/10.1002/andp.19173591804
R. Bach, H. Weyl, Neue Lösungen der Einsteinschen Gravitationsgleichungen. Math. Z. 13, 134 (1922). https://doi.org/10.1007/BF01485284
W. Israel, K.A. Khan, Collinear particles and Bondi dipoles in general relativity. Nuovo Cim. 33, 331 (1964). https://doi.org/10.1007/BF02750196
T. Assumpção, V. Cardoso, A. Ishibashi, M. Richartz, M. Zilhão, Black hole binaries: Ergoregions, photon surfaces, wave scattering, and quasinormal modes. Phys. Rev. D 98, 064036 (2018). https://doi.org/10.1103/PhysRevD.98.064036. ar**v:1806.07909 [gr-qc]
P.V.P. Cunha, J. Grover, C. Herdeiro, E. Radu, H. Runarsson, A. Wittig, Chaotic lensing around boson stars and Kerr black holes with scalar hair. Phys. Rev. D 94, 104023 (2016). https://doi.org/10.1103/PhysRevD.94.104023. ar**v:1609.01340 [gr-qc]
I. Sengo, P.V.P. Cunha, C.A.R. Herdeiro, E. Radu, Kerr black holes with synchronised Proca hair: lensing, shadows and EHT constraints, ar**v:2209.06237 [gr-qc]
S.R. Dolan, J.O. Shipley, Stable photon orbits in stationary axisymmetric electrovacuum spacetimes. Phys. Rev. D 94, 044038 (2016). https://doi.org/10.1103/PhysRevD.94.044038. ar**v:1605.07193 [gr-qc]
J.N. Islam, Rotating Fields in General Relativity (Cambridge University Press, Cambridge, 1985)
A.P.S. de Moura, P.S. Letelier, Scattering map for two black holes. Phys. Rev. E 62, 4784 (2000). https://doi.org/10.1103/PhysRevE.62.4784. ar**v:gr-qc/9910090
G.S. Bisnovatyi-Kogan, O.Yu. Tsupko, Strong gravitational lensing by Schwarzschild black holes. Astrophysics 51, 99 (2008). https://doi.org/10.1007/s10511-008-0011-8. ar**v:0803.2468 [astro-ph]
P.V.P. Cunha, E. Berti, C.A.R. Herdeiro, Light-ring stability for ultracompact objects. Phys. Rev. Lett. 119, 251102 (2017). https://doi.org/10.1103/PhysRevLett.119.251102. ar**v:1708.04211 [gr-qc]
P.V.P. Cunha, C.A.R. Herdeiro, Stationary black holes and light rings. Phys. Rev. Lett. 124, 181101 (2020). https://doi.org/10.1103/PhysRevLett.124.181101. ar**v:2003.06445 [gr-qc]
H.C.D. Lima Junior, J.-Z. Yang, L.C.B. Crispino, P.V.P. Cunha, C.A.R. Herdeiro, Einstein–Maxwell-dilaton neutral black holes in strong magnetic fields: topological charge, shadows and lensing. Phys. Rev. D 105, 064070 (2022). https://doi.org/10.1103/PhysRevD.105.064070. ar**v:2112.10802 [gr-qc]
Author information
Authors and Affiliations
Corresponding author
Appendix: Circular time-like orbits
Appendix: Circular time-like orbits
In this appendix, we shall discuss the existence of circular time-like orbits in the double Schwarzschild space-time. In the case \(L<M/\varphi \), it was found in [6] that such orbits could exist anywhere in the equatorial plane outside the annular region bounded by the two equatorial LRs. When \(L=M/\varphi \), this annular region becomes a circle, but the above result still holds. Here, we shall focus on the case \(L>M/\varphi \).
We shall consider time-like orbits in a constant z plane. Substituting (2.9) into (2.8), and using the fact that \(\dot{z}=0\) and that \({{\mathcal {L}}}\) can always be rescaled to \(-{1\over 2}\) for such orbits, we obtain
where the effective potential \(V(\rho ,z)\) is given by [6]
Stationary points of this potential then correspond to circular time-like orbits, with energy E equal to the value of \(\sqrt{V(\rho ,z)}\) at the point. It can be checked that the conditions for a stationary point, \(\partial _\rho V(\rho ,z)=0\) and \(\partial _z V(\rho ,z)=0\), are equivalent to
respectively. Note that the condition (A.3b) is identical to that for the null case in (4.1b). This means that the set of points \((\rho ,z)\) satisfying this condition is given by the same two blue curves described in Sect. 4 (c.f. Fig. 3). The condition (A.3a) is however different from the null case; it only reduces to (4.1a) if the right-hand side vanishes, i.e., when \(\Phi \rightarrow \infty \). Since the right-hand side of (A.3a) is in general a positive quantity, points in the \((\rho ,z)\) plane satisfying this condition are bounded by the orange curves described in Sect. 4.
In Fig. 3, we have indicated the set of points for which \(1-2\rho \partial _\rho U<0\) by the yellow regions. The parts of the blue curves which lie outside the closure of the yellow regions then indicate the allowed positions of the circular time-like orbits. For the case \(L\le M/\varphi \), it agrees with the results found in [6]. For the case \(L>M/\varphi \), it shows that these orbits could lie in the equatorial plane, and also possibly on the curve that stretches between the two off-equatorial LRs.
To find the actual positions of these orbits, one has to solve for the condition (A.3a) for different values of \(\Phi \). It turns out that its solution generally consists of three curves in the \((\rho ,z)\)-plane. For definiteness, consider the case \(L=M\); other cases will be similar. In Fig. 16, we have illustrated the set of points \((\rho ,z)\) satisfying the two conditions (A.3), for four qualitatively different cases. The orange curves are points at which \(\partial _\rho V(\rho ,z)=0\), while the blue curves are points at which \(\partial _z V(\rho ,z)=0\).
When \(\Phi \) is below a certain critical value – approximately equal to 6.53321M in this case, there will exist a single circular time-like orbit in the equatorial plane. This is illustrated in Fig. 16a for the case \(\Phi =6.3M\); it can be seen that the short orange curve intersects the blue curves at one point, with \(z=0\). When \(\Phi \) is equal to this critical value, the orange curve in question will meet the blue curves at the point where the latter two curves intersect. When \(\Phi \) is increased above this critical value, the short orange curve will intersect the blue curves at three distinct points, one with \(z=0\) and the other two with \(z\ne 0\). This is illustrated in Fig. 16b for the case \(\Phi =6.56M\). Thus, we have one circular orbit in the equatorial plane and two circular orbits that are lifted off the equatorial plane. The latter orbits are the time-like analogues of the off-equatorial LRs described in Sect. 4.
It turns out that the time-like case exhibits additional features that are not present in the null case. If we increase \(\Phi \) to the approximate value 6.56860M, the two long orange curves will meet along the \(z=0\) line, giving rise to an additional circular orbit in the equatorial plane. Above this value, the two curves will intercommute, as shown in Fig. 16c for the case \(\Phi =6.8M\). There are now a total of three circular orbits in the equatorial plane, in addition to the two off-equatorial ones.
If we continue increasing \(\Phi \) to the approximate value 7.07266M, the left-most two orange curves in Fig. 16c will meet along the \(z=0\) line, causing the inner-most two circular orbits in the equatorial plane to merge. Beyond this value, the two curves will intercommute, as shown in Fig. 16d for the case \(\Phi =7.3M\). There now remains just one circular orbit in the equatorial plane, in addition to the two off-equatorial ones.
The stability of these circular time-like orbitscan be checked by calculating the Hessian matrix\(\left( {\begin{matrix} \partial _\rho ^2 V(\rho ,z)&{}\partial _\rho \partial _z V(\rho ,z)\\ \partial _z\partial _\rho V(\rho ,z)&{}\partial _z^2 V(\rho ,z) \end{matrix}}\right) \). The black dots in Fig. 16 indicate orbits that have a negative Hessian determinant, and so are unstable. In particular, this includes all the off-equatorial orbits. On the other hand, the grey dots in Fig. 16 indicate orbits that have a positive-definite Hessian matrix, and so are stable. We conclude that there can exist up to two stable circular time-like orbits in the equatorial plane of this space-time.
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Fan, Z., Teo, E. Fundamental photon orbits in the double Schwarzschild space-time. Eur. Phys. J. C 82, 1016 (2022). https://doi.org/10.1140/epjc/s10052-022-10996-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-022-10996-5