Sobolev-type integral representations for functions defined on Carnot groups

We obtain some integral representations of the form $f(x)=P(f)+K(\nabla f)$ on the Carnot groups, where $P(f)$ is a polynomial and $K$ is an integral operator with a specific singularity. These representations are employed to prove the weak Poincaré inequality.