Étiquette 02LX, permanente. À citer comme [Bourbaki, Tag 02LX].
Théories spectrales, II, p. 294
On garde les notations de l’exercice précédent. Soient M, N⩾1 des entiers et soit (an)M<n⩽M+N une famille de nombres complexes. Soient δ>0 un nombre réel, R⩾1 un entier et (ξr)1⩽r⩽R une famille de nombres réels tels que infh∈Z∣ξr−ξr′−h∣⩾δ pour tous r=r′.
Pour tout x∈R, posons
S(x)=n=M+1∑M+Nane2iπnx
a) On a
r=1∑R∣S(ξr)∣2⩽(N+δ−1−1)n=M+1∑M+N∣an∣2
(« inégalité de grand crible »).
(Considérer la fonction τ:z↦σ(δz), où σ est la fonction des questions f) et g) de l’exercice précédent pour l’intervalle [α,β]=[δ(M+1),δ(M+N)] ; poser
S∗(x)=n=M+1∑M+Na(n)τ(n)−1e2iπnx
et observer que
S(x)=∫−δ/2δ/2τ(t)S∗(t+x)dt
Poser x=ξr, appliquer l’inégalité de Cauchy-Schwarz et sommer sur r.)