\(L^p\)-improving bounds and weighted estimates for maximal functions associated with curvature (Q2111512)

The goal of the paper is to establish weighted \(L^p\)-inequalities for maximal operators associated with curves and hypersurfaces. In particular, weighted \(L^p\)-estimates for the operators \[ \mathcal{M}f(y)=\underset{t>0}\sup\, |A_t f(y)| \] are obtained, where \(A_t f\) is a function of one of the following types: 1) \[ A_t f(y)=\int_{\mathbb{R}} f(y_1-t^{a_1}x, y_2-t^{a_2}(x^d \phi (x)+c))\eta(x)dx, \] \[ da_1\neq a_2,\,\, d\in \mathbb{N}\backslash\{1\},\,\, a_1, a_2>0,\,\, c\in \mathbb{R}, \] \[ \phi\in C^{\infty},\,\, \phi(0)\neq 0,\,\, \phi^{(j)}(0)=0,\,\, j=1,2,\ldots, m-1,\,\, \phi^{(m)}(0)\neq 0\,\, (m\geq 1), \] \[ \eta\text{ is a smooth function supported in a sufficiently small neighborhood of the origin}; \] 2) \[ A_t f(y)=\int_{0}^{1} f(y_1-tx, y_2-t^{d}x^d)dx; \] 3) \[ A_t f(y)=\int_{\mathbb{R}^2} f(y-\delta_t(x_1,x_2,\Phi(x_1,x_2)))\eta(x)dx, \] \[ \delta_t(y)=(t^{a_1}y_1,t^{a_2}y_2,t^{a_3}y_3),\,\, 2a_2\neq a_3, \] \[ \Phi\in C^{\infty},\,\, \partial_2\Phi(0,0)= 0,\,\, \partial_2^2\Phi(0,0)\neq 0; \] 4) \[ A_t f(y)=\int_{\mathbb{R}^2} f(y-\delta_t(x_1,x_2,c+x_2^d\Phi(x_1,x_2)))\eta(x)dx, \] \[ da_2\neq a_3,\,\, \Phi(0,0)\neq 0. \] By employing sparse domination, weighted \(L^p\)-estimates for a global maximal operator can be reduced to the validation of the \(L^p\to L^q\) regularity property of the corresponding localized maximal operator. Thus, the authors mainly study the \(L^p\to L^q\) regularity property of the localized maximal operators \(\underset{t\in[1,2]}\sup\, |A_t f(y)|\). The results of the paper generalize the previously known unweighted estimates of several authors.