an:05011501
Zbl 1087.28003
Chleb??k, Miroslav; Cianchi, Andrea; Fusco, Nicola
The perimeter inequality under Steiner symmetrization: cases of equality
EN
Ann. Math. (2) 162, No. 1, 525-555 (2005).
00122487
2005
j
28A75 26B15 49Q15 52A38 52A40 26D20
Steiner symmetrization; perimeter; Hausdorff measure; connectedness; geometric measure theory; Lebesgue measure; Lebesgue representative; Lebesgue points of Sobolev functions
The main property of perimeter in connection with Steiner symmetrization is that if \(E\) is any set of finite perimeter \(P(E)\) in \(\mathbb{R}^n\), \(n\geq 2\), and \(H\) is any hyperplane, then also its Steiner symmetral \(E^S\) about \(H\) is of finite perimeter and
\[
P(E^S) \leq P(E).
\]
This paper presents a characterization of the sets whose perimeter is preserved under this symmetrization. It is possible to assume without loss of generality that \(H= \{ (x',0): x'\in \mathbb{R}^{n-1} \}\). Let \(\Omega\) denote an open set in \(\mathbb{R}^{n-1}\). The authors find the following minimal assumptions to ensure the equivalence (up to translation) between sets \(E\) and \(E^S\) such that \(P(E^S)=P(E)\): 1) \(\partial ^* E^S\) cannot have flat parts along the \(y\)-axis in \(\Omega \times \mathbb{R}\) with outer \((n-1)\)-dimensional measure strictly positive. (\(\partial ^*\) denotes the reduced boundary operator). 2) No (too large) subset of \(E^S\cap(\Omega \times\mathbb{R})\) shrinks along the \(y\)-axis enough to be contained in \(\Omega \times \{0\}\). The authors also provide a local symmetry result for \(E\) on any cylinder parallel to the \(y\)-axis having the form \(\Omega \times \mathbb{R}\). The proofs involve quite subtle matters requiring delicate tools from geometric measure theory.
Salvador Gomis (Alicante)