Zeta调律

Zeta调律是衡量平均律逼近所有有理音程的方式。

概念

考虑ned2(n>0)，这就是一步为$2^{1/n}$的平均律。有理音程c/d在这一律制下的直接近似是离$n{\log }_{2}c/d$最近的整数步。因此，$n{\log }_{2}c/d$离整数越近（如3.97或11.02），ned2对音程c/d就逼近得越好。

函数$f(x)=1-\cos (2\pi x)$在整数取0，且x离整数越近，f(x)越小。因此，函数f可以用于衡量ned2对c/d的逼近：$f(x)=1-\cos (2\pi n{\log }_{2}c/d)$越小，逼近就越好。

f(x)的图像

为了计算ned2对所有有理数的逼近，最简单的想法是计算$\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}(1-\cos (2\pi n{\log }_{2}c/d))$. 可惜，这个和是发散的，因此需要加上衰减因子$\frac{1}{c^s{d}^s}$.

现在的指标是$\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}(1-\cos (2\pi n{\log }_{2}c/d))$. 考虑到这个式子是在s固定而n变化的条件下使用的，我们可以删掉括号里的1：$\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}(\cos (2\pi n{\log }_{2}c/d))$ 越大，ned2对所有有理数的逼近越好。

根据三角函数与虚指数函数的关系$\cos (x)=\mathrm{\Re }(\exp (ix))$, $\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}(\cos (2\pi n{\log }_2(c/d)))=\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}(\mathrm{\Re }\exp (2\pi in{\log }_2(c/d)))$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}\exp (2\pi in{\log }_2(c/d)))$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}\exp (2\pi in{\log }_{2}c-2\pi in{\log }_{2}d))$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}\exp (2\pi in{\log }_{2}c)/\exp (2\pi in{\log }_{2}d))$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}\frac{1}{c^s{d}^s}{c}^{2\pi in/\ln 2}/d^{2\pi in/\ln 2})$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}\sum _{d=1}^{\mathrm{\infty }}{c}^{2\pi in/\ln 2-s}{d}^{-2\pi in/\ln 2-s})$

$=\mathrm{\Re }(\sum _{c=1}^{\mathrm{\infty }}{c}^{2\pi in/\ln 2-s}\sum _{d=1}^{\mathrm{\infty }}{d}^{-2\pi in/\ln 2-s})$

根据黎曼Zeta函数的表达式，上式等于 $\mathrm{\Re }(\zeta (s-2\pi in/\ln 2)\zeta (s+2\pi in/\ln 2))=|\zeta (s+2\pi in/\ln 2){|}^2$, 因此Zeta函数的模长越大，ned2就越准确。

黎曼Zeta函数只在$\mathrm{\Re }(s)>1$时是收敛的。尽管如此，我们也可以使用s=1/2. 使用s=1/2的好处是因为Zeta函数在Re(s)=1/2上有零点。

Lindelöf假设

Lindelöf认为Zeta函数在临界线上的增长速度满足$\zeta (1/2+it)=o(t^n)$, 其中n为任意正数。文献[1]提到了RS-Peak算法，其核心思想是寻找整数k使得$k\ln p_i/l{n}_2$对于尽可能多的质数$p_i$接近于整数，这样的k能够产生模长较大的Zeta值。换句话说，优秀的整数平均律能够产生Zeta函数在临界线上较大的值，它们能够否定（或支持）Lindelöf的假设。