In this paper, the properties of the maps for the Heisenberg group targets are studied. For u e∈W1,α(Ω, Hm), some Poincare type inequalities are proved. For the energy minimizers, the ∈-regularity theorems and the singularity theorems are obtained.
The aim of this paper is to get the decomposition of distributional derivatives of functions with bounded variation in the framework of Carnot-Caratheodory spaces (C-C spaces in brievity) in which the vector fields are of Carnot type. For this purpose the approximate continuity of BV functions is discussed first, then approximate differentials of L1 functions are defined in the case that vector fields are of Carnot type and finally the decomposition Xu = (?)u ·Ln + X2 u is proved, where u ∈ BVx(?) and (Ω)u denotes the approximate differential of u.