# An Alternative Approach to the Static Spherically Symmetric, Vacuum Global Solution to the Einstein Equations.

1. The Schwarzschild Solution

The Schwarzschild solution of the Einstein gravitational field equations for empty space is the unique static, spherically symmetric, asymptotically flat solution. These statements have a gauge independent meaning.

Indeed, by "static" it is meant that the metric tensor satisfies the Killing equations for the timelike vector field [[chi].sub.(0)]

[L.sub.[chi](0)][g.sub.[alpha][beta]] = 0, (1)

where L denotes the Lie derivative with respect to the vector field [[chi].sub.(0)] = [[partial derivative].sub.t], which, besides being timelike, is also hypersurface orthogonal.

Then, adapting our timelike coordinate to the vector [[chi].sub.(0)], we must demand

[partial derivative][g.sub.[mu]v]/[partial derivative]t = [g.sub.0a] = 0, (2)

and in the above, Greekindices run from 0 to 3, whereas Latin indices run from 1 to 3.

On the other hand, spherical symmetry implies that the solution admits three additional Killing vectors, describing invariance under rotations; namely,

[mathematical expression not reproducible]. (3)

Then, as is well known, the line element can be written in polar coordinates in the form (R > 2m)

d[s.sup.2] = -91 - 2m/R)d[t.sup.2] + d[R.sup.2]/(1 - 2m/R) + [R.sup.2]d[[OMEGA].sup.2], d[[OMEGA].sup.2] = d[[theta].sup.2] + [sin.sup.2][theta]d[[phi].sup.2], (4)

where the time coordinate t is adapted to the timelike Killing vector (1). This is a static solution with the ([theta], [phi]) curved 2-surface describing a space with a positive Gaussian curvature.

When R < 2m, the signature changes from (-, +, +, +) to (+, -, +, +). Although mathematically a solution, this does not describe a physical solution as we wish it to be described.

Since there is no algebraic singularity at the horizon (R = 2m) (the physically meaningful components of the Riemann tensor are regular), there are coordinate transformations that yield acceptable solutions of the Einstein equations with an unchanged signature over the entire resultant space-time. These coordinate transformations yield acceptable solutions of the Einstein equations over the entire manifold but they are not static.

As stressed by Rosen [1], any transformation that maintains the static form of the Schwarzschild metric is unable to remove the singularity in the line element. Indeed, various coordinate transformations have been found that allow the manifold to extend over the whole region 0 < R < [infinity], although all of them necessarily are nonstatic (for R < 2m) and require all incoming geodesics (test particles) to end at the central singularity (see, for example, [2-7]).

The point is that, for (4), R = 2m is also a Killing horizon, implying that the timelike Killing vector [[chi].sub.(0)] becomes null on that surface and, still worse, becomes spacelike, inside it.

From a physical point of view, the existence of a static solution would be expected over the whole space-time of a vacuum, as an equilibrium final state of a physical process is expected to be static. Furthermore, we should recall that, in obtaining the Schwarzschild solution, being static is not an additional assumption but follows from the sphericity and the vacuum condition.

In this work we deviate from the classical approach which consists in extending the solution outside the horizon to the interior. We recognize that this is a legitimate possibility but the resultant space-time is necessarily not static. We insist on a static solution everywhere and this will require a radically different description of the significance of the horizon. The resultant static solution describes the space-time as consisting of a complete four-dimensional manifold on the exterior side and a second complete four-dimensional solution in the interior. The two-dimensional R-t submanifold forms a single continuous topological manifold; the addition of a metric requires a change in signature at the horizon. The [theta] - [phi] submanifolds have a spherical symmetry on the exterior and hyperbolic symmetry in the interior. The two meet only at a single curve, R = 2m, [theta] = 0. Passage of a geodesic from one side of the R - t manifold to the other is possible only on a point on this curve. The horizon has significance as a horizon only for static geodesic observers. A geodesic particle may start at R = [infinity] and travel a distance to a position [R.sub.min] and remain there or return to R = [infinity]. [R.sub.min] may be interior or exterior to the horizon position R = 2m, depending on the energy of the particle; for great enough energy, it will proceed all the way to R = 0. The horizon has no significance for such a particle. Similarly a geodesic particle may travel from R = 0 to [R.sub.max] and remain there or return to R = 0 and [R.sub.max] will be related to the particles energy and not to R = 2m. The particles may pass R = 2m as described only at [theta] = 0. In this paper we do not discuss the motions when [theta] is not = 0.

2. The Solution inside the Horizon

Our main point is that one should certainly expect that static vacuum should be allowed inside the horizon as well as outside and one should be able to describe a manifold that permits this. As we shall show in this note, this is in fact the case, although for doing that, we should permit for a change in symmetry, from elliptic (spherical) outside the horizon to hyperbolic inside the horizon. This requires the transformation d[[OMEGA].sup.2] [right arrow] -d[[OMEGA].sup.2] which obviously calls for a detour through the complex plane. Doing so, we have a static solution everywhere, but the symmetry of the R = 2m surface is different at both sides of it. Furthermore, as we stated before, we have to consider two different manifolds at both sides of the horizon. Accordingly no match of both solutions at R = 2m surface is needed.

Thus, for R < 2m we have

d[s.sup.2] = (2m/R - 1)d[t.sup.2] - d[R.sup.2]/(2m/R - 1) - [R.sup.2]d[[OMEGA].sup.2], d[[OMEGA].sup.2] = d[[theta].sup.2] + [sinh.sup.2][theta]d[[phi].sup.2]. (5)

Just as when R > 2m, this is also a static solution with the ([theta], [phi]) space describing a positive Gaussian curvature and with the time coordinate t adapted to the Killing vector (1).

The above metric obviously admits the timelike Killing vector [[chi].sub.(0)] = [[partial derivative].sub.t] and three additional Killing vectors which are

[mathematical expression not reproducible]. (6)

The above Killing vectors, of course, differ from the Killing vectors (3) and define a different symmetry in the inner region. Such change of symmetry comes up through the transformation [theta] [right arrow] i[theta].

The differences in the spatial [theta], [phi] subspaces for the external metric (R > 2m) and the internal metric (R < 2m) become clear when the 2 subspaces are embedded in a flat 3-space.

Thus, for the external metric, we have

x = sin [theta] cos [phi]; y = sin [theta] sin [phi]; z = cos [theta], (7)

with a Euclidean metric.

The interior embedding is

x = sinh [theta] cos [phi]; y = sinh [theta] sin [phi]; z = cosh [theta], (8)

with -1 = [x.sup.2] + [y.sup.2] - [z.sup.2] and d[s.sup.2] = -d[x.sup.2] - d[y.sup.2] + d[z.sup.2].

The exterior 2-surface is, as expected, a sphere. The interior 2-surface is a hyperboloid of two sheets. At the horizon, they meet only at R = 2m, [theta] = 0. This intersection is not in the space-time 4d manifold because it is not contained in an open set within the manifold. Let us now take a look at the motion of a test particle as a function of its own proper time. All particles have their proper time differences correlated, although they are free to choose the starting proper time for their clocks. The paths in the two manifolds may be continuous across the horizon as the metric in the t - R plane has a continuous form.

Obviously, motion from the exterior to the interior is possible only when the two manifolds meet at [theta] = 0. Thus we will assume radial motion. The entire plane is a single mathematical manifold but the change in signature would lead one to expect that, from the standpoint of physical observations, it represents two different manifolds, and it may be called a single manifold with a "phase change" at R = 2m.

Of interest then is the path of a geodesic between R = 0 and R = [infinity]. Whether we are interested in the path a particle takes in its proper time or in the observers time, we see that the velocity will be given as a square. So wherever a particle went past a point going in one direction, it went past the same point going in the opposite direction at some other time. It was of course always traveling in the positive time direction, so it went past the same point while going in different directions at two different times.

At constant [theta] = 0 the geodesics may be obtained, and because [[partial derivative].sub.t] is a Killing vector, there will be a constant of motion

[kappa] = (1 - 2m/R)[partial derivative]t/[partial derivative]s. (9)

From the metric we get the velocity

[(dR/ds).sup.2] = [[kappa].sup.2] - 1 + 2m/R (10)

Depending on [kappa] there are three possible solutions of (10), stated parametrically:

(1) [[kappa].sup.2] - 1 = 0.

R = [(2m).sup.1/3][(3/2).sup.2/3] [s.sup.2/3]. (11)

(2) [[kappa].sup.2] - 1 > 0.

[mathematical expression not reproducible]. (12)

(3) [[kappa].sup.2] - 1 < 0.

[mathematical expression not reproducible], (13)

where for convenience the constants [s.sub.0] have been chosen such that particles coming from R = 0 and R = [infinity] meet at R = 2m/[absolute value of ([[kappa].sup.2] - 1)]; at the same time s = 0.

The proper time, s, is taken to be 0 when the particle comes to rest at dR/ds = 0. As an aid in tracing the paths of geodesics, we see that all three cases have the same limiting behavior when the particle is at rest. All satisfy (10) in this limit, independently of the value of [[kappa].sup.2] - 1.

We first discuss the motion of a particle with [[kappa].sup.2] - 1 < 0. We assume it enters at R = 0. The behavior there is given by (13), while the behavior of the velocity as given by (10) is (dR/ds) ~ [s.sup.-1/3], so the particle comes into the origin at [eta] = 0 and immediately curves around, to reemerge at once. At [eta] = [pi] the particle is at its maximum distance, R = 2m/[absolute value of [[kappa].sup.2] - 1], which larger or smaller than 2m. It comes to rest here, emerges on a cusplike path, and returns along the same path it entered.

In the above, we started out assuming the geodesic begins at R = 0. Let us now consider the case when it begins at R = [infinity].

Then, for the radial geodesic at [theta] = 0 we may write

1 = (2m/R - 1)[(dt/ds).sup.2] - 1/(2m/R - 1)[(dR/ds).sup.2]; (14)

denoting now by q the constant of motion (the energy) associated with the timelike Killing vector and feeding it back into (14), we get

[(dR/ds).sup.2] = [q.sup.2] + 1 - 2m/R. (15)

The geodesic comes in from infinity with a velocity [q.sup.2] + 1, reaches to a minimum zero velocity at R = 2m/([q.sup.2] + 1), and turns around immediately in a cusplike path and returns to infinity with the same speed as it left.

The end goal of starting both at R = 0 and R = [infinity] is to see what happens when two particles meet at the same point at the same time. Unfortunately, Einstein's theory does not tell us if one geodesic bounces back to infinity and the other bounces back to 0 or if each continues forward. In this latter case, the particle must gain energy or lose energy depending on which way it crosses R = 2m. They may also meet, interact, and scatter and then return from whence they came.

The particles will met when s = 0 if [[kappa].sup.2] -1 = 1 - [q.sup.2]. If the vacuum level of a zero energy particle in one manifold is -1, it maybe +1 on the other side due to the change in signature, so [q.sup.2] = -[[kappa].sup.2], and one maybe the antiparticle of the other. If one is the antiparticle of the other, they may annihilate.

Of course a full understanding of the picture described above requires a quantum theory.

On the other hand let us look at the singularity R = 0. It is the inverse curvature of a sphere and indicates that the curvature is infinite. However it stays at infinity for zero length of time. It is equivalent to a sphere reducing its radius very rapidly to 0 and immediately, in zero time, expanding again. We would say that this singularity is physically ignorable.

3. Conclusions

In [1] the region R < 2m was considered as nonphysical and thereby excluded. According to Rosen, such an exclusion was justified by two reasons: on the one hand because the coordinates R and t change from spacelike to timelike (R) and inversely (t); on the other hand, he concluded that particles reaching the surface R = 2m from the outside are reflected back.

In this work, we have considered the whole spacetime. However, instead of sacrificing the staticity in the region inside the horizon (as in [2-6]), we keep the time independence but change the spatial symmetry.

For doing that we have to consider the whole spacetime as consisting of two distinct 4-manifolds, each of which corresponds to a static space-time. Each has the horizon as a boundary; each is a complete manifold. Complete means that a geodesic has a closed path or terminates at a boundary which is singular or infinite. One 4-manifold has the range 2m < R < [infinity] with the signature (- + + +) and the second manifold has the range 0 < R < 2m with the signature (+ - - -). Proceeding in this way we obtain a global static solution, which presents a "phase transition" on the horizon, being endowed with different symmetry at both sides of it. Both manifolds exclude the R = 2m surface. They meet at R = 2m, only when [theta] = 0. The acceptability of our setup is supported by the fact that from purely physical arguments we should expect a static solution to exist in the "whole spacetime" (in the sense above).

Indeed, for [theta] = 0, as we have seen that the theory permits one geodesic to rebound to infinity and the other to bounce back towards 0. However each may continue in a straight path, one from R = 0 to R = [infinity] and the other in the opposite direction. One would gain two units of energy along the way and the other would lose two units; k and q refer to two different test particles. They may backscatter with different energies. The times of meeting may have been adjusted so that the two particles meet at the same time, s = 0. Thezeroenergy of one vacuum is +1 and because of the change in signature, the zero energy of the other is -1. Since at s = 0, [[kappa].sup.2] - 1 = [q.sup.2] + 1, the energy [kappa] is the negative of the energy q and the two may be antiparticles.

If the particles were antiparticles, there would be another level of complexity and uncertainty added to the mix. We have described the particle with the greater energy as falling from infinity and the one with the lesser as rising from R = 0. It could just as well be the other way as far as the theory tells us.

On the other hand, R = 0 seems to be harmless. As an observable quantity, R is a measure of the curvature of the surface it represents. A particle may, with a probability of measure 0 in a finite proper time, reach a surface of zero curvature with infinite proper velocity and remain there for infinitesimal time. To verify that this statement is valid requires a study of the geodesics including particles with nonzero angular momentum, which we have not done here.

The main lesson to extract from the comments above is that there is no way to understand the complete picture of the motion of test particles in the neighborhood of the horizon from Einstein's equations alone. A quantum theory is needed to understand it. The two curved surfaces of the metric that meet at the horizon at [theta] = 0 are continuous with continuous first derivatives but not second derivatives, so a particle cannot cross at the horizon except at this one point. However, it is almost certain that a quantum theory would permit a particle to tunnel across.

It may look strange that we have described a geodesic that comes in from infinity with the metric for R < 2m. However this becomes intelligible if we recall that we are dealing only with [theta] = 0. The behavior is similar coming in from either direction. Either side could have been the starting point if [kappa] = q = 0.

It should be pointed out that we have not considered the behavior of nonradial geodesics. They need major consideration as the nonradial geodesics will be able to penetrate the horizon only by tunneling.

Also, it is worth noticing that we have not specified a source for the vacuum parameter m, which usually (as measured from the vacuum solution) is associated with a singular (pointlike) source. However, an alternative origin for m might be considered here. Indeed, we have already said that we need quantum mechanics to understand the horizon. Then, if the vacuum has a "mass", the vacuum mass could come from quantum mechanics. When students first learn about quantum mechanics and its zero point energy, they frequently ask why this does not show up in gravity. We speculate that our m might be a quantum mechanics residue.

Finally we would like to notice that an approach similar to the one presented here could be proposed for the global interpretation of the Kerr metric [8].

To summarize, we have shown that there is a static solution of Einstein's equations with the symmetry of a sphere or of a paraboloid and that the symmetry changes at the horizon. R > 2m is a geodetically complete manifold in that each geodesic may be continued to a singularity or to a boundary. R < 2m is also a geodetically complete manifold. We recognize that our approach represents a radical departure from the standard description. The standard description insists on keeping the curved two surfaces involved ([theta], [phi] surface) unchanged but does not describe an everywhere vacuum, static situation. We have no difficulty with this description and furthermore are fully aware of the fact that it had produced an impressive wealth of research work (just as a sample see [9-17] and references therein). However, we do believe that a static vacuum at all times and places should be possible.

https://doi.org/10.1155/2018/3839103

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

This work was partially supported by the Spanish Ministerio de Ciencia e Innovation under Research Project no. FIS201565140-P (MINECO/FEDER).

References

[1] N. Rosen, "The nature of Schwarzschild singularity in "Relativity"," in Proceedings of the Relativity Conference in the Midwest, M. Carmeli, S. I. Fickler, and L. Witten, Eds., Plenum Press, New York, USA, 1970.

[2] A. S. Eddington, "A comparison of Whitehead's and Einstein's formula," Nature, vol. 113, 192 pages, 1924.

[3] G. Lemaltre, Ann. Soc. Sci. Bruxelles, vol. A 53, p. 51, 1933.

[4] D. Finkelstein, "Past-future asymmetry of the gravitational field of a point particle," Physical Review Journals Archive, vol. 110, p. 965, 1958.

[5] M. D. Kruskal, "Maximal Extension of Schwarzschild Metric," Physical Review Journals Archive, vol. 119, no. 5, pp. 1743-1745, 1960.

[6] W. Israel, "New interpretation of the extended schwarzschild manifold," Physical Review Journals Archive, vol. 143, no. 4, Article ID 1016, 1966.

[7] R. Gautreau and J. M. Cohen, "Gravitational collapse in a single coordinate system," American Journal of Physics, vol. 63, no. 11, pp. 991-999, 1995.

[8] R. P. Kerr, "Gravitational field of a spinning mass as an example of algebraically special metrics," Physical Review Letters, vol. 11, pp. 237-238, 1963.

[9] B. C. Nolan and F. C. Mena, "Geometry and topology of singularities in spherical dust collapse," Classical and Quantum Gravity, vol. 19, no. 10, pp. 2587-2605, 2002.

[10] O. B. Zaslavskii, "Black Hole as a Supercollider," International Journal of Modern Physics A, vol. 26, pp. 3845-3855, 2011.

[11] A. Buchel, "Universality of small black hole instability in AdS/CFT," International Journal of Modern Physics D: Gravitation, Astrophysics, Cosmology, vol. 26, no. 13, Article ID 1750140, 2017.

[12] Y. K. Ha, "Weighing the black holes of GW150914,"International Journal of Modern Physics D, vol. 26, no. 12, Article ID 1743018, 2017.

[13] P. Bueno and P. A. Cano, "Universally stable black holes," International Journal of Modern Physics D, vol. 26, no. 12, Article ID 1743024, 2017.

[14] T. Nakama, B. Carr, and J. Silk, "Limits on primordial black holes from p distortions in cosmic microwave background," Physical Review D: Particles, Fields, Gravitation and Cosmology, vol. 97, no. 4, Article ID 043525, 2018.

[15] G. Antoniou, A. Bakopoulos, and P. Khati, "Black-hole solutions with scalar hair in Einstein-scalar-Gauss-Bonnet theories," Physical Review D: Particles, Fields, Gravitation and Cosmology, vol. 97, Article ID 084037, 2018.

[16] D. Doneva and S. Yazadjiev, "New gauss-bonnet black holes with curvature-induced scalarization in extended scalar-tensor theories," Physical Review Letters, vol. 120, Article ID 131103, 2018.

[17] F. Azzurli, N. Bobev, P. Marcos, and V. Min, "A universal counting of black hole microstates in [AdS.sub.4]," Journal of High Energy Physics, vol. 2018, Article ID 54, 2018.

Luis Herrera (iD) (1) and Louis Witten (2)

(1) Instituto Universitario de Fisica Fundamental y Matematicas, Universidad de Salamanca, Salamanca, Spain

(2) Department of Physics, University of Florida, Gainesville, FL 32611, USA

Correspondence should be addressed to Luis Herrera; lherrera@usal.es

Received 21 June 2018; Accepted 23 August 2018; Published 12 September 2018