2017/02/24 by Adamowicz, Tomasz, Warhurst, Ben
#31E05 #35H20 #53C17 #Analysis of PDEs (math.AP) #Classical Analysis and ODEs (math.CA) #FOS: Mathematics
paper · doi:10.48550/arxiv.1702.07642
We study strongly harmonic functions in Carnot-Carathéodory groups defined via the mean value property with respect to the Lebesgue measure. For such functions we show their Sobolev regularity and smoothness. Moreover, we prove that strongly harmonic functions satisfy the sub-Laplace equation for the appropriate gauge norm and that the inclusion is sharp. We observe that spherical harmonic polynomials in ℍ1 are both strongly harmonic and satisfy the sub-Laplace equation. Our presentation is illustrated by examples.