Sets with finite \(\mathbb{H}\)-perimeter and controlled normal (Q663231): Difference between revisions

With the Heisenberg group \(H^n\), \(n\geq 1\) identified with \(C^n \times \mathbb R\), a Lebesgue measurable set \(E\subset H^n\) is said to be of finite \(H\)-perimeter in the open set \(\Omega\subset H^n\) if \(\sup\{\int_{E} div_H \psi dz dt : \psi = (\psi_1, \dots , \psi_{2n})\in C^{1}_c(\Omega, \mathbb R^{2n}), \|\psi\|_{\infty}\leq 1\} < +\infty\); if \(E\) has finite \(H\)-perimeter in \(\Omega\), then there exists a finite Borel measure \(|\mathcal \delta E|_H\) in \(\Omega\) and a Borel mapping \(\gamma_{E} : \Omega \rightarrow S^{2n-1}\), the unit sphere of \(\mathbb R^{2n}\), such that for any \(\psi\in C^{1}_c(\Omega, \mathbb R^{2n})\) \(\int_{E} div_H \psi dz dt = -\int_{\Omega}<\psi,\gamma_{E}> d|\mathcal \delta E|_H\) holds; \(\gamma_{E}\) is called the measure theoretic inward normal of \(E\). Defining the homogeneous norm of \(p = (z,t)\in C^{n}\times \mathbb R\) as \(\|p\| = \max\{|z|,|t|^\frac{1}{2}\}\), the ball centered at \(p\in H^{n}\) with \(r>0\) is denoted by \(B_r(p) = \{q\in H^{n}: \|p^{-1}.q\|<r\}\); when \(p = 0\), \(B_r = B_r(0)\). A set \(S\subset H^{n}\) is said to be an \(H\)-regular surface if for any \(p\in S\) there exists an open neighbourhood \(U\) of \(p\) and a function \(f\in C'_H(U)\) such that \(\nabla_Hf(p) \neq 0\) and \(S\cap U = \{q\in U : f(q) = 0\}\)---where \(C'_H(U) = \{f\in C(U) : \nabla_Hf\in C(U, \mathbb R^{2n})\) exists in distributional sense\}. There are two basic results in the article: 1. With assumption that there exists \(k\in (0,1]\) such that \(<\gamma_{E}(p),\gamma>\leq - k\) for \(|\mathcal \delta E|_H\) - a.e. \(p\in B_r\) where \(E\subset rH^{n}\) is a set with \(H\)-perimeter in \(B_r\), \(r>0\), \(\gamma_{E}\) the measure theoretic inward normal of \(E\), and \(\gamma\in S^{2n-1}\), it has been established that there exists \(\alpha > 0\) such that, possibly modifying \(E\) in a negligible set, we have for all \(p\in \mathcal \delta E\cap B_r\), \(\{q\in B_r : \|\gamma^{\bot}(p^{-1}.q)\| < - \alpha<p^{-1}.q,\gamma>\}\subset E\), and \(\{q\in B_r : \|\gamma^{\bot}(p^{-1}.q)\| <\) \(\alpha <p^{-1}.q,\gamma>\}\subset H^{n}\setminus E\). 2. If there exists a continuous mapping \(\widetilde{\gamma} : B_r \rightarrow S^{2n-1}\) such that \(\gamma_{E}(p) = \widetilde{\gamma}(p)\) for \(|\mathcal \delta E|_H\) - a.e. \(p\in B_r\) where \(E\subset H^{n}\) is a set with finite \(H\)-perimeter in \(B_r\), \(r>0\), then, possibly modifying \(E\) in a \(\mathcal L^{2n+1}\)-negligible set, \(\mathcal \delta E \cap B_r\) is an \(H\)-regular surface.