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