主题
Search

黎曼 Zeta 函数

DOWNLOAD Mathematica Notebook下载 Wolfram 笔记本
RiemannZeta

黎曼zeta函数是一个极其重要的数学和物理学特殊函数，它出现在定积分中，并与围绕素数定理的非常深刻的结果密切相关。虽然已经研究了该函数的许多性质，但仍然存在重要的基本猜想（最著名的是黎曼猜想）至今仍未得到证明。黎曼zeta函数用 zeta(s) 表示，并在上方沿实轴绘制（使用两种不同的比例）。

RiemannZetaReImAbs
最小值 最大值
实部 (Re)
虚部 (Im) Powered by webMathematica

一般来说，zeta(s) 是在复平面上为一个复变量定义的，该复变量通常用 s (而不是常用的 z) 表示，以尊重黎曼在其 1859 年的论文中使用的符号，该论文奠定了对该函数的研究基础 (Riemann 1859)。

zeta(s) 在 Wolfram 语言 中实现为Zeta[s]。

RiemannZetaRidges

上面的图显示了 |zeta(x+iy)| 的“脊线”，对于 0<x<1 和 1<y<100。脊线对于 0<=x<=1/2 似乎单调递减这一事实并非巧合，因为事实证明，单调递减意味着 黎曼猜想 (Zvengrowski 和 Saidak 2003; Borwein 和 Bailey 2003, pp. 95-96)。

在 实数线 上，当 x>1 时，黎曼zeta函数可以通过积分定义为

zeta(x)=1/(Gamma(x))int_0^infty(u^(x-1))/(e^u-1)du,
(1)

其中 Gamma(x) 是 伽玛函数。如果 x 是一个整数 n，那么我们有恒等式

(u^(n-1))/(e^u-1)=(e^(-u)u^(n-1))/(1-e^(-u))
(2)
=e^(-u)u^(n-1)sum_(k=0)^(infty)e^(-ku)
(3)
=sum_(k=1)^(infty)e^(-ku)u^(n-1),
(4)

所以

int_0^infty(u^(n-1))/(e^u-1)du=sum_(k=1)^inftyint_0^inftye^(-ku)u^(n-1)du.
(5)

为了评估 zeta(n)，设 y=ku，使得 dy=kdu，并将上述恒等式代入以获得

zeta(n)=1/(Gamma(n))sum_(k=1)^(infty)int_0^inftye^(-ku)u^(n-1)du
(6)
=1/(Gamma(n))sum_(k=1)^(infty)int_0^inftye^(-y)(y/k)^(n-1)(dy)/k
(7)
=1/(Gamma(n))sum_(k=1)^(infty)1/(k^n)int_0^inftye^(-y)y^(n-1)dy.
(8)

对 (8) 中的最终表达式积分得到 Gamma(n)，它抵消了因子 1/Gamma(n)，并给出了黎曼zeta函数的最常见形式，

zeta(n)=sum_(k=1)^infty1/(k^n),
(9)

有时被称为 p-级数。

黎曼zeta函数也可以用 多重积分 定义为

zeta(n)=int_0^1...int_0^1_()_(n)(product_(i=1)^(n)dx_i)/(1-product_(i=1)^(n)x_i),
(10)

并作为 梅林变换 定义为

int_0^inftyfrac(1/t)t^(s-1)dt=-(zeta(s))/s
(11)

对于 0<R[s]<1，其中 frac(x) 是小数部分 (Balazard 和 Saias 2000)。

它出现在 单位正方形积分 中

int_0^1int_0^1([-ln(xy)]^s)/(1-xy)dxdy=Gamma(s+2)zeta(s+2),
(12)

对于 R[s]>1 有效 (Guillera 和 Sondow 2005)。对于 s 为非负整数，此公式归功于 Hadjicostas (2002)，特殊情况 s=0 和 s=1 归功于 Beukers (1979)。

请注意，zeta 函数 zeta(s) 在 s=1 处有一个奇点，在该点它简化为发散的 调和级数。

黎曼zeta函数满足反射函数方程

zeta(1-s)=2(2pi)^(-s)cos(1/2spi)Gamma(s)zeta(s)
(13)

(Hardy 1999, p. 14; Krantz 1999, p. 160)，欧拉对实数 s 猜想了一个类似的形式 (Euler, 1749 年宣读，1768 年出版; Ayoub 1974; Havil 2003, p. 193)。这个函数方程的对称形式由下式给出

Gamma(s/2)pi^(-s/2)zeta(s)=Gamma((1-s)/2)pi^(-(1-s)/2)zeta(1-s)
(14)

(Ayoub 1974)，黎曼为所有复数 s 证明了这一点 (Riemann 1859)。

如上定义，zeta 函数 zeta(s)，其中 s=sigma+it 是一个复数，定义域为 R[s]>1。然而，zeta(s) 具有唯一的解析延拓到整个复平面，除了点 s=1，它对应于简单极点，复残数为 1 (Krantz 1999, p. 160)。特别地，当 s->1 时，zeta(s) 服从

lim_(s->1)[zeta(s)-1/(s-1)]=gamma,
(15)

其中 gamma 是 欧拉-马歇罗尼常数 (Whittaker 和 Watson 1990, p. 271)。

为了对 R[s]>0 执行解析延拓，写成

sum_(n=1)^(infty)((-1)^n)/(n^s)+sum_(n=1)^(infty)1/(n^s)=2sum_(n=2,4,...)^(infty)1/(n^s)
(16)
=2sum_(k=1)^(infty)1/((2k)^s)
(17)
=2^(1-s)sum_(k=1)^(infty)1/(k^s),
(18)

因此，用 zeta(s) 重写立即得到

sum_(n=1)^infty((-1)^n)/(n^s)+zeta(s)=2^(1-s)zeta(s).
(19)

因此，

zeta(s)=1/(1-2^(1-s))sum_(n=1)^infty((-1)^(n-1))/(n^s).
(20)

这里，右侧的和正是 狄利克雷eta函数 eta(s) (有时也称为交错zeta函数)。虽然这个公式仅为右半平面 R[s]>0 定义了 zeta(s)，但方程 (◇) 可用于将其解析延拓到复平面的其余部分。解析延拓也可以使用 汉克尔函数 进行。黎曼zeta函数的全局收敛级数（提供 zeta(s) 到整个复平面（除了 s=1）的解析延拓）由下式给出

zeta(s)=1/(1-2^(1-s))sum_(n=0)^infty1/(2^(n+1))sum_(k=0)^n(-1)^k(n; k)(k+1)^(-s)
(21)

(Havil 2003, p. 206)，其中 (n; k) 是一个二项式系数，这是 Knopp 在 1930 年左右提出的猜想，由 Hasse (1930) 证明，并由 Sondow (1994) 重新发现。这个方程与重整化和随机变量有关 (Biane et al. 2001)，可以通过应用 欧拉级数变换，其中 n=0 到方程 (20) 推导出来。

Hasse (1930) 还证明了相关的全局（但更慢）收敛级数

zeta(s)=1/(s-1)sum_(n=0)^infty1/(n+1)sum_(k=0)^n(-1)^k(n; k)(k+1)^(1-s)
(22)

与 (21) 不同，它也可以扩展到黎曼zeta函数的推广，称为 赫尔维茨zeta函数 zeta(s,a)。zeta(s,a) 定义为使得

zeta(s)=zeta(s,1).
(23)

(如果从 zeta(s,a) 的求和定义中排除奇异项，那么 zeta(s)=zeta(s,0) 也成立。) 将 zeta(s) 在 s=1 附近展开得到

zeta(s)=1/(s-1)+sum_(n=0)^infty((-1)^n)/(n!)gamma_n(s-1)^n,
(24)

其中 gamma_n 是所谓的 斯蒂尔杰斯常数。

RiemannZetaFunctionGamma

黎曼zeta函数也可以通过轮廓积分在复平面上定义为

zeta(z)=(Gamma(1-z))/(2pii)∮_gamma(u^(z-1))/(e^(-u)-1)du
(25)

对于所有 z!=1，其中轮廓如上图所示 (Havil 2003, pp. 193 和 249-252)。

zeta(s) 的零点至少有两种不同的类型。所谓的“平凡零点”出现在所有负偶数整数 s=-2、-4、-6、...，而“非平凡零点”出现在某些

s=sigma+it
(26)

对于 s 在“临界带” 0<sigma<1 中。黎曼猜想断言，zeta(s) 的非平凡黎曼zeta函数零点都具有实部 sigma=R[s]=1/2，这条线称为“临界线”。现在已知对于前 250×10^9 个根是正确的。

RiemannZetaCriticalStrip

上面的图显示了 zeta(1/2+iy) 的实部和虚部（即，zeta(z) 沿临界线的值），当 y 从 0 变化到 35 时 (Derbyshire 2004, p. 221)。

黎曼zeta函数可以分解为

zeta(1/2+it)=Z(t)e^(-itheta(t)),
(27)

其中 Z(t) 和 theta(t) 是 黎曼-西格尔函数。

黎曼zeta函数与狄利克雷lambda函数 lambda(nu) 和狄利克雷eta函数 eta(nu) 相关，关系如下：

(zeta(nu))/(2^nu)=(lambda(nu))/(2^nu-1)=(eta(nu))/(2^nu-2)
(28)

和

zeta(nu)+eta(nu)=2lambda(nu)
(29)

(Spanier 和 Oldham 1987)。

它与刘维尔函数 lambda(n) 相关，关系如下：

(zeta(2s))/(zeta(s))=sum_(n=1)^infty(lambda(n))/(n^s)
(30)

(Lehman 1960, Hardy 和 Wright 1979)。此外，

(zeta^2(s))/(zeta(2s))=sum_(n=1)^infty(2^(omega(n)))/(n^s),
(31)

其中 omega(n) 是 n 的不同质因数的数量 (Hardy 和 Wright 1979, p. 254)。

对于 -2n 为正偶数整数 -2、-4、...，

zeta^'(-2n)=((-1)^nzeta(2n+1)(2n)!)/(2^(2n+1)pi^(2n)),
(32)

给出前几个值为

zeta^'(-2)=-(zeta(3))/(4pi^2)
(33)
zeta^'(-4)=(3zeta(5))/(4pi^4)
(34)
zeta^'(-6)=-(45zeta(7))/(8pi^6)
(35)
zeta^'(-8)=(315zeta(9))/(4pi^8)
(36)

(OEIS A117972 和 A117973)。对于 n=-1，

zeta^'(-1)=1/(12)-lnA,
(37)

其中 A 是 格莱舍-金凯林常数。使用方程 (◇) 得到导数

zeta^'(0)=-1/2ln(2pi),
(38)

它可以直接从 沃利斯公式 推导出来 (Sondow 1994)。zeta^'(0)/zeta(0)=ln(2pi) 也可以直接从欧拉-麦克劳林求和公式推导出来 (Edwards 2001, pp. 134-135)。一般来说，zeta^((n))(0) 可以用 pi、zeta(n)、欧拉-马歇罗尼常数 gamma 和 斯蒂尔杰斯常数 gamma_i 解析地表示，前几个例子是

zeta^('')(0)=gamma_1+1/2gamma^2-1/(24)pi^2-1/2[ln(2pi)]^2
(39)
zeta^(''')(0)=3ln(2pi)gamma_1+3gammagamma_1+3/2gamma_2-zeta(3)-1/2[ln(2pi)]^3-1/8pi^2ln(2pi)+3/2gamma^2ln(2pi)+gamma^3.
(40)

导数 zeta^((n))(1/2) 也可以用封闭形式给出，例如，

zeta^'(1/2)=1/4[(pi+2gamma+6ln2+2lnpi)zeta(1/2)]
(41)
=-3.92264613...
(42)

(OEIS A114875)。

对于 R[s]>1，黎曼zeta函数的导数定义为

zeta^'(s)=-sum_(k=1)^(infty)(lnk)/(k^s)
(43)
=-sum_(k=2)^(infty)(lnk)/(k^s).
(44)

zeta^'(2) 可以用封闭形式给出为

zeta^'(2)=1/6pi^2[gamma+ln(2pi)-12lnA]
(45)
=-0.93754825431...
(46)

(OEIS A073002)，其中 A 是 格莱舍-金凯林常数（由 Glaisher 1894 以级数形式给出）。

zeta^'(s) 在 s=1 附近的级数为

zeta^'(s)=-1/((s-1)^2)-gamma_1+gamma_2(s-1)-1/2gamma_3(s-1)^2+...,
(47)

其中 gamma_i 是 斯蒂尔杰斯常数。

1739 年，欧拉找到了 zeta(2n)=Cpi^(2n) 中 C 的有理系数，以 伯努利数 表示。当与林德曼在 1882 年证明 pi 是超越数相结合时，有效地证明了 zeta(2n) 是超越数。对 zeta(2n+1) 的研究要困难得多。Apéry (1979) 最终证明 zeta(3) 是无理数，但对于其他奇数 n，尚不清楚是否有类似的结果。由于 Apéry 的重要发现，zeta(3) 有时被称为 Apéry 常数。Rivoal (2000) 以及 Ball 和 Rivoal (2001) 证明，存在无限多个整数 n，使得 zeta(2n+1) 是无理数，并且随后证明了 zeta(5)、zeta(7)、...、zeta(21) 中至少有一个是无理数 (Rivoal 2001)。Zudilin (2001) 随后收紧了这一结果，他表明 zeta(5)、zeta(7)、zeta(9) 或 zeta(11) 中至少有一个是无理数。

许多关于 zeta(n) 的有趣求和公式，其中 n 是一个正整数，可以用二项式系数写成二项式和

zeta(2)=3sum_(k=1)^(infty)1/(k^2(2k; k))
(48)
zeta(3)=5/2sum_(k=1)^(infty)((-1)^(k-1))/(k^3(2k; k))
(49)
zeta(4)=(36)/(17)sum_(k=1)^(infty)1/(k^4(2k; k))
(50)

(Guy 1994, p. 257; Bailey et al. 2007, p. 70)。Apéry 在 k^(-3) 上述求和公式的帮助下得出了他的结果。已经搜索了形式为

zeta(5)=Z_5sum_(k=1)^infty((-1)^(k-1))/(k^5(2k; k))
(51)

的关系，其中 Z_5 是一个有理数或代数数，但如果 Z_5 是一个次数为 25 或更小的多项式的根，则系数的欧几里得范数必须大于 1.24×10^(383)，并且如果 zeta(5) 是次数为 25 或更小的代数数，则系数的范数必须超过 1.98×10^(380) (Bailey et al. 2007, pp. 70-71, 更新 Bailey 和 Plouffe)。因此，对于 zeta(n)，当 n>=5 时，尚不清楚是否有这样的求和公式。

恒等式

sum_(k=1)^(infty)1/(k^2-x^2)=sum_(n=0)^(infty)zeta(2n+2)x^(2n)
(52)
=(1-pixcot(pix))/(2x^2)
(53)
=3sum_(k=1)^(infty)1/(k^2(2k; k)(1-(x^2)/(k^2)))product_(m=1)^(k-1)(1-(4x^2)/(m^2))/(1-(x^2)/(m^2))
(54)
=(3_4F_3(1,2,1-2x,1+2x;3/2,2-x,2+x;1/4))/(2(1-x^2))
(55)

对于 x 是不等于非零整数的复数，给出了偶数正数 n 的类 Apéry 公式 (Bailey et al. 2006, pp. 72-77)。

黎曼zeta函数 zeta(2n) 可以使用轮廓积分或具有适当傅里叶级数的帕塞瓦尔定理，对偶数 n 进行解析计算。欧拉在 1737 年首次发现了一个出乎意料且重要的公式，其中涉及素数的乘积，

zeta(s)(1-2^(-s))=(1+1/(2^s)+1/(3^s)+...)(1-1/(2^s))
(56)
=(1+1/(2^s)+1/(3^s)+...)-(1/(2^s)+1/(4^s)+1/(6^s)+...)
(57)
zeta(s)(1-2^(-s))(1-3^(-s))=(1+1/(3^s)+1/(5^s)+1/(7^s)+...)-(1/(3^s)+1/(9^s)+1/(15^s)+...)
(58)
zeta(s)(1-2^(-s))(1-3^(-s))...(1-p_n^(-s))...=zeta(s)product_(n=1)^(infty)(1-p_n^(-s))
(59)
=1.
(60)

这里，每次后续乘以第 n 个素数 p_n，仅留下 p^(-s) 的幂项。因此，

zeta(s)=[product_(n=1)^infty(1-p_n^(-s))]^(-1),
(61)

这被称为欧拉乘积公式 (Hardy 1999, p. 18; Krantz 1999, p. 159)，Derbyshire (2004, pp. 104-106) 称之为“金钥匙”。该公式也可以写成

zeta(s)=(1-2^(-s))^(-1)product_(q=1; (mod 4))(1-q^(-s))^(-1)product_(r=3; (mod 4))(1-r^(-s))^(-1),
(62)

其中 q 和 r 分别是模 4 余 1 和余 3 的素数。

对于偶数 n>=2，

zeta(n)=(2^(n-1)|B_n|pi^n)/(n!),
(63)

其中 B_n 是一个伯努利数 (Mathews 和 Walker 1970, pp. 50-53; Havil 2003, p. 194)。伯努利数的另一个密切联系由下式提供

B_n=(-1)^(n+1)nzeta(1-n)
(64)

对于 n>=1，可以写成

B_n=-nzeta(1-n)
(65)

对于 n>=2。（在这两种情况下，只有偶数情况才有趣，因为对于奇数 n，B_n=0 平凡地成立。）重写 (65)，

zeta(-n)=-(B_(n+1))/(n+1)
(66)

对于 n=1, 3, ... (Havil 2003, p. 194)，其中 B_n 是一个伯努利数，前几个值是 -1/12、1/120、-1/252、1/240、... (OEIS A001067 和 A006953)。

虽然对于奇数 n，zeta(n) 没有已知的解析形式，

zeta(3)=1/2sum_(k=1)^infty(H_k)/(k^2),
(67)

其中 H_k 是一个调和数 (Stark 1974)。此外，zeta(n) 可以表示为求和极限

zeta(n)=lim_(x->infty)1/((2x+1)^n)sum_(k=1)^x[cot(k/(2x+1))]^n
(68)

对于 n=3、5、... (Apostol 1973, Stark 1974 年给出的不正确)。

对于 mu(n) 莫比乌斯函数，

1/(zeta(s))=sum_(n=1)^infty(mu(n))/(n^s)
(69)

(Havil 2003, p. 209)。

zeta(n) 对于小的正整数值 n 的值是

zeta(1)=infty
(70)
zeta(2)=(pi^2)/6
(71)
zeta(3)=1.2020569032...
(72)
zeta(4)=(pi^4)/(90)
(73)
zeta(5)=1.0369277551...
(74)
zeta(6)=(pi^6)/(945)
(75)
zeta(7)=1.0083492774...
(76)
zeta(8)=(pi^8)/(9450)
(77)
zeta(9)=1.0020083928...
(78)
zeta(10)=(pi^(10))/(93555).
(79)

欧拉给出了 zeta(2) 到 zeta(26) 的值，对于偶数 n (Wells 1986, p. 54)，而 Stieltjes (1993) 在 1887 年确定了 zeta(2), ..., zeta(70) 的值，精度为 30 位小数。zeta(2n) 对于 n=1, 2, ... 的分母是 6, 90, 945, 9450, 93555, 638512875, ... (OEIS A002432)。zeta(10^n) 对于 n=0, 1, ... 的分母中的十进制数字的数量是 1, 5, 133, 2277, 32660, 426486, 5264705, ... (OEIS A114474)。

正偶数整数的积分由下式给出

zeta(2n)=((-1)^(n+1)2^(2n-3)pi^(2n))/((2^(2n)-1)(2n-2)!)int_0^1E_(2(n-1))(x)dx,
(80)

正奇数整数的积分由下式给出

zeta(2n+1)=((-1)^n2^(2n-1)pi^(2n+1))/((2^(2n+1)-1)(2n)!)int_0^1E_(2n)(x)tan(1/2pix)dx
(81)
=((-1)^n2^(2n-1)pi^(2n+1))/((2^(2n+1)-1)(2n)!)int_0^1E_(2n)(x)cot(1/2pix)dx
(82)
=((-1)^n2^(2n)pi^(2n+1))/((2n+1)!)int_0^1B_(2n+1)(x)tan(1/2pix)dx
(83)
=((-1)^(n+1)2^(2n)pi^(2n+1))/((2n+1)!)int_0^1B_(2n+1)(x)cot(1/2pix)dx,
(84)

其中 E_n(x) 是一个欧拉多项式，B_n(x) 是一个伯努利多项式 (Cvijović 和 Klinowski 2002; J. Crepps, 私人通信，2002 年 4 月)。

zeta(0) 的值可以通过对方程 (◇) 中的内和进行计算，其中 s=0，

zeta(0)=-sum_(n=0)^infty1/(2^(n+1))sum_(k=0)^n(-1)^k(n; k),
(85)

得到

zeta(0)=-sum_(n=0)^infty(delta_(0,n))/(2^(n+1))=-1/(2^(0+1))=-1/2,
(86)

其中 delta_(0,n) 是克罗内克delta。

类似地，zeta(-1) 的值可以通过对方程 (◇) 中的内和进行计算，其中 s=-1，

zeta(-1)=-1/3sum_(n=0)^infty1/(2^(n+1))sum_(k=0)^n(-1)^k(n; k)(k+1),
(87)

这给出了

zeta(-1)=-1/3sum_(n=0)^(infty)(delta_(0,n)-ndelta_(1,n))/(2^(n+1))
(88)
=-1/3(1/(2^(0+1))-1/(2^(1+1)))
(89)
=-1/(12).
(90)

这个值与重整化理论中的一个深刻结果有关 (Elizalde et al. 1994, 1995, Bloch 1996, Lepowski 1999)。

目前尚不清楚值

zeta(1/2)=-1.46035450880...
(91)

(OEIS A059750) 是否可以用已知的数学常数表示。例如，这个常数出现在Knuth 级数中。

拉马努金首先发现了 zeta(n) 对于奇数 n 的快速收敛级数 (Zucker 1979, 1984, Berndt 1988, Bailey et al. 1997, Cohen 2000)。对于 n>1 且 n=3 (mod 4)，

zeta(n)=(2^(n-1)pi^n)/((n+1)!)sum_(k=0)^((n+1)/2)(-1)^(k-1)(n+1; 2k)B_(n+1-2k)B_(2k)-2sum_(k=1)^infty1/(k^n(e^(2pik)-1)),
(92)

其中 B_k 再次是伯努利数，(n; k) 是一个二项式系数。左侧和式的值（除以 pi^n）在 (92) 中，对于 n=3, 7, 11, ... 分别是 7/180, 19/56700, 1453/425675250, 13687/390769879500, 7708537/21438612514068750, ... (OEIS A057866 和 A057867)。对于 n>=5 且 n=1 (mod 4), 对应的公式稍微复杂一些，

zeta(n)=((2pi)^n)/((n+1)!(n-1))sum_(k=0)^((n+1)/4)(-1)^k(n+1-4k)(n+1; 2k)B_(n+1-2k)B_(2k)-2sum_(k=1)^infty(e^(2pik)(1+(4pik)/(n-1))-1)/(k^n(e^(2pik)-1)^2)
(93)

(Cohen 2000)。

定义

S_+/-(n)=sum_(k=1)^infty1/(k^n(e^(2pik)+/-1)),
(94)

则前几个值可以写成

zeta(3)=7/(180)pi^3-2S_-(3)
(95)
zeta(5)=1/(294)pi^5-(72)/(35)S_-(5)-2/(35)S_+(5)
(96)
zeta(7)=(19)/(56700)pi^7-2S_-(7)
(97)
zeta(9)=(125)/(3704778)pi^9-(992)/(495)S_-(9)-2/(495)S_+(9)
(98)
zeta(11)=(1453)/(425675250)pi^(11)-2S_-(11)
(99)
zeta(13)=(89)/(257432175)pi^(13)-(16512)/(8255)S_-(13)-2/(8255)S_+(13)
(100)
zeta(15)=(13687)/(390769879500)pi^(15)-2S_-(15)
(101)
zeta(17)=(397549)/(112024529867250)pi^(17)-(261632)/(130815)S_-(17)-2/(130815)S_+(17)
(102)
zeta(19)=(7708537)/(21438612514068750)pi^(19)-2S_-(19)
(103)
zeta(21)=(68529640373)/(1881063815762259253125)pi^(21)-(4196352)/(2098175)S_-(21)-2/(2098175)S_+(21)
(104)

(Plouffe 1998)。

另一组相关公式是

zeta(3)=(pi^3)/(28)+(16)/7sum_(n=1)^(infty)1/(n^3(e^(npi)+1))-2/7sum_(n=1)^(infty)1/(n^3(e^(2pin)+1))
(105)
zeta(5)=24sum_(n=1)^(infty)1/(n^5(e^(npi)-1))-(259)/(10)sum_(n=1)^(infty)1/(n^5(e^(2pin)-1))-1/(10)sum_(n=1)^(infty)1/(n^5(e^(4pin)-1))
(106)
zeta(5)=-(7pi^5)/(1840)+(328)/(115)sum_(n=1)^(infty)1/(n^5(e^(pin)-1))-(419)/(460)sum_(n=1)^(infty)1/(n^5(e^(2pin)-1))-9/(115)sum_(n=1)^(infty)1/(n^5(e^(3pin)-1))+(261)/(1840)sum_(n=1)^(infty)1/(n^5(e^(6pin)-1))-9/(1840)sum_(n=1)^(infty)1/(n^5(e^(12pin)-1))
(107)
zeta(7)=(304)/(13)sum_(n=1)^(infty)1/(n^7(e^(pin)-1))-(103)/4sum_(n=1)^(infty)1/(n^7(e^(2pin)-1))-(19)/(52)sum_(n=1)^(infty)1/(n^7(e^(4pin)-1))
(108)
zeta(9)=(64)/3sum_(n=1)^(infty)1/(n^9(e^(pin)-1))+(441)/(20)sum_(n=1)^(infty)1/(n^9(e^(2pin)-1))-32sum_(n=1)^(infty)1/(n^9(e^(3pin)-1))-(4763)/(60)sum_(n=1)^(infty)1/(n^9(e^(4pin)-1))+(529)/8sum_(n=1)^(infty)1/(n^9(e^(6pin)-1))-1/8sum_(n=1)^(infty)1/(n^9(e^(12pin)-1))
(109)

(Plouffe 2006)。

奇数 zeta(n) 的多项和包括

zeta(5)=2sum_(k=1)^(infty)((-1)^(k+1))/(k^5(2k; k))-5/2sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((2)))/(k^3(2k; k))
(110)
zeta(7)=5/2sum_(k=1)^(infty)((-1)^(k+1))/(k^7(2k; k))+(25)/2sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((4)))/(k^3(2k; k))
(111)
zeta(9)=9/4sum_(k=1)^(infty)((-1)^(k+1))/(k^9(2k; k))-5/4sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((2)))/(k^7(2k; k))+5sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((4)))/(k^5(2k; k))+(45)/4sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((6)))/(k^3(2k; k))-(25)/4sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((2))H_(k-1)^((4)))/(k^3(2k; k))
(112)
zeta(11)=5/2sum_(k=1)^(infty)((-1)^(k+1))/(k^(11)(2k; k))+(25)/2sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((4)))/(k^7(2k; k))-(75)/4sum_(k=1)^(infty)((-1)^(k+1)H_(k-1)^((8)))/(k^3(2k; k))+(125)/4sum_(k=1)^(infty)((-1)^(k+1)[H_(k-1)^((4))]^2)/(k^3(2k; k))
(113)

(Borwein 和 Bradley 1996, 1997; Bailey et al. 2007, p. 71), 其中 H_n^((r)) 是一个广义调和数。

G. Huvent (2002) 发现了美丽的公式

zeta(5)=-(16)/(11)sum_(n=1)^infty([2(-1)^n+1]H_n)/(n^4).
(114)

许多涉及 zeta(n) 的求和恒等式包括

sum_(n=2)^(infty)[zeta(n)-1]=1
(115)
sum_(n=2,4,...)^(infty)[zeta(n)-1]=3/4
(116)
sum_(n=3,5,...)^(infty)[zeta(n)-1]=1/4
(117)
sum_(n=2)^(infty)(-1)^n[zeta(n)-1]=1/2.
(118)

涉及自变量整数倍数的和包括

sum_(n=1)^(infty)[zeta(2n)-1]=3/4
(119)
sum_(n=1)^(infty)[zeta(3n)-1]=1/3[-(-1)^(2/3)H_((3-isqrt(3))/2)+(-1)^(1/3)H_((3+isqrt(3))/2)]
(120)
sum_(n=1)^(infty)[zeta(4n)-1]=1/8(7-2cothpi),
(121)

其中 H_n 是一个调和数。

两个令人惊讶的涉及 zeta(x) 的和由下式给出

sum_(k=2)^(infty)((-1)^kzeta(k))/k=gamma
(122)
sum_(k=2)^(infty)(zeta(k)-1)/k=1-gamma,
(123)

其中 gamma 是欧拉-马歇罗尼常数 (Havil 2003, pp. 109 和 111-112)。方程 (122) 可以推广到

sum_(k=2)^infty((-x)^kzeta(k))/k=xgamma+ln(x!)
(124)

(T. Drane，私人通信，7 月 7 日，2006 年)，对于 -1<x<=1。

其他意想不到的和是

sum_(n=1)^infty(zeta(2n))/(n(2n+1)2^(2n))=lnpi-1
(125)

(Tyler 和 Chernhoff 1985; Boros 和 Moll 2004, p. 248) 和

sum_(n=1)^infty(zeta(2n))/(n(2n+1))=ln(2pi)-1.
(126)

(125) 是以下公式的特例

sum_(k=1)^infty(zeta(2k,z))/(k(2k+1)2^(2k)) =(2z-1)ln(z-1/2)-2z+1+ln(2pi)-2lnGamma(z),
(127)

其中 zeta(s,a) 是一个赫尔维茨 zeta 函数 (Danese 1967; Boros 和 Moll 2004, p. 248)。

考虑和式

S_n=sum_(k=2)^(n-2)(zeta(k)zeta(n-k))/(2^k),
(128)

则

lim_(n->infty)S_n=ln2,
(129)

其中 ln2 是 2 的自然对数，这是以下公式的特例

lim_(n->infty)sum_(k=2)^(n-2)zeta(k)zeta(n-k)x^(k-1)=x^(-1)-psi_0(-x)-gamma,
(130)

其中 psi_0(z) 是双伽玛函数，gamma 是欧拉-马歇罗尼常数，可以从下式推导出来

sum_(k=2)^inftyzeta(k)x^(k-1)=-psi_0(1-x)-gamma
(131)

(B. Cloitre，私人通信，2005 年 12 月 11 日；参见 Borwein et al. 2000, eqn. 27)。

拉马努金结果的推广（他给出了 m=1 的情况）由下式给出

sum_(k=1)^infty1/([k(k+1)]^(2m+1))=-2sum_(k=0)^mzeta(2k)(4m-2k+1; 2m),
(132)

其中 (n; k) 是一个二项式系数 (B. Cloitre，私人通信，2005 年 9 月 20 日)。

另一组关于 zeta(n) 的和由下式给出

C_1=sum_(n=2)^(infty)(zeta(n))/(n!)
(133)
=int_0^infty(I_1(2sqrt(u))-sqrt(u))/((e^u-1)sqrt(u))du
(134)
=int_0^infty(_0F^~_1(;2;u)-1)/(e^u-1)du
(135)
approx 1.078189
(136)
C_2=sum_(n=1)^(infty)(zeta(2n))/(n!)
(137)
=sum_(n=1)^(infty)e^(1/n^2)-1
(138)
=int_0^1(u_0F_2(;3/2,2;1/4u^4))/(e^u-1)du
(139)
approx 2.407447
(140)
C_3=sum_(n=1)^(infty)(zeta(2n))/((2n)!)
(141)
=int_0^infty(u+_0F^~_1(;2;-u)-_0F^~_1(;2;u))/(2(1-e^u))du
(142)
approx 0.869002.
(143)

(OEIS A093720, A076813, 和 A093721), 其中 I_n(z) 是第一类修正贝塞尔函数，_pF^~_q 是一个正则化超几何函数。这些和没有已知的闭式解。

RiemannZetaInv

黎曼 zeta 函数 1/zeta(p) 的倒数，如上图所示，是 p 次方无平方数（即，无平方数，无立方数等）的渐近密度。下表给出了 Q_p(n) 个 p 次方无平方数 <=n 对于 n 的几个值。

p1/zeta(p)Q_p(10)Q_p(100)Q_p(10^3)Q_p(10^4)Q_p(10^5)Q_p(10^6)
20.607927761608608360794607926
30.831907985833831983190831910
40.9239381093925924092395923939
50.9643871097965964596440964388
60.9829531099984983198297982954

另请参阅

阿贝尔函数方程, 贝瑞猜想, 临界线, 临界带, 德拜函数, 狄利克雷 Beta 函数, 狄利克雷 Eta 函数, 狄利克雷 Lambda 函数, 欧拉乘积, 调和级数, 赫尔维茨 Zeta 函数, 辛钦常数, 莱默现象, 蒙哥马利对相关猜想, p-级数, 周期 Zeta 函数, 素数定理, Psi 函数, 黎曼猜想, 黎曼 P 级数, 黎曼-西格尔函数, 黎曼-冯·曼戈尔特公式, 黎曼 Zeta 函数 zeta(2), 黎曼 Zeta 函数零点, 斯蒂尔杰斯常数, 沃罗宁普遍性定理, Xi 函数 在 MathWorld 课堂中探索此主题

相关的 Wolfram 网站

http://functions.wolfram.com/ZetaFunctionsandPolylogarithms/Zeta/

此条目部分由 Jonathan Sondow 贡献 (作者链接)

使用 Wolfram|Alpha 探索

参考文献

Abramowitz, M. 和 Stegun, I. A. (Eds.). "Riemann Zeta Function and Other Sums of Reciprocal Powers." §23.2 in Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, 9th printing. New York: Dover, pp. 807-808, 1972.Adamchik, V. S. 和 Srivastava, H. M. "Some Series of the Zeta and Related Functions." Analysis 18, 131-144, 1998. Aizenberg, L.; Adamchik, V.; 和 Levit, V. E. "Approaching the Riemann Hypothesis with Mathematica." http://library.wolfram.com/infocenter/Articles/3268/.Apéry, R. "Irrationalité de zeta(2) et zeta(3)." Astérisque 61, 11-13, 1979.Apostol, T. M. "Another Elementary Proof of Euler's Formula for zeta(2n)." Amer. Math. Monthly 80, 425-431, 1973.Arfken, G. Mathematical Methods for Physicists, 3rd ed. Orlando, FL: Academic Press, pp. 332-335, 1985.Ayoub, R. "Euler and the Zeta Function." Amer. Math. Monthly 81, 1067-1086, 1974.Bailey, D. H. "Multiprecision Translation and Execution of Fortran Programs." ACM Trans. Math. Software. To appear.Bailey, D. H.; Borwein, J. M.; Calkin, N. J.; Girgensohn, R.; Luke, D. R.; 和 Moll, V. H. Experimental Mathematics in Action. Wellesley, MA: A K Peters, 2007.Bailey, D. H.; Borwein, J. M.; 和 Crandall, R. E. "On the Khinchin Constant." Math. Comput. 66, 417-431, 1997.Bailey, D. 和 Plouffe, S. "Recognizing Numerical Constants." http://www.cecm.sfu.ca/organics/papers/bailey/.Balazard, M. 和 Saias, E. "The Nyman-Beurling Equivalent Form for the Riemann Hypothesis." Expos. Math. 18, 131-138, 2000.Balazard, M.; Saias, E.; 和 Yor, M. "Notes sur la fonction zeta de Riemann, 2." Adv. Math. 143, 284-287, 1999.Ball, K. 和 Rivoal, T. "Irrationalité d'une infinité valeurs de la fonction zêta aux entiers impairs." Invent. Math. 146, 193-207, 2001.Berndt, B. C. Ch. 14 in Ramanujan's Notebooks, Part II. New York: Springer-Verlag, 1988.Beukers, F. "A Note on the Irrationality of zeta(2) and zeta(3)." Bull. London Math. Soc. 11, 268-272, 1979.Biane, P.; Pitman, J.; 和 Yor, M. "Probability Laws Related to the Jacobi Theta and Riemann Zeta Functions, and Brownian Excursions." Bull. Amer. Math. Soc. 38, 435-465, 2001.Bloch, S. "Zeta Values and Differential Operators on the Circle." J. Algebra 182, 476-500, 1996.Boros, G. 和 Moll, V. Irresistible Integrals: Symbolics, Analysis and Experiments in the Evaluation of Integrals. Cambridge, England: Cambridge University Press, 2004.Borwein, J. 和 Bailey, D. Mathematics by Experiment: Plausible Reasoning in the 21st Century. Wellesley, MA: A K Peters, pp. 95-96 和 99-100, 2003.Borwein, D. 和 Borwein, J. "On an Intriguing Integral and Some Series Related to zeta(4)." Proc. Amer. Math. Soc. 123, 1191-1198, 1995.Borwein, J. M. 和 Bradley, D. M. "Searching Symbolically for Apéry-Like Formulae for Values of the Riemann Zeta Function." ACM SIGSAM Bull. Algebraic Sym. Manip. 30, 2-7, 1996.Borwein, J. M. 和 Bradley, D. M. "Empirically Determined Apéry-Like Formulae for zeta(4n+3)." Exp. Math. 6, 181-194, 1997.Borwein, J. M.; Bradley, D. M.; 和 Crandall, R. E. "Computational Strategies for the Riemann Zeta Function." J. Comput. Appl. Math. 121, 247-296, 2000.Castellanos, D. "The Ubiquitous Pi. Part I." Math. Mag. 61, 67-98, 1988.Choudhury, B. K. "The Riemann Zeta-Function and Its Derivatives." Proc. Roy. Soc. London Ser. A 450, 477-499, 1995.Cohen, H. "High Precision Computation of Hardy-Littlewood Constants." Preprint. http://www.math.u-bordeaux.fr/~cohen/hardylw.dvi. 2000.Conrey, J. B. "The Riemann Hypothesis." Not. Amer. Math. Soc. 50, 341-353, 2003. http://www.ams.org/notices/200303/fea-conrey-web.pdf.Cvijović, D. 和 Klinowski, J. "Integral Representations of the Riemann Zeta Function for Odd-Integer Arguments." J. Comput. Appl. Math. 142, 435-439, 2002.Danese, A. E. "Solution to Problem 1801. A Zeta-Function Identity." Amer. Math. Monthly 74, 80-81, 1967.Davenport, H. Multiplicative Number Theory, 2nd ed. New York: Springer-Verlag, 1980.Derbyshire, J. Prime Obsession: Bernhard Riemann and the Greatest Unsolved Problem in Mathematics. New York: Penguin, 2004.Edwards, H. M. Riemann's Zeta Function. New York: Dover, 2001.Elizalde, E. Ten Physical Applications of Spectral Zeta Functions. Berlin: Springer-Verlag, 1995.Elizalde, E.; Odintsov, S. D.; Romeo, A.; Bytsenko, A. A.; 和 Zerbini, S. Zeta Regularization Techniques With Applications. River Edge, NJ: World Scientific, 1994.Euler, L. "Remarques sur un beau rapport entre les series des puissances tant directes que réciproques." Mémoires de l'academie des sciences de Berlin 17, 83-106, 1768. Reprinted in Opera Omnia, Series 1, Vol. 15 pp. 70-90.Glaisher, J. W. L. "On the Constant which Occurs in the Formula for 1^1.2^2.3^3...n^n." Messenger Math. 24, 1-16, 1894.Guillera, J. 和 Sondow, J. "Double Integrals and Infinite Products for Some Classical Constants Via Analytic Continuations of Lerch's Transcendent." 16 June 2005 http://arxiv.org/abs/math.NT/0506319.Guy, R. K. "Series Associated with the zeta-Function." §F17 in Unsolved Problems in Number Theory, 2nd ed. New York: Springer-Verlag, pp. 257-258, 1994.Hadjicostas, P. "Some Generalizations of Beukers' Integrals." Kyungpook Math. J. 42, 399-416, 2002.Hardy, G. H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, 3rd ed. New York: Chelsea, 1999.Hardy, G. H. 和 Wright, E. M. "The Zeta Function." §17.2 in An Introduction to the Theory of Numbers, 5th ed. Oxford, England: Clarendon Press, pp. 245-247 和 255, 1979.Hasse, H. "Ein Summierungsverfahren für die Riemannsche Zeta-Reihe." Math. Z. 32, 458-464, 1930.Hauss, M. Verallgemeinerte Stirling, Bernoulli und Euler Zahlen, deren Anwendungen und schnell konvergente Reihen für Zeta Funktionen. Aachen, Germany: Verlag Shaker, 1995.Havil, J. Gamma: Exploring Euler's Constant. Princeton, NJ: Princeton University Press, 2003.Howson, A. G. "Addendum to: 'Euler and the Zeta Function' (Amer. Math. Monthly 81 (1974), 1067-1086) by Raymond Ayoub." Amer. Math. Monthly 82, 737, 1975.Huvent, G. "Autour de la primitive de t^pcoth(alphat/2)." Feb. 3, 2002. http://perso.orange.fr/gery.huvent/articlespdf/Autour_primitive.pdf.Huylebrouck, D. "Similarities in Irrationality Proofs for pi, ln2, zeta(2), and zeta(3)." Amer. Math. Monthly 108, 222-231, 2001.Ivic, A. A. The Riemann Zeta-Function. New York: Wiley, 1985.Ivic, A. A. Lectures on Mean Values of the Riemann Zeta Function. Berlin: Springer-Verlag, 1991.Jones, G. A. 和 Jones, J. M. "The Riemann Zeta Function." Ch. 9 in Elementary Number Theory. Berlin: Springer-Verlag, pp. 163-189, 1998.Karatsuba, A. A. 和 Voronin, S. M. The Riemann Zeta-Function. Hawthorne, NY: De Gruyter, 1992.Katayama, K. "On Ramanujan's Formula for Values of Riemann Zeta-Function at Positive Odd Integers." Acta Math. 22, 149-155, 1973.Keiper, J. "The Zeta Function of Riemann." Mathematica Educ. Res. 4, 5-7, 1995.Knopp, K. "4th Example: The Riemann zeta-Function." Theory of Functions Parts I and II, Two Volumes Bound as One, Part II. New York: Dover, pp. 51-57, 1996.Krantz, S. G. "Riemann's Zeta Function." §13.2 in Handbook of Complex Variables. Boston, MA: Birkhäuser, pp. 158-159, 1999.Le Lionnais, F. Les nombres remarquables. Paris: Hermann, p. 35, 1983.Lehman, R. S. "On Liouville's Function." Math. Comput. 14, 311-320, 1960.Lepowski, J. "Vertex Operator Algebras and the Zeta Function." 29 Sep 1999. http://arxiv.org/abs/math.QA/9909178.Mathews, J. 和 Walker, R. L. Mathematical Methods of Physics, 2nd ed. Reading, MA: W. A. Benjamin/Addison-Wesley, pp. 50-53, 1970.Patterson, S. J. An Introduction to the Theory of the Riemann Zeta-Function. New York: Cambridge University Press, 1988.Pegg, E. Jr. 和 Weisstein, E. W. "Seven Mathematical Tidbits." MathWorld Headline News. Nov. 8, 2004. https://mathworld.net.cn/news/2004-11-08/seventidbits/#3.Plouffe, S. "Identities Inspired from Ramanujan Notebooks II." Jul. 21, 1998. http://www.lacim.uqam.ca/~plouffe/identities.html.Plouffe, S. "Identities Inspired from Ramanujan Notebooks (Part 2)." Apr. 2006. http://www.lacim.uqam.ca/~plouffe/inspired2.pdf.Riemann, G. F. B. "Über die Anzahl der Primzahlen unter einer gegebenen Grösse." Monatsber. Königl. Preuss. Akad. Wiss. Berlin, 671-680, Nov. 1859. Reprinted in Das Kontinuum und Andere Monographen (Ed. H. Weyl). New York: Chelsea, 1972.Rivoal, T. "La fonction Zeta de Riemann prend une infinité de valeurs irrationnelles aux entiers impairs." Comptes Rendus Acad. Sci. Paris 331, 267-270, 2000.Rivoal, T. "Irrationalité d'au moins un des neuf nombres zeta(5), zeta(7), ..., zeta(21)." 25 Apr 2001. http://arxiv.org/abs/math.NT/0104221.Sloane, N. J. A. Sequences A001067, A002432/M4283, A006953/M2039, A057866, A057867, A059750, A073002, A076813, A093720, A093721, A114474, A114875, A117972, 和 A117973 in "The On-Line Encyclopedia of Integer Sequences."Sondow, J. "Analytic Continuation of Riemann's Zeta Function and Values at Negative Integers via Euler's Transformation of Series." Proc. Amer. Math. Soc. 120, 421-424, 1994.Spanier, J. 和 Oldham, K. B. "The Zeta Numbers and Related Functions." Ch. 3 in An Atlas of Functions. Washington, DC: Hemisphere, pp. 25-33, 1987.Srivastava, H. M. "Some Simple Algorithms for the Evaluations and Representations of the Riemann Zeta Function at Positive Integer Arguments." J. Math. Anal. Appl. 246, 331-351, 2000.Stark, E. L. "The Series sum_(k=1)^(infty)k^(-s) s=2, 3, 4, ..., Once More." Math. Mag. 47, 197-202, 1974.Stieltjes, T. J. Oeuvres Complètes, Vol. 2 (Ed. G. van Dijk.) New York: Springer-Verlag, p. 100, 1993.Titchmarsh, E. C. The Zeta-Function of Riemann. London: Cambridge University Press, 1930.Titchmarsh, E. C. The Theory of the Riemann Zeta Function, 2nd ed. New York: Clarendon Press, 1987.Tyler, D. 和 Chernhoff, P. "Problem 3103. An Odd Sum Reappears." Amer. Math. Monthly 92, 507, 1985.Vardi, I. "The Riemann Zeta Function." Ch. 8 in Computational Recreations in Mathematica. Reading, MA: Addison-Wesley, pp. 141-174, 1991.Wagon, S. "The Riemann Zeta Function." §10.6 in Mathematica in Action. New York: W. H. Freeman, pp. 353-362, 1991.Watkins,M. R. "Inexplicable Secrets of Creation." http://www.maths.ex.ac.uk/~mwatkins/zeta/.Weisstein, E. W. "Books about Riemann Zeta Function." http://www.ericweisstein.com/encyclopedias/books/RiemannZetaFunction.html.Wells, D. The Penguin Dictionary of Curious and Interesting Numbers. Middlesex, England: Penguin Books, 1986.Whittaker, E. T. 和 Watson, G. N. A Course in Modern Analysis, 4th ed. Cambridge, England: Cambridge University Press, 1990.Woon, S. C. "Generalization of a Relation Between the Riemann Zeta Function and Bernoulli Numbers." 24 Dec 1998. http://arxiv.org/abs/math.NT/9812143.Zucker, I. J. "The Summation of Series of Hyperbolic Functions." SIAM J. Math. Anal. 10, 192-206, 1979.Zucker, I. J. "Some Infinite Series of Exponential and Hyperbolic Functions." SIAM J. Math. Anal. 15, 406-413, 1984.Zudilin, W. "One of the Numbers zeta(5), zeta(7), zeta(9), zeta(11) Is Irrational." Uspekhi Mat. Nauk 56, 149-150, 2001.Zvengrowski, P. 和 Saidak, F. "On the Modulus of the Riemann Zeta Function in the Critical Strip." Math. Slovaca 53, 145-172, 2003.

在 Wolfram|Alpha 中引用

黎曼 Zeta 函数

请引用为

Sondow, Jonathan 和 Weisstein, Eric W. "黎曼 Zeta 函数。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/RiemannZetaFunction.html

学科分类