Abstract
In this paper, we study the geodesic motion in spherically symmetric electro-vacuum Euclidean solutions of the Einstein equation. There are two kinds of such solutions: the Euclidean Reissner–Nordström (ERN) metrics, and the Bertotti–Robinson-like (BR) metrics, the latter having constant Kretschmann scalar. First, we derive the motion equations for the ERN spacetime and we generalize the results of Battista–Esposito, showing that all orbits in as ERN spacetime are unbounded if and only if it has an event horizon. We also obtain the Weierstrass form of the polar radial motion, providing an efficient tool for numerical computations. We then study the angular deflection of orbits in the Euclidean Schwarzschild spacetime which, in contrast to the Lorentzian background, can be either positive or negative. We observe the presence of a null and a maximal deflection rings for particles with velocity at infinity \(v>1\) and we give approximate values for their size when \(v > rsim 1.\) For BR spacetimes, we obtain analytic solutions for the radial motion in proper length, involving (hyperbolic) trigonometric functions and we deduce that orbits either exponentially go to the singularity or are periodic. Finally, we apply the previous results and use algorithms related to Weierstrass’ elliptic functions to produce a Python code to plot orbits of the spacetimes ERN and BR, and draw “shadows” of the first ones, as it was already done before for classical black holes.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and motivation
Instantons (or pseudoparticles) were originally defined in [7] as solutions of the (classical) Yang–Mills field equations, which are non-singular on some section of a complexified spacetime. By analogy, a gravitational instanton was defined in [31] to be a solution of the classical Einstein field equation, which is positive-definite (i.e. Riemannian) on some section of a complexified spacetime. Such metrics were first introduced in quantum gravity by Hartle and Hawking [29] in order to make some path integral converge, hence defining the so-called Hartle–Hawking propagator. Quoting [26], after the development of instantons in Yang–Mills theory and because (super)gravity is a gauge theory, it seems reasonable to expect gravitational instantons to play a similar role in gravity as instantons do in quantum field theory. For general discussions on gravitational instantons, see [19,20,21, 24, 30].
Since their introduction, gravitational instantons and their interactions with gauge instantons have been a subject of deep interest [44,45,46, 52]. More recently, the existence and uniqueness of toric instantons have been established in [36]. Moreover, purely Euclidean instantons (i.e. the corresponding complex spacetime does not admit any Lorentzian section) have been introduced in [13] and thoroughly described in [2]. It is worth mentioning that the gravitational instantons with positive cosmological constant were fully described and classified in [47].
Besides quantum gravity, in the early geometric models of matter introduced in [5], the Fubini–Study metric on the projective plane \(\mathbb {C}\mathbb {P}^2\) has been proposed as a (compact) model for the spacetime surrounding a neutron. Later in [4], the authors rather propose the Euclidean Schwarzschild geometry as a model for the neutron. As explained in [35], this has been generalized to other spin-\(\tfrac{1}{2}\)-particles such as the proton and the electron, for which the Taub–bolt and Taub–NUT instantons were respectively given as candidates. Moreover, interesting uniqueness results on Euclidean Schwarzschild and Taub–NUT instantons were obtained in [40]. These proposals further motivate the investigation of gravitational instantons and, in particular, the study of the geodesic dynamics in such spaces.
Geodesic motion in gravitational instantons has started more than thirty years ago, with the pioneer work [3], focusing on closed geodesics in compact instantons, with applications in the determination of their injectivity radius. The general geodesic dynamics in (generalized) Taub–NUT instantons has been detailed in [55]. More recently, the case of Kerr–Newman instantons is the topic of [39], while instantons of Eguchi–Hanson type were studied in [57]. Finally, we mention that the integrability of the conformal geodesic flow on spherically symmetric instantons motivates the work [18].
In the present paper, an instanton will designate a Riemannian solution of the Maxwell–Einstein equations on a 4-dimensional manifold.Footnote 1 We investigate the geodesic motion in such spaces, which we assume to be spherically symmetric. In particular, we will apply the theory of Weierstrass elliptic functions to the radial motion, as it was already done in the Lorentzian framework; see [14, 27]. We also study the gravitational lensing of trajectories, as done for photons and massive particles in Reissner–Nordström (resp. Kerr–Newman) spacetimes in [48] (resp. in [32]). Our methods can also be compared to the more recent work [56], where tidal forces are also investigated. As explained below, one of the main aims of the present paper is to highlight some important dynamical differences between the Euclidean and the Lorentzian backgrounds.
The simplest example of a gravitational instanton is the Euclidean Schwarzschild metric [29], given in Schwarzschild coordinates \((\tau ,r,\theta ,\phi )\) on \({\mathcal {M}}:=\mathbb {R}\times ]2M;+\infty [\times \mathbb {S}^2\simeq \mathbb {R}^2\times \mathbb {S}^2\) by
(\(M\ge 0\) being the mass of the central body) and the link with the Lorentzian Schwarzschild metric is given by setting the Euclidean time \(\tau =it,\) with t being the (Lorentzian) coordinate time. In other words, the Euclidean Schwarzschild metric is obtained from the Lorentzian one by applying a Wick rotation. As for any metric, it is natural to study the geodesic motion associated to it. Regarding the metric (ES) above, this question was addressed thoroughly in [6].
As suggested in [25, §II], one can also look for the Reissner–Nordström analogue of the Euclidean Schwarzschild solution; a metric that was used in [42, §4] and [43, §II.B], for instance. Assuming the central body has an electric charge \(Q\in \mathbb {R},\) the Euclidean Reissner–Nordström (ERN) metric is given by
In this paper, we generalize the approach of [6] to this metric and study the motion of a test particle in the ERN spacetime. Specifically, we prove that the method of [27, §3.1] still applies to the ERN metric, hence obtaining analytic solutions for (non-purely radial) geodesics in terms of Weierstrass’ elliptic functions. As we will see, one of the remarkable results obtained in [6] extends to the ERN spacetime with horizon (i.e. such that \(Q^2\le M^2\)), namely the fact that the energy of an exterior geodesic is confined in the open interval \(]-1,1[.\) In particular, no elliptic-like geodesics exist in the sub-extremal case. This fails in the super-charged case \(Q^2>M^2,\) where arbitrary high energy is allowed and attained by a circular geodesic. As mentioned in [6], these facts show that these Riemannian solutions present substantial differences in their dynamics, when compared to their usual relativistic avatars.
Moreover, we will see how the polar motion equation simplifies in the Schwarzschild case \(Q=0\) and we retrieve the results from [6] using only the elementary geometric properties of the real elliptic curve describing the phase portrait in (affinely transformed) Binet variable.
Another remarkable dynamical distinction between Lorentzian and Euclidean Schwarzschild spacetimes relies in the gravitational deflection of orbits. As is well-known, given an orbit coming from and to infinity, the deflection angle \(\delta \phi \) (in the motion plane) between its two asymptotic directions is always positive in Schwarzschild geometry, for photons as well as for massive particles. This means that test-particles can only be attracted by the central body. However, in Euclidean Schwarzschild geometry, the deflection angle can be positive or negative, depending on the velocity at infinity v and the perihelion \(r_{\textrm{min}}\) of the orbit; in this geometry, particles can be attracted or repelled by the central mass. More precisely, we observe that, at fixed \(v<1,\) we have \(\delta \phi <0\) for all values of \(r_{\textrm{min}},\) while for \(v>1,\) the deflection \(\delta \phi \) vanishes (resp. is maximal positive) at some perihelion \(r_{\textrm{min}}=\rho _0\) (resp. \(r_{\textrm{min}}=\rho _{\textrm{max}}\)). In (11) and (12), we give approximate values for \(\rho _0\) and \(\rho _{\textrm{max}}\) when \(v > rsim 1.\) The existence of \(\rho _{\textrm{max}}\) gives rise to a visible maximal deflection ring in the shadow of such a spacetime. As already said, the fact the \(\delta \phi <0\) at small perihelia indicates that particles are repelled by the central mass and thus the horizon becomes invisible to the observer, see Figs. 2 and 16.
The only other possible type of spherically symmetric instanton is given by a Bertotti–Robinson-like metric, whose line element has the form
where \(Q\ne 0\) and \(m,q\in \mathbb {R}\) are some constants. This is the Euclidean analogue of the general Bertotti–Robinson electro-vacuum Lorentzian solution. As in the Lorentzian case, this metric essentially differs from (ERN) is this sense that its Kretschmann invariant is constant. To the knowledge of the author, the dynamics of this solution, Euclidean or Lorentzian, doesn’t appear in the literature. This is treated in § 5, where we provide a full analytic solution of the geodesic equation, in terms of (hyperbolic) trigonometric functions; see (23) and (25).
Finally, the efficient algorithms available to approximate Weierstrass’ elliptic functions [11, 15] are used to produce a Python code,Footnote 2 designed to draw orbits in the two types of instantons discussed here, as well as to obtain the “shadow” of an ERN space by ray-tracing, as it was already done for black holes in [12, 17, 49, 53, 54], for instance. Since there are no null geodesics in Euclidean geometry, photons are replaced by particles with a velocity at infinity that should be provided by the user. Conformally to what was mentioned above concerning the deflection angle, we observe the presence of a maximal deflection ring when \(v>1\) and we notice that the horizon is not visible. In particular, the optical difference between the cases \(Q^2\lesssim M^2\) and \(Q^2 > rsim M^2\) is not as obvious as in the Lorentzian background. We still observe that the size of the maximal deflection ring diminishes as the charge increases, see Fig. 19.
The layout of the paper is as follows: first, we state that the metrics (ERN) and (BR) are the only spherically symmetric solutions of the Einstein–Maxwell field equation with complex vector potential \(A_\mu =-iQr^{-1}{\textrm{d}}\tau .\) The detailed proof of this result can be found in the Appendix A. Then, we derive the motion equations and the motion constants for the metric (ERN), and we prove that the energy E of a geodesic satisfies \(E^2<1\) when \(Q^2<M^2,\) as mentioned above. We then obtain the Weierstrass equation from of the polar radial motion equation and we investigate the particular case where \(Q=0.\) Next, we study the gravitational deflection in Euclidean Schwarzschild spacetime and provide the aforementioned approximations for the deflection angles, as well as for the null and maximal deflection rings. Concerning the Bertotti–Robinson family (BR), we derive the motion equations and obtain analytic solutions with (hyperbolic) trigonometric functions. Finally, we quickly explain how the Python code is constructed and we finish with some figures illustrating our results and programs.
2 The two types of spherically symmetric electro-vacuum instantons
In this section, we state the unicity result for spherically symmetric electro-vacuum instantons. We systematically use Stoney units where \(G=c=4\pi \epsilon _0=1.\) Let \((M,Q)\in \mathbb {R}_+\times \mathbb {R}\) and consider the numbers \(r_+,r_-\) defined by
Let also \({\mathcal {M}}:=\mathbb {R}\times ]r_+,+\infty [\times \mathbb {S}^2\simeq \mathbb {R}^2\times \mathbb {S}^2,\) with coordinates \(x^\mu =(\tau ,r,\theta ,\phi ),\) the pair \((\theta ,\phi )\) describing spherical coordinates on \(\mathbb {S}^2.\) Since we work on the Euclidean section, we restrict our study to the open subset \(r>r_+,\) just as in [21]. This is a reasonable restriction, as we are interested by the exterior region of the spacetime.
We denote by \({\textrm{d}}\Omega ^2:={\textrm{d}}\theta ^2+\sin ^2\theta {\textrm{d}}\phi ^2\) the usual round metric on \(\mathbb {S}^2\) and we have the following result, the detailed proof of which can be found in Appendix A.
-
Let \({\textrm{d}}s^2=g_{\mu \nu }{\textrm{d}}x^\mu {\textrm{d}}x^\nu \) be a spherically symmetric solution of the Einstein–Maxwell equation with complex vector potential
$$\begin{aligned} A_\mu =-iQr^{-1}{\textrm{d}}\tau , \end{aligned}$$defined for \(r\gg 0.\)
If the Kretschmann invariant \(K=R^{\alpha \beta \mu \nu }R_{\alpha \beta \mu \nu }\) associated to \(g_{\mu \nu }\) is independent of r, then there are constants \(m,q\in \mathbb {R}\) such that the metric takes the Bertotti–Robinson form
$$\begin{aligned} {\textrm{d}}s^2{} & {} =Q^2\left[ \frac{1-2mr+q^2r^2}{r^2}{\textrm{d}}\tau ^2\right. \\{} & {} \left. \quad +\frac{{\textrm{d}}r^2}{r^2(1-2mr+q^2r^2)}+{\textrm{d}}\Omega ^2\right] \end{aligned}$$in which case the Kretschmann invariant is \(K=8Q^{-4}.\)
Otherwise, there are coordinate transformations of the form \(\tilde{\tau }=C\tau \) and \(R=r/(Ar+B)\) (with \(A\in \mathbb {R}\) and \(B,C\in \mathbb {R}^*\)) as well as constants \(\tilde{M},\tilde{Q}\in \mathbb {R}\) such that \(g_{\mu \nu }\) takes the Reissner–Nordström form
$$\begin{aligned} {\textrm{d}}s^2= & {} \left( 1-\frac{2\tilde{M}}{R}+\frac{\tilde{Q}^2}{R^2}\right) {\textrm{d}}{\tilde{\tau }}^2\\{} & {} +\left( 1-\frac{2\tilde{M}}{R}+\frac{\tilde{Q}^2}{R^2}\right) ^{-1}{\textrm{d}}R^2+R^2{\textrm{d}}\Omega ^2, \end{aligned}$$whose Kretschmann invariant is \(K=8R^{-8}(6\tilde{M}^2R^2-12\tilde{M}\tilde{Q}^2R+7\tilde{Q}^4).\)
We make the following observations:
-
The Ricci scalar of any of the above solutions vanishes.
-
The proof shows in particular that for a vector potential \(A_\tau ={\mathcal {Q}}r^{-1},\) a spherically symmetric solution of the field equation is Euclidean (resp. Lorentzian) if and only if \({\mathcal {Q}}\) is purely imaginary (resp. is real).
-
Recalling the notation from the proof, we observe that in the Reissner–Nordström case, the new potential is
$$\begin{aligned} A'_\mu{} & {} =-i\tilde{Q}R^{-1}{\textrm{d}}\tilde{\tau }=-iQ(r^{-1}+\alpha \beta ^{-1}){\textrm{d}}\tau \\{} & {} =A_\mu -i\nabla _\mu f, \end{aligned}$$where \(f:=Q\alpha \beta ^{-1}\tau .\) Therefore, the coordinate transformation \((\tau ,r)\mapsto (\tilde{\tau },R)\) induces a gauge transformation \(A_\mu \mapsto A_\mu -i\nabla _\mu f.\)
-
The second metric of the statement with \(m=q=0\) gives the Euclidean version of the original Bertotti–Robinson line element derived in [9, 50]
$$\begin{aligned} {\textrm{d}}s^2=\frac{Q^2}{r^2}\left[ {\textrm{d}}\tau ^2+{\textrm{d}}r^2+r^2{\textrm{d}}\Omega ^2\right] . \end{aligned}$$Observe moreover that in Binet variable \(u=1/r,\) the general Bertotti–Robinson metric has an even simpler form
$$\begin{aligned} {\textrm{d}}s^2{} & {} =Q^2\left[ (u^2-2mu+q^2){\textrm{d}}\tau ^2+\frac{{\textrm{d}}u^2}{u^2-2mu+q^2}\right. \\{} & {} \left. \quad +{\textrm{d}}\Omega ^2\right] . \end{aligned}$$
If now \({\textrm{d}}s^2=g_{\mu \nu }{\textrm{d}}x^\mu {\textrm{d}}x^\nu =g_{\mu \mu }({\textrm{d}}x^\mu )^2\) is an asymptotically flat spherically symmetric electro-vacuum instanton, then the Kretschmann scalar should vanish as \(r\rightarrow +\infty ,\) thus only the Reissner–Nordström form from the previous theorem is allowed, with \(\tilde{\tau }=C\tau \) and \(R=r/(Ar+B).\) But the asymptotic conditions
impose \(R=r\) and \(\tilde{\tau }=\tau .\) Finally, the electromagnetic tensor \(F_{\mu \nu }\) has \(iF_{\tau r}=\tilde{Q}R^{-2}=Qr^{-2},\) so that \(\tilde{Q}=Q\) and we have obtained the following Euclidean analogue of the Birkhoff–Hoffmann theorem:
-
The Euclidean Reissner–Nordström metric is the only spherically symmetric, asymptotically (Euclidean) flat metric satisfying the electro-vacuum Einstein–Maxwell equation associated to the complex vector potential
$$\begin{aligned} A_\mu :=-iQr^{-1}{\textrm{d}}\tau . \end{aligned}$$More precisely, if \({\textrm{d}}s^2=g_{\mu \nu }{\textrm{d}}x^\mu {\textrm{d}}x^\nu \) is a such a metric, defined for \(r\gg 0,\) then there exists a constant \(\tilde{M}\in \mathbb {R}\) such that
$$\begin{aligned} {\textrm{d}}s^2= & {} \left( 1-\frac{2\tilde{M}}{r}+\frac{Q^2}{r^2}\right) {\textrm{d}}\tau ^2+\left( 1-\frac{2\tilde{M}}{r}+\frac{Q^2}{r^2}\right) ^{-1}\\{} & {} {\textrm{d}}r^2+r^2{\textrm{d}}\theta ^2+r^2\sin ^2\theta {\textrm{d}}\phi ^2. \end{aligned}$$In particular, the metric (ERN) is the only spherically symmetric solution of the Einstein–Maxwell equation associated to \(A_\mu \) defined on \({\mathcal {M}},\) which reduces to the Euclidean Schwarzschild metric (ES) when \(Q\rightarrow 0.\)
3 Geodesic motion in Euclidean Reissner–Nordström instantons
3.1 Motion equations and energy of orbits
Recall the notation from the beginning of the previous section and consider a non-constant geodesic \(\gamma =(\tau ,r,\theta ,\phi )\) in \({\mathcal {M}}=\mathbb {R}\times ]r_+,+\infty [\times \mathbb {S}^2\) for the metric (ERN), with affine parameter \(\lambda .\) We will analyse the geodesic equation in the same fashion as in [6].
By spherical symmetry, we may assume that \(\theta \equiv \pi /2\) and letting
the relativistic Lagrangian \({\mathcal {L}}=\tfrac{1}{2} g_{\mu \nu }\dot{\gamma }^\mu \dot{\gamma }^\nu \) reads
Thus, the temporal and angular Euler–Lagrange equations provide constants \(C,J\in \mathbb {R}\) such that
and thus the scalar
is conserved along \(\gamma \) and the proper length s satisfies \({\textrm{d}}s^2={\mathcal {H}}{\textrm{d}}\lambda ^2\) so that we get
where E (resp. L) is the energy per unit mass (resp. angular momentum per unit mass) of \(\gamma ,\) defined by analogy with the Lorentzian framework as the proper temporal (resp. azimuthal) conjugate momentum
For the rest of this section, we assume that \(\gamma \) is non-purely radial and we denote the differentiation with respect to the Euclidean time \(\tau \) with a dot.
We want to apply the Weierstrass analysis of this equation and since it has degree 4, one first needs to choose a real root of the quartic right-hand side. Such a real root is guaranteed to exist as soon as \(E^2<1,\) a property that we shall prove to always hold, provided that the metric (ERN) presents an event horizon (that is, when \(Q^2<M^2\)). To do this, we need expressions for the energy and angular momentum, as functions of the initial conditions \(\gamma (0)=:(\tau _0,r_0,\pi /2,\phi _0)\) and \(\dot{\gamma }(0)=:(1,\dot{r}_0,0,\dot{\phi }_0).\) By symmetry, we may assume that \(\tau _0=\phi _0=0\) and if we let \(\alpha :=\left. \frac{{\textrm{d}}\tau }{{\textrm{d}}\lambda }\right| _{\lambda =0},\) then the constant C reads \(C=\alpha \Delta (r_0)\) and we also have \(J=\alpha r_0^2\dot{\phi }_0.\) Then,
so that we arrive at the following expressions for the energy and angular momentum:
We can now state the main result of this section, generalizing the results from [6] to the charged case. It implies in particular that the metric (ERN) features an event horizon exactly when there is no bounded orbit. The proof, relying on a tedious analysis of a real polynomial, is given in Appendix B.
-
If \(Q^2\le M^2,\) then any (exterior) non-constant geodesic \(\gamma \) for the metric (ERN) has \(E^2<1.\) Otherwise, there are circular orbits with arbitrary energy.
3.2 Reduction of the polar radial equation to Weierstrass’ form
Let \(\gamma =(\tau ,r,\phi )\) be a non-purely radial equatorial geodesic. Then \(J\ne 0\) so that the map \(s\mapsto \phi (s)\) is a diffeomorphism onto its image and from (2) we find the polar radial equation
In this section, the dot denotes differentiation with respect to the polar variable \(\phi .\) We use the same trick as in [27, §3.1] to reduce the degree of the above equation and then re-write it in Weierstrass form. Let \(\overline{r}\in \mathbb {C}\) be a root of the quartic F (which, in view of the result from Sect. 3.1, is guaranteed to be real positive when \(Q^2\le M^2\)) and consider the shifted Binet variable
Then, the Eq. (4) becomes
It is now straightforward to re-write this in Weierstrass form. Indeed, we can choose a root \(\overline{r}\in \mathbb {C}\) of the quartic
which we can choose to be real positive if \(Q^2\le M^2.\) If we let
then the function \(\wp \) satisfies the Weierstrass equation
In other words, the polar radial motion is given by
where \(\wp =\wp _{g_2,g_3}\) is the Weierstrass function associated to the pair \((g_2,g_3)\in \mathbb {C}^2.\)
More practically, given an initial radius \(r_0:=r(\phi _0),\) we have to find some \(z_0\in \mathbb {C}\) such that \(\wp (z_0)=\frac{\alpha }{4(r_0-\overline{r})}+\frac{\beta }{12},\) a task that can be achieved using Carlson’s integrals [11]
Then, the Eq. (5c) can be recast in the following form
where \(z_{1,2,3}\in \mathbb {C}\) are the roots of the Weierstrass cubic \(4z^3-g_2z-g_3\) and \(\wp _0:=\frac{\alpha }{4(r_0-\overline{r})}+\frac{\beta }{12}.\)
The main advantage of this formulation is that the integrals (\(R_F\)) can be approximated efficiently by the Carlson algorithm [11, §2] and we can approach \(\wp \) using the Coquereaux–Grossmann–Lautrup algorithm [15, §3]. This is the method we use to approximate ERN orbits and produce a Python code.
3.3 The special case of the Euclidean Schwarzschild geometry
When \(Q=0,\) we have \(F(0)=0\) so that we may take \(\overline{r}=0\) so that the polar equation in Binet variable simplifies to
which is [6, equation (2.16)]. Therefore, the Weierstrass form
is obtained by letting \(\wp :=M/(2r)-1/12,\) as well as
These expression can be compared to the Lorentzian Schwarzschild case, where for a test-particle of mass \(\mu =2{\mathcal {L}}\) (twice the Schwarzschild Lagrangian), the constants \(g_2\) and \(g_3\) read (cf [28, §4, p. 84])
Therefore, one may view a Euclidean Schwarzschild geodesic as a space-like Lorentzian Schwarzschild geodesic with complex energy \(E_{{\textrm{Euc}}}=iE_{{\textrm{Lor}}}.\) Notice that this last equality is expected since the energy is defined as the temporal momentum and because the Euclidean time \(\tau \) and the Lorentzian time t are related by the relation \(\tau =it.\)
The Weierstrass formulation also permits to derive a shorter proof of the fact that \(E<1\) for every geodesic \(\gamma \) in Euclidean Schwarzschild geometry, with initial radius \(r_0>r_+=2M.\) As above, we may simplify the notation by rescaling the radius and assuming that \(M=1.\) If \(L=0,\) then the second equation (2) reduces to \(({{\textrm{d}}r}/{{\textrm{d}}s})^2=1-E^2-{2}/{r}\) so \(1-E^2\ge 2/r>0,\) as claimed. Now if \(L\ne 0,\) then we may use Weierstrass’ form and the discriminant of the equation \(4z^3-g_2z-g_3\) reads
so that if, for the sake of contradiction, we assume \(E^2>1,\) then \(\Delta <0\) for \(L\gg 0,\) something which can be achieved by rescaling the initial azimuthal angular velocity. Therefore, we assume that \(\Delta <0\) and look for an absurdity.
Consider the Weierstrass cubic \({\mathfrak {q}}(x):=4x^3-g_2x-g_3;\) then the phase portrait in Weierstrass variable \(x=1/(2r)-1/12\) describes a portion of the (real) elliptic curve
Since \(\lim _{x\rightarrow +\infty }{\mathfrak {q}}(x)=+\infty ,\) we have \({\mathcal {E}}_{\mathfrak {q}}\cap \{x=x_0\}\ne \emptyset \) for \(x_0\gg 0\) but because \({\mathfrak {q}}(1/6)=-(E/2L)^2<0,\) the non-compact connected component of \({\mathcal {E}}_{\mathfrak {q}}\) lies in the open half-plane \(\{x>1/6\}\) (which corresponds in radial variable to \(\{r<2\}\)), so that the considered phase portrait cannot describe a portion of this component. However, to say that \(\Delta <0\) amounts to say that \({\mathcal {E}}_{\mathfrak {q}}\) is connected, a contradiction.
At this point, we know that \(\Delta \ge 0.\) If \(\Delta >0,\) then the elliptic curve \({\mathcal {E}}_{\mathfrak {q}}\) has an additional compact connected component and since \({\mathfrak {q}}(-1/12)=(1-E^2)/(4L^2)>0,\) this component intersects the subset \(\{x=-1/12\}.\) Therefore, the corresponding orbit is indeed unbounded. In the case where \(\Delta =0,\) the curve is singular but connected so that the orbit imposes \(0\le {\mathfrak {q}}(1/6)=-(E/2L)^2\le 0\) so \(r=2,\) a new contradiction. We summarize the discussion as follows:
-
Any Euclidean Schwarzschild orbit has \(E^2<1,\) and is unbounded. Moreover, the phase portrait of a non-radial equatorial Euclidean Schwarzschild orbit in Weierstrass variable \(\wp =M/(2r)-1/12\) (with polar argument) describes a portion of the unique compact connected component of the associated (real) elliptic curve \({\mathcal {E}},\) included in \({\mathcal {E}}\cap \{-1<12\wp <2\}.\) In particular, the discriminant of \({\mathcal {E}}\) is positive.
4 Gravitational deflection of Euclidean Schwarzschild orbits
Consider an equatorial orbit \(\gamma =(\tau ,r,\phi ),\) with energy \(-1<E<1\) and angular momentum \(L\in \mathbb {R}^*.\) Since \(\gamma \) is unbounded, we may consider its velocity at infinity, defined by \(v^2:=\lim _{r\rightarrow \infty }({\textrm{d}}r/{\textrm{d}}\tau )^2.\) Using Eqs. (1) and (2), we find the expression
The Eq. (4) can be recast in Binet variable \(u=1/r\) and yields
where the constant \(b:=\sqrt{\frac{L^2}{1-E^2}}\) is the impact parameter of \(\gamma ,\) satisfying \(L=\pm bvE.\) Since
the orbit admits asymptotic lines, and we are first interested in the deflection angle at infinity \(\delta \phi \) between these two asymptotic directions, as a function of the orbit’s perihelion \(r=r_{\textrm{min}}.\)
4.1 Analytic expression of the deflection angle using Carlson’s integrals
As illustrated in the Fig. 1, the deflection (at infinity) \(\delta \phi \) is given by
and using (4) again leads to the expression
This expression can be simplified using the Weierstrass variable \(\wp =Mu/2-1/12.\) Indeed, using the constants \(g_2,g_3\) given by equation (\(g_{12}^\textrm{ES}\)), we have
This expression can be rewritten in terms of elliptic integrals, as in the pioneer work [16]. However, it is both easier and numerically more adequate to express it with the integrals (\(R_F\)), which we numerically approximate using Carlson’s algorithm [11]. Observe first that because \(r=r_{\textrm{min}}\) is a turning point of \(\gamma ,\) we have
In other words, the point \(\wp _{\textrm{max}}:=M/(2r_{\textrm{min}})-1/12\) is a root of the Weierstrass cubic and this leads to the factorization
which allows to find the other two roots \(\wp _{\pm }\in \mathbb {C}\) of the cubic. We then have
where \(e_{\textrm{max},\pm }:=-\wp _{\textrm{max},\pm }-1/12.\) Thus, we obtain the following expression for the deflection:
This is an efficient formula for numerical calculations (see below), but it is natural to ask for an approximation of \(\delta \phi \) when \(r_{\textrm{min}}\rightarrow \infty .\) This is the goal of the next subsection. Observe moreover that the two terms of (7) involving the integrals (\(R_F\)) can be complex, but their difference is real and non-negative.
4.2 Approximation of the deflection angle with perturbed solution
The aim of this section is to obtain an expansion of \(\delta \phi \) in powers of the perihelion \(r_{\textrm{min}},\) up to order 3. This choice of order will become transparent later, when we study the null and maximal deflection rings.
To do so, we could use for instance the well-known perturbed solution method [10, 23, 33, 51]. However, we will avoid complicated calculations with a simple observation. First, using (2), the turning point condition at \(r=r_{\textrm{min}}\) gives the following relation
or, in terms of b and v,
that is,
Recall also that \(L^2=b^2v^2(1+v^2)^{-1}\) and that the equation (4) in terms of b and L reads
On the other hand, in Lorentzian Schwarzschild geometry, the same equation
differs from the above one by just a sign in the term in \(L^{-2},\) and we have in this case
as well as \(L_{\textrm{Sch}}^2=b^2v^2(1-v^2)^{-1}.\) This means that the expression of the deflection angle in Euclidean Schwarzschild geometry with squared velocity \(v^2\) is the same as the expression of the Lorentzian deflection angle with same perihelion and “squared velocity” \(-v^2.\) This is mathematically well-defined since the data only depend on the squared quantities \((b^2,v^2),\) and not on the pair (b, v) itself, so no complex number is involved. Moreover, this interpretation is physically consistent with the relation \(\tau =it\) between the Euclidean time \(\tau \) and the Lorentzian time t and the definition of the Euclidean velocity \(v^2=\lim _{r\rightarrow \infty }({\textrm{d}}r/{\textrm{d}}\tau )^2,\) while in the Lorentzian case, \(v^2=\lim _{r\rightarrow \infty }({\textrm{d}}r/{\textrm{d}}t)^2.\)
After [1] or [38] for instance, up to order 3, in Lorentzian Schwarzschild geometry we have
Therefore, changing the sign of the terms in \(v^{-2}\) yields the following estimate, in Euclidean Schwarzschild geometry,
Using now the relation (8), we arrive at the expression
Concerning the metric (ERN) with non-zero charge \(Q\ne 0,\) the perturbed solution method gives, up to order 2 and after elementary calculations we omit,
in agreement with [48]. Expressing the impact parameter b in terms of the perihelion \(r_{\textrm{min}}\) as
yields the expansion
As a sanity check, observe that replacing \(v^2\) by \(-v^2\) in the previous expression and letting \(v\rightarrow 1\) leads to the light deflection formula of [10, §III.B]
4.3 Null and maximal deflection rings
We start by observing that, at lowest order, the deflection angle for a usual (Lorentzian) massive Schwarzschild orbit with velocity at infinity v is given by
while in the Euclidean background, the estimation (\(\delta _3^r\)) reads
This suggests that for the Euclidean Schwarzschild solution, the deflection \(\delta \phi \) may vanish for some values of \(r_{\textrm{min}}.\) This can also be noticed from the motion equation itself. Indeed, recall from [41, §144] that a polar curve, parametrized in Binet variable u is concave with respect to its pole (hence, has a positive deflection) if and only if \(u+\frac{{\textrm{d}}^2u}{{\textrm{d}}\phi ^2}>0.\) Now, this quantity in Schwarzschild geometry is given by
where \(\epsilon \) is the signature of the metric. Hence, this is always positive in the Lorentzian background \(\epsilon =-1,\) while it may change of sign in the Euclidean world \(\epsilon =1.\)
To numerically appreciate this phenomenon, in the Fig. 2 we depict pencils of orbits with different velocities. Their deflection at infinity is computed using the formula (7) and Carlson’s algorithm. Observe that the deflection stays negative when \(v<1.\) The more extreme case where \(v=5\) is displayed in the Fig. 3, along with the graph representing the deflection angle as a function of the perihelion. Observe the presence of a null deflection at \(r_{\textrm{min}}\approx 2.16\) and a maximal deflection at \(r_{\textrm{min}}\approx 2.5.\) The Fig. 4 depicts the deflection as a function of the perihelion, for several velocities at infinity.
Observe that in the Lorentzian (resp. Euclidean) Schwarzschild spacetime, the impact parameter b of a massive particle (resp. of any particle) satisfies \(bv=L/E.\) Moreover, a photon in the usual Schwarzschild metric has \(b=L/E\) and this motivates the following terminology: an orbit in a Euclidean Schwarzschild spacetime with velocity at infinity v will be called of sub-photon type (resp. of sup-photon type) if \(v\lesssim 1\) (resp. \(v > rsim 1\)).
We have numerically observed that sub-photon orbits have a negative deflection (i.e. are repelled by the central mass) and that the absolute value of \(\delta \phi \) behaves like in the usual Schwarzschild spacetime. This can also be noticed using the lowest order approximations from (\(\delta _3^r\)) and (9) recalled at the beginning of the subsection.
For orbits with fixed velocity \(v>1,\) one could use numerical methods on the expression (7) to find an approximation of the critical value \(\rho _0\) (resp. \(\rho _{\textrm{max}}\)) such that the deflection angle of the orbit with perihelion \(r_{\textrm{min}}=\rho _0\) (resp. \(r_{\textrm{min}}=\rho _{\textrm{max}}\)) vanishes (resp. is maximal). However, we can also use the estimate (\(\delta _3^r\)). Indeed, as it is a third order approximation of the deflection, to solve \(\delta \phi =0\) at this order amounts to solve a quadratic equation. Similarly, we can differentiate (\(\delta _3^r\)) with respect to \(r_{\textrm{min}}\) to obtain an approximation of \(\rho _{\textrm{max}}\) using the quadratic formula again. This is precisely the reason why we chose this order at the first place. Though the resulting expressions for \(\rho _0\) and \(\rho _{\textrm{max}}\) are not very enlightening, it is worth noticing that they both diverge when \(v\rightarrow 1.\) This suggests to expand these expressions in powers of \(v-1,\) yielding estimations of \(\rho _0\) and \(\rho _{\textrm{max}}\) for orbits of sup-photon type. We find
and
Observe that, at lowest order, we have the remarkable relation \(\rho _{\textrm{max}}=2\rho _0.\) Moreover, at this order, the maximal value of the deflection is given by
However, this estimate badly fails when \(v\gg 1.\) We illustrate our approximations in the Fig. 5.
4.4 Deflection of orbits passing through a given point
Consider now an orbit starting from a given point \((\phi ,r)=(0,r_0),\) for some fixed \(r_0>2M,\) whose velocity vector at this point makes an angle \(0<\alpha \le \tfrac{\pi }{2}\) with respect to the radial direction. Thinking of the point \((\phi ,r)=(0,r_0)\) as an observer receiving particles coming from infinity, we are interested in the total deflection angle \(\delta _\alpha \phi \) between the tangent line to the orbit at \((0,r_0)\) and the asymptotic direction. The situation may be visualized using the Fig. 6.
We first proceed as in the first subsection, to obtain a numerically efficient analytic formula for \(\delta _\alpha \phi ,\) using Carlson’s integrals. Recall the Weierstrass variable \(\wp =M/(2r)-1/12,\) satisfying the Weierstrass equation with constants \(g_{2,3}=g_{2,3}(v,r_{\textrm{min}})\) given by Eq. (\(g_{12}^\textrm{ES}\)). Recall also that \(\wp _{\textrm{max}}=M/(2r_\textrm{min })-1/12\) is the maximal value of \(\wp \) along the geodesic. We have
and
where \(\wp _0:=M/(2r_0)-1/12,\) so that
We now introduce the two remaining roots \(\wp _{\pm }\ne \wp _{\textrm{max}}\) of the cubic \(4p^3-g_2p-g_3,\) as well as the constants \(e_{\textrm{max},\pm }:=-\wp _{\textrm{max},\pm }-1/12\) as above and arrive at the expression
It may be observed that, at fixed \(\alpha \in ]0;\pi /2],\) when \(r_0\gg 0,\) we have \(\Phi \approx \tfrac{\pi }{2}-\alpha ,\) so \(r_{\textrm{min}}\approx r_0\cos (\Phi )\approx r_0\sin (\alpha )\) and \(\delta _\alpha \phi \approx \tfrac{1}{2}\delta \phi (r_{\textrm{min}}=r_0\sin \alpha ).\) On the other hand, at fixed \(r_0,\) when \(\alpha =\tfrac{\pi }{2},\) we have \(r_{\textrm{min}}=r_0\) and \(\Phi =0.\) We thus obtain the boundary conditions
In particular, at lowest order,
We illustrate the situation in the Fig. 7.
For fixed values of \(r_0\) and v, we now aim to find the critical angle \(\alpha _0\) (resp. \(\alpha _{\textrm{max}}\)) at which the total deflection \(\delta _\alpha \phi \) vanishes (resp. is maximal). First recall the following relation from [8] (which is just the Pythagorean theorem in curved space)
yielding
The value of the impact parameter b and the angular momentum L are obtained using the relations (8) and \(L=bv(1+v^2)^{-1/2}.\) Therefore, we obtain the value of \(\alpha \) as a function of the triple \((v,r_0,r_{\textrm{min}}).\) With the notation of the previous subsection, we are thus interested in the values of \(\alpha \) at \((v,r_0,\rho _0)\) and \((v,r_0,\rho _{\textrm{max}}).\)
For sup-photon type orbits with high perihelion, we may inject the approximations (11) and (12) into (14), expand in powers of \(r_0\) up to order 2, and then expand in powers of \(v-1\) up to order 0 and obtain the following estimates
and
We illustrate our approximations in the Fig. 8.
Finally, concerning the observable sizes \(R_0\) and \(R_{\textrm{max}}\) of the null and maximal deflection rings, we have \(R_0=r_0\tan \alpha _0\) and \(R_{\textrm{max}}=r_0\tan \alpha _{\textrm{max}}.\) For an orbit of sup-photon type with \(r_0\gg 0,\) we may use the relation (14) and the estimates (11) and (12) to obtain
and
Observe that this is consistent with the approximations (15) and (16) since, at fixed velocity, we have \(\lim _{r_0\rightarrow \infty }\alpha _0=0\) and thus \(R_0=r_0\tan \alpha _0\sim r_0\alpha _0\) and similarly, \(R_{\textrm{max}}\sim r_0\alpha _{\textrm{max}}.\)
We may proceed similarly for the charged case where \(Q\ne 0,\) but the calculations are a bit tougher. At the lowest order, we have
as well as
and
Furthermore, just as in the Schwarzschild case, at lowest order, we have \(\rho _{\textrm{max}}=2\rho _0\) and similarly for \(\alpha _0\) and \(R_0.\) Note that for these approximations to make sense, the velocity at infinity \(v=\sqrt{E^{-2}-1}\) should be real and in view of Sect. 3.1, this is ensured only when \(Q^2<M^2.\)
5 Geodesic motion in Bertotti–Robinson spacetimes
In this section we investigate the dynamics in Euclidean and Lorentzian Bertotti–Robinson spacetimes and provide in particular analytic solutions for the geodesic equation. For \(m,q\in \mathbb {R},\) consider the line element in Binet radial variable
where \(\Delta (u):=u^2-2mu+q^2.\) This is an electro-vacuum solution of Einstein’s equation for \(A_\mu =\sqrt{-\epsilon }Qu{\textrm{d}}\tau .\)
Let \(\gamma =(\tau ,u,\theta ,\phi )\) be a geodesic with respect to the metric (BRb), parametrized by an affine parameter \(\lambda .\) By spherical symmetry, we may assume that \(\theta \equiv \pi /2,\) in which case the Lagrangian reads
Thus, the temporal and angular Euler–Lagrange equations immediately yield constants \(J,C\in \mathbb {R}\) such that \(\dot{\tau }=C\Delta (u)^{-1}\) and \(\dot{\phi }=J\) and so the quantity
is conserved along \(\gamma .\) Thus, the proper length s satisfies \({\textrm{d}}s^2={\mathcal {H}}{\textrm{d}}\lambda ^2\) and we get
where we denote \(L:=J/\sqrt{{\mathcal {H}}}\) and \(E:=C/\sqrt{{\mathcal {H}}}.\) From now on, differentiation with respect to s will be denoted by a dot. Since the right-hand side of (22) is quadratic in u, we may solve it explicitly.
Fix now an exterior equatorial geodesic \(\gamma =(\tau ,u,\phi )\) in the spacetime (BRb), with proper angular momentum \(L=\dot{\phi }(0)\) and let \(u_0:=u(0)\) and \(\dot{u}_0:=\dot{u}(0).\) The Binet component u of \(\gamma ,\) as a function of the proper length s, is given by
Moreover, the only circular orbit has \(u\equiv m.\)
Before establishing (23), we observe the following consequences:
-
The calculations of the previous proof allow to re-write the motion equation (22) as
$$\begin{aligned} \left( \frac{{\textrm{d}}u}{{\textrm{d}}s}\right) ^2=(1/Q^2-\dot{\phi }_0^2)(u-u_0)(u+u_0-2m)+\dot{u}_0^2. \end{aligned}$$In particular, the proper spatial dynamics does not depend on the parameter q, nor on the signature of the metric (BRb). Moreover, the translated variable \(v:=u-m\) satisfies the equation
$$\begin{aligned} \dot{v}^2+\ell v^2=\ell (u_0-m)^2+\dot{v}_0^2. \end{aligned}$$Therefore, in the non-degenerate case \(\ell \ne 0,\) the phase portrait in Binet variable is either an ellipse if \(\ell >0,\) and a hyperbola otherwise.
-
A non-circular geodesic \(\gamma =(\tau ,u,\theta ,\phi )\) with angular momentum \(L=\dot{\phi }(0)\) is bounded if and only if \(Q^2L^2>{1},\) in which case it has periodic radial component with proper period
$$\begin{aligned} \omega _\gamma =\frac{2\pi Q}{\sqrt{Q^2L^2-1}}=\frac{2\pi }{L}+{{\,\mathrm{\textbf{O}}\,}}\left( \frac{1}{Q^2L^3}\right) . \end{aligned}$$When \(Q^2L^2=1,\) the geodesic is affine in proper length and when \(Q^2L^2<1,\) we have
$$\begin{aligned} u(s)\mathop {=}\limits _{s\rightarrow \infty }{{\,\mathrm{\textbf{O}}\,}}\left( e^{s\sqrt{1-Q^2L^2}}\right) , \end{aligned}$$so the Binet variable u blows-up exponentially in proper length.
-
There are exterior circular orbit only when \(q^2>m^2,\) in which case the only such orbit has \(r=1/m.\) In particular, there are no circular orbits in the original Bertotti–Robinson space [9, 50].
-
Any (exterior) Bertotti–Robinson spacetime is geodesically complete in Binet variable.
Back to the derivation of (23), observe first that, up to dilating the affine parameter, we may assume that \(\left. \left( \frac{{\textrm{d}}\tau }{{\textrm{d}}\lambda }\right) \right| _{\lambda =0}=1.\) Then, we have
implying
and thus the Eq. (22) becomes
If \(\dot{u}_0=0,\) then the technical lemma from Appendix C applied to \(y=u-m,\) \(\beta =u_0-m\) and \(\alpha =-\ell \) leads to the stated expression for u. Otherwise, on a neighbourhood of 0, we have \(\dot{u}\ne 0\) and differentiating (22) with respect to s yields
a linear ODE of order 2 whose solution reads
and this function indeed satisfies (24) and is globally defined.
Now, if \(\gamma \) is circular, then \(\dot{u}_0=0\) and applying the lemma again, we find that \(u(s)=m+(u_0-m)\cos (s\sqrt{\ell })\) is constant, so that \(\ell =0\) or \(u_0=m.\) This can also be seen by analysing the potential \(V=\sqrt{\ell \Delta }.\) But suppose now that \(u\ne m,\) then \(\ell =0\) and since \(\dot{u}(0)=0,\) we get
contradicting the fact that \(\gamma \) is exterior.
From (23) we can deduce the analytic expression for the geodesic motion in terms of affine parameter: if the affine parameter \(\lambda \) is chosen so that \(\dot{\tau }_0=1,\) then the motion constants and expressions of r and \(\phi \) as functions of \(\lambda \) are given as follows:
Moreover, the geodesic \(\gamma \) has energy \(E=\frac{1-2mr_0+q^2r_0^2}{r_0^2\sqrt{{\mathcal {H}}}}\) and angular momentum \(L=\frac{\dot{\phi }_0}{\sqrt{{\mathcal {H}}}}.\)
6 Implementation of orbits and ray-tracing
We have developed a packageFootnote 3 under Python, for drawing orbits in the spacetimes (ERN) and (BR), as well as for ray-tracing the first ones, using a standard backward ray-tracing method (see for instance [53]). As mentioned in Sect. 3.2, the Carlson and Coquereaux–Grossmann–Lautrup algorithms [11, 15] are used to compute geodesics in the Reissner–Nordström instanton.
Let us briefly recall the backward ray-tracing procedure we use for shadowing a spacetime. First, we consider an artificial celestial hemisphere on which we project our original image, seeing it as a portion of its tangent plane parallel to the screen (and on the other side of the black hole). As a projection, we simply choose the standard and widely used equirectangular projection, which has the advantage of taking the celestial hemisphere to a square, which we may rescale to fit our image.
Next, for each pixel of the screen, we consider the geodesic for the spacetime (null in the Lorentzian and normalized in the Euclidean case) starting at this point and with velocity directed by the line from the point observer. We then solve the geodesic equations (backwards) and we see if the ray ends in (came from) the black hole or touches the sphere somewhere. If so, the RGB value of the pixel on the screen is given by the value of the landing pixel on the sphere and we carry this process on until every pixel has been worked out.
To simplify calculations, we make heavy use of the spherical symmetry of the spacetimes considered here: given an initial datum, use a linear rotation to bring the initial velocity (and hence the full orbit) in the plane \(\{\theta =\pi /2\}.\) Then, we give values to the various constants involved in the expression of the radial geodesic and, instead of computing the full orbit, we simply solve the equation \(r=r_{\mathbb {S}}\) where \(r_{\mathbb {S}}\) is the radius of the celestial sphere, using the Weierstrass function. This can be done rather easily, precisely and quickly: we compute some values until we cross the sphere and the first such point is used as an initial value for the Newton method. We finally rotate the result back and find our landing pixel. Thus, no full orbit calculation is required. For more details and illustrations, see [22]. We should mention however that since, in contrast to the Lorentzian framework, photons (i.e. null geodesics) do not properly exist in the Euclidean world, we have to trace orbits with some prescribed velocity at infinity v: an additional input to the program. For each pixel (i.e each particle), we provide its initial position and the direction of its velocity vector, whose norm is adjust to match the velocity v.
We finish our discussion by providing some figures illustrating the programs and our results.
First, concerning the orbits drawings, it should be mentioned that, while the functions of the package are designed to draw orbits in 3D, we chose to plot planar orbits here, to make the figures more readable. In each case, the mass is set to unity and we vary the charge in the different plots, distinguishing between the sub-extremal and sup-extremal cases for the charge. In each figure, the legend gives the values of the energy and angular momentum of each displayed orbit.
The Fig. 9 depicts some orbits in the spacetime (ERN). In particular, we illustrate the results from Sect. 3.1: when there is a horizon, the squared energy is smaller than unity and there are circular orbits with arbitrary energy when we have a naked singularity. Notice also the presence of bounded orbits in the sup-extremal case.
In the Figs. 10 and 11, we show some Bertotti–Robinson orbits, with \(\epsilon =\pm 1,\) \(Q=1/2\) and \(m=1.\) The Fig. 12 displays orbits in the original Bertotti–Robinson spaces where \(m=q=0.\)
Finally, some particular unstable orbits may be observed in the sup-extremal Euclidean cases. In the Fig. 13 are displayed some “flower orbits” in a horizon-less ERN spacetime, while in the Fig. 14, we plot some “star orbits” in a horizon-less BR space. These can be seen as analogues of “leaf orbits” in the usual Lorentzian solutions, see [37, Figs. 14, 15].
Regarding the shadows, just as in [22], we use the color grid shown in Fig. 15 as our base picture for the shadows. In the Fig. 16, we depict the shadows of an ERN spacetime with various charges. The render time of each figure is approximately 350 s, on an 8-core 3.00 GHz CPU with 16 Go of RAM.Footnote 4
To illustrate our results on deflection, we also wrote a code similar to the shadowing program, but which rather displays the total angular deflection \(\delta _\alpha \phi \) (here, \(\alpha \) is the angle between the initial velocity vector and the radial direction passing through the common converging point of the “light rays”. The results are depicted in the Figs. 17 and 18. Observe that, in accordance with the Sect. 4, the deflection is always positive in the usual Schwarzschild spacetime, with a visible event horizon, while in the Euclidean world, the horizon disappears and the presence of a null and maximal deflection rings is manifest.
Lastly, in the Fig. 19, we give the shadows of ERN spacetimes on a celestial background. The original picture is from the NASA and the render time for each shadow is about 2800 s, the resolution of the picture being of 1080 pixels. While the null deflection ring is impossible to pinpoint on such a picture, the maximal deflection ring is still quite noticeable. Observe moreover that, again in contrast to the usual Schwarzschild metric, the horizon-full case \(Q^2<M^2\) and the naked singularity case \(Q^2>M^2\) produce similar pictures, the most noticeable difference being the size \(R_{\textrm{max}}\) of the maximal deflection ring, which decreases as the charge increases. This is in accordance with the lowest order approximation of \(R_{\textrm{max}}\) provided in (21).
7 Conclusions
7.1 Summary
In this work, we study the geodesic motion in the two different kinds of spherically symmetric electro-vacuum Euclidean solutions of Einstein’s equation with complex vector potential, namely the Reissner–Nordström and Bertotti–Robinson-like instantons. More precisely, after proving that these are indeed the only two possible such solutions (and that these two are incompatible), we derive the motion equations and give the main properties of the test-particle orbits, using their motion constants such as the energy and angular momentum.
We start with the Euclidean Reissner–Nordström solution, for which we prove that if the spacetime has a horizon, then all exterior (non-constant) geodesics have bounded energy and, otherwise, there are circular orbits with arbitrary energy. In particular, the spacetime features a horizon if and only if there are no bounded orbits. This generalizes the results from [6] on the Euclidean Schwarzschild solution and shows that the differences in the dynamics of the Lorentzian and Euclidean solutions is deeper than the apparent mere sign change in the line element. Then, we show that the polar radial motion equation may be put in Weierstrass form, something that we can take advantage of to numerically solve the motion equation. Moreover, this approach shows that, in the special case of the Euclidean Schwarzschild metric, the (polar) phase portrait in Binet variableFootnote 5 describes a real elliptic curve. This allows us to derive a new proof of the results from [6], using the elementary geometry of the curve. Furthermore, we observe that this elliptic curve is always disconnected, while in the usual Lorentzian Schwarzschild solution, it can be either connected or not.
We then study the gravitational bending of geodesics in Euclidean Schwarzschild spacetimes. More precisely, given a geodesic with closest approach radius \(r=r_{\textrm{min}}\) and velocity at infinity \(v^2=\lim _{r\rightarrow \infty }({\textrm{d}}r/{\textrm{d}}\tau )^2,\) we first provide an analytic formula for the deflection angle \(\delta \phi \) that occurs between the two asymptotic directions of the geodesic, in terms of Carlson’s elliptic integrals, which are used to numerically compute the deflection. Then, we give approximations for \(\delta \phi \) when \(r_{\textrm{min}}\rightarrow \infty \) using the previous results of [1]. We observe that when \(v>1,\) there are particular values \(\rho _0\) and \(\rho _{\textrm{max}}\) for which \(\delta \phi =0\) for \(r_{\textrm{min}}=\rho _0\) and \(\delta \phi \) is maximal for \(r_{\textrm{min}}=\rho _{\textrm{max}}.\) Estimates for \(\rho _0\) and \(\rho _{\textrm{max}}\) are provided when \(v > rsim 1.\) We then do the same for the deflection \(\delta _\alpha \phi \) of geodesics passing through a point at fixed radius \(r_0\) and with varying angle \(0<\alpha <\pi /2,\) modelling orbits coming from infinity to the eye of an observer. We give approximations, when \(r_0\gg 2M\) and \(v > rsim 1,\) for the critical angles \(\alpha _0\) and \(\alpha _{\textrm{max}}\) corresponding to the null and maximal deflection rings, as well as for the observable size of these rings. We use numerical evaluations of the analytic formulas to check the accuracy of our estimates.
Observe that the inequality \(\delta \phi <0\) for close perihelia means that the central mass repels such test-particles, while it attracts them at bigger perihelia. In particular, at fixed initial radius and velocity at infinity \(v>1,\) there is a critical angle \(0<\alpha _0<\pi /2\) such that \(\delta _{\alpha _0}\phi =0\) (see Fig. 7b for instance), meaning that the corresponding curve in the \((r,\theta ,\phi )\)-space is undistinguishable from that of a flat geodesic (i.e. a straight line).
Next, we do the same for the Bertotti–Robinson solution for which, after a technical lemma on ordinary differential equations, we give a general analytic solution, in terms of (hyperbolic) trigonometric functions. In particular, orbits are either periodic or unbounded and there is a unique circular orbit, which is exterior exactly when the metric has no horizon.
Finally, we provide some details on a Python code,Footnote 6 designed to plot orbits in the aforementioned spacetimes, as well as to draw shadows of the Euclidean Reissner–Nordström family, by the usual backward ray-tracing method. The numerical computation takes advantage of the Weierstrass form of the polar equation, coupled with the well-known Carlson [11] and Coquereaux–Grossmann–Lautrup [15] algorithms, to produce an efficient and rather fast code. This method is the same as the one used by the author in [22] to ray-trace Reissner–Nordström–(anti)de Sitter black holes. We illustrate the code and our results by providing some figures.
7.2 Discussion and perspectives
In the Figs. 13 and 14, we depict some particularly shaped unstable periodic orbits, that can be seen as analogues of the so-called “leaf orbits” that occur in the Lorentzian framework [37]. However, we have no theoretical interpretation for these orbits and this could be a matter of interest for future works.
In Sect. 3.3, we have observed that a Euclidean Schwarzschild orbit can mathematically be interpreted as a Lorentzian space-like Schwarzschild orbit with purely imaginary energy. To decide whether this is merely a mathematical curiosity or is a manifestation of a deeper physical phenomenon is beyond the knowledge of the author and could be an interesting subject to investigate as well.
In Sect. 4, we give approximate values for the null and maximal deflection rings of a sup-photon type particle (i.e. with velocity at infinity \(v > rsim 1\)). Moreover, we have numerically observed that such particular rings occur exactly when \(v>1.\) It would be suitable to provide a rigorous proof of this fact.
Besides the theoretical results, one aim of this work is to provide an open, transparent, user-friendly and customizable Python code to plot orbits and draw shadows of spherically symmetric (asymptotically flat) electro-vacuum instantons. This has a negative side though, which is that the code is under-optimal and still slow in comparison to other widely-used ray-tracing codes, such as GYOTO, GRay or the more recent OSIRIS [12, 53, 54]. Therefore, it would be interesting to improve it by using a GPU parallelization, for instance.
As in [22], the shadowing program is designed to work with a common plane background image and in order to avoid distortions, we took the compromise of projecting the image on a celestial hemisphere. However, to be able to catch any possible particle that is ray-traced, we had to take the whole celestial sphere into account and we arbitrarily chose to project a mirrored version of the original image onto it. Thus, the code could be completed by producing a panoramic version of it.
Data availability statement
All data that support the findings of this study are included within the article (and any supplementary files).
Notes
In contrast to [31], we do not assume that the curvature vanishes at large distances.
We have tested the efficiency of the shadowing program by running it on (randomly generated) images with \(10\times 10\) to \(500\times 500\) pixels and we made an exponential regression on the render time. We found
$$\begin{aligned} {\textrm{time}}[s]\approx e^{-10.6}\times {\textrm{pix}}^{2.5}, \end{aligned}$$with a regression coefficient \(r>0.99.\)
Specifically, in an affine transform of the Binet variable.
References
A. Accioly, S. Ragusa, Gravitational deflection of massive particles in classical and semiclassical general relativity. Class. Quantum Gravity 19(21), 5429–5434 (2002). https://doi.org/10.1088/0264-9381/19/21/308. [Corrected in “Corrigendum”. Class. Quantum Gravity 20(22), 4963–4964 (2003). https://doi.org/10.1088/0264-9381/20/22/C01]
S. Aksteiner, L. Andersson, Gravitational instantons and special geometry (2021). arXiv:2112.11863 [gr-qc]
M.T. Anderson, Short geodesics and gravitational instantons. J. Differ. Geom. 31(1), 265–275 (1990). https://doi.org/10.4310/jdg/1214444097
M.F. Atiyah, G. Franchetti, B.J. Schroers, Time evolution in a geometric model of a particle. J. High Energy Phys. (2015). https://doi.org/10.1007/JHEP02(2015)062
M.F. Atiyah, N.S. Manton, B.J. Schroers, Geometric models of matter. Proc. R. Soc. A 468, 1252–1279 (2012). https://doi.org/10.1098/rspa.2011.0616
E. Battista, G. Esposito, Geodesic motion in Euclidean Schwarzschild geometry. Eur. Phys. J. C (2022). https://doi.org/10.1140/epjc/s10052-022-11070-w
A.A. Belavin et al., Pseudoparticle solutions of the Yang–Mills equations. Phys. Lett. B 59(1), 85–87 (1975). https://doi.org/10.1016/0370-2693(75)90163-X
A.M. Beloborodov, Gravitational bending of light near compact objects. ApJ (2002). https://doi.org/10.1086/339511
B. Bertotti, Uniform electromagnetic field in the theory of general relativity. Phys. Rev. 116, 1331–1333 (1959). https://doi.org/10.1103/PhysRev.116.1331
J. Briët, D. Hobill, Determining the dimensionality of spacetime by gravitational lensing (2008). arXiv:0801.3859
B.C. Carlson, Numerical computation of real or complex elliptic integrals. Numer. Algorithms 10(1), 13–26 (1995). https://doi.org/10.1007/BF02198293
C. Chan, D. Psaltis, F. Özel, GRay: a massively parallel GPU-based code for ray tracing in relativistic spacetimes. ApJ (2013). https://doi.org/10.1088/0004-637X/777/1/13
Y. Chen, E. Teo, A new AF gravitational instanton. Phys. Lett. B 703(3), 359–362 (2011). https://doi.org/10.1016/j.physletb.2011.07.076
A. Cieślik, P. Mach, Revisiting timelike and null geodesics in the Schwarzschild spacetime: general expressions in terms of Weierstrass elliptic functions. Class. Quantum Gravity (2022). https://doi.org/10.1088/1361-6382/ac95f2
R. Coquereaux, A. Grossmann, B.E. Lautrup, Iterative method for calculation of the Weierstrass elliptic function. IMA J. Numer. Anal. 10, 119–128 (1990)
C. Darwin, The gravity field of a particle. Proc. R. Soc. Lond. A 249, 180–194 (1959). https://doi.org/10.1098/rspa.1959.0015
J. Dexter, E. Agol, A fast new public code for computing photon orbits in a Kerr spacetime. ApJ (2009). https://doi.org/10.1088/0004-637X/696/2/1616
M. Dunajski, P. Tod, Conformal geodesics on gravitational instantons. Math. Proc. Camb. Philos. Soc. 173(1), 123–154 (2022). https://doi.org/10.1017/S0305004121000463
T. Eguchi, P.B. Gilkey, A.J. Hanson, Gravitation, gauge theories and differential geometry. Phys. Rep. 66(6), 213–393 (1980). https://doi.org/10.1016/0370-1573(80)90130-1
T. Elster, Quantum vacuum energy near a black hole: the Maxwell field. Class. Quantum Gravity (1984). https://doi.org/10.1088/0264-9381/1/1/007
G. Esposito, Quantum Gravity, Quantum Cosmology and Lorentzian Geometries. Lecture Notes in Physics Monographs (Springer, Berlin, 1992). https://doi.org/10.1007/978-3-662-14495-4
A. Garnier, Motion equations in a Kerr–Newman–de Sitter spacetime: some methods of integration and application to black holes shadowing in Scilab. Class. Quantum Gravity 40(13), 135011 (2023). https://doi.org/10.1088/1361-6382/accbfe
L.A. Gergely, B. Darázs, Weak gravitational lensing in brane-worlds. Publ. Astron. Dep. Eotvos Univ. 17, 213–219 (2006). https://doi.org/10.48550/arXiv.astro-ph/0602427
G.W. Gibbons, Quantum field theory in curved spacetime, in General Relativity—An Einstein Centenary Survey. ed. by S.W. Hawking, W. Israel (Cambridge University Press, Cambridge, 1979)
G.W. Gibbons, S.W. Hawking, Action integrals and partition functions in quantum gravity. Phys. Rev. D (1977). https://doi.org/10.1103/PhysRevD.15.2752
G.W. Gibbons, S.W. Hawking, Classification of gravitational instanton symmetries. Commun. Math. Phys. 66, 291–310 (1979). https://doi.org/10.1007/BF01197189
G.W. Gibbons, M. Vyska, The application of Weierstrass elliptic functions to Schwarzschild null geodesics. Class. Quantum Gravity (2012). https://doi.org/10.1088/0264-9381/29/6/065016
Y. Hagihara, Theory of the relativistic trajectories in a gravitational field of Schwarzschild. Jpn. J. Astron. Geophys. 8, 67–176 (1930)
J.B. Hartle, S.W. Hawking, Path-integral derivation of black-hole radiance. Phys. Rev. D 13, 2188–2203 (1976). https://doi.org/10.1103/PhysRevD.13.2188
S.W. Hawking, Euclidean quantum gravity, in Recent Developments in Gravitation: Carg è se 1978. ed. by M. Lévy, S. Deser (Springer, Berlin, 1979), pp.145–173. https://doi.org/10.1007/978-1-4613-2955-8_4
S.W. Hawking, Gravitational instantons. Phys. Lett. A 60, 81–83 (1977). https://doi.org/10.1016/0375-9601(77)90386-3
G. He, W. Lin, Gravitational deflection of light and massive particles by a moving Kerr–Newman black hole. Class. Quantum Gravity (2016). https://doi.org/10.1088/0264-9381/33/9/095007
G. He et al., Gravitational deflection of massive particles in Schwarzschild–de Sitter spacetime. Eur. Phys. J. C (2020). https://doi.org/10.1140/epjc/s10052-020-8382-z
B. Hoffmann, On the spherically symmetric field in relativity. Q. J. Math. os-3(1), 226–237 (1932). https://doi.org/10.1093/qmath/os-3.1.226
R. Jante, On the spectrum of some gravitational instantons. PhD thesis. Heriot–Watt University (2015). http://hdl.handle.net/10399/3083
H.K. Kunduri, J. Lucietti, Existence and uniqueness of asymptotically flat toric gravitational instantons. Lett. Math. Phys. (2021). https://doi.org/10.1007/s11005-021-01475-1
J. Levin, G. Perez-Giz, A periodic table of black hole orbits. Phys. Rev. D (2008). https://doi.org/10.1103/PhysRevD.77.103005
Z. Li et al., Gravitational deflection of massive particles by a Schwarzschild black hole in radiation gauge. Commun. Theor. Phys. 71(10), 1219–1226 (2019). https://doi.org/10.1088/0253-6102/71/10/1219
A. Lindberg, S. Rayan, Geodesics on a Kerr–Newman–(anti-)de Sitter instanton. J. Geom. Phys. 132, 114–130 (2018). https://doi.org/10.1016/j.geomphys.2018.05.018
M. Mars, W. Simon, A proof of uniqueness of the Taub-bolt instanton. J. Geom. Phys. 32(2), 211–226 (1999). https://doi.org/10.1016/S0393-0440(99)00023-6
J. McMahon, V. Snyder, Elements of the Differential Calculus. The Cornell Mathematical Series (American Book Company, 1898), New York
F. Mellor, I. Moss, Black holes and gravitational instantons. Class. Quantum Gravity 6, 1379–1385 (1989). https://doi.org/10.1088/0264-9381/6/10/008
R. Monteiro, J.E. Santos, Negative modes and the thermodynamics of Reissner–Nordström black holes. Phys. Rev. D (2009). https://doi.org/10.1103/PhysRevD.79.064006
R. Mosna, G. Tavares, New self-dual solutions of \(SU(2)\) Yang–Mills theory in Euclidean Schwarzschild space. Phys. Rev. D 80, 105006 (2009). https://doi.org/10.1103/PhysRevD.80.105006
M.S. El Naschie, How gravitational instanton could solve the mass problem of the standard model of high energy particle physics. Chaos Solitons Fractals 21(1), 249–260 (2004). https://doi.org/10.1016/j.chaos.2003.12.001
J.J. Oh, C. Park, H.S. Yang, Yang–Mills instantons from gravitational instantons. J. High Energy Phys. (2011). https://doi.org/10.1007/JHEP04(2011)087
D. Page, Taub-NUT instanton with an horizon. Phys. Lett. B 78(2), 249–251 (1978). https://doi.org/10.1016/0370-2693(78)90016-3
X. Pang, J. Jia, Gravitational lensing of massive particles in Reissner–Nordström black hole spacetime. Class. Quantum Gravity (2019). https://doi.org/10.1088/1361-6382/ab0512
H. Pu et al., Odyssey: a public GPU-based code for general-relativistic radiative transfer in Kerr spacetime. ApJ 820(2), 105–116 (2016). https://doi.org/10.3847/0004-637X/820/2/105
I. Robinson, A solution of the Maxwell–Einstein equations. Bull. Acad. Pol. Sci 7, 351–352 (1959)
N. Straumann, General Relativity, 2nd edn. Graduate Texts in Physics (Springer, Berlin, 2013)
B. Tekin, Yang–Mills solutions on Euclidean Schwarzschild space. Phys. Rev. D 65, 084035 (2002). https://doi.org/10.1103/PhysRevD.65.084035
J.M. Velásquez-Cadavid et al., OSIRIS: a new code for ray tracing around compact objects. Eur. Phys. J. C (2022). https://doi.org/10.1140/epjc/s10052-022-10054-0
F.H. Vincent et al., GYOTO: a new general relativistic ray-tracing code. Class. Quantum Gravity (2011). https://doi.org/10.1088/0264-9381/28/22/225011
M. Visinescu, The geodesic motion on generalized Taub-NUT gravitational instantons. Z. Phys. C Part. Fields 60, 337–341 (1993). https://doi.org/10.1007/BF01474631
D. Viththani et al., Particle motion and tidal force in a non-vacuum-charged naked singularity (2024). arXiv:2402.02069 [gr-qc]
Y. Yang, X. Zhang, Geodesics on metrics of Eguchi–Hanson type. Eur. Phys. J. C (2023). https://doi.org/10.1140/epjc/s10052-023-11762-x
Acknowledgements
I am much grateful to Emmanuele Battista for bringing the subject to my attention and for many fascinating discussions, as well as for his careful reading of the present work and his useful comments. I also warmly thank the referee for their useful and accurate comments and suggestions. Finally, a big thanks goes out to Olivier Goubet for communicating to me the nice connectedness argument proving the lemma C.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Code availability
This manuscript has associated code/software in a data repository. [Author’s comment: The code generated and analysed during the current study is available in the GitHub repository https://github.com/arthur-garnier/euclidean_orbits_and_shadows.git.]
Appendices
Appendix A: Proof of the unicity result from Sect. 2
Let \({\textrm{d}}s^2=g_{\mu \nu }{\textrm{d}}x^\mu {\textrm{d}}x^\nu \) be a spherically symmetric solution of the field equation. As proved in [34], a Lorentzian spherically symmetric solution of the electro-vacuum Einstein equations is necessarily static and the proof can be adapted verbatim to the Euclidean case. Therefore, the metric is diagonal: \({\textrm{d}}s^2=g_{\mu \mu }({\textrm{d}}x^\mu )^2\) and moreover, the functions \(g_{\tau \tau }\) and \(g_{rr}\) only depend on r. Furthermore, since the restriction to a hypersurface with constant coordinates \((\tau ,r)\) must be an SO(3)-invariant metric on \(\mathbb {S}^2,\) there is a positive smooth function \(\rho : ]r_+,+\infty [\longrightarrow \mathbb {R}^*_+\) such that \(g_{\theta \theta }{\textrm{d}}\theta ^2+g_{\phi \phi }{\textrm{d}}\phi ^2=\rho (r)r^2{\textrm{d}}\Omega ^2.\) Thus the metric may be reduced to the form
The Christoffel symbols \({\Gamma ^\alpha }_{\mu \nu }=\tfrac{1}{2}g^{\alpha \beta }(g_{\beta \mu ,\nu }+g_{\beta \nu ,\mu }-g_{\mu \nu ,\beta })\) of this metric read
where we have dropped the dependence in the variable r for simplicity.
On the other hand, the electro-magnetic field tensor associated to the potential \(A_\mu \) is given by
so that the Maxwell equations
are satisfied for all \(\nu \ne \tau \) and we have \({F^{\mu \tau }}_{;\mu }={F^{r\tau }}_{,r}+{\Gamma ^\mu }_{\mu r}F^{r\tau }=\frac{iQ(uv)'}{(ruv\rho )^2},\) so that the Maxwell equations hold if and only if there is a constant \(k\in \mathbb {R}^*\) such that \(v=k/u.\) Therefore, the stress-energy tensor \(T_{\mu \nu }\) reads
Next, the Ricci tensor \(R_{\mu \nu }={\Gamma ^\alpha }_{\mu \nu ,\alpha }-{\Gamma ^\alpha }_{\mu \alpha ,\nu }+{\Gamma ^\alpha }_{\beta \alpha }{\Gamma ^\beta }_{\mu \nu }-{\Gamma ^\alpha }_{\nu \beta }{\Gamma ^\beta }_{\mu \alpha }\) and Einstein tensor \(G_{\mu \nu }=R_{\mu \nu }-\tfrac{1}{2}Rg_{\mu \nu }\) are diagonal and have
as well as
and we have \(R_{\phi \phi }=\sin ^2\theta R_{\theta \theta }\) and \(G_{\phi \phi }=\sin ^2\theta G_{\theta \theta }.\) Thus, if the Einstein equation \(G_{\mu \nu }=8\pi T_{\mu \nu }\) holds, then we have
and the function \(\rho \) satisfies \((\rho /\rho ')'=-1/2,\) so that there are constants \(\alpha ,\beta \in \mathbb {R}\) such that \(\rho (r)=(\alpha r+\beta )^{-2}.\) The metric now reads
We then distinguish two cases:
If \(\beta \ne 0,\) then the field equations reduce to the single equation \(G_{rr}=8\pi T_{rr},\) which may be re-written as
an equation which is equivalent to
and we integrate the right-hand side by decomposing it into simple rational fractions. For \(\alpha \ne 0,\) we obtain the solution
for some additional constant \(\gamma \in \mathbb {R}.\) If \(\alpha =0,\) then we get the equation
whose solution is
for some \(\tilde{\alpha }\in \mathbb {R}.\) Observe now that since \(\beta \ne 0,\) the map \(r\mapsto r(\alpha r+\beta )^{-1}\) is a diffeomorphism onto its image for any \(\alpha \) and if we let
then we obtain the Reissner–Nordström form of the statement.
Assume now that \(\beta =0\) (forcing \(\alpha \ne 0\)), in which case the equation \(G_{rr}=8\pi T_{rr}\) reduces to \(k=\alpha ^2Q^2.\) Moreover, the remaining non-trivial component of the field equation is \(G_{\theta \theta }=8\pi T_{\theta \theta },\) which yields
whose solution reads \(u(r)=\check{\beta }r^2+\check{\gamma }r+\alpha ^2 Q^2\) for constants \(\tilde{\beta },\tilde{\gamma }\in \mathbb {R}.\) Letting
we obtain the form
But in the new coordinates \((\tilde{\tau },r,\theta ,\phi ),\) the vector potential becomes \(A_\mu =-i\alpha ^{-1}r^{-1}{\textrm{d}}\tilde{\tau },\) so that we may assume that \(\alpha =1/Q,\) thus obtaining the stated form of the metric.
To conclude, it remains to compute the Kretschmann scalar \(K=R^{\alpha \beta \mu \nu }R_{\alpha \beta \mu \nu }\) of each metric of the statement. To do this, we use the symmetry and give the non-zero components \(R_{\alpha \beta \mu \nu }=g_{\alpha \lambda }({\Gamma ^\lambda }_{\beta \nu ,\mu }-{\Gamma ^\lambda }_{\beta \mu ,\nu }+{\Gamma ^\lambda }_{\sigma \mu }{\Gamma ^\sigma }_{\beta \nu }-{\Gamma ^\lambda }_{\sigma \nu }{\Gamma ^\sigma }_{\beta \mu })\) of the Riemann tensor for indices \(\alpha <\beta \) and \(\mu <\nu .\) First, for the Bertotti–Robinson metric we have
is indeed independent of r. For the Reissner–Nordström form, we have
and thus
which depends on R and thus the Kretschmann scalar expressed in the original coordinates depends on r as well, as claimed. \(\square \)
Appendix B: Proof of the energy constrain in the horizon-full case (Sect. 3.1)
Assume first that \(Q^2\le M^2.\) For simplicity, we may rescale the radius by 1/M and assume that \(M=1.\) From (3), we have
where \(P=P_{Q^2,\dot{r}_0^2,\dot{\phi }_0^2}\in \mathbb {R}_8[x]\) is the following polynomial of degree at most 8:
We will inductively prove that P is positive on the interval \(I=]r_+,+\infty [\) (with \(r_+=1+\sqrt{1-Q^2}\)), hence contradicting the above inequality and establishing the result. Observe first that \(P^{(8)}/8!=\dot{\phi }_0^2\ge 0\) so \(P^{(7)}\) is non-decreasing on I and since
we find that \(P^{(7)}\ge 0\) so that \(P^{(6)}\) is non-decreasing on I. We repeat the process, with
which is positive since \(\gamma \) is non-constant. Thus, we get \(P^{(6)}>0\) on I and \(P^{(5)}\) is increasing (not only non-decreasing) on I. Next, we have
and
and thus, \(P'\) is increasing on I and has \(P'(r_+)\ge 0,\) so P is increasing on I. We conclude by observing that \(P(r_+)=\dot{r}_0^2r_+^6\ge 0.\)
To prove the second statement, assume that \(Q^2>M^2,\) choose \(e>0\) and consider a circular (equatorial) geodesic \(\gamma =(\tau ,r,\pi /2,\phi )\) with energy \(E=e.\) Introducing the potential
the condition that \(\gamma \) is circular reads
The first equation imposes
while the second yields
This quartic has a positive root, since it evaluates to \(-Q^4<0\) at \(r=0\) and is positive when \(r\gg 0.\) \(\square \)
Appendix C: A technical lemma on an implicit differential equation
Lemma
For any \((\alpha ,\beta )\in \mathbb {R}^*\times \mathbb {R},\) their is a unique smooth maximal non-constant solution of the incomplete initial value problem
Moreover this solution is globally defined and given, for \(s\in \mathbb {R},\) by
Proof
The following argument is due to Olivier Goubet. First, up to exchanging \(y\leftrightarrow -y,\) we may assume that \(\beta \ge 0.\) Let y be a maximal non-constant solution of the problem, defined on a (maximal, open) interval I. Consider the open subset
and suppose that \(]a;b[\subset U\) is a connected component of U, of finite length. By continuity of y, we have \(\beta \le \lim _{s\rightarrow a^+}y(s)=y(a)\le \beta ,\) so that \(y(a)=\beta =y(b)\) and by Rolle’s theorem, we may choose \(a<t<b\) such that \(0=y'(t)=\alpha (y(t)^2-\beta ^2).\) This leads to \(y(t)\le |y(t)|=\beta \): a contradiction.
This proves that U has no connected component of finite length, leaving four possibilities:
-
If \(U=\emptyset ,\) then y is constant.
-
If \(U=\mathbb {R}_+^*,\) then \(y=\beta \) on \(\mathbb {R}_-\) and solving the well-defined ODE \(\dot{y}=\sqrt{\alpha (y^2-\beta ^2)}\) on U leads to
$$\begin{aligned} y(s)=\left\{ \begin{array}{cc}\beta \cosh (s\sqrt{\alpha }) &{} \text {if s>0}, \\ 1 &{} \text {otherwise}.\end{array}\right. \end{aligned}$$ -
The case \(U=\mathbb {R}_-^*\) is the symmetric of the previous one.
-
if \(U=\mathbb {R}^*,\) then we solve \(\dot{y}=\pm \sqrt{\alpha (y^2-\beta ^2)}\) on \(\mathbb {R}^*_\pm \) and obtain the stated solution, the only one being non-constant and smooth.
\(\square \)
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
Garnier, A. Particle dynamics in spherically symmetric electro-vacuum instantons. Eur. Phys. J. C 84, 374 (2024). https://doi.org/10.1140/epjc/s10052-024-12719-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-024-12719-4