Abstract
Let \(( \mathcal {M},g ) \) be a d-dimensional compact connected Riemannian manifold and let \(\{ \varphi _{m}\} _{m=0}^{+\infty }\) be a complete sequence of orthonormal eigenfunctions of the Laplace–Beltrami operator on \(\mathcal {M}\). We show that there exists a positive constant C such that for all integers N and X and for all finite sequences of N points in \(\mathcal {M}\), \(\{x( j)\} _{j=1}^{N}\), and positive weights \(\{ a_{j}\} _{j=1}^{N}\) we have
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Let \(( \mathcal {M},g ) \) be a d-dimensional compact connected Riemannian manifold, with normalized Riemannian measure \(\mu \) such that \(\mu (\mathcal {M})=1\), and Riemannian distance d(x, y) . Let \(\{ \lambda _{m}^{2}\} _{m=0}^{+\infty }\) be the sequence of eigenvalues of the (positive) Laplace–Beltrami operator \(\Delta \), listed in increasing order with repetitions, and let \(\{ \varphi _{m} \} _{m=0}^{+\infty }\) be an associated sequence of orthonormal eigenfunctions. In particular \(\varphi _{0}\equiv 1\) and \(\lambda _{0}=0\). This allows to define the Fourier coefficients of \(L^{1}(\mathcal {M})\) functions as
and the associated Fourier series
The main result of this paper is the following theorem.
There exists a positive constant C such that for all integers N and X and for all finite sequences of N points in \(\mathcal {M}\), \(\{ x( j) \} _{j=1}^{N}\), and positive weights \(\{ a_{j}\} _{j=1}^{N}\) we have
Notice that the estimate
is immediately obtained since for \(m=0\) one has \(\varphi _{0}( x) =1\) for all x in \(\mathcal {M}\). The essential part of the theorem is therefore the estimate
Since for any m the expected value of \(\left| \sum a_{j}\varphi _{m}( x(j) ) \right| ^2\) is \(\sum a_{j}^2\) (see the proof of Proposition 2 below) the above estimate means that independently of how the points are chosen, there is a positive proportion of values of m between 0 and X for which \( \left| \sum a_{j}\varphi _{m}( x( j) ) \right| ^{2} \) cannot be essentially smaller than its expected value.
When \(\mathcal {M}\) is the one-dimensional torus, the above theorem is classical and goes back to the work of Cassels [5]. He was interested in estimates on exponential sums, and their relation to Dirichlet’s approximation theorem. More precisely, as part of the proof of a slightly weaker version of Dirichlet’s theorem, in [5, page 288] he showed that for any choice of N real numbers \(x(1),\ldots , x(N)\) and for any integer \(p\ge 1\),
where C is the sum of the squares of the coefficients in the usual multinomial expansion of \((x(1)+\cdots +x(N))^p\). When \(p=1\), we have \(C=N\) and Cassels estimate reduces to a version of our estimate (1) for the torus and for \(a_j=1\). In [14, Theorem 8, Chapter 5], Montgomery gave a version of (3) (with \(p=1\)) with positive weights,
He also proved the following version of Cassels inequality on the two dimensional torus \({\mathbb {T}}^2\) ([14, Theorem 12 in Chapter 5]). For any \(\mathbf{x }(1),\ldots {\mathbf{x }}(N)\) in \(\mathbb {T}^2\) and for any \(X_1\), \(X_2\)
The proof of these results was inspired by Siegel’s analytic proof of Minkowski’s convex body theorem [15]. Indeed, given a symmetric convex body \(\mathcal {C}\), there exists a non-negative trigonometric polynomial T such that \(\widehat{T}\) is also non-negative, the support of \(\widehat{T}\) is contained in \(\mathcal {C}\), \(T({\mathbf{0 }})\ge {\mathrm {area}}({\mathcal {C}})/4\) and \(\widehat{T}({\mathbf{0 }})=1\). It follows that
The construction of the trigonometric polynomial T is the following. Let \(\overline{\mathbf{x }}\) such that \(\sharp ((\frac{1}{2} {\mathcal {C}}-\overline{\mathbf{x }})\cap \mathbb {Z}^2)\ge {\mathrm {area}}({\mathcal {C}})/4\). Then one can simply take
The applications that Montgomery had in mind for this type of inequalities was to the theory of irregularities of distribution (see [14, Chapter 6]. See also [20]). Let \(\mathcal {C}\) be a subset of \({\mathbb {T}}^2\) and for any collection of N points \(\mathbf{x }(1),\ldots ,\mathbf{x }(N)\) define the discrepancy function
By Parseval’s identity, its \(L^2\) norm is
The idea is now to estimate this quantity from below by means of inequality (4). In general, due to the zeros of the function \(\widehat{\chi }_{{\mathcal {C}}}\), a lower bound for \(|\widehat{\chi }_{{\mathcal {C}}}(\mathbf{m })|^2\) is not available. However, it is sometimes possible to let \({\mathcal {C}}\) vary in some class of subsets of \({\mathbb {T}}^2\), in such a way that the average of the Fourier coefficients \(|\widehat{\chi }_{{\mathcal {C}}}(\mathbf{m })|\) over this collection is bounded below by some decreasing function of \(|\mathbf{m} |\). For example, one can take two disks of radius 1/4 and 1/2, or one can take dilations of a square, or rotations and dilations of a smooth convex set. In the case of two disks \({\mathcal {C}}_1\) and \({\mathcal {C}}_2\) of radius 1/4 and 1/2 respectively, Montgomery showed that
Thus,
Applying now inequality (4) with \(X_1=X_2=(2N)^{1/2}\), this is bounded below by \(c N X_1X_2 (\sqrt{2}X_1)^{-3}=cN^{1/2}\). This means that for any choice of N points there is a disk of radius 1/4 or 1/2 for which the discrepancy is greater than \(cN^{1/4}\).
This type of arguments have a straightforward extension to the higher dimensional torus.
If the collection of points \(\{\mathbf{x }(j)\}_{j=1}^N\) in \({\mathbb {T}}^d\) is not evenly distributed, one has to expect that the lower bound in (5) is not achieved (e.g., let all points be the same). This suggests that the exponential sums
can be used as a measure of the regularity of the collection of points. See [13] where this is related with Riesz type energy functionals for the torus.
A spherical analog of Cassels–Montgomery inequality has also been used by Bilyk and Dai [2, formula (4.9)] to prove a lower bound for the discrepancy in the d-dimensional sphere.
Recently, Bilyk, Dai, Steinerberger [3] extended Cassels–Montgomery inequality to the case of smooth compact d-dimensional Riemannian manifolds without boundary. More precisely they showed that there exists a positive constant C such that for all integers N and X and for all finite sequences of N points in \(\mathcal {M}\), \(\{ x( j) \} _{j=1}^{N}\), and positive weights \(\{a_{j}\}_{j=1}^{N}\),
This result should be compared with the following simple proposition.
Let X and N be positive integers. For all positive weights \(\{a_{j} \}_{j=1}^{N}\), there exists a sequence of points \(\{ x( j) \} _{j=1}^{N}\) in \(\mathcal {M}\) such that
Let
Since for \(m\ne 0\)
if \(j\ne k\) we have
while
Hence,
Therefore there exist points \(\{ x( j) \} _{j=1} ^{N}\) such that
\(\square \)
Our goal is therefore to remove the logarithmic loss in the above result of Bilyk, Dai and Steinerberger, thus obtaining a sharp estimate.
The original proof by Montgomery in the case of the torus uses the Fejér kernel, or more in general a trigonometric polynomial as the one described in (6). A direct adaptation of this proof to the case of a general manifold would require to construct a positive kernel of the form
but unfortunately this type of kernel is not available in a general manifold. One could therefore withdraw, for example, the requirement that the spectrum of the kernel be contained in the set \(\{\lambda _{0}^{2},\ldots ,\lambda _{X}^{2}\}\). This is the strategy followed by Bilyk, Dai and Steinerberger which use the heat kernel. Our strategy here is on the contrary to use a kernel which is positive up to a negligible error, without dropping the spectrum condition. The existence of such type of kernel can be proved by means of the Hadamard parametrix for the wave operator on the manifold. In the next section we introduce this construction.
A simple consequence of Theorem 1 is the following estimate on the maximum degree X of linear combinations of eigenfunctions of the Laplacian up to the eigenvalue \(\lambda _{X}\) that a quadrature rule can integrate exactly. This is a well known result for equal weights, see e.g. [8, Proposition 1], or [18, Theorem 2] where one can find an estimate of the constant C that depends only on the dimension of the manifold. See also [18, Theorem 1] for a result with general weights.
Let X be a positive integer and assume there exist points \( \{ x( j) \} _{j=1}^{N}\) and weights \(\{ a_{j} \} _{j=1}^{N}\) such that for every polynomial
we have
Then there exists a constant \(C>0\) independent of X and N such that
In particular
Since \(\varphi _{0}( x) \equiv 1\) we must have \(\sum _{i=1}^{N} a_{i}=1\). Let
then
On the other hand
Hence
Applying Cauchy–Schwarz inequality to \(1=\sum _{i=1}^{N}a_{i}\) we easily obtain
and therefore \(N\ge CX\). \(\square \)
When the manifold \({\mathcal {M}}\) is the d dimensional sphere and the weights \(a_j\) are all equal, the existence of point distributions (spherical designs) \(\{x(j)\}_{j=1}^{N(X)}\) for which (7) holds for some \(N(X)\le cX\) is the famous conjecture of Korevaar and Meyers [12], recently proved by Bondarenko, Radchenko, Viazovska [4]. The analogous result for a general manifold has been proved in [8]. See also [6] for the case of general weights.
1 The Hadamard parametrix for the wave equation
Following [11, III, §17.4], for \(\nu =0,\,1,\,2,\ldots \), let us call \(E_{\nu } ( t,x ) \) the distribution defined as the inverse Fourier-Laplace transform on \(\mathbb {R}^{d+1}\) of \(\nu ! ( \vert \xi \vert ^{2}-\tau ^{2} ) ^{-\nu -1}\),
Note that for \(\nu =0\), this is exactly the fundamental solution of the wave operator, see [11, I, §6.2]. The next Proposition (see [11, III, Lemma 17.4.2]) gives more information about the distributions \(E_{\nu }\).
Proposition 4
-
(i)
\(E_{\nu }\) is a homogeneous distribution of degree \(2\nu -d+1\) supported in the forward light cone \(\{ ( t,x ) \in \mathbb {R}^{1+d}:t>0,t^{2}\ge \vert x \vert ^{2} \} \).
-
(ii)
Moreover
$$\begin{aligned} E_{\nu } ( t,x ) =2^{-2\nu -1}\pi ^{( 1-d ) /2}\chi _{+}^{\nu + ( 1-d ) /2} ( t^{2}- \vert x \vert ^{2}),\quad t>0, \end{aligned}$$and \(E_{\nu } ( t,x)\) can be regarded as a smooth function of \(t>0\) with values in \(\mathcal {D}^{\prime } ( \mathbb {R}^{d}) \). In particular if \(\psi \in C_{0}^{\infty } ( \mathbb {R}^{1+d}) \) then
$$\begin{aligned} \langle E_{\nu },\psi \rangle =2^{-2\nu -1}\pi ^{( 1-d ) /2}\int _{0}^{+\infty }\langle \chi _{+}^{\nu + ( 1-d ) /2} ( t^{2}- \vert \cdot \vert ^{2}) ,\psi ( t,\cdot )\rangle dt. \end{aligned}$$Also
$$\begin{aligned} \partial _{t}^{k}E_{\nu } ( 0^{+},\cdot ) =0\quad \text {for }k\le 2\nu \end{aligned}$$and
$$\begin{aligned} \partial _{t}^{2\nu +1}E_{\nu } ( 0^{+},\cdot ) =\nu !\delta _{0}. \end{aligned}$$ -
(iii)
Finally, setting
$$\begin{aligned} \langle \check{E}_{\nu },\varphi \rangle := \langle E_{\nu },\check{\varphi } \rangle , \end{aligned}$$where
$$\begin{aligned} \check{\varphi } ( t,x ) =\varphi ( -t,x ), \end{aligned}$$the distributions \(( E_{\nu }-\check{E}_{\nu } ) ( t,x ) \) and \(\partial _{t} ( E_{\nu }-\check{E}_{\nu }) ( t,x ) \) can be regarded as continuous radial functions of x with values in \(\mathcal {D}^{\prime } ( \mathbb {R}) \). With a small abuse of notation we will write \(( E_{\nu }-\check{E}_{\nu })( \cdot , \vert x \vert ) \) and \(\partial _{\cdot } ( E_{\nu }-\check{E}_{\nu }) ( \cdot ,\vert x \vert ) \).
Let us clarify the meaning of the objects that appear in this proposition. Let \(\alpha \in \mathbb {C}\) be such that \({\text {Re}}\alpha >-1\) and for every test function \(\varphi \in C_{0}^{\infty } ( \mathbb {R}) \) define the distribution \(\chi _{+}^{\alpha }\) as
Integration by parts immediately gives
so that \(\chi _{+}^{\alpha }\) can be extended to all \(\alpha \) with \({\text {Re}}\alpha >-2\), and, repeating the argument, to the whole complex plane (see [11, I, §3.2] for the details).
Also, since the function \(f(x,t)=t^{2}-|x|^{2}\) is a submersion of \(\mathbb {R}^{d+1}\setminus \{0\}\) in \(\mathbb {R}\), then the pull-back \(\chi _{+}^{\alpha }(t^{2}-|x|^{2}):=f^{*}(\chi _{+}^{\alpha })\in \mathcal {D} ^{\prime }(\mathbb {R}^{d+1}\setminus \{0\})\) is defined by the identity
We observe that by [11, I, Theorem 3.23] the distribution \(\chi _{+}^{\nu +( 1-d) /2}(t^{2}-|x|^{2})\) can be uniquely extended to \(\mathcal {D}^{\prime }(\mathbb {R}^{d+1})\) for \(\nu =0,1,\ldots \).
Recall that distributions in \(\mathcal {D}^{\prime }(\mathcal {M})\) can always be written as \(u=\sum _{m=0}^{+\infty } c_m \varphi _m\), where the sequence \(\{c_m\}\) is slowly increasing. Their action on smooth functions is given by
Consider the continuous linear map \(\mathcal {K}_{t}:\mathcal {D}(\mathcal {M} )\rightarrow \mathcal {D}^{\prime }(\mathcal {M})\) defined by
Observe that \(\mathcal {K}_{t}\phi \) is in fact a smooth function and it is the solution of the following Cauchy problem for the wave equation
By the Schwartz kernel Theorem (see [11, I, Theorem 5.2.1]), there exists one and only one distribution \(\cos (t\sqrt{\Delta })(x,y)\in \mathcal {D}^{\prime }(\mathcal {M}\times \mathcal {M})\), called kernel of the map \(\mathcal {K}_{t}\), such that
This immediately implies that
and the identity is of course in the sense of distributions in \(\mathcal {D} ^{\prime }(\mathcal {M}\times \mathcal {M})\).
Hadamard’s construction of the parametrix for the wave operator allows to describe for small values of time t the singularities of \(\cos ( t\sqrt{\Delta }) ( x,y) \).
Theorem 5
(see [16, Theorem 3.1.5]) Given a d-dimensional Riemannian manifold \(( \mathcal {M},g) \), there exists \(\varepsilon >0\) and functions \(\alpha _{\nu }\in \mathcal {C}^{\infty } (\mathcal {M}\times \mathcal {M})\), so that if \(Q>d+3\) the following holds. Let
and
then \(R_{Q}\in \mathcal {C}^{Q-d-3} ( [ -\varepsilon ,\varepsilon ] \times \mathcal {M}\times \mathcal {M}) \) and
Furthermore \(\alpha _{0}( x,y) >0\) in \(\mathcal {M}\times \mathcal {M}\).
Observe that \(K_{Q}( t,x,y) \), by Proposition 4 (iii), defines a distribution on \(\mathbb {R\times }\mathcal {M}\times \mathcal {M}\) via the identity
However this distribution describes the singularities of the kernel \(\cos ( t\sqrt{\Delta }) ( x,y) \) only for small time.
2 Notations and Fourier transforms
Let us introduce some notation. If f and g are integrable functions on \(\mathbb {R}^{d}\), we shall denote their convolution by
We define the cosine transform of smooth even functions on \(\mathbb {R}\) as
with inverse
For smooth functions on \(\mathbb {R}^{d}\) we will use a slightly different normalization, and we define the Fourier transform and its inverse as
For radial functions \(f( x) =f_{0} ( \vert x \vert ) \), the above Fourier transform reduces essentially to the Hankel transform, given by (see [17, Chapter 4, Theorem 3.3])
In the future, with an abuse of notation, we will identify the function f with its radial profile \(f_{0}\) and write \(\mathcal {F}_{d}f( \vert \xi \vert ) \) instead of \(\mathcal {F}_{d}f( \xi ).\) One can easily show that
In the proof of Theorem 1 we need the inverse cosine transform of the distribution \(\partial _{t}( E_{\nu }-\check{E}_{\nu }) \). By Proposition 4 (iii), \(\partial _{t}( E_{\nu } -\check{E}_{\nu }) ( t,z) \) can be seen as a continuous function of z into \(\mathcal {D}^{\prime }( \mathbb {R}).\) In the following Lemma we compute for every fixed z the inverse cosine transform of this distribution.
Lemma 6
Let \(0\le \nu <d/2\). For every \(z\in \mathbb {R}^{d}\), \(\mathcal {C}^{-1}( \partial _{\cdot }( E_{\nu }-\check{E}_{\nu }) ( \cdot ,z) ) \) is a function and for all \(t\in \mathbb {R}\)
Proof
Since by Proposition 4 (i) and (iii)
if \(( d-1 ) /2<\nu <d/2\), then
is an even, locally integrable function in t, vanishing at \(\infty \), so that its cosine transform is (see [7, Formula 11, Table 1.3, Chapter 1, page 12]),
Observe now that the distribution \(\chi _{+}^{\nu + ( 1-d ) /2}\) in \(\mathcal {D}^{\prime }( \mathbb {R}) \) is entire in the variable \(\nu \), and so is the distribution \(\partial _{t}( E_{\nu }-\check{E}_{\nu }) ( t,z)\) in \(\mathcal {D}^{\prime }( \mathbb {R}) \) for fixed z. This implies that also the cosine transform
can be analytically extended to all complex values of \(\nu \) (see [9, Note 1, page 171]). This analytic extension coincides therefore with the analytic extension of the distribution
Observe that this is the product of the locally integrable function \(\vert s \vert ^{-2\nu -1+d}\) (recall that \(\nu <d/2\)) with the smooth function \(\pi ^{-d/2}2^{-\nu -d/2}\frac{J_{-\nu +d/2-1}( s\vert z\vert ) }{( s\vert z\vert ) ^{-\nu +d/2-1}}\), which is analytic in \(\nu \in \mathbb {C}\).
Thus, the identity
holds for all \(\nu <d/2\). \(\square \)
3 Proof of the main result
It suffices to show the main inequality (2) for any positive integer N and for any integer X sufficiently large. Indeed, if \(1\le X<X_{0}\)
Let \(\kappa \) be a positive integer that we will choose later and let \(Y=\kappa X\). By [10, Theorem 2], we can split the manifold \(\mathcal {M}\) into Y disjoint regions \(\{ \mathcal {R}_{i}\} _{i=1}^{Y}\) with measure \(\vert \mathcal {R}_{i}\vert =1/Y\) and such that each region contains a ball of radius \(c_{1}Y^{-1/d}\) and is contained in a ball of radius \(c_{2}Y^{-1/d}\), for appropriate values of \(c_{1}\) and \(c_{2}\) independent of Y. Let us call \(\{ \mathcal {B}_{r}\} _{r=1}^{R}\) the sequence of all the regions of the above collection \(\{ \mathcal {R}_{i} \} _{i=1}^{Y}\) which contain at least one of the points x(j) . We call \(K_{r}\) the cardinality of the set \(\{ j=1,\ldots ,N:x( j) \in \mathcal {B}_{r}\} \) and \(S_{r}\) the sum of the weights \(\{a_{j}\}\) corresponding to points \(x( j) \in \mathcal {B}_{r}\). Without loss of generality we can assume that
We rename the sequence \(\{ x( j) \} _{j=1}^{N}\) as
with \(x_{r,j}\in \mathcal {B}_{r}\) for all \(j=1,\ldots ,K_{r}\), and the sequence \(\{ a_{j}\} _{j=1}^{N}\) as
Observe that
Inequality (2) is an immediate consequence of the following
Let \(\psi \) be a smooth radial function on \(\mathbb {R}^{d}\) compactly supported in the ball \(B( 0,1/2) =\{ x\in \mathbb {R}^{d}:\vert x\vert \leqslant 1/2\} \) such that \(\Vert \psi \Vert _{2}=1\) and \(\int \psi >0\), and set \(H( x) =\psi *_{d}\psi ( x) \). Then clearly H is radial, compactly supported in B(0, 1) , \(H( x) \le 1\) for all \(x\in \mathbb R^d \), and \(H( 0) =1\). Moreover its Fourier transform is \(\mathcal {F}_{d}H( \xi ) =( \mathcal {F}_{d}\psi ( \xi ) ) ^{2} \ge 0\) for all \(\xi \in \mathbb {R}^{d}\), and has fast decay at infinity with all its derivatives.
If we now identify H(x) with its radial profile, we can write
Let us define the kernel
We will estimate \(F_{X}( x,y) \) using the parametrix for the wave operator described in the previous section. For this, one would need that the Fourier cosine transform of \(H( \frac{\cdot }{\lambda _{X}}) \) have small support. This of course cannot be achieved, having H itself compact support. For this reason we pick \(\eta =\mathcal {F}_{d}\phi \) where \(\phi ( \xi ) \) is a nonnegative smooth radial function supported in \(B( 0,\varepsilon /2\pi ) \) and such that \(\phi ( \xi ) =1\) in \(B( 0,\varepsilon /4\pi ) \) and define
The reason for taking a d-dimensional convolution will be clarified in Lemma 8 where we use the fact that \(\mathcal {F}_{d}\widetilde{H}\ge 0\).
Observe that \({\text {*}}{supp}\mathcal {F}_{d}\widetilde{H}\subset B( 0,\varepsilon /2\pi ) \). It is remarkable that the cosine transform of \(\widetilde{H}\) has support in \([ 0,\varepsilon ] \) and is nonnegative.
Lemma 7
\(\mathcal {C}^{-1}\widetilde{H}( \rho ) \ge 0\) for \(\rho \ge 0\) and \(\mathcal {C}^{-1}\widetilde{H}( \rho ) =0\) for \(\rho >\varepsilon \).
Proof
It is known (see [19, eq. (3.9)] ) that for \(d>d^{\prime }\ge 1,\)
Let now \(g( r) =\mathcal {F}_{d}\widetilde{H}( r) \). Since \(\widetilde{H}( s) =\mathcal {F}_{d}g( s) \) and the cosine transform is essentially \(\mathcal {F}_{1}\) we obtain
and the thesis follows immediately from (13), the fact that \(g( r) \ge 0\) and the fact that \(g( r) =0\) for \(r>\varepsilon /2\pi \). \(\square \)
Let us go back to the kernel \(F_{X}\),
Since
and \(\mathcal {C}^{-1}\widetilde{H}( t) \) is supported in \([ -\varepsilon ,\varepsilon ] \), by Theorem 5, we can write
where we set
We can therefore decompose the kernel \(F_{X}\) as follows
where
Recalling (11) and (12) we have
We start estimating the term with \(F_{1}\) which is the positive part of the kernel and gives the main contribution.
Lemma 8
For \(\kappa \) large enough there exist \(X_{0}>0\) and \(C>0\) such that for every \(X>X_{0}\)
Proof
First of all we show that \(\Omega _{0}( x,y) \) is positive. Indeed, by Lemma 6 and (8), for every \(x,y\in \mathcal {M},\)
Since also \(\alpha _{0}( x,y) \) is positive, we can disregard off-diagonal terms,
By Weyl’s estimate (see e.g. [11, III, Corollary 17.5.8]) \(\lambda _{X}\sim X^{1/d}\). Thus, if \(x,y\in \mathcal {B}_{r}\) then
Let \(\kappa \) large enough so that if \(x,y\in \mathcal {B}_{r}\)
and
so that
Finally,
\(\square \)
The following lemmas show that the contributions given by the terms with \(F_2\), \(F_3\), \(F_4\), \(F_5\) are negligible.
Lemma 9
There exist \(C>0\) and \(X_{0}>0\) such that for every \(X>X_{0}\)
Proof
We will show that for every integer \(\nu \), \(1\le \nu <d/2,\)
By Lemma 6, for every \(x,y\in \mathcal {M}\),
Using (13) and the fast decay at infinity of \(\mathcal {F} _{d}\psi \), for any positive M there exist positive constants C and G such that for every \(\rho \ge 0\)
Therefore, using the symmetry of \(\Omega _{\nu }( x,y) \), for any integer \(\nu \) with \(1\le \nu <d/2\) we obtain
In order to estimate the above sum recall that every region \(\mathcal {B}_{r}\) is contained in a ball centered at a point \(z_{r}\in \mathcal {B}_{r}\) of radius \(c_{2}Y^{-1/d}\) and let \(c_{3}=10c_{2}\). For every fixed \(r=1,\ldots ,R\) we will consider separately the contribution of those values of s for which the \(\mathcal {B}_{s}\) is near \(\mathcal {B}_{r}\), in the sense that \(\mathcal {B} _{s}\) is contained in the ball centered at \(z_{r}\) and with radius \(c_{3}Y^{-1/d}\), and the contribution of the remaining values of s, for which we will say that \(\mathcal {B}_{s}\) is far from \(\mathcal {B}_{r}\). Notice that there are at most
regions \(\mathcal {B}_{s}\) near \(\mathcal {B}_{r}\). Thus, using again that \(\lambda _{X}\sim X^{1/d}\) and that for \(r\leqslant s\) we have \(\sum _{j=1}^{K_{r}}a_{r,j}\ge \sum _{i=1}^{K_{s}}a_{s,i}\), we obtain
Using again that for \(r\le s\) we have \(\sum _{j=1}^{K_{r}}a_{r,j}\ge \sum _{i=1}^{K_{s}}a_{s,i}\),
\(\square \)
Lemma 10
There exist \(C>0\) and \(X_{0}\) such that for every \(X>X_{0}\)
Proof
We will show that for every integer \(\nu \ge d/2,\)
Observe that for \(\nu \ge d/2\), the distribution \(\partial _{t}( E_{\nu }-\check{E}_{\nu }) \left( t,d( x,y) \right) \) can be identified with the locally integrable function
for an appropriate value of \(C_{\nu }\). Therefore, using the symmetry of \(\Omega _{\nu }( x,y) \),
where we use the fact that \(\mathcal {C}^{-1}\widetilde{H}( t) \ge 0\), by Lemma 7.
Assume first that \(d=1\) and let \(D=d( x_{r,j},x_{s,i}) \), then
A similar estimate can be obtained for \(d\ge 2\). Indeed, by formula (13)
so that, by Fubini’s theorem,
Since
we obtain
Thus, for all \(d\ge 1\),
Finally, arguing as in the previous lemma,
\(\square \)
Lemma 11
There exist \(C>0\) and \(X_{0}>0\) such that for every \(X>X_{0}\)
Proof
Recall that for every \(x,y\in \mathcal {M}\),
As before, if \(d=1\), then
and, by Theorem 5,
A similar estimate holds for \(d\ge 2\). Indeed, as in the previous lemma,
so that, again by Theorem 5,
Finally, for all \(d\ge 1\), since \(R\le Y=\kappa X\),
and since \(Q>d+3\), the exponent \(2-( 2Q+2) /d\) is negative and the result follows. \(\square \)
Lemma 12
There exist \(C>0\) and \(X_{0}>0\) such that for every \(X>X_{0}\)
Proof
We need to estimate
Let us first study the term
Since \(\eta ( y) \) has rapid decay at infinity and H(x) is supported in B(0, 1) , if \(\left| x\right| \ge 2\lambda _{X}\) we have
Assume \(\left| x\right| <2\lambda _{X}\). By Taylor’s theorem with integral reminder we can write
so that
It follows that
and since
we obtain
Using Hormander’s estimates on the \(L^{\infty }\) norm of the eigenfunctions (see [16, (3.2.2), page 48])
we obtain
By Weyl’s estimates, which say that the number of eigenvalues \(\lambda _{m} ^{2}\le T^{2}\) is asymptotic to \(cT^{d}\),
and taking M such that \(-M+2d-1<-d\) gives the result. \(\square \)
References
Berger, M., Gauduchon, P., Mazet, E.: Le spectre d’une variété riemannienne. Lecture Notes in Mathematics, vol. 194. Springer, Berlin (1971)
Bilyk, D., Dai, F.: Geodesic distance Riesz energy on the sphere. Trans. Am. Math. Soc. 372(5), 3141–3166 (2019)
Bilyk, D., Dai, F., Steinerberger, S.: General and refined Montgomery lemmata. Math. Ann. 373, 1283–1297 (2019)
Bondarenko, A., Radchenko, D., Viazovska, M.: Optimal asymptotic bounds for spherical designs. Ann. Math. 178, 443–452 (2013)
Cassels, J.W.S.: On the sums of powers of complex numbers. Acta Math. Acad. Sci. Hungar. 7, 283–289 (1956)
Ehler, M., Etayo, U., Gariboldi, B., Gigante, G., Peter, T.: Asymptotically optimal cubature formulas on manifolds for prefixed weights (2020). arXiv:1810.01106v3
Erdélyi, A., Magnus, W., Oberhettinger, F., Tricomi, F. G.: Tables of integral transforms, vol. I. Based, in part, on notes left by Harry Bateman. McGraw-Hill Book Company, Inc., New York (1954)
Gariboldi, B., Gigante, G.: Optimal asymptotic bounds for designs on manifolds. arXiv:1811.12676
Gel’fand, I.M., Shilov, G.E.: Generalized Functions, vol. 1. Academic Press, London (1964)
Gigante, G., Leopardi, P.: Diameter bounded equal measure partitions of Ahlfors regular metric measure spaces. Discrete Comput. Geom. 57, 419–430 (2017)
Hormander, L.: The Analysis of Linear Partial Differential Operators, I, II, III, IV. Springer (1983–1985)
Korevaar, J., Meyers, J.L.H.: Spherical Faraday cage for the case of equal point charges and Chebyshev-type quadrature on the sphere. Integr. Transform. Spec. Funct. 1, 105–117 (1993)
Lu, J., Steinerberger, S.: Riesz Energy on the Torus: Regularity of Minimizers (2017). arXiv:1710.08010
Montgomery, H.: Ten Lectures at the Interface of Harmonic Analysis and Number Theory. American Mathematical Society, Providence (1994)
Siegel, C.L.: Über Gitterpunkte in Convexen Körpern und ein Damit Zusammenhängendes Extremalproblem. Acta Math. 65(1), 307–323 (1935)
Sogge, C.D.: Hangzhou Lectures on Eigenfunctions of the Laplacian, Annals of Mathematics Studies, 188. Princeton University Press, Princeton (2014)
Stein, E.M., Weiss, G.: Introduction to Fourier analysis on Euclidean spaces. Princeton University Press, Princeton (1971)
Steinerberger, S.: Spectral limitations of quadrature rules and generalized spherical designs. Int. Math. Res. Notices. https://doi.org/10.1093/imrn/rnz176
Stempak, K., Trebels, W.: Hankel multipliers and transplantation operators. Stud. Math. 126, 51–66 (1997)
Travaglini, G.: Number Theory, Fourier Analysis and Geometric Discrepancy, London Mathematical Society Student Texts, vol. 81. Cambridge University Press, Cambridge (2014)
Funding
Open access funding provided by Università degli Studi di Bergamo within the CRUI-CARE Agreement
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Loukas Grafakos.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The authors have been supported by a GNAMPA 2019 project.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Brandolini, L., Gariboldi, B. & Gigante, G. On a sharp lemma of Cassels and Montgomery on manifolds. Math. Ann. 379, 1807–1834 (2021). https://doi.org/10.1007/s00208-020-02115-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00208-020-02115-0