Rectifiability and perimeter in the Heisenberg group (Q5953583): Difference between revisions

From MaRDI portal
Normalize DOI.
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/S002080100228 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S002080100228 / rank
 
Normal rank

Latest revision as of 12:19, 9 December 2024

scientific article; zbMATH DE number 1695175
Language Label Description Also known as
English
Rectifiability and perimeter in the Heisenberg group
scientific article; zbMATH DE number 1695175

    Statements

    Rectifiability and perimeter in the Heisenberg group (English)
    0 references
    0 references
    0 references
    16 June 2002
    0 references
    The authors investigate the properties of \({\mathcal H}\)--Caccioppoli sets in the \(n\)--dimensional Heisenberg group \({\mathcal H}^n\). In particular, they are interested in the study of rectifiability results for the reduced boundary of \({\mathcal H}\)--Caccioppoli sets. In order to do that, some technical tools are introduced. First of all, a good and intrinsic notion of regular sets is needed; for this reason, the authors give the definition of \({\mathcal H}\)--regular functions and define regular sets as the regular level sets of such functions. In order to deal with this definition, a very important role is played by the Implicit Function Theorem proved in this paper for \({\mathcal H}\)--regular functions. Once these basic tools are introduced, the authors are able to prove that an \({\mathcal H}\)--Caccioppoli set is \({\mathcal H}\)--rectifiable in the sense that almost all of the reduced boundary of an \({\mathcal H}\)--Caccioppoli set is contained in a countable union of \({\mathcal H}\)--regular sets. Moreover, the following representation formula for the perimeter measure is given \[ | \partial E| _{\mathcal H}=\frac{2\omega_{2n-1}}{\omega_{2n+1}}{\mathcal S}^{Q-1}_d \lfloor \partial ^* _{{\mathcal H}}E, \] where \(| \partial E| _{\mathcal H}\) is the \({\mathcal H}\)--perimeter, \(Q\) is the homogeneous dimension of \({\mathcal H}^n\), \(d\) is the left-invariant metric induced by the homogeneous norm \[ \| P\|_\infty =\max\{ | z| ,| t| ^{1/2}\},\quad P=[z,t], z\in {\mathbb C}^n,t\in {\mathbb R}, \] \({\mathcal S}^{Q-1}_d\) is the spherical Hausdorff measure and \(\partial ^*_{\mathcal H}E\) is the essential boundary of \(E\).
    0 references
    perimeter
    0 references
    rectifiability
    0 references
    Heisenberg group
    0 references
    Caccioppoli set
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references