In groups of Heisenberg type we introduce a large class of domains, which we call ADP, admissible for the Dirichlet problem , and we prove that on the boundary of such domains, harmonic measure, ordinary surface measure, and the perimeter measure, are mutually absolutely continuous. We also establish the solvability of the Dirichlet problem when the boundary datum belongs to L p , 1 < p ≤ ∞, with respect to the ordinary surface measure. Here, the harmonic measure is that relative to a sub-Laplacian associated with a basis of the first layer of the Lie algebra. A domain is called ADP if it is a nontangentially accessible domain and it satisfies an intrinsic outer ball condition.
Abstract. We prove the hypoellipticity for systems of Hörmander type with constant coefficients in Carnot groups of step 2. This result is used to implement blow-up methods and prove partial regularity for local minimizers of non-convex functionals, and for solutions of non-linear systems which appear in the study of non-isotropic metric structures with scalings. We also establish estimates of the Hausdorff dimension of the singular set.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.