$L^{p}$ BOUNDS FOR MARCINKIEWICZ INTEGRALS (Q4444924)

Let \(\Omega\) be a homogeneous function of degree zero on \(\mathbb R^n\) satisfying \(\Omega\in L^1(S^{n-1})\) and \[ \int_{S^{n-1}}\Omega(y)\,d\sigma(y)=0. \] For a suitable mapping \(\Phi: \mathbb R^n\to\mathbb R^d\) one defines the Marcinkiewicz integral operator \(\mu_{\Phi,\Omega}\) along a mapping \(\Phi\) by \[ \mu_{\Phi,\Omega}(f)(x) =\left(\int_0^\infty | F_{\Phi,t}(x)| ^2dt/t^3\right)^{1/2}, \] where \[ F_{\Phi, t}(x)=\int_{| y| \leq t}\Omega(y)| y| ^{1-n}f(x- \Phi(y)) dy. \] If \(d=n\) and \(\Phi(y)=(y_1,y_2, \dots, y_n)\), this is the usual Marcinkiewicz integral defined by E. M. Stein. One says \(\Omega\in F_\alpha(S^{n-1})\) if \[ \sup_{\xi\in S^{n-1}} \int_{S^{n-1}}| \Omega(y)| \log| \langle \xi, y\rangle | ^ {1+\alpha}d\sigma(y)<\infty. \] This condition was introduced by Grafakos anf Stefanov. It is known that \(\cap_{\alpha>0}F_\alpha(S^{n-1})\subsetneq H^1(S^{n-1}) \subsetneq \cup_{\alpha>0}F_\alpha(S^{n-1})\). The authors' main result is: Let \(n=2\) and \(\mathcal P(y)=(P_1(y),\dots,P_d(y))\) where \(P_j(y)\) is a real-valued polynomial on \(\mathbb R^2\). If \(\Omega\in F_\alpha(S^{n-1})\) for some \(\alpha>0\), then \(\mu_{\mathcal P,\Omega}\) is bounded on \(L^p(\mathbb R^d)\) for \(p\in ((2+2\alpha)/(1+2\alpha),\, 2+2\alpha)\). In the case where \(d=n+1\) and \(\Phi(y)=(y,\phi(| y| )\) (i.e., surface of revolution), they give the following: If (i) \(\phi\in C^1([0,\infty))\), \(\phi'\) is convex and increasing (and \(\phi'(0)=0\) in the case \(n\geq3)\), or (ii) \(\phi\) is a polynomial (and \(\phi'(0)=0\) in the case \(n\geq3)\), and \(\Omega\in F_\alpha(S^{n-1})\) for some \(\alpha>0\), then \(\mu_{\mathcal P,\Omega}\) is bounded on \(L^p(\mathbb R^{n+1})\) for \(p\in ((2+2\alpha)/(1+2\alpha),\, 2+2\alpha)\).