Some fine properties of sets of finite perimeter in Ahlfors regular metric measure spaces (Q5933429)

Let \((X,d)\) be a complete metric space and let \(\mu\) be an Ahlfors regular Borel measure on \(X\) with the exponent \(k\). Assume that the weak \((1,1)\)-Poincaré inequality holds in the metric measure space \((X,d,\mu)\), that is, there are constants \(C>0\) and \(\lambda\geq 1\) such that for all \(x\in X\), \(0<\rho<{\text{diam}}(X)\), and locally Lipschitz functions \(u\in{\text{Lip}}_{\text{loc}}(X)\) \[ \int_{B(x,\rho)}|u(y)-u_{x,\rho}|d\mu(y)\leq C\rho \int_{B(x,\lambda\rho)}|\triangledown u|(y) d\mu(y). \] Here \(u_{x,\rho}\) is the mean value of \(u\) in \(B(x,\rho)\) and \(|\triangledown u|\) is an upper gradient of \(u\) according to \textit{J. Heinonen} and \textit{P. Koskela} [Acta Math. 181, No. 1, 1-61 (1998; Zbl 0915.30018)]. In the paper under review properties of sets of finite perimeter are considered. The perimeter of a Borel set \(E\subset X\) in an open set \(A\subset X\) is defined by \[ P(E,A)=\inf\biggr\{\liminf_{h\to\infty}\int_A|\triangledown u_h|d\mu :(u_h)\subset{\text{Lip}}_{\text{loc}}(A){\text{ and }}u_h\to\chi_E {\text{ in }}{\text{ L}}_{\text{loc}}^1(A)\biggr\} \] where \(\chi_E\) is the characteristic function of \(E\). The set \(E\) has finite perimeter in \(X\) if \(P(E,X)<\infty\). In the main theorems the author considers the set where the perimeter measure \(P(E,\cdot)\) is concentrated, gives a representation of \(P(E,\cdot)\) in terms of the \((k-1)\)-dimensional Hausdorff measure, proves lower density estimates for both perimeter and area, and as a corollary, an asymptotic doubling property for perimeter measure. For the purpose of proving these theorems, some special properties of perimeter measure are verified, for example the asymptotic quasi-minimality (Proposition 4.4) and the absolute continuity with respect to the \((k-1)\)-dimensional Hausdorff measure.