On the commutator of the Marcinkiewicz integral. (Q1405288)

Let \(n\geq 2\) and \(S^{n-1}\) be the unit sphere in \(\mathbb{R}^n\) equipped with the normalized Lebesgue measure \(d\sigma\). Suppose that \(\Omega\) is a homogeneous function of degree zero on \(\mathbb{R}^n\) that satisfies \(\Omega\in L(S^{n-1})\) and \(\int_{S^{n-1}}\Omega\,d\sigma= 0\). For \(b\in\text{BMO}(\mathbb{R}^n)\) and a positive integer \(k\), the \(k\)th-order commutator \(\mu_{\Omega;b,k}\) of the Marcinkiewicz integral operator is defined by \[ \mu_{\Omega;b,k}(f)(x)= \Biggl(\int^\infty_0| F_{t;b,k}(f)(x)|^2 t^{-3}\,dt\Biggr)^{1/2}, \] where \[ F_{t;b,k}(f)(x)= \int_{| x-y|< t}(b(x)- b(y))^k\Omega(x- y)| x-y|^{1-n} f(y)\,dy. \] The main result of the paper is the following theorem: Theorem 1: If \(\Omega\in L(\log^+ L)^{k+1/2}(S^{n-1})\), then the commutator \(\mu_{\Omega;b,k}\) is bounded on \(L^2(\mathbb{R}^n)\). Furthermore, if \(\Omega\in L(\log^+L)^{k+s}(S^{n- 1})\) for some \(1/2< s< 1\), then the operator \(\mu_{\Omega; b,k}\) is bounded on \(L^p(\mathbb{R}^n)\) for \(1/s< p< 1/(1- s)\). In particular, if \(\Omega\in L(\log^+L)^{k+ 1}(S^{n-1})\), then the operator \(\mu_{\Omega; b,k}\) is bounded on \(L^p(\mathbb{R}^n)\) for all \(p\in (1,\infty)\).