阿培里常数
黎曼ζ函数在三的值
在数学中,阿培里常数是一个时常会遇到的常数。在一些物理问题中阿培里常数也会很自然地出现。比如说量子电动力学里,阿培里常数出现在电子的磁旋比展开的第二项与第三项中。
阿培里常数 | |
---|---|
识别 | |
种类 | 无理数 |
符号 | |
位数数列编号 | ![]() |
性质 | |
定义 | |
连分数 | 注意这个连分数不是循环的 |
表示方式 | |
值 | 1.202056903159594... |
二进制 | 1.001100111011101000000000010011… |
十进制 | 1.2020569031595942853997381… |
十六进制 | 1.33BA004F0062138371715C59E… |
阿培里常数的准确定义是黎曼ζ函数的一个值:ζ(3),
它的前45位准确数字为:(Wedeniwski 2001)
阿培里定理
编辑事实上,黎曼ζ函数在偶数上的取值是容易求得的,在奇数上的取值则远未有一般性成果。这个常数以数学家罗杰·阿培里命名,因为后者在1978年证明了它是一个无理数。这个结论被称为阿培里定理。最初的证明很长,而且晦涩难懂,幸好不久后发现了更为简洁的证明,只需要用到勒让德多项式。现在还不能确定阿培里常数是否是超越数。
近来的研究表明,黎曼ζ函数在无穷多个奇数上的取值都是无理数 [1],并且ζ(5)、ζ(7)、ζ(9)和ζ(11)之中至少有一个是无理数[2]。
级数表示
编辑1772年,莱昂哈德·欧拉证明了一个关于ζ(3)的级数表示:
这个结果后来又多次被其他人独立发现。
在当代,西蒙·普劳夫给出了一系列级数,使得运用它们能够精确地计算出阿培里常数的第n位小数的数值,而不需要求出它的前n − 1位小数。其中有:
以及:
已知数字
编辑和不少数学常数一样,近几十年来,阿培里常数的数值计算经历了惊人的进展。这一方面是由于计算机计算能力的快速提高,另一方面也是因为不断有更好的算法被找到。1998年,布拉德赫斯特发现了一种能够在线性时间内计算阿培里常数的二进制数值的方法,并且只需要用到对数规模的储存空间。
时间 | 十进制位数 | 计算者 |
---|---|---|
未知 | 16 | 阿德里安-马里·勒让德 |
1887年 | 32 | 汤姆斯·斯蒂尔吉斯 |
1996年 | 520,000 | 西蒙·普劳夫 |
1997年 | 1,000,000 | 布鲁诺·爱博和汤姆斯·帕帕尼科劳 |
1997年5月 | 10,536,006 | 帕德里克·德米切尔 |
1998年2月 | 14,000,074 | 塞巴斯蒂安·维德尼夫斯基 |
1998年3月 | 32,000,213 | 塞巴斯蒂安·维德尼夫斯基 |
1998年7月 | 64,000,091 | 塞巴斯蒂安·维德尼夫斯基 |
1998年12月 | 128,000,026 | 塞巴斯蒂安·维德尼夫斯基 |
2001年9月 | 200,001,000 | 宫本芳正和扎维尔·古东 |
2002年2月 | 600,001,000 | 宫本芳正和扎维尔·古东 |
2003年2月 | 1,000,000,000 | 帕德里克·德米切尔和扎维尔·古东 |
2006年4月 | 10,000,000,000 | 宫本芳正和斯蒂夫·帕格利亚鲁诺 |
2009年1月 | 15,510,000,000 | 亚历山大·易和雷蒙·陈 |
2009年3月 | 31,026,000,000 | 亚历山大·易和雷蒙·陈 |
参考来源
编辑注释
编辑- ^ T. Rivoal. La fonction zeta de Riemann prend une infnité de valuers irrationnelles aux entiers impairs. Comptes Rendus Acad. Sci. Paris Sér. I Math. 2000, 331: 267–270.
- ^ W. Zudilin. One of the numbers ζ(5), ζ(7), ζ(9), ζ(11) is irrational. Russ. Math. Surv. 2001, 56: 774–776. doi:10.1070/RM2001v056n04ABEH000427.
参考文献
编辑- Broadhurst, D.J., Polylogarithmic ladders, hypergeometric series and the ten millionth digits of ζ(3) and ζ(5), arXiv (math.CA/9803067), 1998 [2010-04-26], (原始内容存档于2019-07-13)
- Ramaswami, V., Notes on Riemann's ζ-function, J. London Math. Soc., 1934, 9: 165–169, doi:10.1112/jlms/s1-9.3.165
- Apéry, Roger, Irrationalité de ζ(2) et ζ(3), Astérisque, 1979, 61: 11–13
- A. van der Poorten. A proof that Euler missed... (PDF). The Mathematical Intelligencer. 1979, 1 (4): 195–203. doi:10.1007/BF03028234. (原始内容 (PDF)存档于2011-07-06).
- Plouffe, Simon, Identities inspired from Ramanujan Notebooks II, 1998 [2010-04-26], (原始内容存档于2009-01-30)
- Plouffe, Simon, Zeta(3) or Apery constant to 2000 places, [2010-04-26], (原始内容存档于2008-02-05)
- Wedeniwski, S., Simon Plouffe , 编, The Value of Zeta(3) to 1,000,000 places, Project Gutenberg, 2001
- Srivastava, H. M., Some Families of Rapidly Convergent Series Representations for the Zeta Functions (PDF), Taiwanese Journal of Mathematics (Mathematical Society of the Republic of China (Taiwan)), December 2000, 4 (4): 569–598 [2008-05-18], ISSN 1027-5487, OCLC 36978119, (原始内容 (PDF)存档于2011-07-19)
- Euler, Leonhard, Exercitationes analyticae (PDF), Novi Commentarii academiae scientiarum Petropolitanae, 1773, 17: 173–204 [2008-05-18], (原始内容存档 (PDF)于2006-09-17) (拉丁语)
- Gourdon, Xavier; Sebah, Pascal, The Apéry's constant: z(3), 2003 [2010-04-26], (原始内容存档于2008-11-13)
- Yee, Alexander J.; Chan, Raymond, Large Computations, 2009 [2010-04-26], (原始内容存档于2009-12-09)