Math Labs
Định lýĐã chứng minh

Trường hợp riêng $k=3$: định lý van der Corput

Phát biểu

Có vô hạn cấp số cộng 3 số hạng gồm toàn số nguyên tố; thực ra số cấp số cộng như vậy với mọi số hạng ≤N\le N tiệm cận c N2/log⁡3Nc \, N^2/\log^3 N với hằng số tường minh c>0c>0.

Vì sao đúng?

Trường hợp riêng này có trước Green–Tao 65 năm và được van der Corput giải quyết năm 1939 bằng phương pháp vòng tròn Hardy–Littlewood áp dụng trực tiếp lên số nguyên tố, không cần bộ máy chuyển giao cần cho kk tổng quát. Nó cho thấy vì sao k=3k=3 từ lâu đã giải được bằng lý thuyết số giải tích cổ điển trong khi cấp số cộng dài hơn hoàn toàn còn mở cho tới năm 2004.

Phác thảo chứng minh

Bước 1 (đếm có trọng số bằng tổng lũy thừa). Viết S(θ)=∑n≤NΛ(n)e(θn)S(\theta) = \sum_{n \le N} \Lambda(n) e(\theta n). Số đếm có trọng số các cấp số cộng 3 số hạng p1+p3=2p2p_1 + p_3 = 2p_2 với mọi số hạng ≤N\le N bằng ∫01S(θ)2S(−2θ) dθ\int_0^1 S(\theta)^2 S(-2\theta) \, d\theta nhờ tính trực giao của hàm mũ.

Bước 2 (cung chính). Gần các số hữu tỉ θ≈a/q\theta \approx a/q với qq nhỏ, S(θ)S(\theta) được xấp xỉ tốt nhờ định lý số nguyên tố trong cấp số cộng; cộng các đóng góp này cho số hạng chính Hardy–Littlewood S(N) N2/log⁡3N\mathfrak{S}(N) \, N^2 / \log^3 N, trong đó chuỗi kỳ dị S(N)\mathfrak{S}(N) là một hằng số dương chỉ phụ thuộc mật độ địa phương (modulo qq) của số nguyên tố.

Bước 3 (cung phụ). Xa các số hữu tỉ mẫu nhỏ, ước lượng Vinogradov chặn S(θ)S(\theta) bởi O(N(log⁡N)−A)O(N (\log N)^{-A}) với mọi AA cố định, nhờ sự triệt tiêu trong tổng trên số nguyên tố; lấy tích phân cận này trên cung phụ cho thấy tổng đóng góp của chúng là o(N2/log⁡3N)o(N^2/\log^3 N) — không đáng kể so với số hạng chính từ cung chính.

Bước 4 (kết luận). Vì số hạng chính từ cung chính S(N) N2/log⁡3N\mathfrak{S}(N)\,N^2/\log^3 N lấn át sai số không đáng kể từ cung phụ, số đếm có trọng số các cấp số cộng 3 số hạng tăng như N2/log⁡3N→∞N^2/\log^3 N \to \infty, nên có vô hạn (và tiệm cận nhiều) cấp số cộng 3 số hạng gồm số nguyên tố — trọn 65 năm trước khi trường hợp tổng quát được giải quyết.

Chủ đề chứa định lý này

Chứng minh từng bước

Chưa có chứng minh từng bước cho định lý này.

Tài liệu tham khảo

  1. Ben Green, Terence Tao (2008). The primes contain arbitrarily long arithmetic progressions · arXiv:math/0404188
  2. Terence Tao, Tamar Ziegler (2008). The primes contain arbitrarily long polynomial progressions · arXiv:math/0610050
  3. David Conlon, Jacob Fox, Yufei Zhao (2015). A relative Szemerédi theorem · arXiv:1305.5440