Abstract
For a polynomial P mapping the integers into the integers, define an averaging operator \(A_{N} f(x):=\frac{1}{N}\sum _{k=1}^N f(x+P(k))\) acting on functions on the integers. We prove sufficient conditions for the \(\ell ^{p}\)-improving inequality
where \(1\le p \le q \le \infty \). For a range of quadratic polynomials, the inequalities established are sharp, up to the boundary of the allowed pairs of (p, q). For degree three and higher, the inequalities are close to being sharp. In the quadratic case, we appeal to discrete fractional integrals as studied by Stein and Wainger. In the higher degree case, we appeal to the Vinogradov Mean Value Theorem, recently established by Bourgain, Demeter, and Guth.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Discrete Radon averaging operators are our focus. Let P be a polynomial of one variable mapping the integers to the integers and of degree d. Set an average and a fractional integral operator to be
Throughout, functions f can be assumed to be finitely supported. We write \(A\lesssim B\) if there exists an absolute constant C such that \(A\le CB\). If the constant depends on parameters \(\lambda ,\mu ,\ldots \) we denote that with a subscript, such as \(A\lesssim _{\lambda ,\mu ,\ldots }B\). The inequalities of interest are
The inequality in (1.2) should hold uniformly in\(N \in {\mathbb {N}}\). Using the notation \(\lesssim _{P,p,q}\) we emphasize that the estimate has to be uniform in N and f, but the implicit constant is allowed to depend on P, p, and q. One should similarly interpret the notation \(\lesssim _{P,\lambda ,p,q}\) in (1.3). The exponent in (1.2), \(-d(1/p-1/q)\), is the best possible one, as is trivially seen by taking \(f={\mathbb {1}}_{\{1,2,3,\ldots ,2P(N)\}}\) and letting \(N\rightarrow \infty \).
Set \( {\mathcal {A}} (P)\) to be the set of all (p, q) for which (1.2) holds. Set \( {\mathcal {I}} (P)\) to be the set of all \( (p,q, \lambda )\) for which (1.3) holds. These two classes are related through
Proposition 1.4
These two relations between \( {\mathcal {A}} (P)\) and \( {\mathcal {I}} (P)\) hold, where d is the degree of P.
- (1)
If \( (p,q) \in {\mathcal {A}} (P)\), then \( (p,q, \lambda ) \in {\mathcal {I}} (P)\) for \( 0< 1-\lambda < \min \{1, d (1/p - 1/q) \} \).
- (2)
If \( (p,q, 1 - d (1/p - 1/q) ) \in {\mathcal {I}} (P)\), then \( (p,q) \in {\mathcal {A}} (P)\).
We will define two closely related concepts in Sect. 7, and phrase some conjectures about them.
Concerning the collection \( {\mathcal {I}} (P)\), the relevant conjecture [18, pg. 597] is
Conjecture 1.5
The inequality (1.3) holds if and only if \( 1- \lambda \le d (1/p - 1/q)\), \( 1/q < \lambda \), and \( 1- \lambda < 1/p\).
Discrete fractional integrals were studied by Stein and Wainger [20, 21], with further contributions by Oberlin [17], and Ionescu and Wainger [9]. In particular, the case of quadratic \( P (x) = x ^2 \) is completely resolved. Our first main theorem provides a sharp, up to the endpoint, bound for most quadratic polynomials. Note that, when studying (1.2), interpolation with the trivial estimates for \(q=p\) allows us to additionally assume \(q=p'\) and \(p<2\).
Theorem 1.6
For a quadratic polynomial \(P(x)=ax^2+bx+c\) with non-negative integer coefficients and \( N\in \mathbb N \), the inequality (1.2) holds in the range
More precisely, for every \(3/2< p\le 2\) and \(N\in \mathbb N\) one has
It seems reasonable to conjecture that in (1.2) the bounds, provided they hold, depend upon the polynomial only through its degree d. Right now, we do not know that this is true even in the quadratic case.
Pierce [18, 19] also studied the fractional integrals. In particular [18] points to the relationship to the (at that point unresolved) Vinogradov Mean Value Conjecture. It reveals itself through the need for bounds on the exponential sums
This theme was further elaborated on by Kim [15]. Using the work of Bourgain, Guth, and Demeter [1], we establish
Theorem 1.9
Let P be an arbitrary polynomial of degree \(d\ge 3\) mapping the set of integers back into itself. Averages (1.1) satisfy estimate (1.2) for exponents p, q in the triangular range
Specializing \(q=p'\) the range (1.10) reduces to
We will regard averages (1.1) as “projections” of the following higher-dimensional polynomial averages. Writing \( (x_1,x_2,\ldots ,x_d)\in \mathbb {Z}^d\), consider
This time we want to prove \(\ell ^p\)-improving estimates of the form
The exponent \(-\frac{d(d+1)}{2}(\frac{1}{p}-\frac{1}{q})\) is the most improvement in N that one can expect, as in easily seen by taking f to be the indicator function of \(\{1,2,\ldots ,2N\}\times \cdots \times \{1,2,\ldots ,2N^d\}\).
Theorem 1.14
If \(d\ge 3\), then averages (1.12) satisfy estimate (1.13) for exponents p, q in the same range (1.10), as in Theorem 1.9.
As we explain in Sect. 6, the bounds above are very close to optimal. It would be interesting to find the optimal open ranges of exponents p and q in Theorems 1.9 and 1.14.
Let us also remark that continuous-parameter results similar to Theorem 1.14 have already been present in the literature for a while. For example, Christ [2] has essentially settled all \(L ^p\)-improving properties of the convolution operator associated with the continuous moment curve \([-1,1]\rightarrow \mathbb {R}^d\), \(t\mapsto (t,t^2,\ldots ,t^d)\). Proofs of such results do not rely on number theory and sometimes not even on the Fourier analysis (as was the case with [2]), but rather on geometrical considerations and enumerative combinatorics.
Our proof of Theorem 1.6 is done by using the essentially sharp results about discrete fractional integrals due to Stein and Wainger. The argument can be reversed. We use our higher degree results on \(\ell ^{p}\)-improving to deduce results about discrete fractional integrals. To indicate the range of results that can be proved, we define
for finitely supported functions f. The following corollary extends works by Kim [15, Corollaries 2.2, 2.3], and is very nearly sharp.
Corollary 1.15
Suppose that the indices (p, q) belong to the range (1.10).
- (1)
Let P be an arbitrary polynomial of degree \(d\ge 3\) mapping the set of integers back into itself. We have the inequality (1.3) provided that \( 0< 1- \lambda < d (1/p - 1/q) \).
- (2)
Take \(d\ge 3\). We have the inequality \( \Vert \widetilde{I} _{d, \lambda } f\Vert _{\ell ^{q}(\mathbb {Z}^d)} \lesssim _{d, \lambda , p, q } \Vert f\Vert _{\ell ^{p}(\mathbb {Z}^d)} \) provided that \( 0< 1- \lambda < (1/2)d(d+1) (1/p - 1/q) \).
The study of improving estimates for averages has been studied for decades in the Euclidean setting. It was recently recognized that some of these inequalities can be further extended to so-called sparse bounds. The latter imply the strongest known weighted estimates; see [3, 7, 16]. The study of the discrete variants has a much shorter history. Qualitative results were established in [4, 13] for discrete singular Radon transforms. On the other hand, discrete spherical averages admit a robust variant of their continuous analogs [8, 10,11,12, 14].
Improving inequalities and sparse bounds are closely related, but the connection is far more delicate in the discrete case. In particular, the sparse bounds proved in [5, 6] for averages along the prime and square integers, respectively, rely upon the Hardy–Littlewood Circle method. We do not know another way to prove those bounds; see the conjectures in Sect. 7.
2 Relating Averages to Fractional Integrals and Vice Versa
Proof of Proposition 1.4
Assume that \( (p,q) \in {\mathcal {A}} (P)\), that is (1.2) holds. For \( 0< 1-\lambda < \min \{1, d (1/p - 1/q) \} \) we have
In the reverse direction, observe that \(A_N f \le N ^{-1+ \lambda } I _{\lambda } f\). So if \( (p,q, 1 - d (1/p - 1/q) ) \in {\mathcal {I}} (P)\), the result follows. \(\square \)
Proof of Corollary 1.15 assuming Theorems 1.9 and 1.14
The first part is a direct consequence of Theorem 1.9 and Proposition 1.4. For the second part we again write
and then apply Theorem 1.14 in exactly the same way.
3 Quadratic Polynomials
Case\(d=2\), \(P(x)=x^2\). For this particular choice of the polynomial, Conjecture 1.5 has been verified by Stein and Wainger [20, 21]; also see [9, Cor 1.3]. Note that for \( 3/2< p < 2\), \( q=p'\), and \( 1- \lambda = 2 (1/p-1/q)\), we have \( (p, q, \lambda ) \in {\mathcal {I}} (x^2)\), so the result follows.
3.1 General Quadratic Polynomials
Let us turn to the proof of (1.7). In order to avoid confusion we will write the relevant polynomial P in the superscript of \(A_N^P\).
We define \(g:\mathbb Z\rightarrow \mathbb {R}\) by
Since f is supported in \([-(aN^2+bN+\frac{b^2}{4a}),aN^2+bN+\frac{b^2}{4a}]\), we have that g is supported in \([-(2aN+b)^2,(2aN+b)^2]\). Therefore
Using this calculation and the previously established case of Theorem 1.6 we obtain
for every \(3/2<p\le 2\).
4 Reduction to Vinogradov’s Mean Value Theorem
Proof of Theorem 1.14
Let \(\ell ^2(\mathbb {Z}^d)\rightarrow L ^2(\mathbb {T}^d)\), \(f\mapsto \widehat{f}\) denote the Fourier transform on the group \(\mathbb {Z}^d\). For finitely supported f this is simply the formation of the multiple Fourier series with coefficients f(m); \(m\in \mathbb {Z}^d\).
We apply the Hausdorff–Young inequality twice to reduce the problem to bounds for the exponential sums. To do so, we write
where \(S_N\) are the normalized exponential sums given by (1.8). We recognize \(\widetilde{A}_N f\) as the Fourier transform of the function \(\widehat{f} \cdot S_N\) on the group \(\mathbb {T}^d\). Applying the Hausdorff–Young inequality on \(\mathbb {T}^d\), then Hölder’s inequality on \(\mathbb {T}^d\), and finally the Hausdorff–Young inequality on \(\mathbb {Z}^d\), we get
where \(1/s=1/p-1/p'=2/p-1\). Thus, the \(\ell ^p\)-improving inequality depends on the \(L ^{s}\)-norm of the sums \(S_N\). Vinogradov’s mean value theorem, as established by Bourgain, Demeter, and Guth [1], claims precisely the bound
for any \(s>d(d+1)\) and for any fixed \(\varepsilon >0\). Note that in the typical formulation of Vinogradov’s mean value theorem number s needs to be an even integer, but the analytic proof from [1] does not require that. Moreover, for \(d\ge 3\) one can even remove the \(\varepsilon \) by performing the Hardy–Littlewood circle method, as in [22, Sect. 7] or [1, Sect. 5]. Therefore, we actually have
Combining (4.1) with the previous computation we get exactly the \(\ell ^p\)-improving estimate (1.13) for \(2-2/(d^2+d+1)<p\le 2\) and \(q=p'\). Interpolation with the trivial estimates for \(q=p\) settles the whole claimed range of (p, q). \(\square \)
5 Projection of Higher-Dimensional Averages to One-Dimensional Ones
Proof of Theorem 1.9
Take an arbitrary polynomial function \(P:\mathbb {R}\rightarrow \mathbb {R}\) of degree \(d\ge 3\) mapping \(\mathbb {Z}\) back to \(\mathbb {Z}\). Let us write it as
where \(a_0,a_1,\ldots ,a_d\in \mathbb {R}\) and, without loss of generality, \(a_d>0\). By solving the Vandermonde linear system in the coefficients of P the conditions \(P(0),P(1),\ldots ,P(d)\in \mathbb {N}\) imply that \(a_0,a_1,\ldots ,a_d\) are rational numbers. Moreover, let \(v\in \mathbb {N}\) be the least common denominator of \(a_1,\ldots ,a_d\), so that we can write \(a_j=b_j u/v\) for \(j=1,\ldots ,d\), where \(u\in \mathbb {N}\) and \(b_1,\ldots ,b_d\in \mathbb {Z}\) do not have a common multiple greater than 1. By the formula for the Vandermonde determinant we also know that v divides \(\prod _{0\le i<j\le d}(j-i)\), so it has an upper bound depending only on d. Finally, since the free coefficient of P simply translates the averages (1.1), it is safe to assume that \(a_0=0\).
For any given function \(g:\mathbb {Z}\rightarrow \mathbb {C}\) and a fixed number \(r\in \{0,1,\ldots ,u-1\}\) define \(f:\mathbb {Z}^d\rightarrow \mathbb {C}\) by
This way
For any d-tuple
satisfying \(a_1 x_1 + a_2 x_2 + \cdots + a_d x_d\in \mathbb {Z}\) we have
From the theory of linear Diophantine equations we know that \(b_1\mathbb {Z} + b_2\mathbb {Z} + \cdots + b_d\mathbb {Z} = \mathbb {Z}\). Hence, for sufficiently large \(N\in \mathbb {N}\),
Applying (1.13) and combining it with (5.1) and (5.2) we obtain
Finally, summing in \(r=0,1,\ldots ,u-1\) gives estimate (1.2) for the function g. \(\square \)
6 Examples
We formulate the examples that show certain sharpness in the \(\ell ^{p}\)-improving inequalities. These are essentially known, and we include them for completeness.
Counterexamples similar to the ones in [5] show that (1.2) cannot hold outside the range
Indeed, by taking \(f={\mathbb {1}}_{\{P(1),P(2),\ldots ,P(N)\}}\) we conclude
so that \(d/q\ge (d-1)/p\). Similarly, by taking \(f={\mathbb {1}}_{\{0\}}\) we get
which forces \((d-1)/q\ge d/p-1\). If one only cares about the case \(q=p'\), then (6.1) is simply the range
Theorem 1.9 leaves a gap between the ranges (1.11) and (6.2) for large d.
Next, it is easy to see that (1.13) cannot hold outside the range
Indeed, by taking
we conclude
so multiplying by \(N^{1/p}\) and letting \(N\rightarrow \infty \) give \((d^2+d)/q\ge (d^2+d-2)/p\). Similarly, by taking \(f={\mathbb {1}}_{\{(0,0,\ldots ,0)\}}\) we get
This forces \((d^2+d-2)/q\ge (d^2+d)/p-2\). If one only cares about the cases \(q=p'\), then we are talking about the range
Comparing it to (1.11) we see that Theorem 1.14 is “asymptotically optimal” as \(d\rightarrow \infty \).
7 Conjectured Sparse Bounds
Recall that a collection of intervals \( {\mathcal {S}}\) is said to be sparse if for each interval I there is a subset \( E_I\) so that \( |E_I|> |I|/4 \) and \( \{E_I : I\in {\mathcal {S}}\}\) are pairwise disjoint. For \( 0\le \lambda < 1\), and a sparse collection \( {\mathcal {S}}\), set
Concerning the maximal function \( A _{*} f = \sup _N A_N f \), where \( A_N\) is defined as in (1.1), the main conjecture would be that if \( (p,q) \in {\mathcal {A}} (P)\), that is when (1.2) holds, one has
Notice that we are using the conjugate index \( q' = q/(q-1)\) above. In fact, the main result of [5] is that for the quadratic polynomial \( P (x) = x ^2 \), this is true, except possibly at the boundary of \( {\mathcal {A}} (P)\). Nothing close to this is known for any other polynomial, as far as we know.
Turning to the fractional integral operator, the main conjecture would be that if \( (p,q, \lambda ) \in {\mathcal {I}} (P)\), that is when (1.3) holds, one has
No such bound is known, even in the quadratic case.
The interest in sparse bounds comes in part as they immediately imply a range of weighted inequalities and vector valued inequalities. The main results of [5, 6] concern sparse bounds for averages over the square integers and the primes. These results seem to be much more difficult than the improving or fractional integral inequalities.
References
Bourgain, J., Demeter, C., Guth, L.: Proof of the main conjecture in Vinogradov’s mean value theorem for degrees higher than three. Ann. Math. (2) 184(2), 633–682 (2016)
Christ, M.: Convolution, curvature, and combinatorics: a case study. Int. Math. Res. Not. 19, 1033–1048 (1998)
Cladek, L., Ou, Y.: Sparse domination of Hilbert transforms along curves. Math. Res. Lett. 25(2), 415–436 (2018)
Culiuc, A., Kesler, R., Lacey, M .T.: Sparse bounds for the discrete cubic Hilbert transform. Anal. PDE 12(5), 1259–1272 (2019)
Han, R., Lacey, M. T., Yang, F.: Averages Along the Square Integers: \(\ell ^p\) Improving and Sparse Inequalities, arXiv e-prints (2019). arXiv:1907.05734
Han, R., Krause, B., Lacey, M., Yang, F.: Averages along the primes: improving and sparse bounds. Concr. Oper. 7(1), 45–54 (2020)
Hu, B.: Sparse Domination of Singular Radon Transform, arXiv e-prints (2019). arXiv:1906.00329
Hughes, K.: \(\ell ^p\)-Improving for Discrete Spherical Averages, arXiv e-prints (2018). arXiv:1804.09260
Ionescu, A.D., Wainger, S.: \(L^p\) boundedness of discrete singular Radon transforms. J. Am. Math. Soc. 19(2), 357–383 (2006)
Kesler, R.: \(\ell ^{p}(\mathbb{Z}^{d})\)-Improving Properties and Sparse Bounds for Discrete Spherical Maximal Averages, arXiv e-prints (2018). arXiv:1805.09925
Kesler, R.: \(\ell ^{p}(\mathbb{Z}^{d})\)-improving properties and sparse bounds for discrete spherical maximal means, revisited, arXiv e-prints (2018). arXiv:1809.06468
Kesler, R., Lacey, M.T.: \(\ell ^{p}\)-improving inequalities for discrete spherical averages. Anal. Math. 46(1), 85–95 (2020)
Kesler, R., Mena Arias, D.: Uniform sparse bounds for discrete quadratic phase Hilbert transforms. Anal. Math. Phys. 9(1), 263–274 (2019)
Kesler, R., Lacey, M.T., Mena Arias, D.: Sparse bound for the discrete spherical maximal functions. Pure Appl. Anal. 2(1), 75–92 (2020)
Kim, J.: On discrete fractional integral operators and related Diophantine equations. Math. Res. Lett. 22(3), 841–857 (2015)
Lacey, M.T.: Sparse bounds for spherical maximal functions. J. Anal. Math. 139(2), 613–635 (2019)
Oberlin, D.M.: Two discrete fractional integrals. Math. Res. Lett. 8(1–2), 1–6 (2001)
Pierce, L.B.: On discrete fractional integral operators and mean values of Weyl sums. Bull. Lond. Math. Soc. 43(3), 597–612 (2011)
Pierce, L.B.: Discrete fractional Radon transforms and quadratic forms. Duke Math. J. 161(1), 69–106 (2012)
Stein, E.M., Wainger, S.: Discrete analogues in harmonic analysis. II. Fractional integration. J. Anal. Math 80, 335–355 (2000)
Stein, E .M., Wainger, S.: Two discrete fractional integral operators revisited. J. Anal. Math 87, 451–479 (2002). Dedicated to the memory of Thomas H. Wolff
Wooley, T .D.: Discrete Fourier restriction via efficient congruencing. Int. Math. Res. Not. IMRN 5, 1342–1389 (2017)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alex Iosevich.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
R. H. is supported in part by National Science Foundation grant DMS-1800689. V. K. is supported in part by the Croatian Science Foundation under project UIP-2017-05-4129 (MUNHANAP), and by the Fulbright Scholar Program. He also appreciates hospitality of the Georgia Institute of Technology in the academic year 2019–2020. M. T. L. is supported in part by National Science Foundation grant DMS-1600693, and by Australian Research Council grant DP160100153. F. Y. is supported in part by NSF DMS-1600693 and AMS-Simons Travel Grant 2019–2021.
Rights and permissions
About this article
Cite this article
Han, R., Kovač, V., Lacey, M.T. et al. Improving Estimates for Discrete Polynomial Averages. J Fourier Anal Appl 26, 42 (2020). https://doi.org/10.1007/s00041-020-09748-4
Received:
Published:
DOI: https://doi.org/10.1007/s00041-020-09748-4