On the stability of classes of quasiregular mappings of several space variables (Q1374944)

Assume that \(U\) is a domain in \((\mathbb{R}^n)^k\) and \(f:U\to (\mathbb{R}^n)^m\) is a mapping of the domain \(U\) to the space \((\mathbb{R}^n)^m\). The mapping \(f\) is called a quasiregular mapping of several space variables if the following conditions are fulfilled: (i) \(f\) belongs to the Sobolev space \(W^1_{n,\text{loc}} (U,(\mathbb{R}^n)^m)\), (ii) there exists a constant \(K<\infty\) such that \(\sum_{i,j} |f_{i,j}'(x) |^n\leq K\cdot n^{n/2} \sum_{i,j} \text{det} f_{i, j}'(x)\), for almost all \(x\in U\). (Here for a matrix \(A=(a_{k,l})\) by \(\text{det} A\) we denote the determinant of a matrix \(A\) and by \(|A|= (\sum_{k,l} a^2_{k,l})^{1/2}\) we denote the Hilbert-Schmidt norm of \(A)\). The least such constant \(K\) is called a quasiregularity coefficient of a mapping \(f\) and is denoted by \(K(f)\). The mapping \(f\) is called \(K\)-quasiregular if \(K(f)\leq K\). For a given \(K\geq 1\) by \(G(K)= G^m_{n,k} (K)\) we denote the class of all \(K\)-quasiregular mappings of the domains of the space \((\mathbb{R}^n)^k\) to the space \((\mathbb{R}^n)^m\). By \(G= G^m_{n,k}\) we denote the class of all mappings \(g:U\to (\mathbb{R}^n)^m\) of the class \(C^\infty (U, (\mathbb{R}^n)^m)\), such that for every \(x\in U\), \(i\in \{1,2, \dots, m\}\), \(j=\{1,2, \dots, k\}\) the linear mapping \(g_{i,j}'(x): \mathbb{R}^n\to \mathbb{R}^n\) is either a constant mapping or a general orthogonal transformation that preserves the orientation. For \(k=m=1\), \(n\geq 3\), the class \(G=G^1_{n,1}\) coincides with the class of conformal mappings of the domains of the space \(\mathbb{R}^n\) that preserve orientation. The basic result of this work is the proof of a global proximity of the mappings from the class \(G(K)\) to the mappings from the class \(G\). This stability result is contained in the following theorem. Theorem. Assume that \(\rho\in(0,1)\). There exists a function \(\gamma(K)= \gamma_\rho(K)\), \(1\leq K<\infty\), such that (i) \(\lim_{K\to 1} \gamma(K)= \gamma (1)=0\), (ii) for any mapping \(f:B(a,r) \to(\mathbb{R}^n)^m\) of the ball \(B(a,r) \subset (\mathbb{R}^n)^k\) from the class \(G(K)\), \(K\geq 1\) there exists the mapping \(g:B(a,r) \to(\mathbb{R}^n)^m\) of the class \(G\), such that \(|f(x)-g(x)|\leq\gamma (K)\text{diam} f(B(a,r))\), for all \(x\in B(a,\rho r)\).