Mappings with bounded \((P,Q)\)-distortion on Carnot groups (Q1957955)

The present paper is devoted to the study of mappings with bounded and finite distortion, intensively investigated in the last decade by many leading experts in mapping theory. More precisely, the mappings with bounded distortion introduced by Yu. G. Reshetnyak are investigated in Carnot groups. For a given Carnot group \({\mathbb G}\), a domain \(\Omega\subset {\mathbb G}\) and \(1\leq q\leq p<\infty\), a continuous, open and discrete mapping \(f:\Omega\rightarrow {\mathbb G}\) is said to be a mapping with bounded \((p, q)\)-distortion if \(f\) has the \(N\) property of Luzin, \(f\in W_{loc}^{1,1}(\Omega)\), the Jacobian \(J(x, f)\) is \(\geq 0\) a.e., \(J(x, f)\in L_{loc}^1(\Omega)\), and \(\| f^{\,\prime}(x)\|\leq k(x)J(x, f)^\frac{1}{p}\) for some function \(k(x)\) such that \(k(x)\in L^k(\Omega)\), where \(1/k=1/q-1/p\), \(k=\infty\) as \(q=p\). The main results of the paper are the following. Suppose \(f\) is a mapping of bounded \((p,q)\)-distortion from the Carnot group \({\mathbb G}\) to \({\mathbb G}\), \(\nu-1<q\leq p\leq\nu\). Then \[ \text{cap}\,\big({\mathbb G}\setminus f ({\mathbb G}), W_s^1(\mathbb G)\big)=0\quad \text{for}\quad s=\frac{p}{p-\nu+1}. \] The above statement, published in the present paper as Theorem A, is an analogue of well-known Liouville theorem, which was proved by Yu. G. Reshetnyak in 1968 for mappings with bounded distortion in \({\mathbb R}^n\), and was generalized by O. Martio, S. Rickman and J. Väisälä in 1970 in the context of the behavior of space quasiregular mappings at a neighborhood of infinity. Another conclusion of the authors is Theorem B, which states the following. Suppose \(f:\Omega\setminus F\rightarrow {\mathbb G}\) is a mapping of bounded \((p, q)\)-distortion, \(p\geq q\geq \nu\), where \(F\) is a closed subset of \(\Omega\) such that \[ \text{cap}\,\big(F, W_{\text{loc}}^{1, s}\big)=0, \qquad s=\frac{p}{p-\nu+1}. \] Then \(f\) extends continuously to \(F\) if \(p\geq q>\nu\). This generalizes the result on removability of isolated singularities for mappings of bounded distortion proved in 1970 by O. Martio, S. Rickman and J. Väisälä in \({\mathbb R}^n\). The results of the paper can be applied to many problems of space mappings in mapping theory.