Mappings of bounded variation and the method of moduli (Q1897217)

Let \(S_p(G)\) be the family of continuous functions \(f: G \to E^n\) such that the Suvorov \(p\)-variation \[ V_p(f,G)=\int_G \Lambda_f^p(x)dx<\infty, \] where \(E^n\) is the Euclidean \(n\)-space, \(G\subset E^n\) a domain and \(\Lambda_f(x)= \varlimsup_{\Delta x\to 0} \frac{|f(x+\Delta x)-f(x)|} {|\Delta x|}\), let \(W_p^1(G)\) \((p\geq 1)\) be the Sobolev class and \(K(G)\) the class of mappings \(f\in W_1^1(G)\) quasiconformal in the mean, i.e. such that \(\int_G \frac{|J(x, f)|} {\lambda_f(x)^n}dx<\infty\), where \(J(f,x)\) is the Jacobian of \(f\), while \(\lambda_f(x)=\varlimsup_{\Delta x\to 0} \frac{|f(x+\Delta x)-f(x)|} {|\Delta x|}\). If \(f:G \rightarrow D\subset E^n\), \(f\in W_p^1(G)\), \((p>n-1)\) and \(f^{-1}\) have Luzin \(N\)-property, then, \([f\in S_n(G)]\Rightarrow [f^{-1}\in K(D)]\) and \([f\in K(G)\cap W_n^1(G)] \Rightarrow [f^{-1}\in S_n (D)]\). Let \(M_p(S)= \inf_\mu \int_G \mu(x)^p dx\) be the module of a family \(S=\sigma\) of \(H_{n-1}\)-measure sets \(\sigma\subset G\) \{not ``the family \(S\)'' as in the English translation of the paper\}, where \(\mu\) is a non-negative Borel function in \(G\) such that \(\int_\sigma \mu(x) H_{n-1}(dx)\geq 1\) for all \(\sigma\in S\) and \(H_{n-1}\) is the \((n-1)\)-dimensional Hausdorff measure in \(E^n\). The author establishes (Theorem 1) that if \(f\in S_{np}(G)\) \((p\geq 1)\), \(J(x,f)\neq 0\) a.e. in \(G\), \(w\in C^1(G)\), \(V(y)= u[f^{-1}(y)]\) and \(S\) is the family of all level surfaces \(u^{-1}(r)\), \(r\in u(G)\), then, \[ \frac{\{\inf_{r\in u(G)}H_{n-1}[v^{-1}(r)]\}^n} {\sup_{r\in u(G)}H_{n-1}[u^{-1}(r)]} \leq\;\biggl( \frac{V_{np}(f,G)} {M_p(S)}\biggr)^{(n-1)/p}. \] With \(u\) and \(S\) as in the preceding theorem, he shows (Lemma 2) that \[ M_p(S)= \int_{u(G)} \Biggl[ \int_{u^{-1}(r)}|\nabla u(x)|^{1/(p-1)} H_{n-1}(dx) \Biggr]^{1-p} dr. \] By means of this lemma and a lower bound of \(M_p(S)\) obtained by him, Ju. A. Peshkichev establishes for the homeomorphisms \(f\in S_{np}(G)\) a multi-dimensional analogue of Hölder continuity of a mapping \(f:G\rightarrow E^n.\)