Spacetime mappings of the Brown-York quasilocal energy

TL;DR

This paper investigates how the Brown-York quasilocal energy behaves under conformal and Kerr-Schild transformations in spherical symmetry, comparing its properties with the Misner-Sharp-Hernandez energy.

Contribution

It derives the transformation laws of the Brown-York energy under specific spacetime mappings, providing insights into their behavior in spherical symmetry.

Findings

Brown-York energy transformation laws derived

Comparison with Misner-Sharp-Hernandez energy elucidated

Insights into quasilocal energy behavior under spacetime mappings

Abstract

In several areas of theoretical physics it is useful to know how a quasilocal energy transforms under conformal rescalings or generalized Kerr-Schild mappings. We derive the transformation properties of the Brown-York quasilocal energy in spherical symmetry and we contrast them with those of the Misner-Sharp-Hernandez energy.

Equations

$$d{s}^2=-A(t,R)d{t}^2+B(t,R)d{R}^2+R^{2}d{\Omega }_{(2)}^2,$$

$$M_{BY}=R\left(1-\frac{1}{\sqrt{B}}\right).$$

$$1-\frac{2M_{MSH}(R)}{R}={\nabla }^{c}R{\nabla }_{c}R$$

$$g_{ab}\to {\tilde{g}}_{ab}={\Omega }^2{g}_{ab},$$

$$d{\tilde{s}}^2={\Omega }^{2}d{s}^2=-{\Omega }^{2}Ad{t}^2+{\Omega }^{2}Bd{R}^2+{\tilde{R}}^{2}d{\Omega }_{(2)}^2,$$

$$d{\tilde{s}}^2=-\tilde{A}d{\tilde{t}}^2+\tilde{B}d{\tilde{R}}^2+{\tilde{R}}^{2}d{\Omega }_{(2)}^2,$$

$$dR=\frac{d\tilde{R}-{\Omega }_{,t}Rdt}{{\Omega }_{,R}R+\Omega }$$

$$d{\tilde{s}}^2$$

$$d\tilde{t}=\frac{1}{F}\left(dt+\beta d\tilde{R}\right),$$

$$\frac{\partial }{\partial \tilde{R}}\left(\frac{1}{F}\right)=\frac{\partial }{\partial t}\left(\frac{\beta }{F}\right)$$

$$d{\tilde{s}}^2$$

$$\beta \left(t,R\right)=\frac{{\Omega }_{,t}BR}{\left[A-\frac{{\Omega }_{,t}^2{R}^{2}B}{{\left({\Omega }_{,R}R+\Omega \right)}^2}\right]{\left({\Omega }_{,R}R+\Omega \right)}^2}$$

$$d{\tilde{s}}^2$$

$$\tilde{B}=\frac{AB{\Omega }^2}{A{\left({\Omega }_{,R}R+\Omega \right)}^2-{\Omega }_{,t}^{2}B{R}^2}.$$

$${\tilde{M}}_{BY}=\Omega R\left[1-\frac{\sqrt{A{\left({\Omega }_{,R}R+\Omega \right)}^2-{\Omega }_{,t}^{2}B{R}^2}}{\sqrt{AB}\Omega }\right].$$

$${\tilde{M}}_{BY}$$

$${\tilde{M}}_{MSH}=\Omega M_{MSH}-\frac{R^3}{2\Omega }{\nabla }^a\Omega {\nabla }_a\Omega -R^2{\nabla }^a\Omega {\nabla }_{a}R.$$

$$2TS=M_{BY}+2pA,$$

$$p=\frac{1}{8\pi }\left(\frac{A_H^{\prime }}{2A_H\sqrt{B_H}}+\frac{1}{r_H\sqrt{B_H}}-\frac{1}{r_H}\right),$$

$$2\tilde{T}\tilde{S}$$

$$g_{ab}\to {\bar{g}}_{ab}=g_{ab}+2\lambda l_a{l}_b,$$

$$g_{ab}{l}^a{l}^b=0,l^a{\nabla }_a{l}^b=0.$$

$${\bar{g}}_{ab}{l}^a{l}^b=g_{ab}{l}^a{l}^b+2\lambda (l_c{l}^c{)}^2=0,$$

$${\bar{g}}_{ab}{l}^a{\nabla }^b{l}^c=0,$$

$$l^{\mu }(t,R)=\left(l^0,l^1,0,0\right)$$

$$d{\bar{s}}^2$$

$$dT=\frac{1}{F}\left(dt+\beta dR\right),$$

$$d{\bar{s}}^2$$

$$\beta (t,R)=\frac{-2\lambda l_0{l}_1}{A-2\lambda (l_0{)}^2}.$$

$$d{\bar{s}}^2$$

Full text

††journal: Eur. Phys. J. C

1 Introduction

The mass of a non-isolated system in General Relativity (GR) has been the subject of intense study but there is no agreement as to what the mass-energy should be. Due to the equivalence principle, the energy of the gravitational field cannot be localized and the mass-energy of a self-gravitating system includes also this energy. Unless the geometry reduces asymptotically to Minkowski (in which case the ADM energy ADM is appropriate), one resorts to quasilocal energy definitions. There are several quasilocal constructs in the literature, which differ from each other (see Szabados for a recent review). Overall, quasilocal energy has been studied in the domain of formal relativity, but one ought to do better. First, the mass of a gravitating system is one of its most basic properties in astrophysics and a mass-energy definition is ultimately of no use if it cannot be employed in practical calculations (for example, in astrophysics and/or in cosmology). Second, various authors are already using, implicitly, the Hawking-Hayward quasilocal energy Hawking ; Hayward (usually in its Misner-Sharp-Hernandez form defined for spherical symmetry MSH ) in black hole thermodynamics BHthermo , in which this quasilocal energy plays the role of the internal energy of the system.

Black hole thermodynamics (especially the thermodynamics of time-dependent apparent horizons) is usually studied in the context of GR and most often in spherical symmetry, where the Misner-Sharp-Hernandez mass is adopted almost universally BHthermo (see, however, Ref. VillalbaBargueno for an analogous study using the Brown-York mass). The Misner-Sharp-Hernandez mass is also the quasilocal construct used in spherical fluid dynamics and in black hole collapse MSH and is the Noether charge associated with the covariant conservation of the Kodama energy current Haywardspherical . But there are several other definitions of quasilocal energy Szabados and one wonders what changes the use of another quasilocal construct, for example the Brown-York energy, would bring. When a black hole is dynamical, it is difficult to calculate its temperature unambiguously and the recent literature on the thermodynamics of dynamical black holes focuses on this quantity. If the definition of internal energy is also uncertain, the problems accumulate. Quasilocal energies have been used also in the now rather broad field of thermodynamics of spacetime SptThermo .

A full discussion of which quasilocal mass should be used, and why, requires more insight on quasilocal energies than is presently available. Here we consider a particular aspect, more related to tool-building than to core issues, which has been discussed recently in the literature. Since several analytic solutions of the Einstein field equations which describe dynamical black holes are generated by using the Schwarzschild (or another static black hole) solution as a seed and performing a conformal or a Kerr-Schild transformation solutions , the transformation properties of the Misner-Sharp-Hernandez mass under these spacetime mappings were discussed Enzo2013 . Later, relinquishing the simplifying assumption of spherical symmetry, the transformation properties of the Hawking-Hayward quasilocal energy Hawking ; Hayward (which reduces to the Misner-Sharp-Hernandez prescription MSH in spherical symmetry Haywardspherical ) were also obtained HHconfo . Generalizations of the Hawking-Hayward energy to scalar-tensor gravity have also been introduced (STquasilocal ; HHFaycal , see also otherSTquasilocal , and Hideki for the case of Lovelock gravity), following earlier generalizations of the Brown-York mass to these theories STBY . A useful trick consists of remembering that these theories admit a representation in the Einstein conformal frame which is formally very similar to GR. If one chooses a different quasilocal energy, it becomes important to establish how this construct transforms under these spacetime mappings.

There are also other motivations for studying the transformation properties of quasilocal energies. As noted above, these quantities are defined rather formally and are not yet used in practical calculations in astrophysics and cosmology, with the exception of the recent works Nbody ; turnaround ; Lambdalensing . There, the Hawking-Hayward quasilocal construction was employed in a new approach to cosmological problems in which the expansion of the universe competes with the local dynamics of inhomogeneities, namely the Newtonian simulations of large scale structure formation in the early universe Nbody , the turnaround radius in the present accelerated universe turnaround , and lensing by the cosmological constant or by dark energy Lambdalensing . To first order in the metric perturbations present in these problems, the Brown-York energy yields the same results as the Hawking-Hayward energy, provided that an appropriate gauge is chosen for the gauge-dependent Brown-York energy in the comparison new . Conformal transformations were used in these works as a mere calculational tool, not for any conceptual reason. This is one more reason to establish how the Brown-York mass behaves under spacetime mappings, if it was going to replace the Hawking-Hayward/Misner-Sharp-Hernandez construct.

In this work we restrict to spherical symmetry and, correspondingly, to a line element expressed in the gauge footnote1

[TABLE]

where $R$ is the areal radius, a well-defined geometric invariant once spherical symmetry is assumed, and $d\Omega_{(2)}^{2}\equiv d\theta^{2}+\sin^{2}\theta\,d\varphi^{2}$ is the line element on the unit 2-sphere. It is well known that, in this gauge, the Brown-York mass is given by BrownYork ; BrownYorkLau ; BlauRollier

[TABLE]

The general definition of Brown-York mass is based on an integral of the extrinsic curvature of a 3-surface in the real space minus the same quantity evaluated on the same Riemannian surface but with a Riemannian 3-space as a reference BrownYork . It is clear from the definition that the Brown-York mass is gauge-dependent. By contrast, the Misner-Sharp-Hernandez mass $M_{MSH}$ is given by the scalar equation

[TABLE]

and is, therefore, gauge-independent, which is a significant practical advantage over the Brown-York mass.

Since the Brown-York mass is gauge-dependent, it makes sense to derive its transformation properties under conformal and Kerr-Schild spacetime mappings only when a certain gauge is preserved by the map. This is what we do in the following sections. Since both the expression and the value of the Brown-York mass are very different in different gauges, it is meaningless to compare them in these different gauges.

2 Conformal transformations

A conformal transformation of the metric is the point-dependent rescaling

[TABLE]

where the conformal factor $\Omega$ is a smooth positive function of the spacetime point. We require the conformal factor to respect the spherical symmetry, $\Omega=\Omega(t,R)$. Under such a mapping, the line element (1) becomes

[TABLE]

where the “new” areal radius is $\tilde{R}=\Omega R$. The line element (5) is not in the form (1). To bring it to this form with tilded quantities, i.e.,

[TABLE]

one has to introduce a new time coordinate. Begin by substituting the differential

[TABLE]

in the line element (1), obtaining

[TABLE]

In order to bring this line element back to the gauge (1), one eliminates the term proportional to $dt\,d\tilde{R}$ by changing the time coordinate to $\tilde{t}(t,\tilde{R})$ defined by

[TABLE]

where $\beta(t,R)$ is a function to be determined in such a way that the $dtd\tilde{R}$ term disappears and $F(t,\tilde{R})$ is a (non-unique) integrating factor satisfying

[TABLE]

to guarantee that $d\tilde{t}$ is an exact differential. Using $dt=Fd\tilde{t}-\beta d\tilde{R}$ in the line element gives

[TABLE]

By imposing that

[TABLE]

the line element becomes

[TABLE]

Therefore, we have

[TABLE]

Using this expression, Eq. (2) gives the Brown-York mass in the conformally rescaled world and in the chosen gauge

[TABLE]

In general, there is no simple expression of the “new” Brown-York mass in terms of the “old” one plus a simple correction, analogous to the one previously obtained for the Misner-Sharp-Hernandez mass Enzo2013 . One could, for example, rewrite Eq. (15) as

[TABLE]

but this decomposition is arbitrary and not particularly enlightening anyway, even in the simplest situations in which the scale factor depends only on one of the variables $\left(t,R\right)$. For comparison, the transformation property of the Misner-Sharp-Hernandez mass under a conformal rescaling is Enzo2013

[TABLE]

The first term $\Omega M_{BY}$ in Eq. (16) can be interpreted by introducing Newton’s constant and remembering that, in a simple intepretation (dating back to Dicke) lengths and times scale with $\Omega$, while masses scale with $\Omega^{-1}$ Dicke . However, the quasilocal energy is a complicated construct and cannot be expected to scale in a simple way under conformal transformations. As a consequence, the second term in the right hand side of Eq. (16) defies simple physical interpretation (the same can be said for the transformation property (17) of the Misner-Sharp-Hernandez mass).

The effect of the transformation (16) on black hole thermodynamics is difficult to interpret. A Smarr relation was derived in Ref. VillalbaBargueno for vacuum, static, spherical black holes of the form (1):

[TABLE]

where $T$ and $S$ are the temperature and area of the event horizon, $S$ is the entropy, and

[TABLE]

while the subscript $H$ denotes quantities evaluated at the horizon. Assuming that, under a conformal transformation, $\tilde{T}\simeq T/\Omega$ in an adiabatic approximation (as argued in myHawking ), $S=A/4$, and $\tilde{A}=\Omega^{2}A$, Eq. (19) would yield

[TABLE]

in the tilded world. Not much should be construed from this complicated relation between tilded quantities: a conformal transformation with $\Omega=\Omega(t,r)$ preserving the spherical symmetry has changed the situation in which Eq. (19) was derived VillalbaBargueno . Vacuum is no longer vacuum and, if $\Omega_{,t}\neq 0$, the black hole is not static, the event horizon is no longer present, and the notion of black hole is now defined by an apparent (instead of event) horizon, which is not null Universe . The time dependence of the (apparent) horizon must be taken into account even in an adiabatic approximation myHawking . Therefore, simple statements on the effect of the conformal transformation on thermodunamics cannot be made.

3 Kerr-Schild transformations

A generalized Kerr-Schild transformation has the form

[TABLE]

where $\lambda$ is a positive function and $l^{a}$ is a null and geodesic vector field of $g_{ab}$, that is,

[TABLE]

It is easy to see that $l^{a}$ is null and geodesic also with respect to $\bar{g}_{ab}$:

[TABLE]

[TABLE]

and that the inverse metric of $\bar{g}_{ab}$ is $\bar{g}^{ab}=g^{ab}-2\lambda l^{a}l^{b}$ since $\bar{g}^{\mu\nu}\bar{g}_{\nu\alpha}=\delta^{\mu}_{\alpha}$ Enzo2013 . In order to respect the spherical symmetry of the geometry (1) we require that $\lambda=\lambda(t,R)$ and

[TABLE]

in this gauge. The generalized Kerr-Schild transformation (21) gives

[TABLE]

We now repeat the procedure of Ref. Enzo2013 in order to eliminate the cross-term in $dtdR$. To this end, it is necessary to introduce a new time coordinate $T$ defined by

[TABLE]

where $\beta(t,R)$ is a function to be determined and $F(t,R)$ is an integrating factor. The substitution of $dt=FdT-\beta dR$ into the line element yields

[TABLE]

from which one deduces that the required form of the function $\beta$ is

[TABLE]

With this choice, the metric is brought back to the gauge (1),

[TABLE]

where we note that

[TABLE]

and there is residual gauge freedom due to the non-uniqueness of the integrating factor $F$. The Brown-York mass of the barred spacetime is then given by the expression (2) as

[TABLE]

Because of the normalization $l_{c}l^{c}=0$ of the null vector $l^{a}$, it is possible to rescale its components so that, say, $l_{0}=-1$. Then

[TABLE]

and Eq. (32) simplifies to

[TABLE]

For comparison, the transformation property of the Misner-Sharp-Hernandez mass under a generalized Kerr-Schild map is Enzo2013

[TABLE]

Again, the action of the Kerr-Schild transformation arising from a nonvanishing $\lambda$ cannot be given a simple interpretation due to the fact that quasilocal energies are rather complicated constructs.

4 Examples

Here we present examples illustrating the transformation properties of the Brown-York mass.

4.1 Conformal transformation

Consider the Minkowski line element in polar coordinates

[TABLE]

where $r=R$ is trivially the areal radius. The spatially flat Friedmann-Lemaître-Robertson-Walke (FLRW) line element

[TABLE]

where $\eta$ is the conformal time, is manifestly conformally flat. The conformal transformation $d\tilde{s}^{2}=\Omega^{2}ds^{2}$ relating (36) and (37) has conformal factor $\Omega=a(\eta)$, the scale factor of the universe. The FLRW areal radius is $\tilde{R}=a(\eta)r$ and the Hubble parameters in comoving time $t$ (given by $dt=ad\eta$) and conformal time $\eta$ are, respectively, $H\equiv\dot{a}/a$ and ${\cal H}=a_{\eta}/a=aH$ (an overdot denoting differentiation with respect to $t$).

To write the FLRW line element (37) in Schwarzschild-like coordinates, we introduce the new time $T$ by

[TABLE]

which transforms (37) to

[TABLE]

The choice

[TABLE]

reduces the line element to the Schwarzschild-like gauge (6) with $\tilde{A}=\left(1-H^{2}\tilde{R}^{2}\right)F^{2}$, $\tilde{B}=\left(1-H^{2}\tilde{R}^{2}\right)^{-1}$. As a consequence, the expression (16) of the Brown-York mass in spherical symmetry yields

[TABLE]

where $M_{MSH}^{(FLRW)}=H^{2}\tilde{R}^{2}/2=\frac{4\pi}{3}\,\rho\tilde{R}^{3}$ is the Misner-Sharp-Hernandez mass of FLRW space and we used the Friedmann equation $H^{2}=8\pi\rho/3$, with $\rho$ the energy density of the cosmic fluid. The relation (41) between the two quasilocal masses in this example mirrors that holding in the Schwarzschild geometry

[TABLE]

with (constant) mass $m$. The Misner-Sharp-Hernandez mass contained in a sphere of radius $r$ is $M_{MSH}^{(Schw)}=m$ for any value of $r>2m$ and the Brown-York mass is

[TABLE]

and it asymptotes to $m$ as $r\rightarrow+\infty$. However, on the Schwarzschild event horizon $r=2m$, it is $M_{BY}^{(Schw)}=2M_{MSH}^{(Schw)}$.

4.2 Kerr-Schild transformation

As an example of Kerr-Schild transformation, consider the map between the Minkowski geometry (36) and the Reissner-Nordström one

[TABLE]

which corresponds to

[TABLE]

and to the time redefinition $t\rightarrow T$ with

[TABLE]

Minkowski space has vanishing Brown-York mass and the transformation property (34) of the Brown-York mass under Kerr-Schild transformations yields

[TABLE]

which coincides with the well known expression calculated directly using Eq. (2).

5 Conclusions

There are several reasons to derive the transformation properties of a quasilocal energy under conformal or (generalized) Kerr-Schild transformations. This procedure is part of the tool-building process useful in various areas of theoretical gravity (black hole thermodynamics, analytical solutions of GR describing dynamical black holes, spacetime thermodynamics, etc.). The relativity community seems to have concentrated on the Hawking-Hayward/Misner-Sharp-Hernandez quasilocal energy (see, however, Refs. BlauRollier ; YuCaldwell ; VillalbaBargueno ) but the Brown-York energy is also interesting in principle because it is based on the Hamilton-Jacobi formulation of GR. However, contrary to the Misner-Sharp-Hernandez mass, the Brown-York constructs suffers from a daunting gauge-dependence even in spherical symmetry. For this reason, the comparison of the “new” Brown-York energy after a spacetime mapping with the “old” one is meaningful only after restoring the gauge which is altered by the spacetime mapping. Having done this and having obtained the “new” Brown-York mass in terms of the “old” one and of the geometry, the result cannot be encapsulated in a simple formula analogous to Eqs. (17) or (35) obtained for the Misner-Sharp-Hernandez mass in Enzo2013 . From a pragmatic point of view, the Misner-Sharp-Hernandez construct looks definitely more attractive than the Brown-York one.

Acknowledgements.

We are grateful to a referee for constructing comments. This work is supported, in part, by the Natural Sciences and Engineering Research Council of Canada (Grant No. 2016-03803 to V.F.) and by Bishop’s University.