Nhãn 02LX, cố định. Trích dẫn là [Bourbaki, Tag 02LX].
Các lý thuyết phổ, II, p. 294
Giữ lại các ký hiệu của bài tập trước. Cho M, N⩾1 là các số nguyên và cho (an)M<n⩽M+N là một họ các số phức. Cho δ>0 là một số thực, R⩾1 là một số nguyên và (ξr)1⩽r⩽R là một họ các số thực sao cho infh∈Z∣ξr−ξr′−h∣⩾δ với mọi r=r′.
Với mọi x∈R, đặt
S(x)=n=M+1∑M+Nane2iπnx
a) Ta có
r=1∑R∣S(ξr)∣2⩽(N+δ−1−1)n=M+1∑M+N∣an∣2
("bất đẳng thức sàng lớn").
(Xét hàm τ:z↦σ(δz), trong đó σ là hàm của các câu hỏi f) và g) của bài tập trước trên khoảng [α,β]=[δ(M+1),δ(M+N)]; đặt
S∗(x)=n=M+1∑M+Na(n)τ(n)−1e2iπnx
và nhận xét rằng
S(x)=∫−δ/2δ/2τ(t)S∗(t+x)dt
Đặt x=ξr, áp dụng bất đẳng thức Cauchy-Schwarz và lấy tổng theo r.)