Abstract
The motion of massless particles on the background of a toroidal topological black hole is analyzed in the context of conformal Weyl gravity. Null geodesics, in terms of the Jacobi elliptic functions, are found analytically. In addition, the Sagnac effect in this space-time is characterized, and we find a strong condition in the theory’s parameters that is required for its existence.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction: conformal Weyl gravity and null geodesics
Conformal Weyl gravity (CWG) was born of an attempt to unify gravity and electromagnetism based on the principle of local invariance of a manifold, described by the metric \(g_{\mu \nu }(x)\), under the change
where \(\varOmega (x)\) is a smooth, strictly positive function [1,2,3,4]. The CWG theory can be obtained from the conformally invariant action
where \(\alpha _w\) is a dimensionless parameter chosen to be positive if Eq. (2) is a positive definite Euclidean action. The vacuum field equations associated with this action are solved by the static, spherically symmetric line element given by [5,6,7,8,9]
where the coordinates are defined in the range \(-\infty< \tilde{t} < \infty \), \(\tilde{r}\ge 0\), \(0\le \tilde{\theta }\le \pi \), \(0\le \tilde{\phi }\le 2\pi \), and the lapse function \(B(\tilde{r})\) is given by
Here \(\tilde{\beta }\), \(\tilde{k}\) and \(\tilde{\gamma }\) are positive constants associated with the central mass, cosmological constant and the measurements of the departure of the Weyl theory from the Einstein–de Sitter, respectively. Clearly, taking the limit \(\tilde{\gamma }=0=\tilde{k}\) recovers the Schwarzschild case, so that we can identify \(\tilde{\beta } = M\).
A study of the basis and properties, together with applications of the motion of massive and massless particles in this geometry can be found, for example, in [10,11,12,13,14,15,16,17,18,19], and can be obtained using the standard Lagrange procedure [20,21,22,23,24,25,26,27], which allows a Lagrangian \(\mathscr {L}\) to be associated with the metric and then the equation of motion to be obtained from the Lagrange’s equations,
where \(\varPi _{q} = \partial \mathscr {L}/\partial \dot{q}\) are the conjugate momenta to the coordinate q, and the dot denotes a derivative with respect to the affine parameter \(\tau \) along the geodesic. Thus, in Sect. 2, and following the procedure performed by Klemm [28], we perform analytical continuations to obtain a non-trivial topology associated with toroidal topological black holes coming from CWG. In particular, we focus on the toroidal AdS black hole. Other studies associated with topological black holes can be found, for example, in Refs. [29,30,31,32,33,34,35,36]. Then we obtain the conserved quantities together with the equations of motion for massless particles on these manifolds. In Sect. 3 the radial motion is analyzed for photons going to spatial infinity or to the singularity, while Sect. 4 is devoted to obtaining analytically the trajectory for photons with non-zero angular momentum, for which we employ an analysis in terms of Jacobi elliptic functions. In Sect. 5 we apply the methods outlined by Sakurai, Tartaglia, Rizzi and Ruggiero, among others, to obtain an analogy to the Aharanov–Bohm effect to describe the Sagnac effect for this space-time. Finally, in Sect. 6 we conclude and summarize our results.
2 Toroidal topology
In order to obtain a toroidal topological black hole, we perform the following analytical continuation of the metric Eq. (3):
Then, by taking the limit \(\alpha \rightarrow 0\), the line element becomes
with the lapse function
In this case, it is possible to prove that the metric induced on the space-like surface of constant t and r corresponds to a compact orientable surface with genus \(g=1\), i.e., a torus, so the topology of this four-dimensional manifold becomes \(\mathbb {R}^2\times S^1\times S^1\) [28]. Therefore, performing \(\gamma =-2\eta /L\), \(\beta =\sqrt{L/3}\), \(k=-1/\ell ^2\), and then evaluating at the limit \(L\rightarrow \infty \), the lapse function becomes
which for \(\eta >0\) describes the AdS uncharged static toroidal black hole [37,38,39,40,41,42,43] with the event horizon placed at
The vanished Lagrangian associated with the photons that move on this manifold can be expressed as
Conversely, the toroidal metric given by Eqs. (6) and (8) admits the following Killing vector field:
-
The time-like Killing vector \(\chi =\partial _t\) is related to the stationarity of the metric. The conserved quantity is given by
$$\begin{aligned} g_{\mu \nu }\,\chi ^{\mu }\,u^{\nu }=-B(r)\,\dot{t}=-\sqrt{E} \end{aligned}$$(11)where E is a constant of motion that cannot be associated with the total energy of the test particle because this metric is not asymptotically flat.
-
The most general space-like Killing vector is given by
$$\begin{aligned} \mathbf {\chi }= & {} \left( A\,\cos \phi +B\,\sin \phi \right) \,\partial _{\theta } \nonumber \\&+ \left[ C-A\frac{\,\sin \phi }{\theta }+B\,\frac{\cos \phi }{\theta }\right] \,\partial _{\phi }, \end{aligned}$$(12)where A, B and C are arbitrary constants. Is easy to see that it is a linear combination of the three Killing vectors
$$\begin{aligned} \chi _1= & {} \partial _{\phi },\\ \chi _2= & {} \cos \phi \, \partial _{\theta }-\frac{\sin \phi }{\theta }\,\partial _{\phi },\\ \chi _3= & {} \sin \phi \, \partial _{\theta }+\frac{\cos \phi }{\theta } \partial _{\phi } \end{aligned}$$which are the angular momentum operators for this space-time. The conserved quantities are given by
$$\begin{aligned} g_{\alpha \beta }\,\chi _{1}^{\alpha }\,u^{\beta }= & {} r^{2}\,\theta ^2\,\dot{\phi } =L_1, \end{aligned}$$(13)$$\begin{aligned} g_{\alpha \beta }\,\chi _{2}^{\alpha }\,u^{\beta }= & {} r^{2}\,(\cos \phi \,\dot{\theta }-\theta \,\sin \phi \,\dot{\phi }) =L_2, \end{aligned}$$(14)$$\begin{aligned} g_{\alpha \beta }\,\chi _{3}^{\alpha }\,u^{\beta }= & {} r^{2}\,(\sin \phi \,\dot{\theta }+\theta \, \cos \phi \,\dot{\phi }) =L_3, \end{aligned}$$(15)where \(L_1\), \(L_2\) and \(L_3\) are constants associated with the angular momentum of the particles.
It is interesting to point out that Eqs. (14) and (15) imply that
such that, if we focus our attention on the invariant plane \(\theta =\theta _0\), so \(\dot{\theta }=0\), we get \(L_1=\theta _0 \,J\). Thus, using Eqs. (11) and (16) in Eq. (10) we obtain the radial equation of motion corresponding to the one-dimensional problem
where \(\mathscr {V}(r)\) is the effective potential defined as
Here \(V(r)=B(r)/r^2\) is the effective potential per unit of \(J^2\).
On the other hand, without lack of generality we choose \(\theta _0=1\) and combining Eqs. (16) and (17), we obtain the angular motion equation
where \(b=J/\sqrt{E}\) is the impact parameter.
In Fig. 1 we have plotted the effective potential (per unit of \(J^2\)) as a function of the radial coordinate. In the next sections the motion of massless particles will be analyzed analytically by integration of the equations of motion.
3 Radial motion
Radial motion corresponds to a trajectory with null angular momentum \(J=0\), so photons fall toward the singularity or to the spatial infinity. From Eq. (18) we can see that photons in radial motion have a null effective potential \(\mathscr {V}(r)=0\), so that Eqs. (11) and (17) become
and
where the sign − (\(+\)) corresponds to photons falling to the event horizon (spatial infinity). Assuming that \(t=\tau =0\) at \(r=r_i\), then a straightforward integration of Eq. (20) leads to
while an integration of Eq. (21) becomes
Obviously, in the proper system photons cross the event horizon in a finite time \(\tau (r_+)\equiv \tau _+=(r_i-r_+)/\sqrt{E}\) and, eventually, arrive at the singularity in a finite time \(\tau (0)\equiv \tau _0=r_i/\sqrt{E}\). Also, they eternally approach the spatial infinity i.e., \(\tau (\infty )\rightarrow \infty \). On the other hand, an observer at \(r_i\) sees that photons take an infinite coordinate time even to arrive at \(r_+\), while it takes a finite coordinate time even to arrive at the spatial infinity, given by
The existence of this time is due to the presence of the cosmological term on the toroidal topology and depends on the position of the observer \(r_i\). A similar feature was reported before by Villanueva and Vásquez, but in the context of Lifshitz black holes [44]. The behavior of both proper time and coordinate time is shown in Fig. 2.
Temporal null geodesics for radial motion described by Eqs. (22) and (23). This shows some equivalence with its spherical counterpart previously studied by Cruz et al. [21] for photons moving to \(r_+\). The novel result appears for photons moving to infinity in which, as is measured by an observer in \(r_i\), it takes a finite coordinate time \(t_{\infty }\) to reach infinity. This feature was reported before by Villanueva and Vásquez but in the context of Lifshitz space-times [44]
4 Angular motion
This section is devoted to studying the angular motion of the test particles (\(J\ne 0\)), which depends on the value of the impact parameter b. From Fig. 1 we can see that there are two distinct regions separated by the critical impact parameter \(b_c=\ell \). Thus, if \(b>b_c\) the motion will be confined with a turning point, the apoastron distance \(r_t\), placed at
whereas if \(b<b_c\) the turning point does not exist, and the motion is unbound with a negative characteristic distance (without physical meaning), the magnitude of which is
Both distances, \(r_t\) and \(r_D\), play an important role in the determination of trajectories because they depend strongly on the impact parameter b (see Figs. 3 and 5).
4.1 Confined motion
Returning to the general equation (19), we first consider the case when the impact parameter lies between \(b_c<b<\infty \), so using the variable \(u=1/r\) with \(u_t=1/r_t\), we can write
Using the substitution
where the range of u is \(u_t\le u<\infty \), and the corresponding range of \(\xi \) is \(\xi _t=\pi \le \xi <2\pi \), Eq. (27) can be reduced to the elliptic form
where
So, we may write the solution for \(\phi \) as
where K(k) and \(F(\psi , k)\) are the complete and incomplete elliptic integrals of the first kind, respectively, and we have assumed that \(\phi _t=0\). Therefore, by using some formulas and identities of the Jacobian elliptic functions, we can write the equation of the trajectory as
where tn(x, k) and dn(x, k) are Jacobi’s elliptic functions (see Appendix 1 and Refs. [45,46,47]). Obviously, this trajectory depends on the impact parameter and is shown in Fig. 4 for photons falling from \(r_t\).
4.2 Unbounded motion
We now consider the case when the impact parameter lies between \(0<b<b_c\), which means that the real root is a negative one \(r_n\equiv -r_D\), where \(r_D\) is given by Eq. (26), so there is no turning point. Obviously, this negative root lacks physical interpretation, but it is important for determining the shape of the trajectory. Therefore, setting \(u=1/r\) again with \(u_D=1/r_D\), the equation of motion (19) can be written as
In order to integrate Eq. (33), we now make the substitution
where the range is
so the quadrature becomes
with
Note from Eqs. (30) and (38) that the module of one trajectory corresponds to the complementary module of the other, \(k_1=\sqrt{1-k_2^2}=k'_2\) and \(k_2=\sqrt{1-k_1^2}=k'_1\). Therefore, assuming that \(\phi _{\infty }=0\) we may write
which implies that the trajectory now is described by the polar equation
where cs(x, k) and nd(x, k) are Jacobi’s elliptic functions (see Appendix 1), and the phase \(\varTheta \) is given by
In Fig. 6 we have plotted the unbounded trajectory (40) for photons coming from infinity.
Polar plot for the unbounded trajectory, Eq. (40), followed by photons whose impact parameter lies between \(0<b<b_c\)
5 The Sagnac effect
In this section we describe the Sagnac effect [48] by applying the formalism developed by Sakurai [49], Tartaglia [50], Rizzi and Ruggiero [51,52,53,54], among others, to the exterior space-time of the topological toroidal black hole. This approach was used to calculate this effect in the exterior space-time to an uncharged spherical symmetric black hole in conformal Weyl gravity [55]. For the non-rotating toroidal metric given by Eqs. (6) and (8) written in the usual Schwarzschild-like coordinates (\(ct', r', \theta ', \phi '\)):
so the transformation to the azimuthal frame of the rotating platform
where \(\varOmega \) is the constant angular velocity of the physical frame, yields the metric (after setting \(r=R\) and \(\theta =1\))
Therefore, the non-zero components of the unit vector \(\gamma ^{\alpha }\) along the trajectory \(r=R\) are given by
where
In terms of this component, the gravito-electric and gravito-magnetic potentials are given by
As was shown in [51], it is possible to express the phase shift and time delay between light beams detected by a co-moving observer on the interferometer in terms of the gravito-magnetic induction field, \(\mathbf {B}^G=\mathbf {\nabla }\times \mathbf {A}^G\), by means of the expressions
and
where \(\epsilon \) is the relative energy of the photon as measured in the interferometer. Therefore, the phase shift turns out to be
while the time delay turns out to be
where \(\tilde{\varOmega }=\varOmega /\varOmega _{\ell }\) is the dimensionless angular velocity, and \(\varOmega _{\ell }\equiv c/\ell \). Thus, from this last equation, we can see that if \(\varOmega =0\), i.e., performing a measure of the propagation time in a non-rotating frame, no Sagnac effect arises. Also, there is an upper limit for the angular velocity \(\varOmega _R\) related to the radius of the orbit R (see Fig. 7) given by
6 Summary
In this paper we have studied the null structure of the geodesics for a toroidal topological space-time which surrounds a black hole in the conformal Weyl gravity. First, we obtained an explicit behavior of radial photons to conclude that, while no changes in the motion to the singularity with respect to the Schwarzschild anti-de Sitter counterpart is found, there is a non-trivial coordinate time \(t_{\infty }\) for the description of the motion to the spatial infinity (see Eq. (24)). A similar result was obtained by Villanueva and Vásquez but in the context of the Lifshitz space-time [44]. Next, following the standard Lagrangian procedure, we have obtained analytically the trajectories of the confined and unbounded angular motion for photons in terms of Jacobi elliptic functions, Eqs. (32) and (40), and we have shown our results in Figs. 4 and 6, respectively. Obviously, these trajectories depend on the impact parameter b and, due to the topology, always fall to the singularity, which is a characteristic of AdS space-times. Finally, the Sagnac effect has been studied for this topological space-time. Our result is consistent with those obtained previously in other geometries in the sense that no Sagnac effect arises for a non-rotating frame. In addition, we have found a strong condition for its existence, which depends on the theory’s parameters \(\{\eta , \ell \}\) (in \(r_+\) and \(\varOmega _{\ell }\)) as well as on the radius of the circular orbit R. This condition is given in Eq. (55); cf.
for which the upper limit for the angular velocity \(\varOmega _R\) was plotted in Fig. 7 as a function of the radius R.
Finally, our study provides a simple physical visualization of the null trajectories and their main characteristics, and complements other studies carried out in the standard and/or trivial topology in conformal Weyl gravity [11,12,13,14,15], as well as in physically similar situations such as time-like geodesics on toroidal space-times [56] and motion of particles in toroidal magnetic fields on a Schwarzschild background [57], among others [58, 59].
References
H. Weyl, Zur gravitationstheorie. Ann. Phys. 54, 117 (1917)
H. Weyl, Reine infinitesimalgeometrie. Math. Z. 2, 384 (1918)
H. Weyl, Gravitation und elektrizität, Sitz. Ber. Preuss. Ak. Wiss., 465 (1918)
R. Bach, Zur Weylschen relativitätstheorie und der Weylschen erweiterung des krümmenstensorsbegriffs. Math. Z. 9, 110 (1921)
R.J. Riegart, Birkhoff’s theorem in conformal gravity. Phys. Rev. Lett. 53, 315 (1984)
P.D. Mennheim, D. Kazanas, Exact vacuum solution to conformal Weyl gravity and galactic rotation curves. Astrophys. J. 342, 635 (1989)
D. Kazanas, P.D. Mennheim, General structure of the gravitational equations of motion in conformal Weyl gravity. Astrophys. J. Suppl. 76, 431 (1991)
P.D. Mennheim, D. Kazanas, Solutions to the Reissner–Nordström, Kerr, and Kerr–Newman problems in fourth-order conformal Weyl gravity. Phys. Rev. D 44, 417 (1991)
P.D. Mennheim, D. Kazanas, Newtonian limit of conformal gravity and the lack of necessity of the second order Poisson equation. Gen. Rel. Grav. 26, 337 (1994)
A. Edery, M.B. Paranjape, Classical tests for Weyl gravity: deflection of light and time delay. Phys. Rev. D 58, 024011 (1998)
S. Pireaux, Light deflection in Weyl gravity: critical distances for photon paths. Class. Quant. Grav. 21, 1897 (2004)
S. Pireaux, Light deflection in Weyl gravity: constraints on the linear parameter. Class. Quant. Grav. 21, 4317 (2004)
J. Sultana, D. Kazanas, Bending of light in conformal Weyl gravity. Phys. Rev. D 81, 127502 (2010)
J. Sultana, D. Kazanas, J.L. Said, Conformal Weyl gravity and perihelion precession. Phys. Rev. D 86, 084008 (2012)
J.R. Villanueva, M. Olivares, On the null trajectories in conformal Weyl gravity. JCAP 06, 040 (2013)
J.L. Said, J. Sultana, K.Z. Adami, Gravitomagnetic effects in conformal gravity. Phys. Rev. D 88, 087504 (2013)
J.L. Said, J. Sultana, K.Z. Adami, Exact static cylindrical solution to conformal Weyl gravity. Phys. Rev. D 85, 104054 (2012)
H. Lu, Y. Pang, C.N. Pope, J.F. Vazquez-Poritz, AdS and Lifshitz black holes in conformal and Einstein–Weyl gravities. Phys. Rev. D 86, 044011 (2012)
F. Payandeh, M. Fathi, Spherical solutions due to the exterior geometry of a charged Weyl black hole. Int. J. Theor. Phys. 51, 2227 (2012)
S. Chandrasekhar, The Mathematical Theory of Black Holes (Oxford University Press, New York, 1983)
N. Cruz, M. Olivares, J.R. Villanueva, The geodesic structure of the Schwarzschild anti-de Sitter black hole. Class. Quant. Grav. 22, 1167–1190 (2005)
B. Shutz, A First Course in General Relativity (Cambridge University Press, Cambridge, 1990)
M. Olivares, J. Saavedra, C. Leiva, J.R. Villanueva, Motion of charged particles on the Reissner–Nordström (anti)-de Sitter black holes. Mod. Phys. Lett. A 26, 2923 (2011)
M.J. Jaklitsch, C. Hellaby, D.R. Matravers, Particle motion in the spherically symmetric vacuum solution with positive cosmological constant. Gen. Rel. Grav. 21, 941 (1989)
J.R. Villanueva, J. Saavedra, M. Olivares, N. Cruz, Photons motion in charged anti de Sitter black holes. Astrophys. Space Sci. 344, 437–446 (2013)
M. Halilsoy, O. Gurtug, S. Habib Mazharimousavi, Rindler modified Schwarzschild geodesics. Gen. Rel. Grav 45, 2363 (2013)
C. Leiva, J. Saavedra, J.R. Villanueva, The geodesic structure of the Schwarzschild black holes in gravity rainbow. Mod. Phys. Lett. A 24, 1443–1451 (2009)
D. Klemm, Topological black holes in Weyl conformal gravity. Class. Quant. Grav. 15, 3195 (1998)
R.G. Cai, Y.Z. Zhang, Black plane solutions in four-dimensional space-times. Phys. Rev. D 54, 4891 (1996)
R.G. Cai, J.Y. Ji, K.S. Soh, Topological dilaton black holes. Phys. Rev. D 57, 6547 (1998)
J. Kowalski-Glikman, D. Nowak-Szczepaniak, Topological black holes in quantum gravity. Phys. Lett. A 277, 83–86 (2000)
C. Martinez, J.P. Staforelli, R. Troncoso, Topological black holes dressed with a conformally coupled scalar field and electric charge. Phys. Rev. D 74, 044028 (2006)
O. Mišković, R. Olea, Topological regularization and self-duality in four-dimensional anti-de Sitter gravity. Phys. Rev. D 79, 124020 (2009)
L. Aránguiz, X. Kuang, O. Mišković, Topological black holes in pure Gauss–Bonnet gravity and phase transitions. Phys. Rev D 93, 064039 (2016)
F. Herrera, Y. Vásquez, AdS and Lifshitz black hole solutions in conformal gravity sourced with a scalar field. Phys. Lett. B 782, 305 (2018)
G. Panotopoulos, A. Rincón, Charged slowly rotating toroidal black holes in the (1+3)-dimensional Einstein-power-Maxwell theory. https://doi.org/10.1142/S0218271819500160. arXiv:1808.05171 [gr-qc]
J.P.S. Lemos, Two-dimensional black holes and planar general relativity. Class. Quant. Grav. 12, 1081 (1995)
C. Huang, C. Liang, A torus-like black hole. Phys. Lett. A 201, 27–32 (1995)
R.B. Mann, Pair production of topological anti-de Sitter black holes. Class. Quant. Grav. 14, L109 (1997)
D. Brill, J. Louko, P. Peldán, Thermodynamics of (\(3+1\))-dimensional black holes with toroidal or higher genus horizons. Phys. Rev. D 56, 3600 (1997)
L. Vanzo, Black holes with unusual topology. Phys. Rev. D 56, 6475 (1997)
H. Maeda, G. Kunstatter, Exact time-dependent states for throat quantized toroidal AdS black holes. Phys. Rev. D 96, 106004 (2017)
M. Astorino, F. Canfora, A. Giacomini, M. Ortaggio, Hairy AdS black hole with a toroidal horizon in 4D Einstein-nonlinear \(\sigma \)-model system. Phys. Lett. B 776, 236–241 (2018)
J.R. Villanueva, Y. Vásquez, About the coordinate time for photons in Lifshitz space-times. Eur. Phys. J. C 73(10), 2587 (2013)
P.F. Byrd, M.D. Friedman, Handbook of Elliptic Integrals for Engineers and Scientists, 2nd edn. (Springer, Berlin, 1971)
H. Hancock, Lectures on the Theory of Elliptic Functions (Dover Publications Inc., New York, 1958)
J.V. Armitage, W.F. Eberlein, Elliptic Functions. London Mathematical Society Student Texts, vol. 67 (Cambridge University Press, Cambridge, 2006)
M.G. Sagnac, C.R. Acad, Sci. Paris 141, 1220 (1905)
J.J. Sakurai, Comments on quantum mechanics interference due to the Earth’s rotation. Phys. Rev. D 21, 2993–2994 (1980)
A. Tartaglia, General relativistic corrections to the Sagnac effect. Phys. Rev. D 58, 064009 (1998)
G. Rizzi, M.L. Ruggiero, The Sagnac phase shift suggested by the Aharonov–Bohm effect for relativistic matter beams. Gen. Rel. Grav. 35, 1745 (2003)
G. Rizzi, M.L. Ruggiero, A direct kinematical derivation of the relativistic Sagnac effect for light or matter beams. Gen. Rel. Grav. 35, 2129 (2003)
G. Rizzi, M.L. Ruggiero, Relativity in Rotating Frames, The Series Fundamental Theories of Physics (Kluwer Academic Publishers, Dordrecht, 2004)
M.L. Ruggiero, The Sagnac effect in curved space-times from an analogy with the Aharonov–Bohm effect. Gen. Rel. Grav. 37, 1845 (2005)
J. Sultana, The Sagnac effect in conformal Weyl gravity. Gen. Rel. Grav. 46, 1710 (2014)
S. B. P. Wickramasuriya, V. Joseph, K. I. S. Karunaratne, Geodesics in a toroidal space-time. arXiv:0411014
A.R. Prasanna, S. Sengupta, Charged particle trajectories in the presence of a toroidal magnetic field on a Schwarzschild background. Phys. Lett. A 193, 25 (1994)
G. Preti, On charged particle orbits in dipole magnetic fields around Schwarzschild black holes. Class. Quant. Grav. 21, 3433 (2004)
R. T. Jantzen, Geodesics on the torus and other surfaces of revolution clarified using undergraduate physics tricks with bonus: nonrelativistic and relativistic Kepler problems. arXiv:1212.6206 [math.DG]
Acknowledgements
The authors acknowledge useful conversations with Prof. Dr. Ricardo Troncoso, Prof. Dr. Graeme Candlish and Dr. Helen Lowry. In addition, we acknowledge to Vicerrectoría de Investigación e Innovación of the Universidad de Valparaíso for support of this work.
Author information
Authors and Affiliations
Corresponding author
Appendix A: A brief review of Jacobian elliptic functions
Appendix A: A brief review of Jacobian elliptic functions
As a starting point, let us consider the elliptic integral [45,46,47]
where \(F(\varphi , k)\) is the normal elliptic integral of the first kind, and k is the modulus. The problem of the inversion of this integral was studied and solved by Abel and Jacobi, and one defines the inverse function by \(y=\sin \varphi =\text {sn}(u, k)\) with \(\varphi =\text {am}\, u\), called the Jacobi elliptic sine u, and the amplitude u.
The function sn u is an odd elliptic function of order two. It possesses a simple pole of residue 1 / k at every point congruent to \(i K'\) (mod 4K, 2\(i K'\)) and a simple pole of residue \(-1/k\) at points congruent to \(2K+i K'\) (mod 4 K, \(2 i K'\)), where \(K\equiv K(k)=F(\pi /2, k)\) is the complete elliptic integral of the first kind, \(K'=F(\pi /2, k')\), and \(k'=\sqrt{1-k^2}\) is the complementary modulus.
Two other functions can then be defined by cn\((u, k) = \sqrt{1-y^2} = \cos \varphi \), which is called the Jacobi elliptic cosine u, and which is an even function of order two, and \(\text {dn}(u, k)=\sqrt{1-k^2\,y^2}=\varDelta \varphi =\sqrt{1-k^2\,\sin \varphi }\), called the Jacobi elliptic delta u, which is an even function. The set of functions \(\{\text {sn}\, u,\, \text {cn}\, u,\, \text {dn}\, u\}\) are called Jacobian elliptic functions, and they take the following special values:
The quotients and reciprocal of \(\{\text {sn}\, u,\, \text {cn}\, u,\, \text {dn}\, u\}\) are designated in Glaisher’s notation by
Therefore, in all, we have 12 Jacobian elliptic functions. Finally, some useful fundamental relations between Jacobian elliptic functions used throughout this work are
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Funded by SCOAP3
About this article
Cite this article
Villanueva, J.R., Tapia, F., Molina, M. et al. Null paths on a toroidal topological black hole in conformal Weyl gravity. Eur. Phys. J. C 78, 853 (2018). https://doi.org/10.1140/epjc/s10052-018-6328-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-018-6328-5