MathLabs
定理証明済み

特別な場合 $k=3$:ファン・デル・コルプットの定理

内容

素数からなる3項等差数列は無限に存在する。実際、すべての項が ≤N\le N であるそのような数列の個数は、明示的な定数 c>0c>0 に対して漸近的に c N2/log⁡3Nc \, N^2/\log^3 N である。

なぜ正しいのか?

この特別な場合はグリーン・タオより65年前のものであり、一般の kk に必要な移送機構を必要とせず、素数に直接ハーディ・リトルウッドの円周法を適用して1939年にファン・デル・コルプットによって解決された。これは、なぜ k=3k=3 が古典的解析数論で長らく扱いやすかった一方、より長い数列が2004年まで完全に未解決だったのかを示している。

証明の概略

第1段階(指数和による重み付き計数)。S(θ)=∑n≤NΛ(n)e(θn)S(\theta) = \sum_{n \le N} \Lambda(n) e(\theta n) と書く。すべての項が ≤N\le N である3項数列 p1+p3=2p2p_1 + p_3 = 2p_2 の重み付き個数は、指数関数の直交性により ∫01S(θ)2S(−2θ) dθ\int_0^1 S(\theta)^2 S(-2\theta) \, d\theta に等しい。

第2段階(主要弧)。qq が小さい有理数 θ≈a/q\theta \approx a/q の近くでは、S(θ)S(\theta) は算術級数中の素数定理によってよく近似される。これらの寄与を合計するとハーディ・リトルウッドの主要項 S(N) N2/log⁡3N\mathfrak{S}(N) \, N^2 / \log^3 N が得られ、特異級数 S(N)\mathfrak{S}(N) は法 qq での素数の局所密度にのみ依存する正の定数である。

第3段階(副次弧)。分母の小さい有理数から離れた場所では、Vinogradovの評価により S(θ)S(\theta) は素数にわたる和の中でのキャンセルを用いて任意の固定された AA に対し O(N(log⁡N)−A)O(N (\log N)^{-A}) で抑えられる。この評価を副次弧上で積分すると、それらの寄与の合計が o(N2/log⁡3N)o(N^2/\log^3 N) であることが分かる——主要弧の主要項に比べて無視できる。

第4段階(結論)。主要弧の主要項 S(N) N2/log⁡3N\mathfrak{S}(N)\,N^2/\log^3 N が無視できる副次弧の誤差を上回るため、3項数列の重み付き個数は N2/log⁡3N→∞N^2/\log^3 N \to \infty のように増大し、したがって素数からなる3項等差数列が無限に(かつ漸近的に多く)存在する——一般の場合が解決されるまさに65年前のことである。

この定理を使うトピック

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  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