这个计算器能做什么
黎曼ζ函数图像计算器可以在一段 x 取值区间内求出实变量黎曼ζ函数 zeta(x) 的值。对于每个取值点,它同时给出 zeta(x) 和平移后的 zeta(x) − 1。后者特别实用:因为当 x 取较大正数时 zeta(x) 趋近于 1,所以 zeta(x) − 1 能更清晰地展现函数尾部的衰减趋势。计算结果以表格形式呈现,这份表格同时也是绘制图像的数据来源。
使用方法
只需输入三个数字:x 的起始值、每次迭代递增的步长,以及迭代次数(即取值点数)。计算器会按照 x_k = startX + k × stepX(k = 0, 1, …, 迭代次数 − 1)生成各个取值点,并在每个点上计算 zeta 值。举例来说,起始值 = −14、步长 = 0.1、迭代 131 次,就会让 x 从 −14 一直扫描到 −1。
公式详解
当 x > 1 时,该函数即收敛的狄利克雷级数,也就是 1/n^x 的求和;本计算器采用欧拉–麦克劳林(Euler-Maclaurin)尾项修正来加速收敛,因此只需约 20 项即可得到精确结果。当 x ≤ 1 时,则使用函数方程 zeta(x) = 2^x × pi^(x−1) × sin(pi·x/2) × Gamma(1−x) × zeta(1−x),其中伽马函数通过兰乔斯(Lanczos)近似来求值。几个特殊情形:x = 1 是一个简单极点(结果为无穷大);负偶数(−2、−4、−6、…)则是平凡零点。
实例演算
取起始值 = 2、步长 = 1、迭代 4 次,对应的取值点为 x = 2, 3, 4, 5。计算结果为 zeta(2) = pi^2/6 = 1.6449340668,zeta(3) = 1.2020569032,zeta(4) = pi^4/90 = 1.0823232337,zeta(5) = 1.0369277551。与之对应的 zeta(x) − 1 一列从 0.6449340668 开始,逐渐向 0 收缩。
常见问题
zeta(0) 等于多少?通过解析延拓可得 zeta(0) = −1/2,因此 zeta(0) − 1 = −3/2。
zeta(−1) 等于多少?zeta(−1) = −1/12,这正是与 1 + 2 + 3 + … 相联系的那个著名的正则化值。
为什么图像在 −2、−4、−6 处恰好落到零?这些点是ζ函数的平凡零点,此时函数方程中的 sin(pi·x/2) 取值为零。