On the commutators of Marcinkiewicz integrals with rough kernels in weighted Lebesgue spaces (Q2220989): Difference between revisions

Let \(\mathbb{R}^n\), \(n\ge2\), be the \(n\)-dimensional Euclidean space and \(S^{n-1}\) be the unit sphere in \(\mathbb{R}^n\). The authors consider the Marcinkiewicz type fractional integrals: \(\mu_{\Omega,\beta}f(x)=\bigl(\int_{0}^{\infty}\bigl\vert \int_{\vert x-y\vert \le t}\frac{\Omega((x-y)/\vert x-y\vert)}{\vert x-y\vert ^{n-\beta-1}}f(y)dy\bigr\vert ^2\frac{dt}{t^3}\bigr)^{1/2}\) and its commutators \(\mu_{\Omega,\beta}^b\) with \(b\in L^1_{\text{ loc}}\), where \(0\le \beta<n\) and \(\Omega\in L^1(S^{n-1})\) (when \(\beta=0\) this is the usual Marcinkiewicz integral). Their main result is as follows: Let \(0\le\alpha\le1\), \(0\le\beta<n\) with \(0\le\alpha+\beta<n\), \(1<p\le q<\infty\) with \(1/q=1/p-(\alpha+\beta)/n\). Suppose \(\Omega\in L^s(S^{n-1})\) for some \(s>1\) with \(s^\prime<p\), \(\omega^{s^\prime}\in A_{p/s^\prime, q/s^\prime}\). If \(\Omega\) does not change sign and is not equivalent to zero on some open subset of \(S^{n-1}\), then for any bounded measurable set \(E\subset \mathbb{R}^n\), the inequality \(\Vert \mu_{\Omega,\beta}^b(\chi_E)\Vert_{L^q(\omega^q)}\le C(\omega^p(E))^{1/p}\) holds if and only if \(b\in \text{ BMO}_\alpha\) (\(\text{ BMO}_\alpha=\text{ BMO}\) if \(\alpha=0\) and it is just \(\text{ Lip}_\alpha\) if \(0<\alpha\le1\)). Here \(w\in A_p,q\) means that \(\sup_{Q:\ \text{ cube}}(\vert Q\vert ^{-1}\int_Q w^qdx)^{1/q}(\vert Q\vert ^{-1}\int_Q w^{-p^\prime}dx)^{1/p'}<\infty\). \par Another result is: Under the same conditions as above, \(\mu_{\Omega,\beta}^b\) is a compact operator from \(L^p(\omega^p)\) to \(L^q(\omega^q)\) if and only if \(b\in \text{ CMO}_\alpha\) ( it is the \(\text{ BMO}_\alpha\) closure of \(C_c^\infty\) if \(0\le\alpha<1\) and \(\text{ CMO}_1=\mathbb{C})\).