狄利克雷特征与L函数

狄利克雷特征是整数上的周期性积性函数，它们被整合到L函数中，使得解析方法能够触及算术级数中的素数。

Definition

模q的狄利克雷特征是整数上的完全积性函数，其周期为q，并且在与q不互素的整数上取值为零。其狄利克雷L函数是由该特征的值构成的狄利克雷级数。

Scope

本主题涵盖模q的狄利克雷特征及其在特征群上的正交关系、原特征和诱导特征及其导子、狄利克雷L函数及其欧拉积、解析延拓和函数方程、L函数在点1处非零的关键性质，以及狄利克雷定理，即任何首项与公差互素的算术级数都包含无限多个素数。

Core questions

• 模q的特征如何构成一个群，以及它们的正交关系如何分离出单个剩余类？
• L函数如何从这种特征结构中继承欧拉积、解析延拓和函数方程？
• 为什么L函数在点1处的非零性是狄利克雷定理的决定性步骤？
• L函数如何细化素数计数以计算固定级数中的素数？

Key theories

狄利克雷特征与正交性

模q的特征是从单位群到复数单位圆的同态；它们的正交关系充当离散傅里叶变换，提取出选定的剩余类。

狄利克雷算术级数定理

对于互素的a和q，存在无限多个与a模q同余的素数；该证明结合了模q的所有L函数的欧拉积以及每个L函数在点1处的非零性。

L函数的非零性与广义黎曼假设

在点1处的非零性推动了定性定理；控制临界带中L函数的零点决定了q的均匀性，而广义黎曼假设预测了最佳控制。

Clinical relevance

在广义黎曼假设条件下，算术级数中素数的界限证明了确定性素性测试的合理性，并为密码协议和伪随机数生成器分析中使用的假设提供了基础。

History

狄利克雷于1837年引入特征和L函数，明确地是为了证明其关于算术级数中素数的定理，这是分析学应用于数论的开创性应用。德拉瓦莱普桑后来推导出了相应的算术级数素数定理，L函数也成为现代算术中L函数的原型。

Key figures

• Peter Gustav Lejeune Dirichlet
• Bernhard Riemann
• Charles-Jean de la Vallee Poussin

Seminal works

• davenport2000

Frequently asked questions

狄利克雷定理到底说了什么？

它说，如果a和q没有公因子，那么算术级数a、a加q、a加2q等等包含无限多个素数。

为什么需要特征？

特征提供了一种傅里叶分析的方法来选出模q的单个剩余类，将一个关于一个级数的问题转化为一个关于该模数所有L函数的易于处理的和。