A quasiconformal composition problem for the \(Q\)-spaces (Q522512)

The paper is devoted to study of quasiconformal mappings and mappings of finite distortion actively investigated last time. Let \(C_f\) be a composition operator, defined as \(C_f(u)=u\circ f\). Define so-called \(Q\)-spaces \(Q_{\alpha}({\mathbb R}^n)\) as spaces of functions depending on some parameter \(0<\alpha<1,\) for which \(\sup\) of some integrals is finite over all \(x_0\in {\mathbb R}^n\). A quasiconformal composition problem for the \(Q\)-spaces is to prove or disprove the boundedness of the composition operator \(C_f\) on \(Q_{\alpha}({\mathbb R}^n)\) with \(\alpha\in(0, 1).\) Given a quasiconformal mapping \(f\) of \({\mathbb R}^n\) on \({\mathbb R}^n,\) authors have solved this problem whenever the Jacobian of \(f\) belongs to some Muckenhoupt class \(A_1({\mathbb R}^n; E)\). Under conditions mentioned above, is proved that \(C_f\) is bounded on \(Q_{\alpha}({\mathbb R}^n)\) for all \(\alpha\in (0, 1)\) whenever \(E\) is bounded set with the local self-similar Minkowski dimension \(\overline{\dim}_LE\) satisfies the condition \(\overline{\dim}_LE\in [0, n-2].\) This statement also holds for unbounded set \(E\) whose global self-similar Minkowski dimension \(\overline{\dim}_{LG}E\) satisfies the condition \(\overline{\dim}_{LG}E\in [0, n-2].\)