歐拉常數

萊昂哈德·歐拉提出的數學常數

歐拉常數約為 0.57721566490153286060651209。

歐拉常數最先由瑞士數學家萊昂哈德·歐拉(Leonhard Euler)在1735年發表的文章 De Progressionibus harmonicus observationes 中定義。歐拉曾經使用C作為它的符號,並計算出了它的前6位小數。1761年他又將該值計算到了16位小數。1790年,義大利數學家馬歇羅尼(Lorenzo Mascheroni)引入了γ作為這個常數的符號,並將該常數計算到小數點后32位。但後來的計算顯示他在第20位的時候出現了錯誤。歐拉數以世界著名數學家歐拉名字命名;還有一個鮮為人知的名字納皮爾常數,用來紀念蘇格蘭數學家約翰·納皮爾 (John Napier) 引進對數

概述


歐拉常數(Euler-Mascheroni constant)
歐拉-馬歇羅尼常數(Euler-Mascheroni constant)是一個主要應用於數論的數學常數。它的定義是調和級數與自然對數的差值的極限。
無窮級數理論可知,調和級數 是發散的。但可以證明,
存在極限。由不等式 可得
有下界。而
再一次根據不等式,取,即可得
所以 單調遞減。由單調有界數列極限定理,可知 必有極限,即
存在。該極限被稱作歐拉常數,現在通常將該常數記為γ。

性質


與伽瑪函數的關係

與黎曼函數的關係

積分

級數展開式

連分數展開式

(OEIS中的數列A002852)。

漸近展開式

已知位數


歐拉常數約為 。
目前尚不知道歐拉常數是否為有理數,但是分析表明如果它是一個有理數,那麼它的分母位數將超過10。
日期位數計算者
1734年6萊昂哈德·歐拉
1736年15萊昂哈德·歐拉
1790年19Lorenzo Mascheroni
1809年24Johann G. von Soldner
1812年40F.B.G. Nicolai
1861年41Oettinger
1869年59William Shanks
1871年110William Shanks
1878年263約翰·柯西·亞當斯
1962年1,271高德納
1962年3,566D.W. Sweeney
1977年20,700Richard P. Brent
1980年30,100Richard P. Brent和埃德溫·麥克米倫
1993年172,000Jonathan Borwein
1997年1,000,000Thomas Papanikolaou
1998年12月7,286,255Xavier Gourdon
1999年10月108,000,000Xavier Gourdon和Patrick Demichel
2006年7月16日2,000,000,000Shigeru Kondo和Steve Pagliarulo
2006年12月8日116,580,041Alexander J. Yee
2007年7月15日5,000,000,000Shigeru Kondo和Steve Pagliarulo
2008年1月1日1,001,262,777Richard B. Kreckel
2008年1月3日131,151,000Nicholas D. Farrer
2008年6月30日10,000,000,000Shigeru Kondo和Steve Pagliarulo
2009年1月18日14,922,244,771Alexander J. Yee和Raymond Chan
2009年3月13日29,844,489,545Alexander J. Yee和Raymond Chan
2011年9月21日970,258,158Eric Weisstein
2013年7月22日4,851,382,841Eric Weisstein

計算方法


Xavier Gourdon在1999年使用以下演演算法計算歐拉常數到了108,000,000位:
對給定的,計算:
則有
其中,
= 4.970625759544232... 滿足方程
對給定的,此方法可以得到接近 位的十進位小數精度。