Isoperimetric sets in spaces with lower bounds on the Ricci curvature (Q2132486)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Isoperimetric sets in spaces with lower bounds on the Ricci curvature |
scientific article |
Statements
Isoperimetric sets in spaces with lower bounds on the Ricci curvature (English)
0 references
28 April 2022
0 references
The authors extend the basic regularity theory for sets minimizing a functional under a volume constraint in the smooth setting [\textit{E. Gonzalez} et al., Indiana Univ. Math. J. 32, 25--37 (1983; Zbl 0486.49024)] to non-collapsed \(\mathrm{RCD}(K,N)\) spaces \((X,d,\mathcal{H}^N\)) in the following way: Volume-constrained minimizers of quasi-perimeters on a non-collapsed \(\mathrm{RCD}(K,N)\) space (\(K\in \mathbb{R}, 2\leq N\in\mathbb{Z}\)) with a uniform bound from below on the volume of unit balls are open bounded sets with \((N-1)\)-Ahlfors regular topological boundary coinciding with the essential boundary. Here a quasi-perimeter is a functional given by the sum of the usual perimeter and of a suitable continuous term, i.e., \(\mathcal{P}:=P+G\), where \(P\) is the perimeter and \(G\): \{\(\mathcal{H}^N\)-measurable sets in X\}/\(\sim\) \(\to (-\infty,+\infty]\) satisfies \(E \sim F\) iff \(\mathcal{H}^N(E \triangle F)=0\), \(G(\emptyset)<+\infty\), and \(G(E)\leq G(F)+ C_G\mathcal{H}^N(E \triangle F)^\rho\), with \(C_G>0, \rho>1-1/N\), for any Borel sets \(E, F\subset X\). The relative version of the theorem is also proved by the authors. The authors note that the condition \(2\leq N\) plays a key role and it is not clear whether the result above holds for spaces (\(X,d,\mu\)) with generic reference measure \(\mu\). The authors modify the deformation lemma in the Euclidean spaces to a new one. That is, for an \(\mathrm{RCD}(k,N)\) space (\(X,d,\mu\)) and \(R>0\), there exists \(C_{K,N,R}>0\) such that \[ P(E\setminus B_r(x))\leq \frac{C_{K,N,R}}{r} \mu(E\cap B_r(x))+P(E) \] and \[ P(E\cup B_r(x))\leq \frac{C_{K,N,R}}{r} \mu(B_r(x)\setminus E)+P(E) \] for every \(r\in (0, R)\), \(x\in X\), and a finite perimeter set \(E\subset X\). Then, the authors use the new deformation lemma to prove the above theorems.
0 references
RCD spaces
0 references
quasi-perimeters
0 references
volume constrained minimizers
0 references
deformation lemma
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references