Sets with finite H-perimeter and controlled normal
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.
- A proof by calibration of an isoperimetric inequality in the Heisenberg group \({\mathbb{H}}^{n}\)
- Differentiability of intrinsic Lipschitz functions within Heisenberg groups
- Distributional solutions of Burgers' equation and intrinsic regular graphs in Heisenberg groups
- scientific article; zbMATH DE number 3868094 (Why is no real title available?)
- Intrinsic Lipschitz graphs in Heisenberg groups
- Intrinsic regular graphs in Heisenberg groups vs. weak solutions of non-linear first-order PDEs
- Intrinsic regular hypersurfaces in Heisenberg groups
- Intrinsic regular submanifolds in Heisenberg groups are differentiable graphs
- Isoperimetric and Sobolev inequalities for Carnot-Carath�odory spaces and the existence of minimal surfaces
- Rectifiability and perimeter in the Heisenberg group
- Regularity properties of \(H\)-convex sets
- Lipschitz approximation of \(\mathbb H\)-perimeter minimizing boundaries
- The Gauss-Green theorem in stratified groups
- A proof by calibration of an isoperimetric inequality in the Heisenberg group \({\mathbb{H}}^{n}\)
- Smooth approximation for intrinsic Lipschitz functions in the Heisenberg group
- Multiexponential maps in Carnot groups with applications to convexity and differentiability
- Variation formulas for H-rectifiable sets
- Metric normal and smoothness of the distance function in the Heisenberg group
- Eulerian, Lagrangian and Broad continuous solutions to a balance law with non-convex flux. I.
- Regularity of sets with constant horizontal normal in the Engel group
- Minimal surfaces and harmonic functions in the Heisenberg group
- The integral of the normal and fluxes over sets of finite perimeter
- Lipschitz graphs and currents in Heisenberg groups
- Regularity estimates for continuous solutions of \(\alpha\)-convex balance laws
- Intrinsic rectifiability via flat cones in the Heisenberg group
- Intrinsic Lipschitz graphs in Carnot groups of step 2
- scientific article; zbMATH DE number 2217310 (Why is no real title available?)
- Poincaré-type inequality for Lipschitz continuous vector fields
- Distributional solutions of Burgers' type equations for intrinsic graphs in Carnot groups of step 2
- Area-minimizing properties of Pansu spheres in the sub-Riemannian 3-sphere
- Characterizations of uniformly differentiable co-horizontal intrinsic graphs in Carnot groups
- Intrinsically Lipschitz sections and applications to metric groups
- Regularity properties of \(H\)-convex sets
- Distributional solutions of Burgers' equation and intrinsic regular graphs in Heisenberg groups
This page was built for publication: Sets with finite \(\mathbb{H}\)-perimeter and controlled normal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q663231)
