复平面上的狄利克雷η函数
。用颜色来编码点
的值
,强烈的色彩表示接近零的值,色度值表示值的辐角。
在数学的解析数论领域,狄利克雷η函数定义为:
![{\displaystyle \eta (s)=\left(1-2^{1-s}\right)\zeta (s)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/680661b488839174185ecc196b53266ce03fb87a)
其中 ζ 是黎曼ζ函数。但η函数也用常来定义黎曼ζ函数。
对实部为正数的复数s,也可定义为狄利克雷级数表达式形式:
![{\displaystyle \eta (s)=\sum _{n=1}^{\infty }{(-1)^{n-1} \over n^{s}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/74234a6b3ceffe47a76211cecaf0f075eabefbd0)
表达式仅当实部为正数时收敛。对任意复数,该表达式是一个阿贝尔和,可定义为一个整函数,并由此可知ζ函数是一个极点在s = 1的单极点亚纯函数。
等价定义为:
![{\displaystyle \eta (s)={\frac {1}{\Gamma (s)}}\int _{0}^{\infty }{\frac {x^{s}}{\exp(x)+1}}{\frac {dx}{x}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0060abd23da186aaaf12f35137e8ea030887461a)
定义在复平面上实部为正的区域,该定义形式是一个Mellin变换。
G·H·哈代给出一个函数方程的简单证明:
![{\displaystyle \eta (-s)=2\pi ^{-s-1}s\sin \left({\pi s \over 2}\right)\Gamma (s)\eta (s+1).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/52f76ff108c1005854f9a9c15027e24efe8feee4)
因此能将其扩展到整个复数域。
大多数交错级数的串行加速技术都可应用在η函数的求值上。一个特别简单,合理的方法是应用交错序列的欧拉变换,得到:
![{\displaystyle \eta (s)=\sum _{n=0}^{\infty }{\frac {1}{2^{n+1}}}\sum _{k=0}^{n}(-1)^{k}{n \choose k}{\frac {1}{(k+1)^{s}}}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b20d75dca8994f9d7d658a79b66842fc9d693f8)
注意第二个求和里面是前向差分。
彼得·波温(Peter Borwein)使用包含切比雪夫多项式的近似值用来得到η函数的高效求值方法。
如果:
![{\displaystyle d_{k}=n\sum _{i=0}^{k}{\frac {(n+i-1)!4^{i}}{(n-i)!(2i)!}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4551a435e227f73980f97b0bfc89af29f4669a3d)
则:
![{\displaystyle \eta (s)=-{\frac {1}{d_{n}}}\sum _{k=0}^{n-1}{\frac {(-1)^{k}(d_{k}-d_{n})}{(k+1)^{s}}}+\gamma _{n}(s),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f075f982f3bb459646181471ea82632067429fe7)
当
时,误差项 γn范围:
![{\displaystyle |\gamma _{n}(s)|\leq {\frac {3}{(3+{\sqrt {8}})^{n}}}(1+2|\Im (s)|)\exp({\frac {\pi }{2}}|\Im (s)|).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/823b6db786053fa0e65502098953977762d3e220)
误差分布中的系数
显示Borwein级数随着n的增加而很快集中于一点。
- η(0) = 1⁄2, 格兰迪级数( 1 − 1 + 1 − 1 + · · ·)的阿贝尔和。
- η(−1) = 1⁄4, 1-2+3-4+…的阿贝尔和。
- 对于大于1的整数k ,如果Bk是第k个伯努利数,那么
![{\displaystyle \eta (1-k)={\frac {2^{k}-1}{k}}B_{k}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0c8e563a3fa8fe705adea30b2ded2a8db516528)
同样的:
, 这是交错调和级数
![{\displaystyle \eta (2)={\pi ^{2} \over 12}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ee0559bd26233f52e4c29a0a93ba6b49ea95d9ff)
![{\displaystyle \eta (4)={{7\pi ^{4}} \over 720}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6e182a4f1ed591a2ca7546bdac69f0f663d2dea0)
![{\displaystyle \eta (6)={{31\pi ^{6}} \over 30240}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1f1a2f84040d93bb8300734cb4829104e8953662)
![{\displaystyle \eta (8)={{127\pi ^{8}} \over 1209600}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a07234255b7c5c8d7751daf67015cb222fdc8155)
![{\displaystyle \eta (10)={{511\pi ^{10}} \over 6842880}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8185e316b4da51d69ec8abb83993c11e587ae3ac)
![{\displaystyle \eta (12)={{1414477\pi ^{12}} \over {1307674368000}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/54cae1ad0823678558645a5b8ce8d6be3f13de16)
自变量为正偶数的函数生成式为:
- Borwein, P., An Efficient Algorithm for the Riemann Zeta Function (页面存档备份,存于互联网档案馆), Constructive experimental and nonlinear analysis, CMS Conference Proc. 27 (2000), 29-34.
- Xavier Gourdon and Pascal Sebah, Numerical evaluation of the Riemann Zeta-function (页面存档备份,存于互联网档案馆), Numbers, constants and computation (2003)
- Borwein, P., [1] (页面存档备份,存于互联网档案馆)
- Knopp, Konrad. Theory and Application of Infinite Series. Dover. 1990 [1922]. ISBN 0-486-66165-2.