MathLabs
TheoremProved

The special case $k=3$: van der Corput's theorem

Statement

There are infinitely many 3-term arithmetic progressions of primes; in fact the number of such progressions with all terms ≤N\le N is asymptotically c N2/log⁡3Nc \, N^2/\log^3 N for an explicit constant c>0c>0.

Why is it true?

This special case predates Green–Tao by 65 years and was settled by van der Corput in 1939 using the Hardy–Littlewood circle method directly on the primes, with no need for the transference machinery required for general kk. It shows why k=3k=3 was long tractable by classical analytic number theory while longer progressions were completely open until 2004.

Proof sketch

Step 1 (weighted count via exponential sums). Write S(θ)=∑n≤NΛ(n)e(θn)S(\theta) = \sum_{n \le N} \Lambda(n) e(\theta n). The weighted count of 3-term progressions p1+p3=2p2p_1 + p_3 = 2p_2 with all terms ≤N\le N equals ∫01S(θ)2S(−2θ) dθ\int_0^1 S(\theta)^2 S(-2\theta) \, d\theta by orthogonality of the exponential.

Step 2 (major arcs). Near rationals θ≈a/q\theta \approx a/q with qq small, S(θ)S(\theta) is well approximated using the prime number theorem in arithmetic progressions; summing these contributions gives the Hardy–Littlewood main term S(N) N2/log⁡3N\mathfrak{S}(N) \, N^2 / \log^3 N, where the singular series S(N)\mathfrak{S}(N) is a positive constant depending only on local (mod qq) densities of primes.

Step 3 (minor arcs). Away from rationals with small denominator, Vinogradov's estimates bound S(θ)S(\theta) by O(N(log⁡N)−A)O(N (\log N)^{-A}) for any fixed AA, using cancellation in the sum over primes; integrating this bound over the minor arcs shows their total contribution is o(N2/log⁡3N)o(N^2/\log^3 N) — negligible next to the major-arc main term.

Step 4 (conclusion). Since the major-arc main term S(N) N2/log⁡3N\mathfrak{S}(N)\,N^2/\log^3 N dominates the negligible minor-arc error, the weighted count of 3-term progressions grows like N2/log⁡3N→∞N^2/\log^3 N \to \infty, so there are infinitely many (and asymptotically many) 3-term arithmetic progressions of primes — a full 65 years before the general case was settled.

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  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