Tag 02LX, permanent. Cite it as [Bourbaki, Tag 02LX].
Spectral Theories, II, p. 294
On retains the notations of the preceding exercise. Let M, N⩾1 be integers and let (an)M<n⩽M+N be a family of complex numbers. Let δ>0 be a real number, R⩾1 an integer and (ξr)1⩽r⩽R a family of real numbers such that infh∈Z∣ξr−ξr′−h∣⩾δ for all r=r′.
For every x∈R, put
S(x)=n=M+1∑M+Nane2iπnx
a) One has
r=1∑R∣S(ξr)∣2⩽(N+δ−1−1)n=M+1∑M+N∣an∣2
("large sieve inequality").
(Consider the function τ:z↦σ(δz), where σ is the function of questions f) and g) of the preceding exercise for the interval [α,β]=[δ(M+1),δ(M+N)]; put
S∗(x)=n=M+1∑M+Na(n)τ(n)−1e2iπnx
and observe that
S(x)=∫−δ/2δ/2τ(t)S∗(t+x)dt
Put x=ξr, apply the Cauchy-Schwarz inequality and sum over r.)