Integral representation of local left--invariant functionals in Carnot groups

The aim of this note is to prove a representation theorem for left--invariant functionals in Carnot groups. As a direct consequence, we can also provide a $\Gamma$-convergence result for a smaller class of functionals.