\(L^2\)-boundedness of a Marcinkiewicz integral with rough kernel (Q1382783)

The Marcinkiewicz integral operator on product domains is defined by \[ \mu_\Omega (f)(x)= (\int^\infty_0 \int^\infty_0 | F_{t,s} (x,y) |^2t^{-3} s^{-3} dt ds)^{1/2}, \] where \[ F_{t,s} (x,y)= \int_{| x-u |\leq t} \int_{| y-v |\leq s} \Omega(x-u,y-v) | x -u |^{-n+1} | y-v |^{-m+1} f(u,v) du dv, \] \(\Omega (x,y) \in L^1(S^{n-1} \times S^{m-1})\), \(n,m\geq 2\), satisfies \(\Omega (tx,sy) =\Omega (x,y)\) for any \(s,t>0\) and \(\int_{S^{n-1}} \Omega(x',y') dx'= \int_{S^{m-1}} \Omega(x',y') dy'=0\). In the one parameter case, it is well known that if \(\Omega\) satisfies certain smoothness condition then the operator \(\mu_\Omega (f)\) is bounded on \(L^p (\mathbb{R}^n)\) for \(1<p<\infty\). In this paper, the author proves that to obtain the \(L^2\) boundedness, the smoothness condition on \(\Omega\) can be weakened by \(\Omega\in L(\text{Log}^+L)^2\). This result is true on the product domains as well as in the one parameter case.