This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Geodesic deviation on symmetry axis in Taub–NUT metric

V.P. Vandeev, A.N. Semenova
Abstract

An important aspect of General Relativity is to study properties of geodesics. A useful tool for describing geodesic behavior is the geodesic deviation equation. It allows to describe the tidal properties of gravitating objects through the curvature of spacetime. This article focuses on the study of the axially symmetric Taub–NUT metric. We study tidal effects in this metric using the geodesic deviation equation. Radial geodesics along the symmetry axis of spacetime are considered. We show that all spatial components of tidal forces always change sign under the event horizon. We find a solution of the geodesic deviation equation for all geodesic deviation vector components. It allows us to quantify the effect of the NUT-charge on the tidal properties of Taub-NUT metric. And another important feature that we found is the regular behavior of all tidal force components at all points of spacetime.

Petersburg Nuclear Physics Institute of National Research Centre ‘‘Kurchatov Institute’’,
Gatchina, 188300, Russia

1 Introduction

Within the framework of general relativity many questions about the structure of spacetime are often reduced to solving problems on the behavior of geodesic curves in a certain metric. One way to investigate the properties of geodesics is to consider the geodesic deviation equation, which describes the relative acceleration of two close geodesics. This acceleration is often interpreted synonymously with the tidal one.

Historically, the first static solution to Einstein’s equations was the Schwarzschild solution [1], which describes the spherically symmetric gravitational field of a massive object. Geodesic deviation equation was considered in Schwarzschild metric in [2], solutions were found for radial geodesics in terms of elementary functions. It was shown that only radial component of geodesic deviation vector tends to infinity near a physical singularity. Which means unlimited growth of radial tidal force component acting on a freely falling body. Natural generalizations of the Schwarzschild solution were Reissner–Nordström metric [3], [4] and Kottler metric [5] (which is more often called Schwarzschild–(Anti)-De Sitter metric). The geodesic deviation equation in these metrics is considered in the works [6] and [7] respectively. The article [8] tells about tidal properties near black hole surrounded quintessence, which is called Kiselev black hole [9].

Tidal effects play a critical role in many astrophysical phenomena. For example, tidal disruption event (or tidal disruption flare) is that the star is destructed by supermassive black hole gravity. Tidal forces acting on a star in the Schwarzschild gravitational field are studied in [10]. It should also be noted that the relative tidal acceleration between the two gravitational wave detectors was used to study graviton properties [11], [12].

It is also worth noting that there are quite interesting works also devoted to the study of geodesic deviation equation in static spherically symmetric spacetimes: Ref. [13] is about tidal force near the naked singularity, Refs. [14] and [15] are about tidal effects in regular black holes, Ref. [16] generalized geodesic deviation description of Schwarzschild spacetime with holographic massive gravity, Ref. [17] shows properties of the relative geodesic motion in 4D Einstein–Gauss–Bonnet black hole. In [18] was considered tidal effects in the vicinity of null naked singularity spacetime. And article [19] is about tidal properties of a black hole surrounded by dark matter halo.

But a particularly important class of static metrics is the spacetimes of axial symmetry. Among them are metric of massive rotating Kerr black hole [20], vacuum static axial symmetry Taub–NUT spacetime [21], electrically charged Kerr–Newman metric [22]. The article [23] contains geodesic deviation equation analysis on the symmetry axis of Kerr spacetime. The study of tidal effects in axisymmetric spactimes in the vicinity of rotation axis, for example, in the Kerr metric, can make it possible to describe the gravitational principle of astrophysical jets formation. The description of relativistic flow formation in tidal acceleration terms is presented in [24], [25], [26].

It is also should be noted that the geodesic deviation equation finds its application not only in the description of tidal forces, but also in the properties of orbit, which differ little from circular ones. The works [27], [28] and [29] are devoted to the properties of such orbits, and there the so-called Shirokov effect was described in various metrics.

In our work, the main object of research is the geodesic properties of the Taub–NUT spacetime. This metric is very interesting because, on the one hand, like the Kerr metric, it is an axially symmetric generalization of the Schwazschild metric, and on the other hand, it is somewhat simpler than the Kerr metric, because gttg_{tt} and grrg_{rr} metric components are independent on the polar and azimuthal angles, unlike the Kerr metric. We consider the geodesic deviation equation along the symmetry axis of spacetime because this particular case allows us to eliminate the dynamics of geodesics along the azimuthal direction. This paper is organized as follows. In Sec. 2 we demonstrate Taub–NUT metric and its horizons. Sec. 3 contains geodesic equations and there we restrict the set of all geodesics to the set of on symmetry axis geodesics without azimuthal dynamics. In Sec. 4 we directly discuss the geodesic deviation equation, construct a set of Carter tetrads that allows us to diagonalize the tidal tensor. We also show the areas of tidal compression or extension and regions of growth and decrease of the tidal force components. In Sec. 5 we solve geodesic deviation equations with respect to the radial variable analytically and numerically to illustrate the behavior of geodesic deviation vector components. Final Sec. 6 ends this paper, there we give an interpretation of the obtained calculations and also indicate potential directions for the development of tidal effects studies.

We use signature of the metric (+,,,)(+,-,-,-) and set Newtonian gravitational constant GG and light speed cc to 11 throughout this paper.

2 Taub–NUT spacetime

Taub–NUT metric is an interesting vacuum generalization of Schwarzschild spacetime to the case of axial symmetry. Line element in spherical coordinates is

ds2=f(r)[dt+2n(1cosθ)dϕ]2dr2f(r)(r2+n2)(dθ2+sin2θdϕ2),ds^{2}=f(r)\bigg{[}dt+2n\left(1-\cos{\theta}\right)d\phi\bigg{]}^{2}-\frac{dr^{2}}{f(r)}-\left(r^{2}+n^{2}\right)\left(d\theta^{2}+\sin^{2}\theta d\phi^{2}\right), (1)

where

f(r)=12Mr+2n2r2+n2f(r)=1-\frac{2Mr+2n^{2}}{r^{2}+n^{2}} (2)

and nn is called NUT-charge, MM is black hole mass. The horizons are determined by the equation f(r)=0f(r)=0 or

r22Mrn2=0.r^{2}-2Mr-n^{2}=0. (3)

Equation roots are

r±=M±M2+n2.r_{\pm}=M\pm\sqrt{M^{2}+n^{2}}. (4)

But only r+r_{+} corresponds to the horizon, because r<0r_{-}<0 for all values of nn. To To illustrate the absence of physical singularity at the point r=0r=0, one can calculate the curvature invariant Kretschmann scalar

𝒦=RμναβRμναβ=48(n2M2)(n615n4r2+15n2r4r6)(r2+n2)6+192Mn2r(3n410n2r2+3r4)(r2+n2)6,\mathcal{K}=R^{\mu\nu\alpha\beta}R_{\mu\nu\alpha\beta}=\frac{48\left(n^{2}-M^{2}\right)\left(n^{6}-15n^{4}r^{2}+15n^{2}r^{4}-r^{6}\right)}{\left(r^{2}+n^{2}\right)^{6}}+\frac{192Mn^{2}r\left(3n^{4}-10n^{2}r^{2}+3r^{4}\right)}{\left(r^{2}+n^{2}\right)^{6}}, (5)

which is regular at zero at nonzero NUT-charge

𝒦(0)=48(n2M2)n2.\mathcal{K}(0)=\frac{48\left(n^{2}-M^{2}\right)}{n^{2}}. (6)

3 Geodesic equations

Using the Hamilton–Jacobi equations, it is easy to obtain the geodesic equations in the Taub–NUT metric

dtdτ=Ef(r)2n(1cosθ)L+2nE(1cosθ)(r2+n2)sin2θ,\frac{dt}{d\tau}=\frac{E}{f(r)}-2n\left(1-\cos{\theta}\right)\frac{L+2nE\left(1-\cos{\theta}\right)}{\left(r^{2}+n^{2}\right)\sin^{2}{\theta}}, (7)
(drdτ)2=E2f(r)δ1r2+L2+K(r2+n2),\left(\frac{dr}{d\tau}\right)^{2}=E^{2}-f(r)\frac{\delta_{1}r^{2}+L^{2}+K}{\left(r^{2}+n^{2}\right)}, (8)
(dθdτ)2=K+L2δ1n2(r2+n2)2(L+2nE(1cosθ))2(r2+n2)2sin2θ,\left(\frac{d\theta}{d\tau}\right)^{2}=\frac{K+L^{2}-\delta_{1}n^{2}}{\left(r^{2}+n^{2}\right)^{2}}-\frac{\left(L+2nE(1-\cos{\theta})\right)^{2}}{(r^{2}+n^{2})^{2}\sin^{2}{\theta}}, (9)
dϕdτ=L+2nE(1cosθ)(r2+n2)sin2θ.\frac{d\phi}{d\tau}=\frac{L+2nE\left(1-\cos{\theta}\right)}{\left(r^{2}+n^{2}\right)\sin^{2}{\theta}}. (10)

Where EE and LL are energy and angular momentum of test particle. KK is so-called Carter constant, which is the third integral of motion in axially symmetric spacetime, which was for the first time obtained for the Kerr metric [30], and parameter τ\tau is the proper time, i.e. affine parameter along the geodesic curve. Geodesic equations in Taub–NUT spacetime are discussed in detail in [31]. Parameter δ1\delta_{1} defines the type of geodesics, for timelike geodesics δ1=1\delta_{1}=1, for spacelike geodesics δ1=1\delta_{1}=-1, for lightlike geodesics δ1=0\delta_{1}=0.

The expressions (7)-(10) form a unit covariant 4-velocity vector uμu^{\mu} tangent to the geodesic.

Geodesic equations along the symmetry axis of Taub–NUT spacetime

In this work, we are interested in geodesics along the symmetry axis of spacetime, so we set L=0L=0 and K=δ1n2K=\delta_{1}n^{2} which allows us to get rid of the dynamics in the azimuthal angle θ\theta for all point on the axis, i.e. for θ=0\theta=0 angular velocity component θ˙=0\dot{\theta}=0.

So Eqs. (7)-(10) on the axis of symmetry have the form

u0=dtdτ=Ef(r),u^{0}=\frac{dt}{d\tau}=\frac{E}{f(r)}, (11)
(u1)2=(drdτ)2=E2δ1f(r),\left(u^{1}\right)^{2}=\left(\frac{dr}{d\tau}\right)^{2}=E^{2}-\delta_{1}f(r), (12)
u2=dθdτ=0,u^{2}=\frac{d\theta}{d\tau}=0, (13)
u3=dϕdτ=nEr2+n2.u^{3}=\frac{d\phi}{d\tau}=\frac{nE}{r^{2}+n^{2}}. (14)

Note that geodesics without angular momentum LL still have a nonzero polar component of the angular velocity (14).

4 Tidal acceleration

Before discussing the tidal effects associated with spacetime curvature, it is worth noting that we can define ‘‘Newtoninan acceleration’’ ArA^{r} as

Ar=r¨,A^{r}=\ddot{r}, (15)

which can be found from Eq. (12). It is

Ar=δ1Mr2+n2(M2r)(r2+n2)2,A^{r}=\delta_{1}\frac{-Mr^{2}+n^{2}(M-2r)}{(r^{2}+n^{2})^{2}}, (16)

which gives ‘‘Newtoninan radial acceleration’’ for the Schwarzschild case n=0n=0 and massive test body moving along timelike geodesic with δ1=1\delta_{1}=1

Ar=Mr2.A^{r}=-\frac{M}{r^{2}}. (17)

When we discuss a particle freely falling from a rest state at r=r0>r+r=r_{0}>r_{+}, we can indicate the turning point RstopR^{stop} and also show that if it exists then it is unique. Eq. (12) at rest point allows us to determine the energy E2E^{2} at a distance r0r_{0} and then this energy will determine another value of the radius RstopR^{stop} at which the speed will be equal to zero again. Thus it is

Rstop=n2(Mr0)Mr0+n2.R^{stop}=\frac{n^{2}\left(M-r_{0}\right)}{Mr_{0}+n^{2}}. (18)

It is easy to show that RstopR^{stop} is less than r+r_{+} for any r0r_{0}. This means that the speed of a freely falling body can reach zero only under the black hole horizon.

The main object of research in this work is the geodesic deviation equation

D2ξ~μdτ2=R.ναβμuνuαξ~β,\frac{D^{2}\tilde{\xi}^{\mu}}{d\tau^{2}}=R^{\mu}_{.\nu\alpha\beta}u^{\nu}u^{\alpha}\tilde{\xi}^{\beta}, (19)

where D2dτ2\frac{D^{2}}{d\tau^{2}} is covariant derivative along the geodesic, R.ναβμR^{\mu}_{.\nu\alpha\beta} is Riemann curvature tensor and uμu^{\mu} is the unit 4-velocity vector tangent to the geodesic defined in (7)-(10) and in particular along the axis in (11)-(14). ξ~μ\tilde{\xi}^{\mu} is geodesic deviation vector, which describes the distance between points on adjacent geodesics corresponding to the same value of the affine parameter τ\tau.

Eq. (19) determines the evolution of the ξ~μ\tilde{\xi}^{\mu} vector and describes the movement of geodesics relative to each other. Tidal effects in various gravitational fields are described using the geodesic deviation equation in the general theory of relativity. For this reason R.ναβμuνuαR^{\mu}_{.\nu\alpha\beta}u^{\nu}u^{\alpha} is called the tidal tensor. To calculate it we present the nonzero components of the Riemann tensor

R.1010=f′′2f,R.2020=R.2121=rf2n2fr2+n2,R^{0}_{.101}=-\frac{f^{\prime\prime}}{2f},\;R^{0}_{.202}=R^{1}_{.212}=-\frac{rf^{\prime}}{2}-\frac{n^{2}f}{r^{2}+n^{2}},\\ (20a)
R.1020=sinθ1+cosθddr(n2fr2+n2),R^{0}_{.102}=-\frac{\sin{\theta}}{1+\cos{\theta}}\frac{d}{dr}\left(\frac{n^{2}f}{r^{2}+n^{2}}\right),\\ (20b)
R.1130=2nsin2θ2[f′′frff(r2+n2)2n2(r2+n2)2],R^{0}_{.113}=2n\sin^{2}\frac{\theta}{2}\left[\frac{f^{\prime\prime}}{f}-\frac{rf^{\prime}}{f\left(r^{2}+n^{2}\right)}-\frac{2n^{2}}{\left(r^{2}+n^{2}\right)^{2}}\right], (20c)
R.1230=[2n2tan2θ2+r2+n2f]ddr(nfsinθr2+n2),R^{0}_{.123}=\left[2n^{2}\tan^{2}\frac{\theta}{2}+\frac{r^{2}+n^{2}}{f}\right]\frac{d}{dr}\left(\frac{nf\sin{\theta}}{r^{2}+n^{2}}\right), (20d)
R.2130=[4n2tan2θ2+r2+n22f]ddr(nfsinθr2+n2),R^{0}_{.213}=\left[4n^{2}\tan^{2}\frac{\theta}{2}+\frac{r^{2}+n^{2}}{2f}\right]\frac{d}{dr}\left(\frac{nf\sin{\theta}}{r^{2}+n^{2}}\right), (20e)
R.2230=2nsin2θ2[2+8fn2r2+n2+r(r2+n2)ddr(fr2+n2)],R^{0}_{.223}=2n\sin^{2}\frac{\theta}{2}\left[2+\frac{8fn^{2}}{r^{2}+n^{2}}+r\left(r^{2}+n^{2}\right)\frac{d}{dr}\left(\frac{f}{r^{2}+n^{2}}\right)\right], (20f)
R.3030=rfsin2θ2+n2fr2+n2(16fn2sin4θ2r2+n2+8rfsin4θ2sin2θ),R^{0}_{.303}=-\frac{rf^{\prime}\sin^{2}\theta}{2}+\frac{n^{2}f}{r^{2}+n^{2}}\left(\frac{16fn^{2}\sin^{4}\frac{\theta}{2}}{r^{2}+n^{2}}+8rf^{\prime}\sin^{4}\frac{\theta}{2}-\sin^{2}\theta\right), (20g)
R.3120=[2n2tan2θ2r2+n22f]ddr(nfsinθr2+n2),R^{0}_{.312}=\left[2n^{2}\tan^{2}\frac{\theta}{2}-\frac{r^{2}+n^{2}}{2f}\right]\frac{d}{dr}\left(\frac{nf\sin{\theta}}{r^{2}+n^{2}}\right), (20h)
R.3131=8n2ff′′sin4θ2sin2θ[n2fr2+n2+rf2],R^{1}_{.313}=8n^{2}ff^{\prime\prime}\sin^{4}\frac{\theta}{2}-\sin^{2}\theta\left[\frac{n^{2}f}{r^{2}+n^{2}}+\frac{rf^{\prime}}{2}\right], (20i)
R.3231=(r2+n2)fddr(6n2fsinθsin2θ2r2+n2),R^{1}_{.323}=\left(r^{2}+n^{2}\right)f\frac{d}{dr}\left(\frac{6n^{2}f\sin\theta\sin^{2}\frac{\theta}{2}}{r^{2}+n^{2}}\right), (20j)
R.3232=sin2θ[1f+4n2fr2+n2]+8n2fsin4(θ2)rf(r2+n2)+2n2f(r2+n2)2.R^{2}_{.323}=\sin^{2}\theta\left[1-f+\frac{4n^{2}f}{r^{2}+n^{2}}\right]+8n^{2}f\sin^{4}\left(\frac{\theta}{2}\right)\frac{rf^{\prime}(r^{2}+n^{2})+2n^{2}f}{(r^{2}+n^{2})^{2}}. (20k)

Where ff is function defined in Eq. (2), prime means differentiation with respect to rr. And the curvature tensor indices take values (0,1,2,3)(0,1,2,3), which correspond to a set of coordinates (t,r,θ,ϕ)(t,r,\theta,\phi). It is not difficult to see that on the symmetry axis at θ=0\theta=0 Riemann tensor components are greatly simplified. And only the components from the Eq. (20a) remain nonzero on the axis.

Therefore, the tidal tensor R.ναβμuνuαR^{\mu}_{.\nu\alpha\beta}u^{\nu}u^{\alpha} has the form

(f′′(E2δ1f)2fEf′′E2δ1f2f200Ef′′E2δ1f2E2f′′2f0000γδ12(r2+n2)20γE2n2(r2+n2)3γEnE2δ1f2f(r2+n2)30γδ12(r2+n2)2),\begin{pmatrix}\frac{f^{\prime\prime}\left(E^{2}-\delta_{1}f\right)}{2f}&-\frac{Ef^{\prime\prime}\sqrt{E^{2}-\delta_{1}f}}{2f^{2}}&0&0\\ \frac{Ef^{\prime\prime}\sqrt{E^{2}-\delta_{1}f}}{2}&-\frac{E^{2}f^{\prime\prime}}{2f}&0&0\\ 0&0&-\frac{\gamma\delta_{1}}{2\left(r^{2}+n^{2}\right)^{2}}&0\\ \frac{\gamma E^{2}n}{2\left(r^{2}+n^{2}\right)^{3}}&-\frac{\gamma En\sqrt{E^{2}-\delta_{1}f}}{2f\left(r^{2}+n^{2}\right)^{3}}&0&-\frac{\gamma\delta_{1}}{2\left(r^{2}+n^{2}\right)^{2}}\end{pmatrix}, (21)

where

γ=r(r2+n2)f+2n2f.\gamma=r\left(r^{2}+n^{2}\right)f^{\prime}+2n^{2}f. (22)

So Eq. (19) can be diagonalized using the tetrad basis for free-fall reference frames. Such a basis for an axially symmetric metric is called Carter’s tetrad basis. The procedure for constructing the tetrad basis is described in detail in the appendix of Ref. [23]. Therefore, we give four tetrad vectors

etμ=A(r2+n2)(1f,E2δ1fE,0,nr2+n2),e^{\mu}_{t}=A\left(r^{2}+n^{2}\right)\left(\frac{1}{f},\frac{\sqrt{E^{2}-\delta_{1}f}}{E},0,\frac{n}{r^{2}+n^{2}}\right), (23a)
erμ=(E2δ1ffδ1,Eδ1,0,0),e^{\mu}_{r}=\left(\frac{\sqrt{E^{2}-\delta_{1}f}}{f\sqrt{\delta_{1}}},\frac{E}{\sqrt{\delta_{1}}},0,0\right), (23b)
eθμ=(0,0,1r2+n2,0),e^{\mu}_{\theta}=\left(0,0,\frac{1}{\sqrt{r^{2}+n^{2}}},0\right), (23c)
eϕμ=(0,0,0,1(r2+n2)sin2θ16n2fsin4θ2),e^{\mu}_{\phi}=\left(0,0,0,\frac{1}{\sqrt{\left(r^{2}+n^{2}\right)\sin^{2}\theta-16n^{2}f\sin^{4}\frac{\theta}{2}}}\right), (23d)

where

A=Eδ1(r2+n2)2+4E2n2sin2θ2[4n2fsin2θ2+(r2+n2)(1+sin2θ2)].A=\frac{E}{\sqrt{\delta_{1}\left(r^{2}+n^{2}\right)^{2}+4E^{2}n^{2}\sin^{2}\frac{\theta}{2}\left[4n^{2}f\sin^{2}\frac{\theta}{2}+(r^{2}+n^{2})\left(1+\sin^{2}\frac{\theta}{2}\right)\right]}}. (24)

Tetrad set (23) satisfy normalization condition ηαβ=eαμeβνgμν\eta_{\alpha\beta}=e^{\mu}_{\alpha}e^{\nu}_{\beta}g_{\mu\nu} and ηαβ\eta_{\alpha\beta} is Minkowski metric. All of the above allows us to replace the geodesic deviation vector ξ~μ\tilde{\xi}^{\mu} with tetrads from Eqs. (23) as follows

ξ~μ=eαμξα.\tilde{\xi}^{\mu}=e^{\mu}_{\alpha}\xi^{\alpha}. (25)

Eq. (19) in terms of the vector ξα\xi^{\alpha} reads

ξ¨r=δ1f′′2ξr,\ddot{\xi}^{r}=-\frac{\delta_{1}f^{\prime\prime}}{2}\xi^{r}, (26)
ξ¨a=δ1(rf2(r2+n2)+n2f(r2+n2)2)ξa,\ddot{\xi}^{a}=-\delta_{1}\left(\frac{rf^{\prime}}{2\left(r^{2}+n^{2}\right)}+\frac{n^{2}f}{\left(r^{2}+n^{2}\right)^{2}}\right)\xi^{a}, (27)

where a=θ,ϕa=\theta,\phi correspond to the angular components of the geodesic deviation vector. The dot denotes the derivative with respect to the τ\tau. And the time component of the geodesic deviation vector has trivial equation ξ¨t=0\ddot{\xi}^{t}=0. Eqs. (26) and (27) demonstrate that lightlike geodesics (at δ1=0\delta_{1}=0) have trivial equations ξ¨μ=0\ddot{\xi}^{\mu}=0 for all components μ=t,r,θ,ϕ\mu=t,r,\theta,\phi. Therefore, the main interest for us is timelike geodesics at δ1=1\delta_{1}=1. Components of tidal acceleration in the Taub–NUT metric are

ξ¨r=2δ1[Mr3+n2(3r23Mrn2)(r2+n2)3]ξr,\ddot{\xi}^{r}=2\delta_{1}\left[\frac{Mr^{3}+n^{2}\left(3r^{2}-3Mr-n^{2}\right)}{(r^{2}+n^{2})^{3}}\right]\xi^{r}, (28)
ξ¨a=δ1[Mr3+n2(3r23Mrn2)(r2+n2)3]ξa.\ddot{\xi}^{a}=-\delta_{1}\left[\frac{Mr^{3}+n^{2}\left(3r^{2}-3Mr-n^{2}\right)}{(r^{2}+n^{2})^{3}}\right]\xi^{a}. (29)

Since for δ1=0\delta_{1}=0 the right sides of Eqs. (28) and (29) are trivial, and nonzero values of δ1\delta_{1} differ in sign, we represent in the Figs. 1 and 2 spatial component of tidal force with δ1=1\delta_{1}=1. Note also that expression (28) is different from (16).

Refer to caption
Figure 1: Radial tidal force component for different nn per unit length.
Refer to caption
Figure 2: Angular tidal force components for different nn per unit length.

It is seen that at zero NUT-charge n=0n=0 spatial components of tidal force has form

ξ¨r=2Mδ1r3ξr,\ddot{\xi}^{r}=\frac{2M\delta_{1}}{r^{3}}\xi^{r}, (30a)
ξ¨a=Mδ1r3ξa,\ddot{\xi}^{a}=-\frac{M\delta_{1}}{r^{3}}\xi^{a}, (30b)

which are the same as the classic result from [32] for timelike geodesics with δ1=1\delta_{1}=1. It should be noted that at a nonzero NUT-charge the investigated tidal forces do not become infinite at the point r=0r=0. They are

ξ¨r|r=0=2δ1n2ξr,\ddot{\xi}^{r}\bigg{|}_{r=0}=-\frac{2\delta_{1}}{n^{2}}\xi^{r}, (31a)
ξ¨a|r=0=δ1n2ξa.\ddot{\xi}^{a}\bigg{|}_{r=0}=\frac{\delta_{1}}{n^{2}}\xi^{a}. (31b)

This is an important difference between the Taub–NUT spacetime and Schwarzschild spacetime, where all tidal force components have non-analytical behavior in r=0r=0. However, their common feature is the regular behavior of tidal forces on the event horizon. Another important feature of the Taub–NUT metric is that the presence of the NUT-charge makes the spatial components of tidal forces alternating in sign, in contrast to the Schwarzschild metric, where all components were sign constant.

The points at which the tidal acceleration changes sign are determined by the equation

Mr3+3n2r23Mn2rn4=0Mr^{3}+3n^{2}r^{2}-3Mn^{2}r-n^{4}=0 (32)

for all spatial components (28) and (29) of geodesic deviation vector. The roots of this equation define the points at which tidal stretching replaces tidal compression. The solution of this equation with respect to the variable rr is rather cumbersome, but we can see that the Eq.(32) is biquadratic with respect to the variable nn. Therefore, we can explicitly express the NUT-charge

n2=32(r2Mr){1+1+4Mr39(r2Mr)2},n^{2}=\frac{3}{2}\left(r^{2}-Mr\right)\left\{1+\sqrt{1+\frac{4Mr^{3}}{9\left(r^{2}-Mr\right)^{2}}}\right\}, (33)

where we dropped the root with minus before radical because the radical is greater than one, which makes the square of NUT-charge n2n^{2} less than zero. Therefore solution (33) exists and is real at rMr\geq M.

Refer to caption
Figure 3: Dependence of the tidal equilibrium radius r0r_{0} and the horizon radius r+r_{+} on the NUT-charge nn.

Fig. 3 shows inverse curve (33) and dependence of horizon radius (4) on n2n^{2}. It can be seen that the tidal acceleration zero point is below the event horizon at any values of NUT-charge nn.

The extremum points of the curves shown in Figs. 1 and 2 are determined by the common equation

Mr4+4n2r36Mn2r24n4r+Mn4=0.Mr^{4}+4n^{2}r^{3}-6Mn^{2}r^{2}-4n^{4}r+Mn^{4}=0. (34)

It is an equation of the fourth degree with respect to rr, but also biquadratic with respect to nn. It allows us to express the charge in terms of the radial variable rr

n2=2r33Mr24rM{1±1+4MrM2(2r3M)2}.n^{2}=\frac{2r^{3}-3Mr^{2}}{4r-M}\left\{1\pm\sqrt{1+\frac{4Mr-M^{2}}{\left(2r-3M\right)^{2}}}\right\}. (35)
Refer to caption
Figure 4: Dependence of the tidal force extremum points rexr_{ex} and the horizon radius r+r_{+} on the NUT-charge nn.

Fig. 4 shows inverse curve (35) and dependence of horizon radius (4) on n2n^{2}. It can be seen that the tidal acceleration extremum points is below the event horizon at any values of NUT-charge nn.

It is also important to note that formulas (33)-(35) and Figs. 3 and 4 are valid for both the radial and angular components of tidal forces, because the right-hand sides of expressions (28) and (29) differ only by a factor, which does not affect the position of tidal equilibrium points and extrema of tidal acceleration.

5 Solution of geodesic deviation equation

In Eqs. (26) and (27) below, we pass from differentiation with respect to the affine parameter τ\tau to differentiation with respect to the radial variable rr using Eq. (12). So they take the form

(E2δ1f)ξr′′δ1f2ξr+δ1f′′2ξr=0,\left(E^{2}-\delta_{1}f\right){\xi^{r}}^{\prime\prime}-\frac{\delta_{1}f^{\prime}}{2}{\xi^{r}}^{\prime}+\frac{\delta_{1}f^{\prime\prime}}{2}\xi^{r}=0, (36)
(E2δ1f)ξa′′δ1f2ξa+(δ1rf2(r2+n2)+δ1n2f(r2+n2)2)ξa=0,\left(E^{2}-\delta_{1}f\right){\xi^{a}}^{\prime\prime}-\frac{\delta_{1}f^{\prime}}{2}{\xi^{a}}^{\prime}+\left(\frac{\delta_{1}rf^{\prime}}{2\left(r^{2}+n^{2}\right)}+\frac{\delta_{1}n^{2}f}{\left(r^{2}+n^{2}\right)^{2}}\right)\xi^{a}=0, (37)

where a=θ,ϕa=\theta,\;\phi. Solutions to these equations will be presented in the following sections.

For the convenience of further calculations, we pass to the dimensionless variables ρ=rM\rho=\frac{r}{M} and ν=nM\nu=\frac{n}{M}. These changes will allow us to eliminate the parameter MM from the Eqs. (36) and (37). Therefore, in all further considerations the prime will mean differentiation with respect to ρ\rho and in new terms function ff from (2) is

f(ρ)=12ρ+2ν2ρ2+ν2.f(\rho)=1-\frac{2\rho+2\nu^{2}}{\rho^{2}+\nu^{2}}. (38)

To compare the new solutions with the previously known ones, we present the solutions of the Eqs. (36) and (37) without NUT-charge, i.e. in Schwarzschild spacetime for ν=0\nu=0. Such solutions are expressed in terms of elementary functions

ξr=Aα(ρ)+Bψ4[6+ψ2ρ+3α(ρ)ψln(α(ρ)ψα(ρ)+ψ)],\xi^{r}=A\alpha(\rho)+\frac{B}{\psi^{4}}\left[6+\psi^{2}\rho+\frac{3\alpha(\rho)}{\psi}\ln\left(\frac{\alpha(\rho)-\psi}{\alpha(\rho)+\psi}\right)\right], (39)
ξa=ρ(C+Dα(ρ)),\xi^{a}=\rho\bigg{(}C+D\alpha(\rho)\bigg{)}, (40)

where

ψ=E21,α(ρ)=E21+2ρ,\psi=\sqrt{E^{2}-1},\;\alpha(\rho)=\sqrt{E^{2}-1+\frac{2}{\rho}}, (41)

and A,B,CA,B,C and DD are integration constants. These solutions were firstly obtained in Ref. [2]. In the vicinity of ρ=0\rho=0 they are

ξr(ρ)=A2ρ+O(ρ)forρ0,\xi^{r}(\rho)=\frac{A\sqrt{2}}{\sqrt{\rho}}+O\left(\sqrt{\rho}\right)\;\text{for}\;\rho\to 0, (42a)
ξa(ρ)=2Dρ+O(ρ)forρ0.\xi^{a}(\rho)=\sqrt{2}D\sqrt{\rho}+O\left(\rho\right)\;\text{for}\;\rho\to 0. (42b)

The same solutions in the vicinity of ρ=\rho=\infty behave

ξr(ρ)=BE21ρ+O(1)forρ,\xi^{r}(\rho)=\frac{B}{E^{2}-1}\rho+O\left(1\right)\;\text{for}\;\rho\to\infty, (43a)
ξa(ρ)=(C+DE21)ρ+O(1)forρ.\xi^{a}(\rho)=\left(C+D\sqrt{E^{2}-1}\right)\rho+O\left(1\right)\;\text{for}\;\rho\to\infty. (43b)

5.1 Analytic solutions of the geodesic deviation equation

5.1.1 Radial component

Note that Eq. (36) admits an explicit integration

(E2δ1f)ξr=12(E2δ1f)ξr+C1,\left(E^{2}-\delta_{1}f\right){\xi^{r}}^{\prime}=\frac{1}{2}\left(E^{2}-\delta_{1}f\right)^{\prime}{\xi^{r}}+C_{1}, (44)

which is a first order inhomogeneous linear differential equation. This type of equations has quadrature solution

ξr(ρ)=E2δ1f(C2+C1dρ(E2δ1f)32),\xi^{r}(\rho)=\sqrt{E^{2}-\delta_{1}f}\left(C_{2}+C_{1}\int\frac{d\rho}{\left(E^{2}-\delta_{1}f\right)^{\frac{3}{2}}}\right), (45)

where C1C_{1} and C2C_{2} are integration constants. Using the explicit form of the function ff from Eq. (2) we will see that the integral in the resulting solution takes the form

(ρ2+ν2(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2)32𝑑ρ.\int\left(\frac{\rho^{2}+\nu^{2}}{(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}}\right)^{\frac{3}{2}}d\rho. (46)

This integral is not expressed in terms of elementary functions.

Therefore, we expand the solution (45) in a Taylor series in the vicinity of the points ρ=0\rho=0 and ρ=\rho=\infty.

ξr=C2E2+δ1+(C1E2+δ1+C2δ1ν2E2+δ1)ρ+O(ρ2)forρ0,\xi^{r}=C_{2}\sqrt{E^{2}+\delta_{1}}+\left(\frac{C_{1}}{E^{2}+\delta_{1}}+\frac{C_{2}\delta_{1}}{\nu^{2}\sqrt{E^{2}+\delta_{1}}}\right)\rho+O\left(\rho^{2}\right)\;\text{for}\;\rho\to 0, (47a)
ξr=C1E2δ1(ρ3δ1E2δ1ln(ρ))+(δ1C1(E2δ1)2+E2δ1C2)+O(1ρ)forρ.\xi^{r}=\frac{C_{1}}{E^{2}-\delta_{1}}\left(\rho-\frac{3\delta_{1}}{E^{2}-\delta_{1}}\ln(\rho)\right)+\left(\frac{\delta_{1}C_{1}}{(E^{2}-\delta_{1})^{2}}+\sqrt{E^{2}-\delta_{1}}C_{2}\right)+O\left(\frac{1}{\rho}\right)\;\text{for}\;\rho\to\infty. (47b)

The obtained asymptotics allow us to conclude that there is one more difference between the tidal properties in the Taub–NUT and Schwarzschild metrics. In Schwarzschild spacetime in the vicinity of r=0r=0 radial component of geodesic deviation vector behave ξr=Cρ+O(ρ)\xi^{r}=\frac{C}{\sqrt{\rho}}+O(\sqrt{\rho}) [2], whereas the behavior of this component in the Taub–NUT metric is regularly at zero according to (47a). But both metrics are asymptotically flat, therefore at spatial infinity the radial component grows linearly in both cases.

5.1.2 Angular components

Since the right-hand side of the angular Eq. (29) differs from (28) only by a factor, then Eq. (27) can be rewritten as

ξ¨a=δ1f′′4ξa.\ddot{\xi}^{a}=\frac{\delta_{1}f^{\prime\prime}}{4}\xi^{a}. (48)

Passing with the help of Eq. (12) to differentiation with respect to rr, in terms of dimensionless variables ρ\rho and ν\nu we obtain homogeneous second order differential equation

ξa′′+P(ρ)ξa+Q(ρ)ξa=0,{\xi^{a}}^{\prime\prime}+P(\rho){\xi^{a}}^{\prime}+Q(\rho)\xi^{a}=0, (49)

Where the coefficients P(ρ)P(\rho) and Q(ρ)Q(\rho) are functions

P(ρ)=δ1f2(E2δ1f)=δ1[ρ2+ν2(12ρ)](ρ2+ν2)[(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2],P(\rho)=-\frac{\delta_{1}f^{\prime}}{2\left(E^{2}-\delta_{1}f\right)}=\frac{\delta_{1}\left[-\rho^{2}+\nu^{2}\left(1-2\rho\right)\right]}{\left(\rho^{2}+\nu^{2}\right)\big{[}(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}\big{]}}, (50a)
Q(ρ)=δ1f′′4(E2δ1f)=δ1[ρ3+ν2(3ρ23ρν2)](ρ2+ν2)2[(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2],Q(\rho)=-\frac{\delta_{1}f^{\prime\prime}}{4\left(E^{2}-\delta_{1}f\right)}=\frac{\delta_{1}\left[\rho^{3}+\nu^{2}\left(3\rho^{2}-3\rho-\nu^{2}\right)\right]}{\left(\rho^{2}+\nu^{2}\right)^{2}\big{[}(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}\big{]}}, (50b)

and a=θ,ϕa=\theta,\phi. The angular Eq. (49), in contrast to the radial Eq. (36), has no solution in terms of elementary functions even in quadrature form. Therefore, we construct the solution of Eq. (49) locally in a vicinity of ρ=0\rho=0 and ρ=\rho=\infty using Frobenius method. The essence of the method and the limits of its applicability are succinctly described in the App. A.

  • In the vicinity of the point ρ=0\rho=0 the coefficients P(ρ)P(\rho) and Q(ρ)Q(\rho) are expanded in a power series

    P(ρ)=δ1ν2(E2+δ1)2δ1[ν2(E2+δ1)+δ1]ρν4(E2+δ1)2+O(ρ2),P(\rho)=\frac{\delta_{1}}{\nu^{2}\left(E^{2}+\delta_{1}\right)}-\frac{2\delta_{1}\left[\nu^{2}\left(E^{2}+\delta_{1}\right)+\delta_{1}\right]\rho}{\nu^{4}\left(E^{2}+\delta_{1}\right)^{2}}+O\left(\rho^{2}\right), (51a)
    Q(ρ)=δ1ν2(E2+δ1)δ1(3E2+δ1)ρν4(E2+δ1)2+O(ρ2).Q(\rho)=-\frac{\delta_{1}}{\nu^{2}\left(E^{2}+\delta_{1}\right)}-\frac{\delta_{1}\left(3E^{2}+\delta_{1}\right)\rho}{\nu^{4}\left(E^{2}+\delta_{1}\right)^{2}}+O\left(\rho^{2}\right). (51b)

    The absence of pole terms means that the Frobenius method is applicable. The roots of the equation for powers are ζ1=1\zeta_{1}=1 and ζ2=0\zeta_{2}=0. So form of two linear independent solution are

    ξ1a=k=0ckρk+ζ1=k=0ckρk+1,\xi^{a}_{1}=\sum_{k=0}^{\infty}c_{k}\rho^{k+\zeta_{1}}=\sum_{k=0}^{\infty}c_{k}\rho^{k+1}, (52a)
    ξ2a=k=0dkρk+ζ2+Aξ1aln(ρ)=k=0dkρk+Aξ1aln(ρ).\xi^{a}_{2}=\sum_{k=0}^{\infty}d_{k}\rho^{k+\zeta_{2}}+A\xi^{a}_{1}\ln(\rho)=\sum_{k=0}^{\infty}d_{k}\rho^{k}+A\xi^{a}_{1}\ln(\rho). (52b)

    By substituting expression (52a) in Eq. (49) the coefficients ckc_{k} for k1k\geq 1 can be expressed in term of c0c_{0}. Equating them to one we will find the first solution

    ξ1a=ρδ1ρ22ν2(E2+δ1)++δ1[δ1+ν2(E2+δ1)]ρ32ν4(E2+δ1)2+O(ρ4).\xi^{a}_{1}=\rho-\frac{\delta_{1}\rho^{2}}{2\nu^{2}\left(E^{2}+\delta_{1}\right)}+\\ +\frac{\delta_{1}\left[\delta_{1}+\nu^{2}\left(E^{2}+\delta_{1}\right)\right]\rho^{3}}{2\nu^{4}\left(E^{2}+\delta_{1}\right)^{2}}+O\left(\rho^{4}\right). (53)

    The second solution can be found using (52b) in Eq. (49) assuming ξ1a\xi^{a}_{1} as a solution. Equating the coefficients of all powers of ρ\rho to zero and setting d0=1d_{0}=1 and d1=0d_{1}=0 (since d0d_{0} is free coefficient and d1d_{1} is a factor at rζ1r^{\zeta_{1}} in second solution), we get

    ξ2a=1+δ1ρ22ν2(E2+δ1)+δ1E2ρ32ν4(E2+δ1)2+O(ρ4).\xi^{a}_{2}=1+\frac{\delta_{1}\rho^{2}}{2\nu^{2}\left(E^{2}+\delta_{1}\right)}+\frac{\delta_{1}E^{2}\rho^{3}}{2\nu^{4}\left(E^{2}+\delta_{1}\right)^{2}}+O\left(\rho^{4}\right). (54)

    Therefore, the general solution to Eq. (49) is a linear combination of (53) and (54)

    ξa=A1ξ1a+B1ξ2a,\xi^{a}=A_{1}\xi^{a}_{1}+B_{1}\xi^{a}_{2}, (55)

    where A1A_{1} and B1B_{1} are arbitrary integration constants.

  • To find a solution in the vicinity of spatial infinity change of variables is done ρ=1s\rho=\frac{1}{s}. So Eq. (49) takes the form

    ξa′′+W(s)ξa+H(s)ξa=0,{\xi^{a}}^{\prime\prime}+W(s){\xi^{a}}^{\prime}+H(s)\xi^{a}=0, (56)

    where the prime denotes differentiation with respect to ss, coefficients W(s)W(s) and H(s)H(s) are functions

    W(s)=2s+δ1δ1ν2(s22s)(1+ν2s2)[ν2s2(E2+δ1)+2δ1s+E2δ1],W(s)=\frac{2}{s}+\frac{\delta_{1}-\delta_{1}\nu^{2}\left(s^{2}-2s\right)}{\left(1+\nu^{2}s^{2}\right)\left[\nu^{2}s^{2}\left(E^{2}+\delta_{1}\right)+2\delta_{1}s+E^{2}-\delta_{1}\right]}, (57a)
    H(s)=δ1+δ1ν2(3s3s2ν2s3)s(1+ν2s2)2[ν2s2(E2+δ1)+2δ1s+E2δ1].H(s)=\frac{\delta_{1}+\delta_{1}\nu^{2}\left(3s-3s^{2}-\nu^{2}s^{3}\right)}{s\left(1+\nu^{2}s^{2}\right)^{2}\left[\nu^{2}s^{2}\left(E^{2}+\delta_{1}\right)+2\delta_{1}s+E^{2}-\delta_{1}\right]}. (57b)

    In the vicinity of the point s=0s=0 they are expanded into a power series with a pole term

    W(s)=2s+δ1E2δ1+2δ1[ν2(E2δ1)δ1]s(E2δ1)2+O(s2),W(s)=\frac{2}{s}+\frac{\delta_{1}}{E^{2}-\delta_{1}}+\frac{2\delta_{1}\left[\nu^{2}\left(E^{2}-\delta_{1}\right)-\delta_{1}\right]s}{\left(E^{2}-\delta_{1}\right)^{2}}+O\left(s^{2}\right), (58a)
    H(s)=δ1(E2δ1)s+δ1[3ν2(E2δ1)2δ1](E2δ1)22δ1[ν2(3E42E2δ1δ12)2δ12]s(E2δ1)3+O(s2).H(s)=\frac{\delta_{1}}{\left(E^{2}-\delta_{1}\right)s}+\frac{\delta_{1}\left[3\nu^{2}\left(E^{2}-\delta_{1}\right)-2\delta_{1}\right]}{\left(E^{2}-\delta_{1}\right)^{2}}-\frac{2\delta_{1}\left[\nu^{2}\left(3E^{4}-2E^{2}\delta_{1}-\delta_{1}^{2}\right)-2\delta_{1}^{2}\right]s}{\left(E^{2}-\delta_{1}\right)^{3}}+O\left(s^{2}\right). (58b)

    This means that the roots of a quadratic equation determining the leading powers of two linearly independent solutions are ζ1=0\zeta_{1}=0 and ζ2=1\zeta_{2}=-1. Forms of solution are

    ξ1a=k=0cksk+ζ1=k=0cksk,\xi^{a}_{1}=\sum_{k=0}^{\infty}c_{k}s^{k+\zeta_{1}}=\sum_{k=0}^{\infty}c_{k}s^{k}, (59a)
    ξ2a=k=0dksk+ζ2+Aξ1aln(s)=k=0dksk1+Aξ1aln(s).\xi^{a}_{2}=\sum_{k=0}^{\infty}d_{k}s^{k+\zeta_{2}}+A\xi^{a}_{1}\ln(s)=\sum_{k=0}^{\infty}d_{k}s^{k-1}+A\xi^{a}_{1}\ln(s). (59b)

    By substituting expression (59a) in Eq. (56) the coefficients ckc_{k} for k1k\geq 1 can be expressed in term of c0c_{0} equating which to one we will find the first solution

    ξ1a=1δ1s2(E2δ1)δ1[ν2(E2δ1)δ1]s22(E2δ1)2+O(s3).\xi_{1}^{a}=1-\frac{\delta_{1}s}{2\left(E^{2}-\delta_{1}\right)}-\frac{\delta_{1}\left[\nu^{2}\left(E^{2}-\delta_{1}\right)-\delta_{1}\right]s^{2}}{2\left(E^{2}-\delta_{1}\right)^{2}}+O\left(s^{3}\right). (60)

    The second solution can be found using (59b) in Eq. (56) assuming ξ1a\xi^{a}_{1} as a solution. Equating the coefficients at all powers of ρ\rho to zero and setting again d0=1d_{0}=1 and d1=0d_{1}=0, we get

    ξ2a=1sδ1ν2s2(E2δ1)+δ1E2ν2s22(E2δ1)2+O(s3).\xi^{a}_{2}=\frac{1}{s}-\frac{\delta_{1}\nu^{2}s}{2\left(E^{2}-\delta_{1}\right)}+\frac{\delta_{1}E^{2}\nu^{2}s^{2}}{2\left(E^{2}-\delta_{1}\right)^{2}}+O\left(s^{3}\right). (61)

    In terms of radial variable ρ\rho

    ξ1a=1δ12(E2δ1)ρδ1[ν2(E2δ1)δ1]2(E2δ1)2ρ2+O(1ρ3),\xi_{1}^{a}=1-\frac{\delta_{1}}{2\left(E^{2}-\delta_{1}\right)\rho}-\frac{\delta_{1}\left[\nu^{2}\left(E^{2}-\delta_{1}\right)-\delta_{1}\right]}{2\left(E^{2}-\delta_{1}\right)^{2}\rho^{2}}+O\left(\frac{1}{\rho^{3}}\right), (62a)
    ξ2a=ρδ1ν22(E2δ1)ρ+δ1E2ν22(E2δ1)2ρ2+O(1ρ3).\xi^{a}_{2}=\rho-\frac{\delta_{1}\nu^{2}}{2\left(E^{2}-\delta_{1}\right)\rho}+\frac{\delta_{1}E^{2}\nu^{2}}{2\left(E^{2}-\delta_{1}\right)^{2}\rho^{2}}+O\left(\frac{1}{\rho^{3}}\right). (62b)

    Therefore, the general solution to Eq. (56) is a linear combination of (62a) and (62b)

    ξa=A2ξ1a+B2ξ2a,\xi^{a}=A_{2}\xi^{a}_{1}+B_{2}\xi^{a}_{2}, (63)

    where A2A_{2} and B2B_{2} are arbitrary integration constants.

Summarizing all of the above, we demonstrate the leading order of solutions of Eq. (56)

ξa=B1+A1ρ+(B1A1)δ1ρ22ν2(E2+δ1)+O(ρ3)forρ0,\xi^{a}=B_{1}+A_{1}\rho+\frac{\left(B_{1}-A_{1}\right)\delta_{1}\rho^{2}}{2\nu^{2}\left(E^{2}+\delta_{1}\right)}+O\left(\rho^{3}\right)\;\text{for}\;\rho\to 0, (64a)
ξa=A2+B2ρδ1(A2+B2ν2)2(E2δ1)ρ+O(1ρ2)forρ,\xi^{a}=A_{2}+B_{2}\rho-\frac{\delta_{1}\left(A_{2}+B_{2}\nu^{2}\right)}{2\left(E^{2}-\delta_{1}\right)\rho}+O\left(\frac{1}{\rho^{2}}\right)\;\text{for}\;\rho\to\infty, (64b)

where A1,A2,B1,B2A_{1},A_{2},B_{1},B_{2} are integration constants determined by the initial data. Thus, we see that asymptotic flatness of the Taub–NUT spacetime leads to linear increase of the geodesic deviation vector components (64b) at spatial infinity. The absence of a physical singularity at the coordinate origin leads to the regular behavior of the the geodesic deviation vector angular components (64a). In other words, all angular (64a) and radial components (47a) near zero behave in the same way.

But the given method for solving differential equations is not very illustrative because the solution found by the Frobenius method describes the solution only locally. Therefore, in the next section, we present an alternative approach to the analysis of geodesic deviation.

5.2 Numerical solutions of the geodesic deviation equation

To visualize the solutions of the equations and demonstrate the global behavior of the components of the geodesic deviation vectors below, we will solve the Eqs. (36) and (37) numerically in term of dimensionless variables ρ\rho and ν\nu. Together they can be written as

ξj′′+P(ρ)ξj+Qi(ρ)ξj=0,{\xi^{j}}^{\prime\prime}+P(\rho){\xi^{j}}^{\prime}+Q_{i}(\rho)\xi^{j}=0, (65)

where i,j=r,ai,j=r,a and coefficient P(ρ)P(\rho) is common for all spatial geodesic deviation vector components, but the coefficients QrQ_{r} and QaQ_{a} are different for radial and angular components

P(ρ)=δ1[ρ2+ν2(12ρ)](ρ2+ν2)[(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2],P(\rho)=\frac{\delta_{1}\left[-\rho^{2}+\nu^{2}\left(1-2\rho\right)\right]}{\left(\rho^{2}+\nu^{2}\right)\big{[}(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}\big{]}}, (66a)
Qr(ρ)=2δ1[ρ3+ν2(3ρ23ρν2)](ρ2+ν2)2[(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2],Q_{r}(\rho)=\frac{-2\delta_{1}\left[\rho^{3}+\nu^{2}\left(3\rho^{2}-3\rho-\nu^{2}\right)\right]}{\left(\rho^{2}+\nu^{2}\right)^{2}\big{[}(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}\big{]}}, (66b)
Qa(ρ)=δ1[ρ3+ν2(3ρ23ρν2)](ρ2+ν2)2[(E2δ1)ρ2+2δ1ρ+(E2+δ1)ν2],Q_{a}(\rho)=\frac{\delta_{1}\left[\rho^{3}+\nu^{2}\left(3\rho^{2}-3\rho-\nu^{2}\right)\right]}{\left(\rho^{2}+\nu^{2}\right)^{2}\big{[}(E^{2}-\delta_{1})\rho^{2}+2\delta_{1}\rho+(E^{2}+\delta_{1})\nu^{2}\big{]}}, (66c)

where a=θ,ϕa=\theta,\phi. Since timelike geodesics are the most interesting from a physical point of view, numerical curves will be plotted at δ1=1\delta_{1}=1.

In Fig. 5 we construct a numerical solution of the radial Eq. (65) with j=rj=r for various values of dimensionless NUT-charge ν\nu. It can be seen that the black solid curve with ν=0\nu=0 in the vicinity of ρ=0\rho=0 corresponds to (42a).

Refer to caption
Figure 5: Dependence of ξr\xi^{r} on ρ\rho at E=10E=10. Initial data are ξr(10)=1\xi^{r}(10)=1, ξr(10)=1{\xi^{r}}^{\prime}(10)=1.

In Fig. 6 we construct a numerical solution of the angular Eq. (65) with j=aj=a for various values of dimensionless NUT-charge ν\nu. It can be seen that the black solid curve with ν=0\nu=0 in the vicinity of ρ=0\rho=0 corresponds to (42b).

Refer to caption
Figure 6: Dependence of ξa\xi^{a} on ρ\rho at E=10E=10. Initial data are ξa(10)=1\xi^{a}(10)=1, ξa(10)=1{\xi^{a}}^{\prime}(10)=1.

6 Conclusion

In this paper we investigated tidal effects in Taub–NUT spacetimes along the axis of symmetry. We first demonstrate that the integrals of motion LL and KK can be chosen so that the geodesic equations (11)-(14) do not have azimuthal dynamics. Further, we show that a freely falling test body in the Taub–NUT metric can stop, but RstopR_{stop} is situated under the horizon. After that, we consider the geodesic deviation equation (19) on the axis of symmetry of spacetime and the tidal tensor (21) generated by curvature of spacetime. We get Carter’s tetrad basis (23), which allows us to diagonalize the geodesic deviation equation. It can be seen that its nontrivial spatial components have form (28) and (29), moreover the polar and azimuthal equations coincide. As in the cases of radial motion in static spherically symmetric spacetime radial and angular geodesic deviation vector components have different signs and are two times different. We show that all components of tidal forces change signs and monotonicity below the event horizon for any NUT-charge value. It is also important to note that in the presence of a nonzero nn, all components vanish at a single point, but change monotonicity twice.

To demonstrate the behavior of geodesic deviation vector, we solve the geodesic deviation equations (36) and (37) with respect to the radial variable. We present the solutions (39) and (40) known from [2] in the absence of the NUT–charge in order to be able to see how it affects the solution. It turns out that the radial equation (36) admits explicit integration, therefore its solution is represented by quadrature (45). Expanding the resulting solution in a Taylor series, we find that in the vicinity of the origin ξr\xi^{r} behaves regularly (47a) in contrast to the Schwarzschild and Reissner–Nordström metrics, but similar to the results of Ref. [23]. And at spatial infinity ξr\xi^{r} grows linearly (47b) because the Taub–NUT metric is asymptotically flat. Angular Eq. (49) no longer admits explicit integration. Therefore, we solve it using the Frobenius method in the vicinity of the origin and spatial infinity, because this equation satisfies Fuchs’ theorem there. And it turns out that the angular components at zero behave regularly (55) and experience linear growth (63) at infinity.

Further, we confirm all our analytical calculations by numerical solutions of the Eqs. (36) and (37). The curves in Figs. 5 and 6 fully confirm our analytical conclusions about the singular behavior absence of the geodesic deviation vector in the vicinity of the origin and about the linear growth of all spatial components at infinity.

Despite the large number of articles devoted to the analysis of the geodesic deviation equation and tidal forces in general relativity, there are still many interesting unsolved problems. High-dimensional Tangerlini black holes, black rings, and possibly topological BTZ black holes require the attention of researchers. The behavior of geodesics in spaces with exotic matter is also interesting. Alternatively, one can consider black holes in mimetic gravity. Tidal effects in the vicinity Vaidya dynamic black hole metric are also unexplored.

Acknowledgement

We would like to express our gratitude to Yuri Viktorovich Pavlov for meaningful discussions and useful advice.

Appendix A Fuchs’ equations and Frobenius method

Second order differential equation for a complex variable function y(z)y(z)

y′′(z)+p(z)y(z)+q(z)y(z)=0y^{\prime\prime}(z)+p(z)y^{\prime}(z)+q(z)y(z)=0 (67)

has a regular singular point at z=z0z=z_{0}, if the coefficients p(z)p(z), q(z)q(z) have pole at z=z0z=z_{0} not higher than the first and second order, respectively. In other words, the coefficients are decomposed into Laurent series as follows

p(z)=k=1ak(zz0)k,p(z)=\sum_{k=-1}^{\infty}a_{k}(z-z_{0})^{k}, (68a)
q(z)=k=2bk(zz0)k.q(z)=\sum_{k=-2}^{\infty}b_{k}(z-z_{0})^{k}. (68b)

In the vicinity of a regular singular point z=z0z=z_{0} two linearly independent solutions of Eq. (67) can be found using the generalized series

y1(z)=(zz0)ζ1k=0ck(zz0)k,y_{1}(z)=(z-z_{0})^{\zeta_{1}}\sum_{k=0}^{\infty}c_{k}(z-z_{0})^{k}, (69a)
y2(z)=(zz0)ζ2k=0dk(zz0)k,y_{2}(z)=(z-z_{0})^{\zeta_{2}}\sum_{k=0}^{\infty}d_{k}(z-z_{0})^{k}, (69b)

where ζ1\zeta_{1} and ζ2\zeta_{2} are roots of quadratic equation

ζ(ζ1)+a1ζ+b2=0.\zeta(\zeta-1)+a_{-1}\zeta+b_{-2}=0. (70)

If difference ζ1ζ2\zeta_{1}-\zeta_{2} is not integer, then both solutions of Eq. (67) presented by power series (69), but if difference ζ1ζ2\zeta_{1}\leavevmode\nobreak\ -\leavevmode\nobreak\ \zeta_{2} is positive integer, then the first solution for higher ζ1\zeta_{1} remains the same (69a), however the second linearly independent solution has another form

y2=(zz0)ζ2k=0dk(zz0)k+Ay1(z)ln(zz0).y_{2}=(z-z_{0})^{\zeta_{2}}\sum_{k=0}^{\infty}d_{k}(z-z_{0})^{k}+Ay_{1}(z)\ln(z-z_{0}). (71)

References

  • [1] Schwarzschild K. Berliner Sitzungsbesichte (Phys. Math. Klasse), 189 – 196 3 Feb. (1916).
  • [2] Fush H. Ann. Physik, 495, 231 – 233 (1983).
  • [3] Reissner H. Ann. Physik, 50, 106 – 120 (1916).
  • [4] Nordström G. Proc. Kon. Ned. Akad. Wet., 20, 1238 – 1245 (1918).
  • [5] Kottler F. Ann. Physik, 56, 401 – 462 (1918).
  • [6] Crispino L.C.B., et al.: Eur. Phys. J. C 76, 168 (2016).
  • [7] Vandeev V.P., Semenova A.N.: Eur. Phys. J. C 81: 610 (2021).
  • [8] Shahzad M. U., Jawad A., Eur. Phys. J. C 77, 372 (2017).
  • [9] Kiselev, V. V.: Class. Quant. Grav. 20, 1187 (2003).
  • [10] Luminet J. P., Marck J .A., Mon. Not. R. Astron. Soc. 212, 57 (1985).
  • [11] B.P. Abbott, et al., LIGO Scientific, Virgo, Phys. Rev. Lett. 116 061102 (2016).
  • [12] B.P. Abbott, et al., LIGO Scientific, VIRGO, Phys. Rev. Lett. 118 221101 (2017), erratum: Phys. Rev. Lett. 121 129901 (2018).
  • [13] A. Goel, R. Maity, P. Roy, and T. Sarkar, Phys. Rev. D 91, 104029(2015)
  • [14] Sharif M., Sadiq S., JETP 153, 232 – 239 (2018).
  • [15] Haroldo C. D. Lima Junior, et al.: Int. J. Mod. Phys. D 29, 2041014 (2020)
  • [16] Soon-Tae Hong, et al. Phys. Lett. B 881 135967 (2020).
  • [17] Jing Li, et al. Eur. Phys. J. C 81, 590 (2021).
  • [18] Siddharth Madan, Parth Bambhaniya, https://doi.org/10.48550/arXiv.2201.13163
  • [19] Jiayi Liu, Songbai Chen, Jiliang Jing, https://doi.org/10.48550/arXiv.2203.14039
  • [20] Kerr R. P. Phys. Rev. Lett., 11, 237 – 238 September 1. (1963).
  • [21] E. Newman, L. Tamburino, and T. Unti, J. Math. Phys. 4, 915 (1963).
  • [22] Newman E. T., Couch E., Chindapared K. et al. J. Math. Phys., 6, 918 – 919 (1965).
  • [23] Haroldo C. D. Lima Junior, et al.: Eur. Phys. J. Plus 135: 334 (2020).
  • [24] Chicone C., Mashhoon B., Punsly B., Int. J. Mod. Phys. D 13, 945 (2004).
  • [25] Chicone C., Mashhoon B., Annalen Phys. 14, 290 (2005).
  • [26] Bini D., Chicone C., Mashhoon B., Phys. Rev. D 95, 104029 (2017).
  • [27] Shirokov M. F. Gen. Rel. Grav., 4, 131 (1973).
  • [28] Nduka A. Gen. Rel. Grav., 8, 347 (1977).
  • [29] Melkumova E.Yu., et al.: Sov. Phys. J., 33, 349 (1990).
  • [30] B. Carter, Phys. Rev. 174, 1559 (1968).
  • [31] Valeria Kagramanova, et al. Phys. Rev. D 81, 124044 (2010).
  • [32] Misner C. W., Thorne K. S., Wheeler J. A., Gravitation (San Francisco: W.H. Freeman, 1973).