Abstract
We calculate the exact solutions to the equations of motion that govern the light ray trajectories as they travel in a Kerr black hole’s exterior that is considered to be filled with an inhomogeneous and anisotropic plasmic medium. This is approached by characterizing the plasma through conceiving a radial and an angular structure function, which are let to be constant. The description of the motion is carried out by using the Hamilton–Jacobi method, that allows defining two effective potentials, characterizing the evolution of the polar coordinates. The elliptic integrals of motion are then solved analytically, and the evolution of coordinates is expressed in terms of the Mino time. This way, the three-dimensional demonstrations of the light ray trajectories are given respectively.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The analysis of light ray trajectories in the spacetimes associated with black holes, dates back to the very early years of general relativity. However, it was not until 1930, that a reliable analytical derivation of particle trajectories in Schwarzschild spacetime was presented by Hagihara [1]. Since then, efforts for the analytical determination of the gravitational lensing caused by black holes have been continued constantly, and significant formulations have been derived, which also include ways of confining the black hole shadow [2,3,4,5]. The importance of analytical treatment of particle geodesics in black hole spacetimes, is to provide the possibility to do a strict comparison of the theoretical predictions with the observational data. This kind of treatment is, therefore, of interest among respected scientists. For example, the study of gravitational lensing was resurrected by the very famous paper [6] in Schwarzschild spacetime, which founded many similar researches specified to the case of rotating black holes. The non-static black hole spacetimes, however, correspond to complicated equations of motion that necessitate more advanced mathematical methods to be established. In fact, the search for such methods have led to numerous publications. Along the same efforts, and for the case of the application of elliptic integrals in the calculation of light ray geodesics (which is also the interest of this work), several criteria have been discussed and resolved in Refs. [7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32]. Furthermore, following the discussions given by Synge in Ref. [33], such mathematical methods and similar ones, have made possible the determination and confinement of light propagation in the spacetimes of theoretical (non-)static black holes that are surrounded by plasmic or dark fluid media [34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51]. Despite this, the analytical treatment of light ray trajectories in non-vacuum black hole surroundings is seemed to be overlooked. In fact, such analysis can help classifying the other possible orbits in such conditions, that are not usually considered to determine the black holes’ photon spheres and shadows. Hence, in this paper, we apply the aforementioned mathematical methods to calculate the light ray paths while they travel in a non-vacuum non-static spacetime.
Accordingly, we investigate the optical nature of the exterior spacetime of a Kerr black hole, considering that it is immersed in an inhomogeneous anisotropic plasmic medium whose structural functions are constant. To achieve this objective, in Sect. 2, we use the Hamilton–Jacobi formalism to obtain the basic relations that allow us to describe the propagation of light in a dispersive medium. In order to get a better perception of the equations of motion, the Mino time is introduced as the trajectory parameter. In particular, in Sect. 3, we use simple forms for the structural functions, i.e. \(f_r\) and \(f_{\theta }\), that make it possible obtaining exact analytical solutions to the equations of motion, which in this paper, are expressed in terms of the Weierstraßian elliptic functions. With the aim of the Mino time as the trajectories’ curve parameter, we obtain the spatial three-dimensional representations of these exact solutions. We conclude in Sect. 4. Throughout this work we will use the geometric units, in which \(G=c=\hbar =1\).
2 Light propagation in an inhomogeneous plasma in Kerr spacetime
To study the light propagation in a medium, we need to consider the phase space dynamics, by introducing an appropriate Hamiltonian. For light rays propagating in a non-magnetized pressure-less plasma, this Hamiltonian is characterized as
in the coordinate system \(\varvec{x}\equiv x^{\mu }=(x^0,x^1,x^2,x^3)\), where \(\varvec{p}\equiv p_{\mu }=(p_0,p_1,p_2,p_3)\) is the canonical momentum covector. Here, \(\omega _p(\varvec{x})\) is the plasma electron frequency given by (for a review see Ref. [52])
in terms of the electron charge e, electron mass \(m_e\), and the number density \(N_p\). Defining the plasmic refractive index [40]
with \(\varvec{u}\) as the observer’s four-velocity, we can recast the Hamiltonian as
Here, the quantity \(p_\nu u^\nu = -\omega \) gives the effective energy of the photons of frequency \(\omega \), as measured by the observer. This way, the refractive index \(n\equiv n(\vec {x},\omega )\) constructs the optical metric \(\mathfrak {o}^{\mu \nu }\) of the plasmic medium, such that \(\mathcal {H}=\frac{1}{2}\mathfrak {o}^{\mu \nu } p_\mu p_\nu \). In fact, the Hamilton–Jacobi approach, requires the contribution of the Jacobi action \(\mathcal {S}\), given by
with \(\lambda \) as the curve parametrization. Now, if the observer is located on the \(x^0\) curves, it has the four-velocity \(u^\mu = {\delta _0^\mu }/{\sqrt{-g_{00}}},\) which, employing Eqs. (5), yields the Hamilton–Jacobi equation as [40, 43]
in which, we have used the identity \(p_\nu u^\nu = p_0/\sqrt{g_{00}} = -\omega \). Therefore, the general equations governing the light ray trajectories are
2.1 Light propagating in Kerr spacetime
The Kerr black hole spacetime is described by the line element
which, here, is given in terms of the Boyer–Lindquist coordinates \(x^\mu =(t, r, \theta , \phi )\). In the above line element
with M and \(a = J/M\) being, respectively, the mass and the spin parameter of the black hole, where J is the black hole’s angular momentum. The Kerr black hole spacetime admits for a Cauchy and an event horizon (notated respectively by \(r_-\) and \(r_+\)), whose surfaces are determined by solving \(\Delta = 0\), and are given by
The other significant hypersurface in Kerr spacetime, where \(g_{tt} = 0\), corresponds to a region, inside which, no static observes can exist and stationary observers are in the state of corotation with the black hole. This surface of static limit is located at
and together with the event horizon, forms the black hole’s ergosphere in the region \(r_+<r<r_{\mathrm {SL}}\). Throughout this paper, we restrict our study to the domain of outer communications, i.e., the domain outside the event horizon (\(r > r_+\)), and we consider the case of \(a^2\le M^2\), that corresponds to a black hole rather than a naked singularity. The famous method of separation of the Jacobi action, is based on the definition [5, 53]
in which E, L and m are, respectively, the energy, angular momentum, and the mass associated with the test particles (here, \(m=0\)). The first two parameters are known as the constants of motion which are specified by the Hamilton equations. Along with the method of separation of the Hamilton–Jacobi equation introduced in Ref. [43], we recast the Hamiltonian (1) in the Kerr spacetime as
Assuming \(\omega _p\equiv \omega _p(r, \theta )\), it is then straightforward to see that \(\partial \mathcal {H}/ \partial t=0=\partial \mathcal {H}/ \partial \phi =0\). Therefore, taking into account Eqs. (5a) and (12), we can specify the constants of motion as
Physically, the angular momentum component \(p_{\phi }\) corresponds, to the axial symmetry of the spacetime. The nature of \(\omega _0\), on the other hand, becomes clear if we specify the light rays’ frequency. In fact, the special case of \(\omega _p(r,\theta )\) corresponds to the three constants of motion, \(\mathcal {H}=0\), \(\omega _0\) and L. Accordingly, we can apply the Carter’s method of separation of the Hamilton–Jacobi equation, through which, the light ray trajectories are given in terms of integrable equations [5, 53]. Using Eqs. (13) and (14), the Hamilton–Jacobi equation, \( \mathcal {H}(\varvec{x},\varvec{p})=0\), yields
The separability property of the Hamilton–Jacobi equation, demands that Eq. (15) can be divided into separated r-dependent and \(\theta \)-dependent segments. In Ref. [43], this has been made possible by defining
for some functions \(f_{r}(r)\) and \(f_{\theta }(\theta )\). Now, the identity
together with Eqs. (15) and (16), separates the Hamilton–Jacobi equation as
in which, \(\mathscr {Q}\) is the so-called Carter’s constant. Recasting the above equations, yields
Insertion of Eqs. (19) and (20) into the Hamiltonian (13), and then using Eq. (7a), provides the first order differential equations of motion as
where
Finally, defining the dimension-less Mino timeFootnote 1, \(\gamma \), as \(\rho ^2\mathrm {d}\gamma =M\mathrm {d}\lambda \) [54], the equations of motion are now rewritten as
In the next section, we continue our discussion by analyzing the above equations of motion, in order to find analytically exact solutions to the light ray trajectories travelling in an inhomogeneous anisotropic plasma around the black hole.
3 General analysis of the equations of motion
The separation condition in Eq. (16) characterizes the plasma, regarding its geometric distribution in the spacetime surrounding the black hole. Therefore, the characteristic functions \(f_r(r)\) and \(f_\theta (\theta )\), play important roles in defining the plasma’s configuration. In this section, we confine the light rays to an inhomogeneous anisotropic plasma, by adopting the particular choices
This way, Eq. (16) can be recast as
where R is the mean radius of the gravitating object, and \(\Omega _0\) is a positive constant. Within the text, we use, frequently, the conventions
in order to simplify the analysis. In what follows, the temporal evolution of the spacetime coordinates are analyzed separately for this plasma, and the relevant exact solutions are presented.
3.1 The evolution of the radial distance (the r-motion)
In the study of particle trajectories in curved spacetimes, it is of crucial importance to know how the particles approach and recede from the source of gravity. Based on the nature of the interactions, this study is traditionally done by calculating the radial, effective gravitational potential, that acts on the particles [55]. Hence, to scrutinize the r-motion for the light ray trajectories in the context under consideration, we focus on the radial equation of motion (26), and rewrite the expression in Eq. (25a) as
where \(\mathscr {P}(r)=r^4+a^2r^2+2Ma^2r\), and the radial gravitational potentials are given by
taking into account the condition (30). The negative branch is not of our interest, since it has no classical interpretations.Footnote 2 We therefore, choose the positive branch of Eq. (36) as the effective potential, i.e. \(V_{\mathrm {eff}}=V_{+}(r)\equiv V(r)\), noting that \(V(r\rightarrow \infty )=0\). In Fig. 1, this effective potential has been demonstrated for different values of a and L. According to the diagrams, no stable orbits are expected since the effective potentials do not possess any minimums. Note that, the photons can also pursue a motion along the opposite direction of the black hole’s spin, which is the significance of the retrograde motion. As seen in the left panel of Fig. 1, the effective potential corresponding to the retrograde motion (plotted for \(a<0\)), exhibits a lower maximum energy for the the same angular momentum. Therefore, photons on the retrograde motion encounter a remarkably smoother gravitational potential.
The possible trajectories are then categorized based on the turning points. However, before proceeding with the determination of the turning points, let us rewrite Eq. (26) as
in terms of the characteristic polynomial
where
and \(\eta _r= f_r/ \omega _0^2\).
3.1.1 The turning points
Let us consider a typical effective potential as demonstrated in Fig. 2. The possible types of motion are categorized regarding the photon frequency (energy) \(\omega _0\), compared with its value \(\omega _U\), for photons on the unstable circular orbits (UCO). When \(\omega _0>\omega _U\), the characteristic polynomial \(\mathcal {P}(r)\) has four complex roots, which for \(\omega _0=\omega _U\), reduces to two complex roots and a (degenerate) positive real root. This latter corresponds to the UCO at the orbital radius \(r_U\). For the case of \(\omega _0<\omega _U\), the polynomial has two complex and two positive reals roots, \(r_D\) and \(r_F\), that correspond to the turning points of the photon orbits. In fact, Eqs. (26) and (29) also inform about the characteristics of the turning points. Defining the coordinate velocity \(v_c(r) = \mathrm {d}r/\mathrm {d}t\), then the turning points, \(r_t\), are where \(v_c(r_t) = 0\). Based on the definition given in Eq. (37), this condition is equivalent to \(\mathcal {P}(r_t) = 0\), which together with Eq. (38), results in the two radii
where
and
in which,
The turning points \(r_D\) and \(r_F\) correspond to different fates for the trajectories. Respecting Fig. 2, photons that approach the black hole at \(r_D\), will deflect to infinity by pursuing a hyperbolic type of motion (deflection of the first kind (DFK)). The equation of motion (37), if solved at the vicinity of the deflection point \(r_D\), yields the DFK as (appendix A)
in which
where \(\wp (x)\equiv \wp (x;\tilde{g}_2,\tilde{g}_3)\) is the elliptic Weierstraßian \(\wp \) function (see appendix B), here, associated with the invariants
given that \(\alpha _1=C_2/C_3\), \(\alpha _2=C_1/C_3\) and \(\alpha _3=C_0/C_3\), and the respected coefficients defined as
On the other hand, \(r_F\) is the point of no return, from which, the photons will be captured bu the black hole (deflection of the second kind (DSK)). Applying the same method we pursued to calculate the DFK, at the approaching point \(r_F\), the DSK is found to obey the equation
where
with the Weierstraß coefficients having the same form of expressions as those in Eqs. (47), and \({\tilde{\alpha }}_1=\tilde{C}_2/\tilde{C}_3\), \({\tilde{\alpha }}_2=\tilde{C}_1/\tilde{C}_3\) and \({\tilde{\alpha }}_3=\tilde{C}_0/\tilde{C}_3\), that relate respectively to the same coefficients in Eqs. (48), by doing the exchange \(r_D\rightarrow r_F\). In Fig. 3, the DFK and DSK have been plotted for the light rays approaching the black hole, for definite dynamical parameters. As it is expected, the DFK initiates from the turning point \(r_D\) and escape to infinity, and can therefore, reach a distant observer. This concept, if treated for the trajectories with angular components, has the significance of bending of light in curved spacetimes. It is worth notifying the difference between the two types of the DFKs, as indicated in panel (a) of the figure. As it is expected, the more \(\omega _0\) increases toward its critical value \(\omega _U\), the more the trajectories are inclined towards the black hole. In order to find a switching value for \(\omega _0\), at which the DFKs change their deflecting character, let us recall that \(r_D\equiv r_D(\omega _0)\) and \(r_F\equiv r_F(\omega _0)\), whose behaviors have been plotted in Fig. 4. As it is observed in the figure, there is a region of the steepest declination of \(r_D\), located at the vicinity of \(\omega _U\). This region starts in accordance with a switching value \(\omega _0^\mathrm {e}\), from which, the trajectories start to change their deflecting character. On the other hand, the DSK starts from \(r_F\) and ends in falling onto the singularity. Hence, light rays that are engaged in this process, will never go beyond the distance \(r_F\) from the black hole and cannot reach an observer at infinity. Note that, in the case of \(\omega _0=\omega _U\), the light rays will approach at the point \(r_F<r_U<r_D\), that satisfy the equation \(V'(r_U) = 0\). As mentioned above, this corresponds to the UCO. In Fig. 5, this kind of orbit has been plotted, regarding its first and the second kinds (UCOFK and UCOSK), by exploiting the equations of motion obtained above, applied for the radial distance \(r_U\). The UCOFK, in particular, is responsible for the formation of the black hole shadow.
3.1.2 The capture zone
In addition to the photons with \(\omega _0<\omega _U\) that approach the black hole from the radial distance \(r_F\), those incident photons with \(\omega _0>\omega _U\), also become completely unstable in the region dominant by the effective potential, and are captured by the black hole (see Fig. 2). The form of the equation of motion for such photons, is the same as those in Eqs. (45) and (49), but the point of approach can be any point \(r_I>r_{+}\). In Fig. 6, an example of this kind of orbit has been plotted.
3.2 The evolution of the polar angle (the \(\theta \)-motion)
The \(\theta \)-motion is governed by Eqs. (2227) and (25b), for which, the condition (31) implies
that can be recast as
where
is the angular gravitational potential felt by the light rays in the plasma. Essentially, this potential has the general form as defined, for example, for the case of null geodesics in Ref. [57]. This general form can be recovered by letting \(f_\theta =0\) in Eq. (53). We define
for more convenience. Now, performing the change of variable \(z=\cos \theta \), Eq. (2227) can be recast as
where
and the condition \(\Theta _z>0\) is required. Clearly, the characteristics of the motion depend directly on the nature of \(\Theta _z\). Accordingly, we assess the equation of motion (55), separately, for the cases \(\tilde{\eta }>0\), \(\tilde{\eta }=0\), and \(\tilde{\eta }<0\). These cases completely categorize the types of the \(\theta \)-motion.
3.2.1 The case of \(\tilde{\eta }>0\)
In this case, the expression in Eq. (56) remains unchanged, and the condition \(\Theta _{z}>0\), confines the z parameter in the domain \(-z_{\min }\le z \le z_{\max }\), where
in which, \(\chi _0=\xi ^2+\tilde{\eta }-a^2>0\). The mentioned domain, corresponds to the polar range \(\theta _{\min }\le \theta \le \theta _{\max }\), given that \(\theta _{\min }=\arccos \left( z_{\max }\right) \) and \(\theta _{\max }=\arccos \left( -z_{\max }\right) \). This range defines a cone, to which, the test particles’ motion is confined. Having this in mind, we can solve the equation of motion (55) by direct integration, resulting in
where
with
and
are the respected Weierstraß invariants. Using the analytical solution (58), the temporal evolution of \(\theta (\gamma )\) for the case of \(\tilde{\eta }>0\) has been shown in Fig. 7, together with the behavior of \(W(\theta )\). As it can be observed from the behavior of \(W(\theta )\), the values of energy that rely in the region \(\omega _0\le \omega _U\) are allowed. The light rays, therefore, can opt all kinds of possible orbits that were discussed in the previous section. Accordingly, and applying the analytical solutions of the radial coordinate, the cross-sectional behaviors of the above orbits have been plotted in Fig. 8, for the case of \(\tilde{\eta } >0\), inside the cone of confinement in the z-x plane (i.e. for \(\phi = 0\)).
3.2.2 The case of \(\tilde{\eta }=0\)
The parameter z, in this case, is confined to the domain \(\bar{z}_{\min }\le z\le \bar{z}_{\max }\) with \(\bar{z}_{\min } = 0\) and \(\bar{z}_{\max } = \sqrt{1-(\xi /a)^2}\). This domain corresponds to the cone \(\bar{\theta }_{\min }\le \theta \le \pi /2\), where \(\bar{\theta }_{\min }=\arccos \left( \bar{z}_{\max }\right) \). In this case, the effective angular potential (53) takes the form
It is straightforward to see that \(W'(\theta ) = 0\) gives \(\bar{\theta }_{0}=\pi /2=\bar{\theta }_{\max }\), according to which, the minimum of the angular effective potential, \(W_{\min } = W(\pi /2)\), is obtained. One can therefore infer that the case of \(\tilde{\eta } = 0\) also allows for a stable polar equatorial motion. Taking into account \(\theta (0) = \bar{\theta }_{\min }\), the direct integration of Eq. (55) yields
which implies \(a^2>\xi ^2\), and we have defined \( \kappa _1=\omega _0\sqrt{a^2-\xi ^2}/M\). Accordingly, the temporal evolution of \(\theta (\gamma )\) and the corresponding angular effective potential have been plotted in Fig. 9. As it can be observed, in contrast with the case of \(\tilde{\eta }>0\), the allowed energies for the case of \(\tilde{\eta } = 0\) are higher than their critical value (i.e. \(W_{\min } > \omega _U^2\)), and therefore, only the capturing trajectories are possible, which in Fig. 10, has been demonstrated inside the cone of confinement.
3.2.3 The case of \(\tilde{\eta }<0\)
Under this condition, the expression in Eq. (56) takes the form
and \(\Theta _{z}>0\) requires \(| \tilde{\eta }|+a^2-\xi ^2>0 \), which is satisfied inside the domain \(\bar{\bar{z}}_{\min }\le z \le \bar{\bar{z}}_{\max }\), where
with
The corresponding particle-cone is therefore confined to \(\bar{\bar{\theta }}_{\min }\le \theta \le \bar{\bar{\theta }}_{\max }\), where \(\bar{\bar{\theta }}_{\min }=\arccos \left( \bar{\bar{z}}_{\max }\right) \) and \(\bar{\bar{\theta }}_{\max }=\arccos \left( \bar{\bar{z}}_{\min }\right) \), and the respected effective potential is
Once again, to determine the possible stable polar orbits we solve \(W'(\theta ) = 0\), which yields
This value satisfies \(\bar{\bar{\theta }}_{\min }\le \bar{\bar{\theta }}_{0}\le \bar{\bar{\theta }}_{\max }\), and corresponds to the minimum of the angular effective potential for the case of \(\tilde{\eta }<0\). To find the analytical solution for \(\theta (\gamma )\), we pursue the same method as in the case of \(\tilde{\eta }>0\), that provides
where
and the corresponding Weierstraß invariants are
As in the previous cases, we have plotted the respected angular effective potential and the temporal evolution of the \(\theta \)-coordinate, in Fig. 11, for the case of \(\tilde{\eta }<0\), which similar to the case of \(\tilde{\eta } = 0\), indicates that \(W_{\min }>\omega _U^2\). Hence, only the capturing trajectories are allowed (see Fig. 12).
3.3 The evolution of the azimuth angle (the \(\phi \)-motion)
A feasible approach to calculate the \(\phi \)-motion, is to divide the integral equation (2328) into \(\theta \)-dependent and r-dependent parts, in a way that we get
with
in which, the minimum value of the \(\theta \) coordinate has been assumed to coincide with the initial point \(r_i\), which can be set as either of the turning points. According to the fact that the general form of the equation of motion has been considered, this assumption does not affect the final analytical results for the \(\phi \)-motion. Direct integration of the integral (73a) results in the following cases:
-
For \(\tilde{\eta }>0\) we get
$$\begin{aligned} \Phi _{\theta }(\gamma ) = \mathcal {K}_0 \big [\mathcal {K}_1 \mathcal {F}_1(U_\theta ) - \mathcal {K}_2 \mathcal {F}_2(U_\theta )-\kappa _0 \gamma \big ], \end{aligned}$$(74)in which, \(\kappa _0\) has been given in Eq. (59a), and (with \(j=1,2\))
(75)where, \(\wp '(\upsilon ) \equiv \frac{\mathrm {d}}{\mathrm {d}\upsilon }\wp (\upsilon ;g_2,g_3)\), which here, is given in terms of the corresponding Weierstraß invariants \(g_2\) and \(g_3\), as in Eqs. (61). Furthermore,
(76a)(76b)(76c)in which, is the inverse Weierstraßian \(\wp \) function, \(z_{\max }\) and \(\psi _0\) are given in Eqs. (57a) and (59b), and
$$\begin{aligned}&\mathcal {K}_0 = \frac{\xi }{a \sqrt{2z_{\max } \left( z_{\max }^2+z_0^2\right) }\, (1-z_{\max }) (1+z_{\max })}, \end{aligned}$$(77a)$$\begin{aligned}&\mathcal {K}_1 = \frac{1+z_{\max }}{8 (1-z_{\max })}, \end{aligned}$$(77b)$$\begin{aligned}&\mathcal {K}_2 = \frac{1-z_{\max }}{8 (1+z_{\max })}. \end{aligned}$$(77c)The function in Eq. (75), also depends on the Weierstraßian Zeta and Sigma functions (see appendix B). Note that, for the sake of simplicity in the demonstration of the trajectories, we will set \(\phi (\theta _{\min })=0\) as the initial condition. The complete \(\gamma \)-dependent expression for \(\Phi _\theta (\gamma )\) is then obtained by substituting \(\theta \rightarrow \theta (\gamma )\) in the above relations.
-
For \(\tilde{\eta } = 0\), pursuing the same mathematical methods, we find
(78)in which, \(\bar{\mathcal {F}}_\theta (\theta )\) has the same expression as in Eq. (75), considering the exchanges
(79a)(79b)(79c)and the corresponding Weierstraß invariants are
$$\begin{aligned}&\bar{g}_2 = \frac{1}{48 \bar{z}_{\max }^2}, \end{aligned}$$(80a)$$\begin{aligned}&\bar{g}_3=-\frac{1}{1728 \bar{z}_{\max }^3}. \end{aligned}$$(80b)Furthermore,
$$\begin{aligned}&\bar{\mathcal {K}}_0 = \frac{\xi }{a \sqrt{2\bar{z}_{\max }^3}\, (1-\bar{z}_{\max }) (1+\bar{z}_{\max })}, \end{aligned}$$(81a)$$\begin{aligned}&\bar{\mathcal {K}}_1 = \frac{1+\bar{z}_{\max }}{8 (1-\bar{z}_{\max })}, \end{aligned}$$(81b)$$\begin{aligned}&\bar{\mathcal {K}}_2 = \frac{1-\bar{z}_{\max }}{8 (1+\bar{z}_{\max })}. \end{aligned}$$(81c) -
For \(\tilde{\eta }<0\) we obtain
$$\begin{aligned} \Phi _{\theta }(\gamma ) = \bar{\bar{\mathcal {K}}}_0 \big [\bar{\bar{\mathcal {K}}}_1 \bar{\bar{\mathcal {F}}}_1(\bar{\bar{U}}_\theta ) - \bar{\bar{\mathcal {K}}}_2 \bar{\bar{\mathcal {F}}}_2(\bar{\bar{U}}_\theta )-\kappa _2 \gamma \big ], \end{aligned}$$(82)with \(\kappa _2\) given in Eq. (70a). To obtain \(\bar{\bar{\mathcal {F}}}_j(\bar{\bar{U}}_\theta )\), we need to apply
(83a)(83b)(83c)in Eqs. (75) and (76), with \(\bar{\bar{z}}_{\max }\), \(\mu _0\) and \(\varphi _0\), defined, respectively, in Eqs. (65b), (66a) and (70b). The corresponding Weierstraß invariants are the same as \(\bar{\bar{g}}_2\) and \(\bar{\bar{g}}_3\), given in Eqs. (71), and
$$\begin{aligned}&\bar{\bar{\mathcal {K}}}_0 = \frac{\xi }{a \sqrt{2\bar{\bar{z}}_{\max } \left( 2\bar{\bar{z}}_{\max }^2-\mu _0^2\right) }\, (1-\bar{\bar{z}}_{\max }) (1+\bar{\bar{z}}_{\max })}, \end{aligned}$$(84a)$$\begin{aligned}&\bar{\bar{\mathcal {K}}}_1 = \frac{1+\bar{\bar{z}}_{\max }}{8 (1-\bar{\bar{z}}_{\max })}, \end{aligned}$$(84b)$$\begin{aligned}&\bar{\bar{\mathcal {K}}}_2 = \frac{1-\bar{\bar{z}}_{\max }}{8 (1+\bar{\bar{z}}_{\max })}. \end{aligned}$$(84c)
The r-dependent integral (73b) provides
in which
given that
where the coefficient \(\alpha _1\) and the Weierstraß invariants, are the same as those given in Eqs. (47), considering \(r_D\rightarrow r_i\). Furthermore
Now, having in hand the analytical expressions for all the spatial coordinates, we are able to simulate the possible orbits, based on the simultaneous evolution of these coordinates. Respecting the allowed values of \(\omega _0 \), in Fig. 13, the orbits that we have previously illustrated in Figs. 8, 10, and 12, are demonstrated in the three-dimensional form, by applying the following Cartesian correspondents of the Boyer–Lindquist coordinates [58]
In presenting the figures, we have also considered the case of the vacuum Kerr spacetime, for which, the characteristic functions \(f_r(r)\) and \(f_\theta (\theta )\) in Eq. (16), vanish identically. In fact, in the three-dimensional treatment of the trajectories, a fixed positive Carter’s constant \(\mathscr {Q}\), does not allow for the construction of the cases \(\tilde{\eta }=0\) and \(\tilde{\eta }<0\) in the vacuum Kerr spacetime. Hence, the possible comparison between the light propagation in the plasmic and vacuum Kerr spacetimes can only be done in the context of \(\tilde{\eta }>0\) which corresponds to the first six diagrams of Fig. 13. As indicated in these diagrams, the sensible differences between these media, are seen in the DFKs. While the light ray trajectories in plasma (black curves) occupy a wider spatial range around the black hole, those in the vacuum (blue curves) are more close to the event horizon. Passing the plasma, will therefore, change the amount of light deflection and this can be inspected through the process of gravitational lensing (see below). The other types of trajectories do not show any sensible differences. Hence, in what follows we continue with the equatorial lens equation for the black hole.
3.3.1 Gravitational lensing
Let us, for now, confine ourselves to the equatorial plan (with \(\theta =\pi /2\)), on which we have \(\mathscr {Q} = f_\theta \). Therefore, by means of Eqs. (26) and (2328), the differential equation that governs the gravitational lensing is
according to which, the lens equation is written as
where \(\hat{\vartheta }\) is the deflection angle and \(r_D\) is that in Eq. (40). This provides
in which, \(\mathcal {F}_\pm \) are given in Eq. (86),
and \(\varUpsilon _\pm \) are the same as those in Eq. (87d) with \(r_i\rightarrow r_D\). Applying the data given in Fig. 13, one obtains \({\hat{\vartheta }}=47.137^\circ \) and \(\hat{\vartheta } = 110.869^\circ \), respectively, for \({\omega _0 = 0.755}\) and \(\omega _0=0.70\). This is while for a vacuum background (i.e. \(f_r=f_\theta = 0\)), these values change to \({\hat{\vartheta }}=27.276^\circ \) and \({\hat{\vartheta }}=52.997^\circ \), for the same initial frequencies.
3.4 The evolution of the coordinate time (the t-motion)
We exploit the same methods of integration, as we had for the case of the \(\phi \)-motion. Accordingly, considering Eq. (29), together with Eqs. (26) and (2227), we can write the integral equation for the t-motion as
with
Recalling the functions defined in the last subsection, the \(\theta \)-dependent integral above, gives these three cases:
-
For \(\tilde{\eta }>0\):
(96) -
For \(\tilde{\eta }=0\):
(97) -
For \(\tilde{\eta }<0\):
(98)
The r-dependent integral (95b) provides the solution
in which (letting \(\mathcal {T}_j\equiv \mathcal {T}_j\big (r(\gamma )\big )\))
recalling the expressions from the last subsection, and
where \(u_{\pm }=\left[ (r_{\pm }/r_i)-1\right] ^{-1}\), the relevant Weierstraß invariant are given in Eqs. (47), and the constant \(C_3\) has been taken from Eq. (48d), considering \(r_D\rightarrow r_i\).
Note that, to simulate the angular trajectories, the Mino time \(\gamma \) is used as the curve parameter. The above derivations for the time coordinate t are, therefore, of pure mathematical significance and are presented only to have in hand the complete evolution of the spacetime coordinates. Accordingly, we pause the discussion at this point, and summarize the results in the next section.
4 Conclusions
There is no doubt that physical systems offer different criteria for them to be describable efficiently and completely. In this work, we have considered such criteria for monochromatic light rays of peculiar frequency \(\omega _0\), that travel in the exterior spacetime geometry of a Kerr black hole which is filled by an inhomogeneous anisotropic electronic plasma. Following the mathematical formulations founded by Synge, it is well-known that light rays will no longer travel on null geodesics inside dispersive media. We therefore, applied a proper Hamilton–Jacobi formalism which enabled us generating the differential equations of motion. Accordingly, the effective gravitational potential provides different conditions corresponding to different types of orbits for the light rays that travel on time-like trajectories with respect to the background spacetime manifold. In fact, we have tried to carry out an ambitious study on the optical conditions that govern the light propagation in plasmic medium, mostly because such studies are usually restricted to the visible limit of the black holes’ exterior and their shadow. We, however, paid attention to the other types of orbits offered by the effective potential and obtained the exact analytical solutions to their respective equations of motion. We characterized the plasmic medium with the two structural functions \(f_r\) and \(f_{\theta }\), that enabled us conceiving the property of anisotropy. The resultant equations of motion were in the form of elliptic integrals, to solve which, we adopted specific algebraic methods that gave rise to Weierstraßian functions as the analytical solutions. Furthermore, the dimension-less Mino time was chosen as the curve parameter, so that we could have more well-expressed coordinate evolution. This parameter was then exploited in the parametric plots to perform three-dimensional simulations of the light ray trajectories. Note that, the effective potential does not offer any planetary orbits, so that the light rays, beside being able to form photon rings on the UCO, can only escape from or be captured by the black hole. These kinds of trajectories, as demonstrated within the text, are bounded to cones of definite vertex angles. Based on the specific frequency (energy) of the light rays, \(\omega _0\), the intensity of the deflection in the escaping trajectories can vary, and the rays may travel on more fast-changing hyperbolic curves as \(\omega _0\) approaches its critical value, \(\omega _U\). Note that, since we express the plasma frequency \(\omega _p\) in terms of the black hole’s physical characteristics in Eq. (32), the impacts of plasma are then included, indirectly, through the variations of the effective potential and the consequent types of orbit. In the presented analytical solutions, this was done by introducing the effective impact parameter \(\tilde{\eta }\) and its dependent constants. Although the temporal evolution of the coordinates have appeared to be of rather complicated mathematical expressions, they however, can establish the basement of further studies, specified to certain models of plasma that are in connection with black holes’ parameters. Such studies can offer astrophysical applications and are left to our future works.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This is a theoretical study with no associated data.]
Notes
Note that, in the geometric units we use, the parameter time has the dimensions of length. Same holds for the curve parameter \(\lambda \).
In the context of quantum theory of fields, negative energies are related to antiparticles that move backwards in time (see for example Ref. [56]).
References
Y. Hagihara, Jpn. J. Astron. Geophys. 8, 67 (1930)
J.M. Bardeen, W.H. Press, S.A. Teukolsky, Astrophys. J. 178, 347 (1972). https://doi.org/10.1086/151796
J. Bardeen, in Les Houches Summer School of Theoretical Physics: Black Holes (1973), p. 215–240
C.T. Cunningham, J.M. Bardeen, Astrophys. J. 183, 237 (1973). https://doi.org/10.1086/152223
S. Chandrasekhar, The Mathematical Theory of Black Holes, Oxford Classic Texts in the Physical Sciences (Oxford University Press, Oxford, 2002). https://cds.cern.ch/record/579245
K.S. Virbhadra, G.F.R. Ellis, Phys. Rev. D 62, 084003 (2000). https://doi.org/10.1103/PhysRevD.62.084003
G.V. Kraniotis, Class. Quantum Gravity 21, 4743 (2004). https://doi.org/10.1088/0264-9381/21/19/016
K. Beckwith, C. Done, Mon. Not. R. Astron. Soc. 359, 1217 (2005). https://doi.org/10.1111/j.1365-2966.2005.08980.x
G.V. Kraniotis, Class. Quantum Gravity 22, 4391 (2005). https://doi.org/10.1088/0264-9381/22/21/001
E. Hackmann, C. Lämmerzahl, Phys. Rev. Lett. 100, 171101 (2008). https://doi.org/10.1103/PhysRevLett.100.171101
E. Hackmann, C. Lämmerzahl, Phys. Rev. D 78, 024035 (2008). https://doi.org/10.1103/PhysRevD.78.024035
G.S. Bisnovatyi-Kogan, O.Y. Tsupko, Astrophysics 51, 99 (2008). https://doi.org/10.1007/s10511-008-0011-8
V. Kagramanova, J. Kunz, E. Hackmann, C. Lämmerzahl, Phys. Rev. D 81, 124044 (2010). https://doi.org/10.1103/PhysRevD.81.124044
E. Hackmann, C. Lämmerzahl, V. Kagramanova, J. Kunz, Phys. Rev. D 81, 044020 (2010). https://doi.org/10.1103/PhysRevD.81.044020
E. Hackmann, B. Hartmann, C. Lämmerzahl, P. Sirimachan, Phys. Rev. D 81, 064016 (2010). https://doi.org/10.1103/PhysRevD.81.064016
V. Enolski, E. Hackmann, V. Kagramanova, J. Kunz, C. Lämmerzahl, J. Geom. Phys. 61, 899 (2011). https://doi.org/10.1016/j.geomphys.2011.01.001
G.V. Kraniotis, Class. Quantum Gravity 28, 085021 (2011). https://doi.org/10.1088/0264-9381/28/8/085021
V. Enolski, B. Hartmann, V. Kagramanova, J. Kunz, C. Lämmerzahl, P. Sirimachan, J. Math. Phys. 53, 012504 (2012). https://doi.org/10.1063/1.3677831
G.W. Gibbons, M. Vyska, Class. Quantum Gravity 29, 065016 (2012). https://doi.org/10.1088/0264-9381/29/6/065016
G. Muñoz, Am. J. Phys. 82, 564 (2014). https://doi.org/10.1119/1.4866274
G.V. Kraniotis, Gen. Relativ. Gravit. 46, 1818 (2014). https://doi.org/10.1007/s10714-014-1818-8
V. De Falco, M. Falanga, L. Stella, Astron. Astrophys. 595, A38 (2016). https://doi.org/10.1051/0004-6361/201629075
S. Soroushfar, R. Saffari, S. Kazempour, S. Grunau, J. Kunz, Phys. Rev. D 94, 024052 (2016). https://doi.org/10.1103/PhysRevD.94.024052
N.S. Barlow, S.J. Weinstein, J.A. Faber, Class. Quantum Gravity 34, 135017 (2017). https://doi.org/10.1088/1361-6382/aa7538
R. Uniyal, H. Nandan, K.D. Purohit, Class. Quantum Gravity 35, 025003 (2018). https://doi.org/10.1088/1361-6382/aa9ad9
J.R. Villanueva, F. Tapia, M. Molina, M. Olivares, Eur. Phys. J. C 78, 853 (2018). https://doi.org/10.1140/epjc/s10052-018-6328-5
A.K. Chatterjee, K. Flathmann, H. Nandan, A. Rudra, Phys. Rev. D 100, 024044 (2019). https://doi.org/10.1103/PhysRevD.100.024044
Y.-W. Hsiao, D.-S. Lee, C.-Y. Lin, Phys. Rev. D 101, 064070 (2020). https://doi.org/10.1103/PhysRevD.101.064070
S.E. Gralla, A. Lupsasca, Phys. Rev. D 101, 044032 (2020). https://doi.org/10.1103/PhysRevD.101.044032
S.H. Hendi, A.M. Tavakkoli, S. Panahiyan, B.E. Panah, E. Hackmann, Eur. Phys. J. C 80, 524 (2020). https://doi.org/10.1140/epjc/s10052-020-8065-9
M. Fathi, M. Olivares, J.R. Villanueva, Eur. Phys. J. C 80, 51 (2020). https://doi.org/10.1140/epjc/s10052-020-7623-5
G.V. Kraniotis, Eur. Phys. J. C 81, 147 (2021). https://doi.org/10.1140/epjc/s10052-021-08911-5
J.L. Synge, Relativity: The General Theory. Series in Physics (North-Holland Publication Co., Amsterdam, 1960)
G.S. Bisnovatyi-Kogan, O.Y. Tsupko, Gravit. Cosmol. 15, 20 (2009). https://doi.org/10.1134/S020228930901006X
G.S. Bisnovatyi-Kogan, O.Y. Tsupko, Mon. Not. R. Astron. Soc. (2010). https://doi.org/10.1111/j.1365-2966.2010.16290.x
O.Y. Tsupko, G.S. Bisnovatyi-Kogan, Phys. Rev. D 87, 124009 (2013). https://doi.org/10.1103/PhysRevD.87.124009
V.S. Morozova, B.J. Ahmedov, A.A. Tursunov, Astrophys. Space Sci. 346, 513 (2013). https://doi.org/10.1007/s10509-013-1458-6
G.S. Bisnovatyi-Kogan, O.Y. Tsupko, Plasma Phys. Rep. 41, 562 (2015). https://doi.org/10.1134/S1063780X15070016
V. Perlick, O.Y. Tsupko, G.S. Bisnovatyi-Kogan, Phys. Rev. D 92, 104031 (2015). https://doi.org/10.1103/PhysRevD.92.104031
F. Atamurotov, B. Ahmedov, A. Abdujabbarov, Phys. Rev. D 92, 084005 (2015). https://doi.org/10.1103/PhysRevD.92.084005
A. Abdujabbarov, M. Amir, B. Ahmedov, S.G. Ghosh, Phys. Rev. D 93, 104004 (2016). https://doi.org/10.1103/PhysRevD.93.104004
G. Bisnovatyi-Kogan, O. Tsupko, Universe 3, 57 (2017). https://doi.org/10.3390/universe3030057
V. Perlick, O.Y. Tsupko, Phys. Rev. D 95, 104003 (2017). https://doi.org/10.1103/PhysRevD.95.104003
K. Schulze-Koops, V. Perlick, D.J. Schwarz, Class. Quantum Gravity 34, 215006 (2017). https://doi.org/10.1088/1361-6382/aa8d46
A. Abdujabbarov, B. Toshmatov, Z. Stuchlík, B. Ahmedov, Int. J. Mod. Phys. D 26, 1750051 (2017). https://doi.org/10.1142/S0218271817500511
C.-Q. Liu, C.-K. Ding, J.-L. Jing, Chin. Phys. Lett. 34, 090401 (2017). https://doi.org/10.1088/0256-307X/34/9/090401
S. Haroon, M. Jamil, K. Jusufi, K. Lin, R.B. Mann, Phys. Rev. D 99, 044015 (2019). https://doi.org/10.1103/PhysRevD.99.044015
T. Kimpson, K. Wu, S. Zane, Mon. Not. R. Astron. Soc. 484, 2411 (2019). https://doi.org/10.1093/mnras/stz138
G.Z. Babar, A.Z. Babar, F. Atamurotov, Eur. Phys. J. C 80, 761 (2020). https://doi.org/10.1140/epjc/s10052-020-8346-3
H.C.D.L. Junior, L.C.B. Crispino, P.V.P. Cunha, C.A.R. Herdeiro, Eur. Phys. J. C 80, 1036 (2020). https://doi.org/10.1140/epjc/s10052-020-08572-w
J. Badía, E.F. Eiroa (2021). arXiv:2106.07601 [gr-qc]
G.S. Bisnovatyi-Kogan, O.Y. Tsupko, Universe 3 (2017). https://doi.org/10.3390/universe3030057
B. Carter, Phys. Rev. 174, 1559 (1968). https://doi.org/10.1103/PhysRev.174.1559
Y. Mino, Phys. Rev. D 67, 084027 (2003). https://doi.org/10.1103/PhysRevD.67.084027
C.W. Misner, K.S. Thorne, J.A. Wheeler, Gravitation (Princeton University Press, 2017). https://press.princeton.edu/books/hardcover/9780691177793/gravitation
T. Lancaster, S.J. Blundell, Quantum Field Theory for the Gifted Amateur (Oxford University Press, Oxford, 2014). https://doi.org/10.1093/acprof:oso/9780199699322.001.0001
J. Schee, Z. Stuchlík, Int. J. Mod. Phys. D 18, 983 (2009). https://doi.org/10.1142/S0218271809014881
R.H. Boyer, R.W. Lindquist, J. Math. Phys. 8, 265 (1967). https://doi.org/10.1063/1.1705193
P. Byrd, M. Friedman, Handbook of elliptic integrals for engineers and scientists, Grundlehren der mathematischen Wissenschaften (Springer-Verlag, 1971). https://link.springer.com/book/10.1007/978-3-642-65138-0#about
Acknowledgements
The authors would like to thank the referee for illuminating comments and precise criticism of the manuscript. M. Fathi has been supported by the Agencia Nacional de Investigación y Desarrollo (ANID) through DOCTORADO Grant no. 2019-21190382, and no. 2021-242210002. J.R. Villanueva was partially supported by the Centro de Astrofísica de Valparaíso (CAV).
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: Calculation of the radial deflection
Applying the method of synthetic division to factorize \((r-r_D)\) from the characteristic polynomial \(\mathcal {P}(r)\) in Eq. (38), we obtain
in which
The deflecting trajectory can be then determined by performing, successively, the changes of variables
and
Appendix B: A brief review on Weierstraßian normal elliptic integrals
Any elliptic integral of the form
in which \(\mathfrak {P}(x)\) is a rational function of x, can be always evaluated, depending on the three integrals [59]
where \(\wp (u)\equiv \wp (u;g_2.g_3)\), \(\zeta (u)\equiv \zeta (u;g_2,g_3)\) and \(\sigma (u)=\sigma (u;g_2,g_3)\), are respectively, the Weierstraßian \(\wp \), Zeta and Sigma functions, with the invariants \(g_2\) and \(g_3\). These functions are related together by the relations
Furthermore, in Eq. (B2c), it is defined that
There is also another integral relation that we have exploited in this paper:
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3
About this article
Cite this article
Fathi, M., Olivares, M. & Villanueva, J.R. Analytical study of light ray trajectories in Kerr spacetime in the presence of an inhomogeneous anisotropic plasma. Eur. Phys. J. C 81, 987 (2021). https://doi.org/10.1140/epjc/s10052-021-09787-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-021-09787-1