A Novel Derivation of Black Hole Entropy in all Dimensions from Truly Point Mass Sources ()
1. Introduction: Modification of the Schwarzschild Solution
The static spherically symmetric (SSS) vacuum solution of Einstein’s field equations [1] (in Lorentzian signature) was originally found by Schwarzschild [2], but is historically more widely known in terms of the solution provided by Hilbert [3] as
(1)
where the solid angle infinitesimal element is
. We shall use throughout this work the units of
.
The higher-dimensional extension of the metric (1) was found by Tangherlini
[4] and can be obtained by simply replacing
(the
-dim solid angle) and
where
is the horizon radius expressed in terms of M and the gravitational coupling
in D dimensions whose units are
. The higher dimensional metric is given by
(2a)
where
is the D-dim Newton’s constant, M the black hole mass. The solid
angle of a
-dim hypersphere is
. The horizon radius is determined from the condition
giving
(2b)
such that the metric (2a) can be rewritten as
(3)
The Schwarzschild metric leads to a vanishing Ricci tensor and scalar curvature
, hence in order to arrive at a key delta function singularity at the origin one has to extend the domain of r to negative values
, and replace r for
in the metric (1). More precisely, one needs to make the replacement
(4a)
so the metric is actually of the form
(4b)
where
is the sign function. The sign function is defined by
, for
;
, for
; and
, the arithmetic mean of 1, −1, and it will be instrumental in deriving the non-zero scalar curvature. The derivative of the sign function is
1. It is the derivatives of the sign function appearing in eq-(4) which will generate the key
terms in the scalar curvature. If one wishes to be mathematically rigorous in using distributions in nonlinear theories like general relativity one needs to recur to the Colombeau’s theory of distributions [5] instead of the Dirac delta distributions.
Recently, the authors [6] have argued that unphysical equations of state result from the unrestricted use of the Synge G-trick of running the Einstein field equations backwards, which is what we are precisely doing in this work. Often this results in
which implies negative inertial mass density, which does not occur in reality. This is the basis of some unphysical spacetime models including phantom energy in cosmology and traversable wormholes [6]. It shall be shown below that the observed spacetime dimension
is precisely singled out from all the other dimensions when both the strong and weak energy conditions associated with the stress energy tensor are satisfied. The stress energy tensor originates from a variation of the matter terms with respect to the metric in the combined Einstein-Hilbert action of general relativity coupled to a point particle. It is the on-shell value of this combined action that leads precisely to the Einstein field equations with the stress energy tensor appearing in the right-hand side.
Thus, by replacing r for
in eqs-(4) one finds that the scalar curvature is no longer zero
but has a delta function singularity at
2
(5)
where the identities involving the derivatives of the delta functions have been used
(6)
2. The Euclidean Einstein-Hilbert Action and Black Hole Entropy
Because now one has that
, the Euclidean Einstein-Hilbert action is no longer zero. The inverse Hawking temperature
is the length of the circle
obtained from a compactification of the Euclidean time in thermal field theory and resulting after a Wick rotation,
, to imaginary time. The non-trivial Euclidean Einstein-Hilbert action is given by the integral
(7)
Note the presence of an -i factor in the Euclidean action I which results from the measure
piece since the determinant
is now positive due to the Euclidean signature. The minus sign -i is chosen so that
in the gravitational path integral (
).3 Furthermore, because the end result of the radial integral (7) is symmetric in r due to
, one may extend the radial domain of integration as follows
(8)
in order to fully integrate the delta function.
Some important remarks are in order before proceeding. In 3 spatial dimensions the radius is defined as
. In general, one must include both ± signs so an analytical extension from
is possible by using
in the metric solution (4b) and without having to switch the signs
, as it is required in the Schwarzschild metric (1) when one replaces
(in order to avoid naked singularities and to maintain invariance of the metric). Hence, it is the key presence of
in the metric (4b) which permits the analytical extension
and allows us to perform the integral as shown in (8) by extending the domain of integration to negative values of r. Rigorously speaking, one has a branch-cut at
, and a proper treatment would require working in the complex r-plane4. Physically speaking, one could interpret the point mass at
as a “point” wormhole where one goes from a positive r to a negative r region5.
To illustrate the physical relevance of extending the domain of r to negative
values
, and in using the modulus
, let us evaluate the 3-dim Laplacian (in a flat Euclidean space) of 1/r versus
. One finds in spherical coordinates that
, is trivially zero6 but
. Hence, one finds that the delta function point-mass density source at
is a solution of the Poisson equation
when the classical gravitational potential is given by
, instead of
.
The error that one finds in many textbooks is due to the fact that when
, the function
, and its derivatives, coincide with the function
, and its derivatives. So, when
, some authors go ahead and replace the Laplacian of (
), with the Laplacian of 1/r, and claim to generate a delta function. However, the Laplacian (in flat 3-dim) of 1/r is trivially zero. Mathematically speaking, the functions r and
are not the same. At
, the derivative of the function
has a key discontinuity from 1 to −1, while the function r does not. The second derivative of
is what furnishes the delta function.
As mentioned above, to rigorously treat distributions in nonlinear theories like gravity one must recur to the nonlinear distributional calculus developed by Colombeau [5]. The authors [7] devoted a mathematical analysis to the distributional Schwarzschild geometry. The Schwarzschild solution is extended to include the singularity; the energy momentum tensor becomes a δ-distribution supported at
. Using generalized distributional geometry in the sense of Colombeau’s (special) construction the nonlinearities were treated in a mathematically rigorous way. They also arrived at a scalar curvature given by a δ-distribution. In this work, we bypass these very rigorous mathematical details by simply extending the domain of r to negative values and by replacing r for
in the Schwarzschild metric solution.
Another subtle point by replacing
with 1/r in the region
occurs when one replaces the gravitational field
(
) with
and proceeds to use the
divergence theorem (Gauss law) where the boundary of the volume bulk region is a sphere of radius R, and the unit vector
points outward (so the non-vanishing gravitational flux flows inward) and claim once more, incorrectly, that the Laplacian of (1/r) generates a delta function. The reason for this inconsistency is similar as before, the sign function is not equal to 1 for all values
of r and
has a discontinuity at
(the location of the gravitational source), so mathematically speaking the expression
7 is not the same as
, despite that they coincide in the region
.
Finally, after this detour, given
,
, and eq-(8), the magnitude of the integral (7) becomes
(9)
To conclude, the (magnitude of the) Euclidean Einstein-Hilbert action
associated with the delta function point mass source yields precisely the Schwarzschild black hole entropy and given by one quarter of the horizon’s area in Planck units. One should note that if one were to include the contribution of the point-mass matter term in the evaluation of the Euclidean action this would amount to introducing an additive constant to the entropy. The issue of an additive constant in the evaluation of entropy has been addressed by [8] in numerous occasions.
It was not necessary to introduce the Gibbons-Hawking-York boundary term [9], [10] in order to evaluate the entropy and involving the trace of the extrinsic curvature K
h is the determinant of the induced metric on the boundary
. The bulk Einstein-Hilbert action for the Schwarzschild metric (1) vanishes (due to the vanishing of
), consequently, the contribution to the entropy stems entirely from the extrinsic curvature K of the boundary term. Gibbons and Hawking argued that in order to obtain an action which depends on the first derivatives of the metric, as is required by the composition property of the path-integral approach, the second derivatives appearing in the curvature scalar
had to be removed by an integration by parts resulting in the need to introduce the boundary term. Since now the variations of the first derivatives of the metric are no longer zero on the boundary, the Gibbons-Hawking-York boundary term is required in order to reproduce the Einstein field equations. In the case of asymptotically flat metrics the boundary region can be chosen to be the product of the Euclidean time axis (a circle of size
) with a sphere
of large radius. Gibbons and Hawking evaluated the action for the gravitational field on a section of the complexified spacetime which avoids the singularity. The boundary integral in the limit that the sphere’s radius goes to infinity yielded an action I given by
, and which agrees with the black hole entropy (up to an i factor).
However, in this work we are not removing the second derivatives of the metric so the boundary term is no longer required in order to reproduce the Einstein’s field equations. And due to the non-vanishing scalar curvature given in terms of the Dirac delta distribution the Einstein-Hilbert bulk action is no longer vanishing. Consequently we have found that there are two ways to obtain the black hole entropy. One way is provided by the boundary term of eq-(10) when
for the Schwarzschild metric, and another way is provided by the bulk Einstein-Hilbert action for the modified metric (4a, 4b) furnishing
. One may speculate that some sort of bulk/boundary
“duality” is taken place.
Let’s proceed with the evaluation of the higher dimensional Schwarzschild black hole entropy. Once more, by replacing
in the metric (2a, 3) it gives
(11)
After a very lengthy and laborious calculation one learns that the scalar curvature associated with the metric (11) is
(12)
Taking into account that
8 where
is the sign function
it leads to the following results
(13)
Inserting the results of eq-(13) into eq-(12) and taking into account the identity
which leads to key exact cancellations, the scalar curvature in eq-(12) turns out to be
(14)
The use of
in
in eq-(11) was instrumental in generating the delta function in (14). Had one used
one would have obtained
. In the case when
one recovers the same result as in eq-(5) for
.
The Hawking temperature of the D-dim Schwarzschild black hole is
. The non-trivial Euclidean Einstein-Hilbert action in D-dim is given by the integral
(15a)
Since one is integrating over the region
, and no more derivatives are involved, it is valid now to equate
with
without leading to inconsistencies. After setting
, and inserting the expression (14) for
into (15a), it becomes
(15b)
After taking into account eq-(8), the integral involving the
function yields a key factor of
, and the magnitude of the integral eq-(15b) yields finally
(16)
which is the Schwarzschild black hole entropy in D-dimensions given by one-quarter of the horizon area in Planck units.
Next we shall find the expressions for the density and pressure of the point-matter source leading to a non-vanishing scalar curvature and which furnishes the higher dimensional black hole entropy. Given the trace of the stress
energy tensor
, the trace of the Einstein tensor
obeys the following relation stemming from the field equations
(17)
Since the spherically symmetric energy-mass density
in D-dim for a point mass source is given by9
(18)
one finds that the trace of the stress energy tensor is
Due to the (hyper) spherical symmetry, the
transverse pressure components
to the radial direction are all equal, then the expression in (19) leads to
(20)
One must supplement eq-(20) with the Einstein field equations in order to determine
and the
transverse pressure components
,
(21)
(22)
After a lengthy but straightforward algebra one finds that the density and the anisotropic pressure components are given by
(23)
The solutions (23) satisfy the strong energy conditions
when
, and the weak energy conditions
for all
when
. Thus, interestingly enough, the observed spacetime dimension
is singled out from all the others when both the strong and weak energy conditions are satisfied.
One may object to the above expressions (23) because the angular coordinates are not well defined at
. This is not a problem because one can simply perform a coordinate change of the stress energy tensor
to Cartesian coordinates which are well defined at
10. The solutions (23) are consistent with the conservation equation of the stress energy tensor
. It can be more easily verified in
where one arrives at
(24)
satisfying the strong and weak energy conditions. One can check that the expressions (24) are consistent with the conservation equation
(25)
and which can be verified explicitly after using the identities
;
. Similar results as those found in eq-(24) were obtained in [11] by choosing a mass density given by a Gaussian
where the Gaussian width
was related to the non-commutativity parameter associated with the noncommutative spacetime coordinates
after equating the norm to
:
. As the width of the Gaussian goes to zero one recovers the product of three delta functions
(26)
Our mass density does not involve the product of three delta functions (a
3-dim delta function) but involves the term
instead. The one-dim delta function
originated directly from the second derivatives of the metric
(4b), and which in turn, results into an effective “dimensional reduction” of the 3-dim delta function
to a one-dimensional one
.
Because the authors [11] used a Gaussian mass density to smear the point mass source and introduce “fuzziness” of the spacetime points into the picture, their value of
was finite at
. Their physical model could be viewed as a self-gravitating anisotropic fluid droplet. Our effective mass function in eqs-(4) is
, and represents that mass enclosed11 within a radius r, whereas the mass function
in [11] was given by an incomplete gamma function as a result of integrating the Gaussian mass density across a spherical region of radius r.
3. Concluding Remarks
It is very important to emphasize that the point mass source described in this work is not the result of a spherically symmetric gravitational collapse of a star as described by the Oppenheimer-Snyder model because they neglected the pressure [12]. The Tolman-Oppenheimer-Volkoff equation [13] constrains the structure of a spherically symmetric body of isotropic material (fluid) which is in static gravitational equilibrium, as prescribed by general relativity. However the pressure in our case is not isotropic. Thus, the point mass source described here cannot be interpreted as a round ball of a fluid of isotropic pressure shrinking to zero size. More likely, it could be the result of gravitational collapse of an anisotropic star. Primordial black holes are postulated to result from the gravitational collapse of regions in the very early universe which experience very high density perturbations. It is warranted to explore the consequences that the point mass sources described in this work might have in the study of primordial black holes [14].
After this discussion one concludes that the expressions (23) are the density and anisotropic pressure components associated with the point mass delta function source at the origin
and which furnish the Schwarzschild black hole entropy (up to a factor of −i) in all dimensions
by a direct evaluation of the Euclidean Einstein-Hilbert action. As usual, it was required to take the inverse Hawking temperature
as the length of the circle
obtained from a compactification of the Euclidean time in thermal field theory which results after a Wick rotation,
, to imaginary time. The appealing result is that there was no need to introduce the Gibbons-Hawking-York boundary term [15] in order to arrive at the black hole entropy because in our case one has that
, and we are working with a second derivative theory. And, furthermore, there was no need to introduce a complex integration contour to avoid the singularity as done in [10].
On the contrary, we found that the source of the black hole entropy stems entirely from the scalar curvature singularity at the origin
. The physical implications of this finding warrant further investigation since it suggests a profound connection between the notion of gravitational entropy and spacetime singularities. The procedure proposed in this work also works for the Reissner-Nordstrom and the more general Kerr-Newman metric solutions as shown more recently [16].
To finalize, one should mention that a considerable progress in recent years has been made in understanding the quantum aspects of black holes and the Hawking evaporation process [17]. Most recently, a plethora of activity has been
centered concerning the relation between generalized entropy
and von Neumann entropy. After reinstating the numerical constants that were set to unity one has
. While the individual terms are
ill-defined in the semi-classical limit, their sum is well-defined if one takes into account perturbative quantum gravitational effects. For a detailed discussion of von Neumann algebras, generalized entropy see [18], and the excellent 22 lectures by Witten [8]. Consequently, much more work remains ahead in finding a bridge between our results and the most recent findings in operator algebras and Algebraic Quantum Field Theory (AQFT).
Acknowledgments
We are indebted to M. Bowers for assistance, and to Eduardo Guendelman and Emil Mottola for many illuminating discussions at the mini-conference in the Bahamas that took place in March 3-10, 2024.
NOTES
1The factor of 2 is due to the jump of 2 from −1 to +1.
2The Kretschmann invariant
is singular at
for the Schwarzschild metric.
3The scalar curvature R remains unaffected due to the fact that the change of sign in
and
cancels out when one evaluates the trace of the Ricci tensor component
.
4r = 0 is also a spacelike singularity.
5We thank Eduardo Guendelman and Thomas Curtright for suggesting this.
6
is also zero at r = 0. Since the numerator is already 0 it goes faster to 0 than r2.
7For
the unit radial vector
points outwards (increasing r). For
the unit radial vector points inward (increasing r). Hence
always points towards the point mass attractive gravitational source. At
the spherical coordinate system is not well defined and must be replaced by Cartesian coordinates.
8The derivative of
is discontinuous at
, but because it jumps from −1 to +1, one may take their arithmetic mean which is 0 and which agrees with the value of
.
9Note the key extra factor of 2 in eq-(18) that is required to evaluate the integral of
.
10In Cartesian coordinates the stress energy tensor will have off-diagonal components.
11Since there is no mass enclosed by
then
despite that the point mass is sitting at
.