定理証明済み
特別な場合 $k=3$:ファン・デル・コルプットの定理
内容
素数からなる3項等差数列は無限に存在する。実際、すべての項が であるそのような数列の個数は、明示的な定数 に対して漸近的に である。
なぜ正しいのか?
この特別な場合はグリーン・タオより65年前のものであり、一般の に必要な移送機構を必要とせず、素数に直接ハーディ・リトルウッドの円周法を適用して1939年にファン・デル・コルプットによって解決された。これは、なぜ が古典的解析数論で長らく扱いやすかった一方、より長い数列が2004年まで完全に未解決だったのかを示している。
証明の概略
第1段階(指数和による重み付き計数)。 と書く。すべての項が である3項数列 の重み付き個数は、指数関数の直交性により に等しい。
第2段階(主要弧)。 が小さい有理数 の近くでは、 は算術級数中の素数定理によってよく近似される。これらの寄与を合計するとハーディ・リトルウッドの主要項 が得られ、特異級数 は法 での素数の局所密度にのみ依存する正の定数である。
第3段階(副次弧)。分母の小さい有理数から離れた場所では、Vinogradovの評価により は素数にわたる和の中でのキャンセルを用いて任意の固定された に対し で抑えられる。この評価を副次弧上で積分すると、それらの寄与の合計が であることが分かる——主要弧の主要項に比べて無視できる。
第4段階(結論)。主要弧の主要項 が無視できる副次弧の誤差を上回るため、3項数列の重み付き個数は のように増大し、したがって素数からなる3項等差数列が無限に(かつ漸近的に多く)存在する——一般の場合が解決されるまさに65年前のことである。
この定理を使うトピック
ステップごとの証明
この定理のステップごとの証明はまだありません。
参考文献
- Ben Green, Terence Tao (2008). The primes contain arbitrarily long arithmetic progressions · arXiv:math/0404188
- Terence Tao, Tamar Ziegler (2008). The primes contain arbitrarily long polynomial progressions · arXiv:math/0610050
- David Conlon, Jacob Fox, Yufei Zhao (2015). A relative Szemerédi theorem · arXiv:1305.5440