1 Introduction

Collisions in the ergosphere were in the centre of interest, because they are able to extract rotational energy from the black hole through a collisional Penrose process. As described by [2], collisional energy of particles near the extreme-Kerr black hole can be arbitrarily high, although, this does not imply that such collisions can extract arbitrarily high amounts of energy from a black hole. [3] showed that the energy of the particles leaving the ergosphere after a collision and measured by distant observers, is in fact not significantly higher than the primary energy of infalling particles. Despite their doubtful application as cosmic accelerators, collisions around black holes are interesting in light of compact object mergers. For example, collisions of neutron stars could possibly lead to the birth of a black hole (for numerical simulations see e.g. [5]).

General formulas for the CM energy of collisions (energy in the centre of mass frame) were shown by [8], collisions on ISCO were investigated by [9], and collisions of spinning particles by [6]. In these papers the authors showed that an upper bound of CM collisional energy diverges to infinity for the extreme-Kerr black holes, and [8] concluded that this would result in the formation of a black hole in case of a NS-NS collision.

Since upper limits of collisional energy have been investigated in many ways, no discussion on lower limit of collisional energy has been presented so far. Our paper fills this gap. Solving this issue leads to a full energy domain of collisions: that would have an application in studies on compact objects collisions, for example as an initial value in numerical simulations. We derive the formulas that minimize collisional energy in case of one particle orbiting around a black hole, and another particle infalling freely from infinity. Furthermore, we present how the situation changes when an infalling particle has a nonzero spin - it has been investigated recently by [6] in context of upper energy limits. We show that effects of interaction between particle’s and black hole’s spins affects minimal collisional energy in near-extreme Kerr background only.

Resolving the issue of minimal energy is interesting also in light of sci-fi movies, like Interstellar. Treating a spaceship as a incoming particle and a planet as an orbiting particle, we can calculate the minimal speed between them. Therefore we can predict wheather planets near black holes are “available” for a spaceship to land on them.

The second section of our paper introduces notation and describes the motion in the Kerr space–time domain. The third section presents derivations of formulas for the minimal Lorentz factor of collisions and discusses the special case of the collisions on ISCO. The fourth section introduces Mathisson–Papapetrou equations and contains a discussion of impact of particle’s spin on a situation. The last section gives a brief summary of an article.

2 Geodesics in Kerr metric

Kerr space–time can be described by the Boyer–Linquist coordinates [4] with a line element given by:

$$\begin{aligned} g= & {} -\frac{\varDelta -a^2\sin ^2{\theta }}{\varSigma }\text {dt}^2-\frac{4aMr}{\varSigma } \sin ^2{\theta }\text {dt}\text {d}\phi \nonumber \\&+\,\frac{(r^2+a^2)^2-\varDelta a^2\sin ^2{\theta }}{\varSigma }\sin ^2{\theta }\text {d} \phi ^2+\frac{\varSigma }{\varDelta }\text {dr}^2+\varSigma \text {d}\theta ^2, \end{aligned}$$
(1)

where \(\varSigma =r^2+a^2\cos ^2{\theta }\) and \(\varDelta =r^2+a^2-2Mr\), where M and a represent mass and spin of a black hole (\(M\ge a\)), respectively. Range of variables is given by: \(t\in (-\infty ,\infty ), r\in (M+\sqrt{M^2-a^2},\infty ),\, \theta \in (0,\pi ),\, \phi \in [0,2\pi ).\) The motion is considered in the equatorial plane only. Time-translational and rotational Killing fields are as follows, \(\xi =\partial _t\) and \(\eta =\partial _\phi \). Quantities conserved along geodesics associated with Killing fields are specified as below,

$$\begin{aligned} e=&-v_\mu \xi ^\mu \, , \end{aligned}$$
(2)
$$\begin{aligned} l=&v_\mu \eta ^\mu \, , \end{aligned}$$
(3)

where \(v^\mu \) indicates 4-velocity of a particle. These constants represent energy at infinity per unit mass and angular momentum parallel to the z-axis per unit mass, respectively. Using Eqs. (2) and (3), we obtain:

$$\begin{aligned}&v^t=-\frac{g_{\phi \phi } e+g_{t\phi }l}{{\bar{g}}}\, , \end{aligned}$$
(4)
$$\begin{aligned}&v^\phi =\frac{g_{t\phi } e+g_{tt}l}{{\bar{g}}}\, , \end{aligned}$$
(5)

where \({\bar{g}}=g_{tt}g_{\phi \phi }-(g_{t\phi })^2=-\varDelta \). We consider motion outside the event horizon, so \({\bar{g}}<0\). Another conserved quantity comes from the velocity normalization condition:

$$\begin{aligned} v^\mu v_\mu =-1. \end{aligned}$$
(6)

Combining Eqs. (2), (3) and (6) together results in an equality:

$$\begin{aligned} \frac{\dot{r}^2}{2}-\frac{M}{r}+\frac{a^2(1-e^2)+l^2}{2r^2}- \frac{M(ae-l)^2}{r^3}=\frac{e^2-1}{2}. \end{aligned}$$
(7)

This can be interpreted as a sum of a kinetic energy and an effective potential, therefore the problem reduces to a problem from classical mechanics with a potential:

$$\begin{aligned} V_{eff}(r)=-\frac{M}{r}+\frac{a^2(1-e^2)+l^2}{2 r^2}-\frac{M (a e-l)^2}{r^3}. \end{aligned}$$
(8)

We also provide below another formula that will be useful in the next paragraph of this article. Combining Eqs. (2), (3) and (6), we find a relation:

$$\begin{aligned} g_{\phi \phi }e^2+g_{tt}l^2+2g_{t\phi }el=\varDelta [1+g_{rr}(v^r)^2], \end{aligned}$$
(9)

3 Lower limit of collisional energy

3.1 General case

Two particles are considered to be moving along geodesics. Quantities \(p_o^\mu =m_ov_o^\mu \) and \(p_{in}^\mu =m_{in}v_{in}^\mu \) denotes momenta of the orbiting and the incoming particle, respectively. The orbiting particle is staying on an orbit at radius \(r=r_o\) and the incoming particle is infalling from infinity (\(e_{in}\ge 1\)). Energy of an incoming particle measured in a rest-frame of the first particle is given by:

$$\begin{aligned} E=- g_{\mu \nu }v_o^\mu p_{in}^\nu , \end{aligned}$$
(10)

On the other hand, in a locally flat coordinate system, this energy is equal to:

$$\begin{aligned} E=m_{in}\gamma , \end{aligned}$$
(11)

where \(\gamma \) is a Lorentz factor of the collision. Therefore, using Eqs. (4) and (5), we obtain (since now, all the metric coefficients are calculated at \(r=r_o\)):

$$\begin{aligned} \gamma= & {} -\frac{1}{g}(g_{tt}g_{t\phi } v_o^te_{in}+g_{tt}g_{t\phi } v_o^t l_{in}-g_{t\phi }^2 v_o^te_{in} +g_{t\phi }g_{tt}v_o^t l_{in}+\nonumber \\&+\,g_{t\phi }g_{\phi \phi } v_o^\phi e_{in}+ g_{t\phi }^2 v_o^\phi l_{in} -g_{\phi \phi } g_{t\phi } v_o^\phi e_{in}-g_{\phi \phi }g_{tt}v_o^\phi l_{in})+g_{rr} v_o^r v_{in}^r.\qquad \end{aligned}$$
(12)

Hence, for a particle staying on a circular orbit (\(v_o^r=0\)):

$$\begin{aligned} \gamma = v_o^t e_{in}- v_o^\phi l_{in}. \end{aligned}$$
(13)

This remarkably simple formula is useful especially when components \(v_o^t\) and \(v_o^\phi \) are fixed quantities, like in our case. However, one needs to remember that \(e_{in}\) and \(l_{in}\) have to be chosen in such a way that world lines of colliding particles should have a common point. In order to minimize \(\gamma \), we have to choose appropriate \(e_{in}\) and \(l_{in}\). The conditions for \(\gamma \) to be minimal are found in the following way:

  1. (i)

    Let us find the solution of Eq. (9) with respect to l. This implies that for \(r\ne 2M\) \(l_{in}\) takes the form (we choose co-rotating case):

    $$\begin{aligned} l_{in}=-e_{in}\frac{g_{t\phi }}{g_{tt}}-\sqrt{\varDelta }\frac{\sqrt{e_{in}^2+g_{tt} +g_{rr}g_{tt}(v_{in}^r)^2}}{g_{tt}}, \end{aligned}$$
    (14)

    therefore \(\gamma \) (13) is given by:

    $$\begin{aligned} \gamma =v_o^t e_{in}+v_o^\phi e_{in}\frac{g_{t\phi }}{g_{tt}}+v_o^\phi \sqrt{\varDelta }\frac{\sqrt{e_{in}^2+g_{tt}+g_{rr}g_{tt} (v_{in}^r)^2}}{g_{tt}}. \end{aligned}$$
    (15)

    For \(r=2M\) the solution of the system of Eqs. (2), (3) and (6) is shown below:

    $$\begin{aligned} l_{in,2M}=-\frac{\left( e_{in}\right) ^2 g_{\phi \phi }-\varDelta [1+g_{rr} (v_{in}^r)^2]}{2e_{in} g_{t\phi }}, \end{aligned}$$
    (16)

    hence

    $$\begin{aligned} \gamma _{2M}=v_o^t e_{in}+v_o^\phi \frac{\left( e_{in}\right) ^2 g_{\phi \phi }-\varDelta [1+g_{rr} (v_{in}^r)^2]}{2e_{in} g_{t\phi }}. \end{aligned}$$
    (17)
  2. (ii)

    It can be easily checked that (15) [and (17)] is minimal for \(e_{in}=e_o\) and \(v_{in}^r=0\) and is a growing function of \(e_{in}\) for \(e_{in}>e_o\) (\(e_o<1\)). However, we imposed one particle to infall from infinity e.g. \(e_{in}\ge 1\), therefore we take \(e_{in}=1\). Condition \(v_{in}^r=0\) is equivalent to the condition stating that trajectory of an infalling particle is tangent to the trajectory of an orbiting particle.

Applying condition (ii) to the relation (9), we obtain:

$$\begin{aligned}&g_{\phi \phi }+g_{tt}l_{in}^2+2g_{t\phi }l_{in}=\varDelta , \end{aligned}$$
(18)
$$\begin{aligned}&g_{\phi \phi }e_o+g_{tt}l_{o}^2+2g_{t\phi }e_ol_{o}=\varDelta . \end{aligned}$$
(19)

Now, together with (2) and (3), minimal \(\gamma \) takes the form:

$$\begin{aligned} \gamma _{min}=\frac{1}{g_{tt}}\left[ \sqrt{\left( 1+g_{tt}\right) \left( e_o^2+g_{tt}\right) }-e_o\right] \!, \end{aligned}$$
(20)

which is valid for \(r\ne 2M\). For \(r=2M\) minimal \(\gamma \) is given by:

$$\begin{aligned} \gamma _{min,2M}=\frac{1}{2}\left( e_{o}+\frac{1}{e_{o}}\right) \!. \end{aligned}$$
(21)

It can be seen that:

$$\begin{aligned} \lim \limits _{r\rightarrow 2M^+}{\gamma _{min}}=\lim \limits _{r\rightarrow 2M^-}{\gamma _{min}}=\gamma _{min,2M}. \end{aligned}$$
(22)

Using formulas (14) and (16) we can also find \(l_{in}\) corresponding with \(v^r_{in}(r=r_{o})=0\) and \(e=1\). For \(r\ne 2M\) it is given by:

$$\begin{aligned} l_{in,min}=-\frac{g_{t\phi }+\sqrt{\varDelta \left( 1+g_{tt}\right) }}{g_{tt}}, \end{aligned}$$
(23)

and for \(r=2M\):

$$\begin{aligned} l_{in,min,2M}=\frac{\varDelta -g_{\phi \phi }}{2g_{t\phi }}. \end{aligned}$$
(24)

We note that formula (20) is valid for Kerr–Newman metric as well. Also, we point out the fact that minimal Lorentz factor calculated above requires fine-tuning of incoming particle’s angular momentum (or \(v^r_{in}(r_0)\), equivalently). This requirement is presented in Fig. 1—in the extreme-Kerr limit any \(v^r_{in}(r_0)\ne 0\) results in infinite energy.

Fig. 1
figure 1

Dependence of \(\gamma \) on the radial velocity of incoming particle on ISCO. In extreme-Kerr limit, particle’s motion has to be fine-tuned in order to have finite value of \(\gamma \)

3.2 Collisions on ISCO

This section considers the first particle to stay on ISCO. The radius of ISCO may be obtained by deriving the system of the following three equations:

$$\begin{aligned}&V_{eff}(r_{isco})=\frac{e^2-1}{2}, \end{aligned}$$
(25)
$$\begin{aligned}&V_{eff}'(r_{isco})=0, \end{aligned}$$
(26)
$$\begin{aligned}&V_{eff}''(r_{isco})=0. \end{aligned}$$
(27)

The first two equations are conditions for the circular motion. The third one imposes the potential to have an inflection point at \(r_o\). The shape of potential implies that this corresponds with the marginally stable orbit. Explicit formula for \(r_{isco}\) is to be found in [1]. Calculating minimal \(\gamma \) can be easily done by substituting \(r_o=r_{isco}\) and \(e_o=e_{isco}\) in Eq. (20) [or (21) for \(r=2M\)].

Values of \(\gamma _{min}\) for characteristic spins of a black hole are to be found in Table 1. We note the fact that for \(a=M\), the ISCO does not exist [9] and the given value should be understood as \(\lim \limits _{a\rightarrow M^-}{\gamma _{min}}\).

Table 1 Minimal \(\gamma \) factors for collisions on ISCO, for some characteristic values of a. Value \(a=0.998M\) corresponds with a maximal spin of astrophysical black holes predicted by [14]

For the near-extreme Kerr black holes, \(\gamma _{min}\) can be expressed by an approximate formula, where \(\epsilon =\sqrt{M^2-a^2}\):

$$\begin{aligned} \gamma _{min}\simeq \frac{2 \sqrt{2}-1}{\sqrt{3}} + \frac{\root 3 \of {2} \left( 2 \sqrt{2}-3\right) }{\sqrt{3}}\epsilon ^{2/3}+\mathcal {O}(\epsilon ^{5/3}). \end{aligned}$$
(28)

4 Spinning particles

Motion of particles with spin is described by a set of Mathisson–Papapetrou equations [10, 11]:

$$\begin{aligned}&\frac{d x^\mu }{d\tau }=v^\mu \end{aligned}$$
(29)
$$\begin{aligned}&\frac{Dp^\alpha }{d\tau }=-\frac{1}{2}R^\alpha _{\,\,\beta \mu \nu }v^\beta S^{\mu \nu } \end{aligned}$$
(30)
$$\begin{aligned}&\frac{DS^{\alpha \beta }}{d\tau }=2p^{[\alpha }v^{\beta ]} \end{aligned}$$
(31)

where \(S^{\mu \nu }\) denotes the spin tensor, \(v^\mu \) 4-velocity, \(p^\mu \) momentum (which is in general not tangent to the particle’s world line) and \(\frac{D}{d\tau }\) is a covariant derivative with respect to particle’s proper time (e.g. \(\frac{D}{d\tau }\equiv v^\mu \nabla _\mu \)). These equations are valid for small value of particle’s spin parameter s (where \(s^2=-S^{\mu \nu }S_{\mu \nu }\)).

In case of motion in equatiorial plane in Kerr space–time, the only nonzero components of spin tensor are given by [7]:

$$\begin{aligned} S^{rt}=-\frac{sp_\phi }{m r},\,\,\,\,\, S^{\phi t}=\frac{s p_r}{m r},\,\,\,\,\, S^{\phi r}=-\frac{Sp_t}{m r}. \end{aligned}$$
(32)

where \(m=-p^\mu p_\mu \). It also means that a particle’s spin vector defined as

$$\begin{aligned} S^\alpha =\frac{1}{2m\sqrt{-g}}\epsilon ^{\alpha \beta \mu \nu } p_\beta S_{\mu \nu } \end{aligned}$$
(33)

is perpendicular to the equatiorial plane.

Method of treating Eqs. (29), (30), (31) in equatorial plane is presented by [12]. The result is given by:

$$\begin{aligned}&\displaystyle \varSigma _s\Lambda _s\frac{dt}{d\tau }=a\left( 1+\frac{3Ms^2}{r\varSigma _s}\right) [L-(a+s)E]+\frac{r^2+a^2}{\varDelta }P_s, \end{aligned}$$
(34)
$$\begin{aligned}&\displaystyle \left( \varSigma _s\Lambda _s\frac{dr}{d\tau }\right) ^2=R_s, \end{aligned}$$
(35)
$$\begin{aligned}&\displaystyle \varSigma _s\Lambda _s\frac{d\phi }{d\tau }=\left( 1+\frac{3Ms^2}{r\varSigma _s}\right) [L-(a+s)E]+\frac{a}{\varDelta }P_s, \end{aligned}$$
(36)

where

$$\begin{aligned}&\varSigma _s=r^2\left( 1-\frac{M s^2}{r^3}\right) , \end{aligned}$$
(37)
$$\begin{aligned}&\Lambda _s=1-\frac{3Ms^2r[-(a+s)E+L]^2}{\varSigma _s^3}, \end{aligned}$$
(38)
$$\begin{aligned}&R_s=P_s^2-\varDelta \left( \frac{\varSigma _s^2}{r^2}+[-(a+s) E+L]^2\right) , \end{aligned}$$
(39)
$$\begin{aligned}&P_s=\left( (r^2+a^2)+\frac{a s}{r}(r+M)\right) E-\left( a+\frac{Ms}{r}\right) L. \end{aligned}$$
(40)

E and L are constants of motion given by:

$$\begin{aligned}&E=-\left( p^\mu \xi _\nu -\frac{1}{2}S^{\alpha \beta }\nabla _\beta \xi _\alpha \right) , \end{aligned}$$
(41)
$$\begin{aligned}&L=p^\mu \eta _\nu -\frac{1}{2}S^{\alpha \beta }\nabla _\beta \eta _\alpha . \end{aligned}$$
(42)

These equations may be used to calculate suitable collisional energies. We present results of numerical calculations of lower bounds of collisional energy. The calculation was done by solving Eqs. (34)–(36) with respect to \(\frac{d t}{d\tau }\), \(\frac{d r}{d\tau }\) and \(\frac{d \phi }{d\tau }\) (assuming that incoming particle is at rest at infinity), and calculating the Lorentz factor using equation:

$$\begin{aligned} \gamma =-g_{\mu \nu }v^\mu _{o}\frac{d x^\nu }{d\tau }. \end{aligned}$$
(43)

The orbiting particle was considered to be spinless and to move on ISCO. Results are presented in Fig. 2. It turns out that for parallel oriented spins of black hole and particle the minimal Lorentz factor is reduced, whereas in an anti-parallel case Lorentz the factor may be significantly higher. However, this effect appears to be significant for fastly-rotating black holes only (what is partially a consequence of a higher value of ISCO radius for lower spins).

Fig. 2
figure 2

Minimal Lorentz factor for collisions on ISCO as a function of incoming particle’s spin. The dependence is presented for several values of black hole’s spin. Results for \(s=0\) correspond with results from sect. 3

Fig. 3
figure 3

Minimal Lorentz factor for collisions on ISCO as a function of black hole’s spin. Minimal Lorentz factor for the extreme-Kerr limit is denoted by \(\gamma _{extr}=\frac{2\sqrt{2}-1}{\sqrt{3}}\)

Fig. 4
figure 4

Dependence of \(\gamma _{min}\) on the radius of an orbit of an orbiting particle for \(a=0.998M\)

5 Summary

A derivation of the lower bound of the Lorentz factor for collisions on orbits near rotating black holes is presented in this paper. Such a factor can always be minimized to a finite value, even for ISCO orbits for the extreme-Kerr limit. In the extremal limit \(\gamma _{min}=\frac{2 \sqrt{2}-1}{\sqrt{3}}\simeq 1.056\), what corresponds to a speed of collision \(v_{min}\simeq 0.32 c\). For Thorne boundFootnote 1 (\(a=0.998M\)) minimal \(\gamma \) for ISCO is \(\gamma _{min}\simeq 1.039\), \(v_{min}\simeq 0.27c\) and for Schwarzschild black hole (\(a=0\)) \(\gamma _{min}\simeq 1.006\), \(v_{min}\simeq 0.11c\). Dependence between \(\gamma _{min}\) and a in the full domain of a is presented in Fig. 3.

Dependence of \(\gamma _{min}\) on r, where r is a radius of an orbit, is presented in Fig. 4. Interesting fact is that for some \(r>r_{isco}\) minimal value of \(\gamma \) is greater than the value of \(\gamma _{min}\) for ISCO.

Allowing incoming particle to have nonzero spin leads to a slight change of calculated parameters: for parallel spins \(\gamma _{min}\) is lower and for anti-parallel spins \(\gamma _{min}\) is higher than for non-spinning particles. This kind of additional interaction is no-negligible for near-extreme Kerr only.

To conclude, we have shown that in addition to the existence of a lower bound of \(\gamma \) in every case, there cannot exist gentle collisions with ISCO-orbiting particles and all the collisions occur with a high velocity. Our result can be used as an initial value for the simulation of head-on neutron stars collisions in order to find out if collapse to the black holes is likely to happen with such a minimal velocity. In terms of a planet —spaceship issue discussed in the introduction, we conclude that it would be impossible to avoid a huge load factor when landing on an ISCO planet. What is more, energy sufficient to “slow down” near the planet would also be beyond present technological capabilites of humankind. Of course this reasoning does not take into account the possibility of adjusting a spaceship’s trajectory using engines or gravitational assist (i.e. Thorne’s idea to reduce the velocity of an impact [13]).