阿培里常數

在數學中,阿培里常數是一個時常會遇到的常數。在一些物理問題中阿培里常數也會很自然地出現。比如說量子電動力學裡,阿培里常數出現在電子的磁旋比展開的第二項與第三項中。 阿培里常數的準確定義是黎曼ζ函式的一個值:ζ(3)。

簡介

在數學中, 阿培里常數是一個時常會遇到的常數。在一些物理問題中阿培里常數也會很自然地出現。比如說量子電動力學裡,阿培里常數出現在電子的磁旋比展開的第二項與第三項中。

阿培里常數的準確定義是黎曼ζ函式的一個值:ζ(3):

阿培里常數 阿培里常數

它的前45位準確數字為:(Wedeniwski 2001)

ζ(3) =1.202056903159594285399738161511449990764986292... (OEIS中的數列A002117).

這個常數的倒數也是一個有意義的常數:考慮任意三個隨機抽取的正整數,它們之間互素的機率正是阿培里常數的倒數。

阿培里定理

事實上,黎曼ζ函式在偶數上的取值是容易求得的,在奇數上的取值則遠未有一般性成果。這個常數以數學家羅傑·阿培里命名,因為後者在1978年證明了它是一個無理數。這個結論被稱為阿培里定理。最初的證明很長,而且晦澀難懂,幸好不久後發現了更為簡潔的證明,只需要用到勒讓德多項式。現在還不能確定阿培里常數是否是超越數。

近來的研究表明,黎曼ζ函式在無窮多個奇數上的取值都是無理數,並且ζ(5)、ζ(7)、ζ(9)和ζ(11)之中至少有一個是無理數。

級數表示

1772年,萊昂哈德·歐拉證明了一個關於ζ(3)的級數表示:

阿培里常數 阿培里常數

這個結果後來又多次被其他人獨立發現。

在當代,西蒙·普勞夫給出了一系列級數,使得運用它們能夠精確地計算出阿培里常數的第n位小數的數值,而不需要求出它的前n − 1位小數。其中有:

阿培里常數 阿培里常數

以及:

阿培里常數 阿培里常數

已知數字

和不少數學常數一樣,近幾十年來,阿培里常數的數值計算經歷了驚人的進展。這一方面是由於計算機計算能力的快速提高,另一方面也是因為不斷有更好的算法被找到。1998年,布拉德赫斯特發現了一種能夠線上性時間內計算阿培里常數的二進制數值的方法,並且只需要用到對數規模的儲存空間。

表1. 阿培里常數ζ(3)的已知數值位數
時間十進制位數計算者
未知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亞歷山大·易和雷蒙·陳

相關詞條

熱門詞條

聯絡我們