简介
对任意复数 s, 若 则: 。这一公式是瑞士数学家 Leonhard Euler 在1737 年的一篇题为《对无穷级数的若干观察》的论文中提出并加以证明的, 式中的 n 为自然数 (即正整数),p 为素数。欧拉乘积公式将一个对自然数的求和表达式与一个对素数的连乘积表达式联系在一起, 蕴涵着有关素数分布的重要信息。 这一信息在相隔了漫长的122 年之后终于被 Riemann 所破译,于是便有了 Riemann 的著名论文 《论小于给定数值的素数个数》。 为了纪念 Riemann 的贡献, Euler 乘积公式左端的求和式被冠以 Riemann的大名, 并沿用了 Riemann 使用过的记号 ζ(s), 称为Riemann ζ 函数。
定义假设 为一积性函数,则狄利克雷级数 等于欧拉乘积 其中,乘积对所有素数 进行, 则可表示为
这可以看作形式母函数,形式欧拉乘积展开的存在性与 为积性函数两者互为充要条件。 为完全积性函数时可得到一重要的特例。此时 为等比级数,有
当 时即为黎曼ζ函数,更一般的情形则是狄利克雷特征。
**欧拉乘积公式:**对任意复数 s, 若 则
证明Euler 乘积公式的证明十分简单, 唯一要小心的就是对无穷级数和无穷乘积的处理,不能随意使用有限级数和有限乘积的性质。 我们在下面证明的是一个更为普遍的结果, 欧拉 乘积公式将作为该结果的特例出现。
广义 Euler 乘积公式: 设 f(n) 为满足 , 且 的函数 (n1、 n2均为自然数), 则:
证明1: 由于 , 因此 绝对收敛。 考虑连乘积中 的部分 (有限乘积), 由于级数绝对收敛, 乘积又只有有限项, 因此可以使用与普通有限求和及乘积一样的结合律及分配律。 利用 f(n) 的乘积性质可得:
其中右端求和对所有只含 N 以下素数因子的自然数进行 (每个这样的自然数只在求和中出现一次, 因为自然数的素数分解是唯一的)。 由于所有本身在 N 以下的自然数显然都只含 N 以下的素数因子, 因此 Σ'f(n) = Σn