Mollifications of contact mappings of Engel group

The contact mappings belonging to the metric Sobolev classes are studied on an Engel group with a left-invariant sub-Riemannian metric. In the Euclidean space one of the main methods to handle non-smooth mappings is the mollification, i. e., the convolution with a smooth kernel. An extra difficulty arising with contact mappings of Carnot groups is that the mollification of a contact mapping is usually not contact. Nevertheless, in the case considered it is possible to estimate the magnitude of deviation of contactness sufficiently to obtain useful results. We obtain estimates on convergence (or sometimes divergence) of the components of the differential of the mollified mapping to the corresponding components of the Pansu differential of the contact mapping. As an application to the quasiconformal analysis, we present alternative proofs of the convergence of mollified horizontal exterior forms and the commutativity of the pull-back of the exterior form by the Pansu differential with the exterior differential in the weak sense. These results in turn allow us to obtain such basic properties of mappings with bounded distortion as Hölder continuity, differentiability almost everywhere in the sense of Pansu, Luzin $\mathcal{N}$-property.