Higher order commutators for a class of rough operators (Q1428355): Difference between revisions

For a BMO\((\nu)\) function \(b(x)\), the higher order commutators generated by the fractional integral operator and the maximal operator are defined by \[ T_{\Omega,\alpha,b}^{m}f(x) = \int_{\mathbb{R}^{n}} \frac{\Omega(x-y)}{| x-y| ^{n-\alpha}} [b(x) - b(y)]^{m} \, f(y) \, dy \] and \[ M_{\Omega,\alpha,b}^{m}f(x) = \sup_{r > 0} \frac{1}{r^{n-\alpha}}\int_{| x-y| <r} | \Omega(x-y)| [b(x) - b(y)]^{m} \, | f(y)| \, dy. \] Here a function \(b(x)\) is said to belong to BMO\((\nu)\) if there is a constant \(C > 0\) such that for any \(Q\) in \(\mathbb{R}^{n}\) with its sides parallel to the coordinate axes and for a nonnegative locally integrable function \(\nu\) on \(\mathbb{R}^{n}\) \(\int_{Q} | b(x)-b_{Q}| \, dx \leq C \, \int_{Q} \nu(x) \, dx\), where \(b_{Q} = (1/| Q| )\int_{Q}b(x) \, dx\). The authors prove the \((L^{p}(u^p), L^{q}(v^q))\)-boundedness of the higher order commutators \(T_{\Omega,\alpha,b}^{m}\) and \(M_{\Omega,\alpha,b}^{m}\). Their results improve the known result due to \textit{C. Segovia} and \textit{J. L. Torrea} [Trans. Am. Math. Soc. 336, No. 2, 537--556 (1993; Zbl 0799.42009)] in the sense that the cancellation condition and the smoothness condition have been removed.