On the Lebesgue measure of the boundary of the evoluted set

Abstract

The evoluted set is the set of configurations reached from an initial set via a fixed flow for all times in a fixed interval. We find conditions on the initial set and on the flow ensuring that the evoluted set has negligible boundary (i.e. its Lebesgue measure is zero). We also provide several counterexample showing that the hypotheses of our theorem are close to sharp.