Bounded compositions on scaling invariant Besov spaces (Q2253121)

The homogeneous, scaling invariant Besov space \(\dot{B}^s_{p,q}(\mathbb{R}^n)\), \(0<s<1\), \(1 \leq p,q \leq \infty\) is the collection of all measurable functions \(f\) for which the following norm is finite: \[ \|f\|_{\dot{B}^s_{p,q}(\mathbb{R}^n)}:=\left(\int_{\mathbb{R}^n}|h|^{-qs}\left(\int_{\mathbb{R}^n}|f(x+h)-f(x)|^p dx\right)^{q/p}\frac{dh}{|h|^n}\right)^{1/q}. \] Let \(n \geq 2\) and \(p=n/s\) for some \(0<s<1\). The main purpose of the present paper is to characterize the homeomorphisms \(\varphi :{\mathbb{R}^n} \to {\mathbb{R}^n}\) for which the composition operator \(C_{\varphi}\) induced by \(\varphi\) is bounded on \(\dot{B}^s_{p,q}(\mathbb{R}^n)\). It is shown that, if \(1<q<\infty\), then \(\varphi\) is quasiconformal; if further \(q \neq n/s\), then \(\varphi\) is bi-Lipschitz. For \(0<q \leq 1\), \(\varphi\) becomes bi-Lipschitz provided that \(\varphi \in W^{1,1}_{\mathrm{loc}} (\mathbb{R}^n)\). Considering a Besov space on a bounded domain \(\Omega \subseteq \mathbb{R}^n\), if \(\varphi : \dot{B}^s_{n/s,q}(\Omega) \longrightarrow \dot{B}^s_{n/s,q}(\varphi ^{-1}(\Omega))\) is uniformly bounded, when \(0<q \leq 1\), it is proved that \(\varphi\) is bi-Lipschitz. Similar results are established for Besov-type function spaces on some metric measure spaces. The last section is devoted to obtain similar results for scaling invariant Triebel-Lizorkin spaces on some metric measure spaces.