Suppose that the two-surface for which
is defined is embedded in the spacelike hypersurface
.
Let
be the extrinsic curvature of
in
and
the extrinsic curvature of
in
. (In
Section 4.1.2 we denote the latter by
.) Then
, by means of which
The calculation of the small sphere limit of the Geroch energy was saved by observing [275] that, by
Eq. (6.4), the difference of the Hawking and the Geroch energies is proportional to
. Since, however,
– for the family of small spheres
– does not tend to zero in
the
limit, in general, this difference is
. It is zero if
is spanned by spacelike geodesics
orthogonal to
at
. Thus, for general
, the Geroch energy does not give the expected
result. Similarly, in vacuum, the Geroch energy deviates from the Bel–Robinson energy in
order even if
is geodesic at
.
Since and since the Hawking energy tends to the ADM energy, the large sphere limit
of
in an asymptotically flat
cannot be greater than the ADM energy. In fact, it is also
precisely the ADM energy [207
].
For a definition of Geroch’s energy as a quasi-local energy oparator in loop quantum gravity,
see [565].
The Geroch energy has interesting positivity and monotonicity properties along a special flow in
[207
, 291
]. This flow is the inverse mean curvature flow defined as follows. Let
be a
smooth function such that
Let be the lapse function of this foliation, i.e., if
is the outward directed unit normal to
in
, then
. Denoting the integral on the right-hand side in Eq. (6.4
)
by
, we can calculate its derivative with respect to
. In general this derivative does
not seem to have any remarkable properties. If, however, the foliation is chosen in a special
way, namely if the lapse is just the inverse mean curvature of the foliation,
where
, and furthermore
is maximal (i.e.,
) and the energy density of the matter is
non-negative, then, as shown by Geroch [207],
holds. Jang and Wald [291] modified
the foliation slightly, such that
, and the surface
was assumed to be future
marginally trapped (i.e.,
and
). Then they showed that, under the conditions above,
. Since
tends to the ADM energy as
, these
considerations were intended to argue that the ADM energy should be non-negative (at least for maximal
) and not less than
(at least for time-symmetric
), respectively. Later
Jang [289
] showed that, if a certain quasi-linear elliptic differential equation for a function
on
a hypersurface
admits a solution (with given asymptotic behavior), then
defines a
mapping between the data set
on
and a maximal data set
(i.e., for which
) such that the corresponding ADM energies coincide. Then Jang
shows that a slightly modified version of the Geroch energy is monotonic (and tends to the
ADM energy) with respect to a new, modified version of the inverse mean curvature foliation of
.
The existence and the properties of the original inverse-mean–curvature foliation of above
were proven and clarified by Huisken and Ilmanen [278
, 279
], giving the first complete proof of the
Riemannian Penrose inequality, and, as proven by Schoen and Yau [444], Jang’s quasi-linear elliptic
equation admits a global solution.
http://www.livingreviews.org/lrr-2009-4 |
Living Rev. Relativity 12, (2009), 4
![]() This work is licensed under a Creative Commons License. E-mail us: |