Weighted boundedness for commutator of Marcinkiewicz integral on some Hardy spaces (Q1768171)

Let \(\Omega\) be a homogeneous function of degree zero, satisfying \(\Omega\in \roman{Lip}_\alpha(S^{n-1})\) \((0<\alpha\leq 1)\), \(\int_{S^{n-1}}\Omega(x)\,d\sigma(x)=0\). Let \(b\) be a locally integrable function on \(\mathbb R^n\), and define the commutator of the Marcinkiewicz integral operator \(\mu_{\Omega, b}\) by \[ \mu_{\Omega, b}f(x)=\left(\int_{0}^\infty\left| \int_{| x-y| \leq t}\frac{\Omega(x-y)}{| x-y| ^{n-1}}f(y)\bigl(b(x)-b(y)\bigr)dy \right| ^2\frac{dt}{t^3}\right)^{1/2}. \] Let \(w\) be a weight in the Muckenhoupt's \(A_1\) class. A bounded function \(a\) is said to be a \((w,b)\) atom if (i) \(\roman{supp}\,a\subset B(x_0,r)\), (ii) \(\| a\| _{L^\infty}\leq w(B)^{-1}\), (iii) \(\int_{\mathbb R^n}a(y)dy=\int_{\mathbb R^n}a(y)b(y)\,dy=0\). The weighted space \(H_b^1(w)\) is defined similarly to the usual atomic \(H^1\) space. And a function \(f\) is said to belong to the weighted block \(H^1\) space \(H_B^1(w)\) if \(f\) can be written as \(f=\sum_{j=1}^{\infty}\lambda_j a_j(x)\), where \(a_j\) are \((w,1)\) atoms, \(\lambda_j\in\mathbb C\) and \(\sum_{j=1}^{\infty} | \lambda_j| (1+\log^+| \lambda_j| ^{-1})<\infty\). The authors state: If \(b\in\roman{BMO}(\mathbb R^n)\), then the commutator \(\mu_{\Omega, b}\) is bounded from \(H_b^1(w)\) to \(L^1(w)\) (Theorem 1.3), from \(H_B^1(w)\) to weak \(L^1(w)\) (Theorem 1.4), and from \(H^1(w)\) to weak \(L^1(w)\) (Theorem 1.5). It should be noted that Theorem 1.4 is a direct consequence of Theorem 1.5, since \(H_B^1(w)\) is continuously imbedded into \(H^1(w)\) by definition. One should correct the proof of Theorem 1.5, since the norm \(\| f\| _{H^1(w)}\) is not equivalent to \(\inf\{\sum | \lambda_j| ;\, f=\sum_{\roman{finite}}\lambda_j a_j,\, a_j: \text{atoms}\}\) even if \(f\) is a finite number linear combinations of atoms. In the unweighted case, similar results are obtained by \textit{Y. Ding, S. Lu} and \textit{Q. Xue}, in the paper ``Boundedness of commutators for the Marcinkiewicz integrals on Hardy spaces'' [Math. Sci. Res. Hot-Line, 5, No. 9, 47-58 (2001; Zbl 1005.42011)].