Boundedness of commutators with Lipschitz functions in non-homogeneous spaces (Q5925265)

The authors work in the context of \(n\)-dimensional measures on \(\mathbb{R}^d\), that is, \(\mu\) such that \(\mu(B(x,r))\leq C r^n\) for a fixed \(C>0\) and all Euclidean balls in \(\mathbb{R}^d\), \(n<d\). The authors define \(\text{Lip}\,(\beta,\mu)\) to consist of those \(f\) such that \(| f(x)-f(y)| \leq C| x-y| ^\beta\) for \(\mu\)-almost every \(x\) and \(y\). They prove that if \(b\in \text{Lip}\,(\beta,\mu)\), then the commutator \(T_bf(x)= \int_{\mathbb{R}^d} [b(x)-b(y)]\, K(x,y)\, d\mu (y)\), where \(K\) is an \(n\)-dimensional Calderón-Zygmund kernel, enjoys certain strong and weak type boundedness properties according to the dimensionality of \(\mu\). By an \(n\)-dimensional Calderón--Zygmund kernel, one means a function \(K(x,y)\) that is defined for \(x\neq y\) and satisfies \(| K(x,y)| \leq C| x-y|^{n}\) and \(| K(x,y)-K(x',y)| +| K(y,x)-K(y',x)|\leq C(| x-x'|^\delta/| x-y|^{n+\delta})\) whenever \(| x-y|>2| x-x'|\) and for some \(\delta>0\). It is proved that if \(1<p<{n/\beta}\) and \(1/q=1/p-\beta/n\), then \(T_b\) is bounded from \(L^p_\mu\) to \(L^q_\mu\). A corresponding weak-type endpoint estimate is established, as is the boundedness from the Hardy space \(H^1_\mu\) to \(L^{n/(n-\beta)}_\mu\). Key ingredients in the proofs include the Kolmogorov inequality \[ \| f\| _{L^{q,\infty}_\mu}\leq \sup_E {\| f\chi_E\| _{L^p_\mu}\over \| \chi_E\| _{L^s_\mu}}\leq \| f\| _{L^{q,\infty}_\mu}, \] where \(1/s=1/p-1/q\), and \textit{X.\,Tolsa}'s Calderón--Zygmund decomposition with respect to non-doubling measures [Publ.\ Mat., Barc.\ 45, No.\,1, 163--174 (2001; Zbl 0980.42012)]. [Editor's remark: For related results, see the paper by the second and third author, \textit{Y.\,Meng} and \textit{D.--C.\thinspace Yang}, Taiwanese J.~Math.\ 10, No.\,6, 1443--1464 (2006; Zbl 1131.47034).]