阿培里常數
外觀
阿培里常數 | |
---|---|
識別 | |
種類 | 無理數 |
符號 | |
位數數列編號 | ![]() |
性質 | |
定義 | |
連分數 | 注意這個連分數不是循環的 |
表示方式 | |
值 | 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)