The goal of the paper is to prove an exact representation formula for
the Laplacian of the distance (and more generally for an arbitrary
-Lipschitz
function) in the framework of metric measure spaces satisfying Ricci curvature
lower bounds in a synthetic sense (more precisely in essentially nonbranching
-spaces).
Such a representation formula makes apparent the classical upper bounds together
with lower bounds and a precise description of the singular part. The exact
representation formula for the Laplacian of a general 1-Lipschitz function holds also
(and seems new) in a general complete Riemannian manifold.
We apply these results to prove the equivalence of
and a dimensional Bochner inequality on signed distance functions.
Moreover we obtain a measure-theoretic splitting theorem for
infinitesimally Hilbertian, essentially nonbranching spaces satisfying
.
PDF Access Denied
We have not been able to recognize your IP address
18.97.9.175
as that of a subscriber to this journal.
Online access to the content of recent issues is by
subscription, or purchase of single articles.
Please contact your institution's librarian suggesting a subscription, for example by using our
journal-recommendation form.
Or, visit our
subscription page
for instructions on purchasing a subscription.