Arnowitt Deser Misner energy - davidar/scholarpedia GitHub Wiki

The Arnowitt-Deser-Misner energy is a universal and useful definition of energy for asymptotically flat solutions of the Einstein equations (with or without matter) having a specified asymptotic falloff ---essentially that of the Schwarzschild metric. This definition was made possible thanks to the canonical formulation of general relativity as a Hamiltonian system as given by Arnowitt, Deser and Misner (1962).

Table of Contents

Introduction

Because of the equivalence principle, there is no generally meaningful local energy-density or stress tensor-density for the gravitational field. This absence was the obstacle to development of the correct global conserved quantities, namely four-momentum and angular momentum, since the corresponding special relativistic invariances under translations and rotations are only realized asymptotically. This problem can be illuminated by an analogy to the more familiar vector gauge fields, and the corresponding contrast there between the abelian—hence uncharged—Maxwell field and the non-abelian Yang-Mills (YM) system which is "charged", namely self-interacting. Definition of color charge in the latter theory (already classically) requires a similar (but less physical) asymptotic "color flatness"; like energy density, color charge density is gauge-dependent. Indeed, a clear picture of the Yang-Mills charge was only given (Abbott and Deser 1982b) after that for energy of cosmological gravity (Abbott and Deser 1982a), where the detailed mechanism of asymptotic Killing vectors was first developed. Once the latter's role was understood, it also became clear how to extend the conserved charge/energy idea to more general systems, such as higher order gravity involving higher orders of curvature (Deser and Tekin 2003, 2007), or to topologically massive models involving Chern-Simons terms (Deser et al. 1982).

Defining the energy

The underlying idea for all systems is a simple one: conserved charge (in the generalized sense to include energy, momentum etc.) is associated with a conserved vector current, as only (contravariant density) vectors <math>j^\mu</math> can obey ordinary conservation

<math>\label{eq:conserved_current}
\partial_\mu j^\mu=0. </math>

in curved backgrounds. Covariantly conserved stress tensor densities <math>T^\nu_{\ \mu}</math> must be reduced to vectors, and this is the role of Killing Vector <math>\xi^\mu\ .</math> Explicitly, if <math>\overline D_\nu T^\nu_{\ \mu}=0\ ,</math> where <math>\overline D_\nu</math> is the covariant divergence with respect to some background, for us primarily flat or (Anti)deSitter (A)dS asymptotic spacetimes as we shall see, then

<math>\label{eq:2}
\overline D_\mu(\xi^\nu T^\mu_{\ \nu})\equiv \partial_\mu(\xi^\nu T^\mu_{\ \nu})=0, \quad\quad \overline D_\mu\xi_\nu +\overline D_\nu\xi_\mu=0 . </math>

The relevance of the Killing vector equation to verifying conservation is obvious for symmetric, covariantly conserved <math>T^{\mu\nu}\ .</math> If <math>j^\mu</math> falls off sufficiently fast at spatial infinity, then \eqref{eq:conserved_current} always implies that

<math>\label{eq:continuity}
\partial_0\int d^3xj^0+\oint dS\cdot j=0 \longrightarrow \partial_0\int d^3 j^0\equiv \partial_0Q=0. </math>

In electrodynamics, the Killing vector is invisible, but in YM where <math>j^\mu</math> also depends on a color index <math>a\ ,</math> we require a "color-vacuum" asymptotic configuration with a color-space Killing vector <math>\xi_a\ ,</math> <math>\overline D_\mu\xi_a=0</math> that "bleaches" <math>(\overline D_\mu j^\mu)_a</math> into <math>\partial_\mu(\xi_a j^\mu_a)\ ,</math> where <math>\overline D</math> is the usual YM covariant derivative.

The other essential ingredient for us is that gauge theories always contain constraints–relations independent of time evolution–because they have fewer dynamical variables than the redundant number needed for a covariant description. These constraint equations (prototypically the Gauss equation <math>\nabla^2\phi=-4\pi\rho</math> ) consist, for physical models, of a leading linear term plus nonlinear ones. Thus, in YM, the constraint becomes <math>\nabla\cdot E^a=-4\pi\rho^a(E,A)</math> where <math>\rho^a</math> depends on quadratic and higher powers of the YM fields, as well as possible color matter sources. In Einstein gravity, the same distinction is expressed by the fact that the linearized, "abelian", approximations has the Newtonian constraint <math>\nabla\cdot\nabla\varphi=-4\pi G T^0_{\ 0}\ ,</math> where <math>T^0_{\ 0}</math> is the matter energy density, while the full theory has "color" (self-interaction of gravity), with consequent nonlinear constraints. The simplest illustration here is the case of a moment of time-symmetry (essentially one with vanishing conjugate momentum field), where the relevant constraint reads <math>{}^3R=-4\pi T^0_{\ 0}\ ,</math> where <math>{}^3R</math> is the intrinsic 3-slice scalar curvature at this moment. The curvature splits into a sum of linear plus non linear terms, <math>{}^3R={}^3R_L+{}^3R_N\ ,</math> in the expansion of the spatial metric about its flat values. While this expansion may seem ambiguous, the resulting space integrals are entirely unique. The linear term is still the flat Laplacian of a metric component, which leads to an asymptotic expression for energy <math>P_0</math> as a surface integral at spatial infinity, just like Maxwell charge, as are also the similarly defined spatial momenta <math>P_i\ ,</math> defined from the other three constraints of the model, and for their first moments, the 4-dimensional rotation generators <math>T_{\mu\nu}\ .</math> It can be shown that <math>P_\mu=(P_0,P_i)</math> is not only a Lorentz 4-vector, with respect to asymptotic Lorentz transformations, but that it is future timelike for pure gravity and in the presence of physical positive energy (in flat space) matter source. [Null] Indeed, the positive energy theorems of general relativity (Schoen and Yau 1979; Witten 1981) and supergravity (Deser and Teitelboim 1977) state that <math>P_0</math> is not only positive, but that vanishing of this single number implies vacuum–everywhere flat spacetime!

The specific expression for <math>P_0</math> can be written in full asymptotic Killing regalia, but it suffices here to write it in an asymptotically Cartesian coordinate frame at infinity, say putting the system at rest (<math>P_i=0</math>). The relevant "00" constraint is

<math>
R^0\equiv-\sqrt g\left[{}^3R+g^{-1}(\frac12\pi^2-\pi^{ij}\pi_{ij})\right]={\mathcal I}^0_{\ 0}. </math> where all metrics are in the intrinsic 3-space and <math>\pi^{ij}\equiv-\sqrt g (K^{ij}-g^{ij}K)</math> where <math>K^{ij}</math> is the second fundamental form (essentially the normal of the 3-space into 4-space), and <math>T^0_{\ 0}</math> the matter energy density. As we said earlier, <math>{}^3R</math> has a linear term in <math>h_{ij}</math> using the decomposition <math>g_{ij}=\delta_{ij}+h_{ij}\ ,</math> and this linear term is
<math>
R_L\equiv\nabla^2h_{ii}-\partial_{ij}^2 h_{ij}\equiv\nabla^2h^T, </math> making it similar to <math>\nabla\cdot E</math> in Maxwell. Its asymptotic value determines the total energy at spatial infinity; for the Schwarzschild solution, this gives <math>P_0=m\ .</math> Note that unlike the standard textbook definition, energy comes from the spatial metric rather than from <math>g_{00}\ ,</math> as explained in (Arnowitt et al. 1962).

The energy <math>E</math> of the gravitational field is just the numerical value of the Hamiltonian for a particular solution of the field equations. In obtaining this numerical value, the form of the Hamiltonian as a function of the canonical variables is irrelevant, and one may make use of the equation, <math>{\mathcal I}^0\,\!_0 = \nabla^2 g^T</math> to express <math>E</math> as a surface integral. One has then

<math>
P^0 \equiv E = -\int d^3r \nabla^2 g^T =- \oint dS_i g^T \!_{,i} =\oint dS_i (g_{ij,j} - g_{jj,i}) </math> where <math>dS_i</math> is the two-dimensional surface element at spatial infinity. (It should be emphasized that, while the energy and momentum are indeed divergences, the integrands in the Hamiltonian and in the space translation generators <math>{\mathcal I}^0\,\!_\mu [g^{TT},]</math> are not divergences when expressed as functions of the canonical variables.) Since <math>P^\mu</math> is constant, due to the fact that <math>{\mathcal I}^0\,\!_\mu</math> does not depend on <math>x^\mu</math> explicitly, it can be evaluated at any given time. For this purpose, one needs only those initial Cauchy data required to specify the state of the system uniquely. Prior to the imposition of coordinate conditions, these are <math>g_{ij}</math> and <math>\pi^{ij}</math> (and not, for example, <math>g_{0\mu}</math>) When any (asymptotically rectangular) coordinate conditions are imposed, one needs only the two pairs of canonical variables of that frame to specify the state of the system and, of course, to calculate <math>P^\mu\ .</math>

References

Internal references

Acknowledgements

This article summarizes original collaborative research with R. Arnowitt and C.W. Misner. This work was supported by NSF grant PHY 07-57190 and DOE-FG-02-92ER40701.(SD) Category:Physics Category:Space-Time and Gravitation Category:Eponymous

Add a custom footer
⚠️ **GitHub.com Fallback** ⚠️