On maximal operators along surfaces (Q5926415)

This is part of the author's Ph.D. thesis (Oregon State University). In the paper the author considers a maximal function \(Mf(x,x_n)\) defined by \[ Mf(x, x_n)= \sup_{r>0} \Biggl\{r^{-n+ 1} \int_{|y|< r}|f(x-y, x_n- \Gamma(y))|dy\Biggr\}\quad (x,y\in \mathbb{R}^{n-1}, x_n\in\mathbb{R}), \] where \(n\geq 2\), \(\Gamma(y)= \Gamma(|y|)\) is a real, measurable, and radial function on \(\mathbb{R}^{n-1}\). Using the method in [\textit{J. Duoandikoetxea} and \textit{J. L. Rubio de Francia}, Invent. Math. 84, 541-561 (1986; Zbl 0568.42012)], the author proves that, if \(n\geq 4\), then the operator \(M\) is bounded on \(L^p(\mathbb{R}^n)\), \(1< p<\infty\), provided that the one-dimensional maximal operator \(M_\Gamma\) defined by \(M_\Gamma g(x_n)= \sup_{r>0} \{r^{-1} \int_{|t|<r}|g(x_n- \Gamma(t))|dt\}\) is bounded on \(L^p(\mathbb{R}^n)\) for all \(p>1\). The conclusion also holds when \(n= 2,3\), subject to some additional monotone conditions on \(\Gamma(t)\) and \(\Gamma'(t)\).