[论文解读] 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-函数和复分析的解析工具。其关键贡献在于首次严格证明了数论中的这一基本结果，通过L-函数在s=1处非零，确立了互质等差数列中素数的无穷性。

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-函数表示为与模数互质的整数之和。
• 通过收敛性与连续性论证，分析L-函数在s从右侧趋近1时的解析行为。
• 证明非平凡特征的L-函数的对数在s→1+时保持有限，而主特征的L-函数则对数发散。
• 利用主L-函数的发散性，通过反证法与级数比较，推断每个互质剩余类中素数的无穷性。

实验结果

研究问题

• RQ1 每个首项与公差互质的等差数列是否都包含无穷多个素数？
• RQ2 能否利用解析数论严格证明此类数列中素数的无穷性？
• RQ3 狄利克雷L-函数在实现素数在互质剩余类中等分布性方面起什么作用？
• RQ4 为何主L-函数的对数发散能推出每个互质剩余类中素数的无穷性？
• RQ5 如何利用复分析技术证明L-函数在s=1处非零？

主要发现

• 本文确立了每个首项与公差互质的等差数列都包含无穷多个素数，解决了长期存在的猜想。
• 该证明依赖于狄利克雷L-函数在s=1处非零，该性质通过解析延拓及涉及单位根的级数收敛性得以证明。
• 给定互质剩余类中素数的和对数发散，暗示其无穷性。
• 主L-函数的对数在s→1+时发散，而非主L-函数的对数保持有限，确保发散性由主特征驱动。
• 对某些素数互质的整数的带符号倒数之和（公式16）被证明非零，这对收敛性论证至关重要。
• 通过特征和与狄利克雷特征的结构，将结果推广至所有互质等差数列。