A semigroup version of the isoperimetric inequality (Q1434121)

The isoperimetric inequality in \({\mathbb R}^n\) states the following principle. Let \(A\), \(B\) be subsets of \({\mathbb R}^n\) with the same volume, \(B\) a Euclidean ball and denote by \(| {\partial}A|\), \(| {\partial}B|\) the respective measure of the surfaces \({\partial}A\) and \({\partial}B\). Then the inequality \(| {\partial}A|\geq |{\partial}B|\) holds. In the present paper, the author develops a semigroup version of this inequality. For this purpose, the notion of perimeter of a Cacciopoli set (introduced by E.~De Giorgi) yields the appropriate measure theoretical background. In the proofs, the author uses properties of the heat semigroup as well as its explicit integral representation.