Sharp gradient estimate, rigidity and almost rigidity of Green functions on non-parabolic RCD(0, N ) spaces

Shouhei Honda,Yuanlin Peng
DOI: https://doi.org/10.1017/prm.2024.131
2024-01-18
Proceedings of the Royal Society of Edinburgh Section A Mathematics
Abstract:Inspired by a result in T. H. Colding. (16). Acta. Math.209(2) (2012), 229-263 [16] of Colding, the present paper studies the Green function on a non-parabolic space for some finite . Defining for a point , which plays a role of a smoothed distance function from , we prove that the gradient has the canonical pointwise representative with the sharp upper bound in terms of the -volume density of at ; Moreover the rigidity is obtained, namely, the upper bound is attained at a point if and only if the space is isomorphic to the -metric measure cone over an space. In the case when is an -regular point, the rigidity states an isomorphism to the -dimensional Euclidean space , thus, this extends the result of Colding to spaces. It is emphasized that the almost rigidities are also proved, which are new even in the smooth framework.
mathematics, applied
What problem does this paper attempt to address?