オイラーの定数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動先: 案内検索

オイラーの定数(オイラーのていすう、Euler’s constant)は、数学定数の1つで、以下のように定義される。

オイラー・マスケローニ定数 (Euler-Mascheroni constant)、オイラーのγ (Euler's gamma) とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号 C を用いた。γ を用いたのはマスケローニである。

この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。

上式中のΣ部は調和級数と呼ばれる。調和級数が発散するという事実は、今日においては微分積分学の初歩であるが、古くは収束すると考えられていた。

調和級数が発散することの証明を最初に行ったのは、14世紀のパリ大学のニコル・オレームである(が、これには誤りがあり、正しい証明が得られたのは17世紀になってからである。詳細は調和級数を参照)。その後ライプニッツなどは有限項の調和級数の近似式に関心をもつなど17世紀においても数学的な関心を集めていた。

有限項の調和級数の近似式への関心から、レオンハルト・オイラーは調和級数の増え方が極限において対数関数に等しいことを証明した。つまり、調和級数と対数関数との差はある定数に収束し、それがのちにオイラーの定数と呼ばれるようになった。オイラーはこの値を小数第6位まで求めた。その後、ロレンツォ・マスケローニ英語版が第32位まで求め(ただし、正しかったのは第20位まで)、γの記号で表した。

オイラーの定数は超越数であろうと予想されているが、無理数であるかどうかさえ分かっていない。

ガンマ関数との関係[編集]

大文字のガンマ Γ で表されるガンマ関数と小文字のガンマ γ で表されるオイラーの定数は共にオイラーによって与えられたものであるが、オイラー自身は前者のガンマ関数を階乗(factorial)と呼んでいる。ガンマ関数の記号はルジャンドルに始まり、オイラーの定数の記号はマスケローニ英語版に始まるものである[1]。オイラーの定数の記号がガンマ関数に由来するものであったのか、今となっては確かめようがないが、オイラーの定数がガンマ関数に関係しているということは確かである。すなわち、ガンマ関数の乗積表示

の対数微分

を代入すると

を得る。

積分表示[編集]

オイラーの定数の値は以下の定積分で与えられる。

あるいは

を用いれば

となり、更にのときに

であるから

となる。

参考文献[編集]

  1. ^ Jeff Miller, Earliest Uses of Various Mathematical Symbols
  • William Dunham, "Euler, The Master of Us All" - Chapter 2
  • Julian Havil: "GAMMA: Exploring Euler's Constant", Princeton University Press (2003).
  • 上記の邦訳(訳者:新妻弘)「オイラーの定数ガンマ - γで旅する数学の世界」、共立出版、ISBN 978-4320018853 (2009年).
  • 真実のみを記す会 『オイラー定数1000000桁表』 暗黒通信団2009年ISBN 978-4-87310-053-1

外部リンク[編集]