Boundedness of generalized Marcinkiewicz integral on the \(H^p\)-Sobolev spaces (Q1769565)

Let \(\mathbb{R}^n,\) \(n\) \(\geq 2\) be the \(n\)-dimensional Euclidean space and \( \mathbb{S}^{n-1}\) be the unit sphere in \(\mathbb{R}^n\) equipped with the normalized Lebesgue measure \(d\sigma \). The authors of this paper study the following generalized Marcinkiewicz integral operator \[ \mu _{\Omega ,\alpha }f(x)=\left(\int\nolimits_0^\infty \left| \int\nolimits_{\left| x-y\right| \leq t}\frac{\Omega (x-y)}{\left| x-y\right| ^{n-1}}f(y)dy\right| ^2\frac{dt}{t^{3+2\alpha }}\right)^{\frac 12}, \] where \(f\) is initially in \(\mathcal{S}(\mathbb{R}^n),\alpha \geq 0\), and \( \Omega \) is a distributional kernel. Clearly, when \(\alpha =0\), the operator \(\mu _{\Omega ,\alpha }\) is the classical Marcinkiewicz integral operator introduced by \textit{E. M. Stein} [Trans. Am. Math. Soc. 88, 430-466 (1958; Zbl 0105.05104)] that has been studied by many authors. Motivated by the work of \textit{J. Chen, D. Fan}, and \textit{Y. Ying} [Can. J. Math. 55, No.3, 504-532 (2003; Zbl 1042.42008)] and by the work of \textit{L. Y. Jiang} in his master thesis, the authors investigate the boundedness of the operator \(\mu _{\Omega ,\alpha }\) on \(H^p\)-Sobolev spaces, \(0<p\leq 1\) . The main result obtained is the following: Assuming that \(\Omega \in L^1(\mathbb{S}^{n-1})\) and \(\int_{\mathbb{S}^{n-1}}\Omega (y^{\prime })Y_m(y^{\prime })d\sigma (y^{\prime })=0\) for all spherical polynomials \(Y_m(y^{\prime })\) with degrees \(m\leq [\alpha ]\). Then, for any \(0<\alpha <n/2\), the operator \(\mu _{\Omega ,\alpha }\) satisfies \[ \left\| \mu _{\Omega ,\alpha }(f)\right\| _{L^p}\leq C\left\| f\right\| _{H_\alpha ^p} \] for all \(f\in C_0^\infty (\mathbb{R}^n)\cap H_{_\alpha }^p(\mathbb{R }^n)\), where \(n/(n+\alpha )<p\leq 1\) . Thus \(\mu _{\Omega ,\alpha }\) is extended to be defined on \(H_{_\alpha }^p\) in the usual manner. When the kernel \(\Omega \) is assumed to satisfy the additional assumption that \(\int\nolimits_0^1t^{-1-\gamma }\omega _1(t)dt<\infty \) for some \( 0<\gamma \leq 1\) where \(\omega _1(t)\) is the integral modulus of continuity of order \(1\) of \(\Omega \), the authors show that the range of \(p\) in the above result can be enlarged to \(\max \{\frac n{n+\alpha +1/2},\frac n{n+\alpha +\gamma }\}<p\leq \frac n{n+\alpha }\).