Accepted Paper
Inserted: 2 sep 2013
Last Updated: 24 jul 2015
Journal: Calc. Var. PDE
Year: 2015
Abstract:
A Federer-type characterization of Euclidean sets of finite perimeter states that a set has finite perimeter if and only if its essential boundary (measure-theoretic boundary) has finite (n-1)-dimensional Hausdorff measure. Here we show that if a metric measure space, equipped with a doubling measure, supports a Semmes family of curves satisfying certain geometric conditions, then a measurable set has finite perimeter if and only if the co-dimension 1 Hausdorff measure of its measure-theoretic boundary is finite. The fact that if a measurable set has finite perimeter then its measure-theoretic boundary has finite co-dimension 1 Hausdorff measure is due to Ambrosio. To prove the converse, in this paper we first show a characterization of BV functions in terms of "BV along Semmes family of curves".
Download: