狄利克雷级数与黎曼ζ函数

狄利克雷级数将算术序列转化为解析函数，其中最重要的黎曼ζ函数通过其欧拉乘积编码素数，并通过其复零点编码素数的精细分布。

Definition

狄利克雷级数是形如n的a_n除以n的s次幂之和的级数，其中s是复数。黎曼ζ函数是所有系数都等于1的狄利克雷级数，解析延拓到复平面上的亚纯函数。

Scope

本主题涵盖狄利克雷级数及其收敛横坐标、积性系数的欧拉乘积、黎曼ζ函数在实部大于1时的定义、其到整个平面的解析延拓、函数方程、平凡零点和非平凡零点、临界带和临界线，以及通过显式公式连接零点与素数计数。

Core questions

• 狄利克雷级数在哪里收敛？欧拉乘积如何反映其系数的积性？
• ζ函数如何超越其收敛区域进行延拓？其函数方程是什么？
• ζ函数的零点在哪里？临界带中的平凡零点与非平凡零点有何区别？
• 显式公式如何将零点信息转化为素数分布信息？

Key theories

欧拉乘积

对于实部大于1的情况，ζ函数等于所有素数p的几何因子（1除以1减去p的负s次幂）的乘积，这是唯一分解的解析编码。

解析延拓与函数方程

ζ函数可以延拓为一个亚纯函数，在s等于1处有一个简单的单极点，并满足一个函数方程，通过伽马函数将s和1减s处的值联系起来，揭示了关于临界线的对称性。

零点与显式公式

平凡零点位于负偶数整数处；非平凡零点位于临界带中，显式公式将素数计数函数表示为这些零点的和，使得它们的位置成为素数分布的关键。

Clinical relevance

关于非平凡零点位置的黎曼猜想决定了素数计数的精确误差界限；这些界限为密码安全分析和数论算法的严格分析中使用的估计提供了依据。

History

欧拉在十八世纪研究了ζ函数在整数参数处的级数，并发现了其欧拉乘积。黎曼1859年的论文将s视为复变量，建立了分析延拓和函数方程，并提出了以他名字命名的、至今未被证明的零点猜想。

Key figures

• Bernhard Riemann
• Leonhard Euler
• Peter Gustav Lejeune Dirichlet

Seminal works

• apostol1976

Frequently asked questions

什么是临界线？

它是复平面上实部s等于二分之一的垂直线；黎曼猜想断言ζ函数的每个非平凡零点都位于其上。

欧拉乘积为何重要？

它将ζ函数表示为素数的乘积，这是每个整数唯一分解为素数的精确解析表述，也是连接ζ函数与素数的桥梁。