[論文レビュー] There are infinitely many prime numbers in all arithmetic progressions with first term and difference coprime

Peter Gustav Lejeune Dirichlet|arXiv (Cornell University)|Aug 10, 2008

Analytic Number Theory Research被引用数 7

ひとこと要約

ディリクレは、最初の項と公差が互いに素である任意の等差数列が無限個の素数を含むことを、ディリクレの指標、L関数、複素解析を含む解析的手段を用いて証明した。主な貢献は、数論における基本的結果であるこの事実の初の厳密な証明であり、s=1におけるL関数の消失しない性質を用いて、互いに素な等差数列における素数の無限性を確立した。

ABSTRACT

Dirichlet's proof of infinitely many primes in arithmetic progressions was published in 1837, introduced L-series for the first time, and it is said to have started rigorous analytic number theory. Dirichlet uses Euler's earlier work on the zeta function and the distribution of primes. He first proves a simpler case before going to full generality. The paper was translated from German by R. Stephan and given a reference section.

研究の動機と目的

• 最初の項と公差が互いに素である任意の等差数列が無限個の素数を含むことを厳密に証明すること。
• レジェンドルによって以前に予想されたり部分的に正当化されたりした、長年の未解決問題を解消すること。
• ディリクレの指標とL関数に基づく、等差数列における素数の無限性を確立する新しい解析的手法を開発すること。
• 今後の数論的応用、特に類数や二次形式の研究のための基盤を提供すること。

提案手法

• 奇素数モジュロにおける整数の指数を原始根を用いて定義し、乗法的関数に対応する対数的性質を可能にする。
• 単位根とゼータ関数に類似した関数を含む幾何級数の積を構成し、ディリクレL関数を生成する。
• 指数の乗法的構造と単位根を用いて、L関数を法と互いに素な整数に関する和として表現する。
• sが右から1に近づくときのL関数の解析的性質を、収束性と連続性の議論を用いて分析する。
• 非自明な指標に対するL関数の対数はs→1+のとき有限に保たれることを証明するが、主指標に対するものは対数的に発散する。
• 主L関数の発散を用いて、背理法と級数比較を用いて、各互いに素な剰余類に素数が無限に存在することを示す。

実験結果

リサーチクエスチョン

• RQ1 最初の項と公差が互いに素である任意の等差数列に無限個の素数が含まれるか？
• RQ2 解析的数論を用いて、このような数列における素数の無限性を厳密に証明できるか？
• RQ3 ディリクレL関数は、互いに素な剰余類にわたる素数の等分布性をどのように確立するか？
• RQ4 なぜ主L関数の対数の発散が、各互いに素な剰余類における素数の無限性を示唆するのか？
• RQ5 複素解析的手法を用いて、s=1におけるL関数の消失しない性質をどのように確立できるか？

主な発見

• 本論文は、最初の項と公差が互いに素である任意の等差数列が無限個の素数を含むことを確立し、長年の予想を解決した。
• 証明は、s=1におけるディリクレL関数の消失しない性質に依拠しており、単位根を含む級数の解析的接続と収束性によって示された。
• ある特定の剰余類に属する素数の和は対数的に発散し、それが素数の無限性を示唆する。
• 主L関数の対数はs→1+のとき発散するが、非主L関数の対数は有限に保たれ、発散は主指標に起因することが保証される。
• 法に関する特定の素数と互いに素な整数に対する符号付き逆数の和（式16）が非ゼロであることが証明され、収束性の議論において不可欠な役割を果たす。
• 指標の和とディリクレ指標の構造を用いて、すべての互いに素な等差数列に一般化された。