On the Penrose inequality along null hypersurfaces

Abstract

The null Penrose inequality, i.e. the Penrose inequality in terms of the Bondi energy, is studied by introducing a functional on surfaces and studying its properties along a null hypersurface Ω extending to past null infinity. We prove a general Penrose-type inequality which involves the limit at infinity of the Hawking energy along a specific class of geodesic foliations called Geodesic Asymptotically Bondi (GAB), which are shown to always exist. Whenever this foliation approaches large spheres, this inequality becomes the null Penrose inequality and we recover the results of Ludvigsen–Vickers (1983 J. Phys. A: Math. Gen. 16 3349–53) and Bergqvist (1997 Class. Quantum Grav. 14 2577–83). By exploiting further properties of the functional along general geodesic foliations, we introduce an approach to the null Penrose inequality called the Renormalized Area Method and find a set of two conditions which imply the validity of the null Penrose inequality. One of the conditions involves a limit at infinity and the other a restriction on the spacetime curvature along the flow. We investigate their range of applicability in two particular but interesting cases, namely the shear-free and vacuum case, where the null Penrose inequality is known to hold from the results by Sauter (2008 PhD Thesis Zürich ETH), and the case of null shells propagating in the Minkowski spacetime. Finally, a general inequality bounding the area of the quasi-local black hole in terms of an asymptotic quantity intrinsic of Ω is derived.