No Arabic abstract
We prove sparse bounds for the spherical maximal operator of Magyar, Stein and Wainger. The bounds are conjecturally sharp, and contain an endpoint estimate. The new method of proof is inspired by ones by Bourgain and Ionescu, is very efficient, and has not been used in the proof of sparse bounds before. The Hardy-Littlewood Circle method is used to decompose the multiplier into major and minor arc components. The efficiency arises as one only needs a single estimate on each element of the decomposition.
We exhibit a range of $ell ^{p}(mathbb{Z}^d)$-improving properties for the discrete spherical maximal average in every dimension $dgeq 5$. The strategy used to show these improving properties is then adapted to establish sparse bounds, which extend the discrete maximal theorem of Magyar, Stein, and Wainger to weighted spaces. In particular, the sparse bounds imply that the discrete spherical maximal average is a bounded map from $ell^2(w)$ into $ell^2(w)$ provided $w^{frac{d}{d-4}+delta}$ belongs to the Muckenhoupt class $A_2$ for some $delta>0.$
We prove an expanded range of $ell ^{p}(mathbb{Z}^d)$-improving properties and sparse bounds for discrete spherical maximal means in every dimension $dgeq 6$. Essential elements of the proofs are bounds for high exponent averages of Ramanujan and restricted Kloosterman sums.
We prove new $ell ^{p} (mathbb Z ^{d})$ bounds for discrete spherical averages in dimensions $ d geq 5$. We focus on the case of lacunary radii, first for general lacunary radii, and then for certain kinds of highly composite choices of radii. In particular, if $ A _{lambda } f $ is the spherical average of $ f$ over the discrete sphere of radius $ lambda $, we have begin{equation*} bigllVert sup _{k} lvert A _{lambda _k} f rvert bigrrVert _{ell ^{p} (mathbb Z ^{d})} lesssim lVert frVert _{ell ^{p} (mathbb Z ^{d})}, qquad tfrac{d-2} {d-3} < p leq tfrac{d} {d-2}, dgeq 5, end{equation*} for any lacunary sets of integers $ {lambda _k ^2 }$. We follow a style of argument from our prior paper, addressing the full supremum. The relevant maximal operator is decomposed into several parts; each part requires only one endpoint estimate.
Consider the discrete cubic Hilbert transform defined on finitely supported functions $f$ on $mathbb{Z}$ by begin{eqnarray*} H_3f(n) = sum_{m ot = 0} frac{f(n- m^3)}{m}. end{eqnarray*} We prove that there exists $r <2$ and universal constant $C$ such that for all finitely supported $f,g$ on $mathbb{Z}$ there exists an $(r,r)$-sparse form ${Lambda}_{r,r}$ for which begin{eqnarray*} left| langle H_3f, g rangle right| leq C {Lambda}_{r,r} (f,g). end{eqnarray*} This is the first result of this type concerning discrete harmonic analytic operators. It immediately implies some weighted inequalities, which are also new in this setting.
We show that discrete singular Radon transforms along a certain class of polynomial mappings $P:mathbb{Z}^dto mathbb{Z}^n$ satisfy sparse bounds. For $n=d=1$ we can handle all polynomials. In higher dimensions, we pose restrictions on the admissible polynomial mappings stemming from a combination of interacting geometric, analytic and number-theoretic obstacles.