An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic spinors and the Lichnerowicz formula in Witten's argument is replaced by that of harmonic functions and a formula introduced by the fourth named author in recent work, while the level sets of harmonic functions take on a role similar to that of the Schoen-Yau minimal hypersurfaces.

We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth 'spacetime harmonic functions' in addition to the energymomentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data possess a boundary. A corollary of this result is a new proof of the spacetime positive mass theorem for complete initial data or those with weakly trapped surface boundary, and includes the rigidity statement which asserts that the mass vanishes if and only if the data arise from Minkowski space. The proof has some analogy with both the Witten spinorial approach as well as the marginally outer trapped surface (MOTS) method of Eichmair, Huang, Lee, and Schoen. Furthermore, this paper generalizes the harmonic level set technique used in the Riemannian case by Bray, Stern, and the second and third authors, albeit with a different class of level sets. Thus, even in the time-symmetric (Riemannian) case a new inequality is achieved. D. Kazaras acknowledges the support of NSF Grant DMS-1547145. M. Khuri acknowledges the support of NSF Grant DMS-1708798.

No abstract

In the pioneering work of Stern [73], level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent results in this context, focusing on applications of spacetime harmonic functions to the asymptotically flat and asymptotically hyperbolic versions of the spacetime positive mass theorem, and additionally introduce a new concept of total mass valid in both settings which is encoded in interpolation regions between generic initial data and model geometries. Furthermore, a novel and elementary proof of the positive mass theorem with charge is presented, and the level set approach to the Penrose inequality given by Huisken and Ilmanen is related to the current developments. Lastly, we discuss several open problems.

We prove a differential Harnack inequality for the Endangered Species Equation, which is a nonlinear parabolic equation. Our derivation relies on an idea related to the parabolic maximum principle. As an application of this inequality, we will show that positive solutions to this equation must blow up in finite time.