Maximal functions along convex curves with lacunary directions (Q2154936)

The maximal function \(M_\gamma\) along the curve \((t,\gamma(t))\) is defined by \[ M_\gamma f(x_1,x_2):=\sup_{\varepsilon>0}\frac{1}{2\varepsilon}\int^\varepsilon_{-\varepsilon} | f(x_1-t,x_2-\gamma(t))|dt. \] The question of whether this operator \(M_\gamma\) is bounded on \(L^p(\mathbb{R}^2)\) has received much attention in the last few decades. In this paper, the author proved the \(L^p(\mathbb{R}^2)\)-boundedness of two different kinds of maximal functions analogue of \(M_\gamma\), which are modelled on the maximal function \(M_\gamma\) in lacunary direction. The first one is the maximal function \(M_{I,\gamma}\) along the curve \((t,\gamma(t))\) with the dyadic lacunary direction \((1,2^j)\), \[ M_{I,\gamma} f(x_1,x_2):=\sup_{j\in\mathbb{Z}}\sup_{\varepsilon>0}\frac{1}{2\varepsilon}\int^\varepsilon_{-\varepsilon} | f(x_1-t,x_2-2^j\gamma(t))|dt. \] The second one is the maximal function \(M_{II,\gamma}\) along the curve \((t,\gamma(t))\) with the dyadic lacunary direction \((2^i, 2^j)\), which allow dyadic scaling along this dyadic lacunary direction \((1,2^j)\) in \(M_{I,\gamma}\), \[ M_{II,\gamma} f(x_1,x_2):=\sup_{i,j\in\mathbb{Z}}\sup_{\varepsilon>0}\frac{1}{2\varepsilon}\int^\varepsilon_{-\varepsilon} | f(x_1-2^it,x_2-2^j\gamma(t))|dt. \]