オイラーの定数

オイラーの定数（オイラーのていすう、）は、数学定数の1つで、以下のように定義される。

オイラー・マスケローニ定数 ()、オイラーの () とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号  を用いた。 を用いたのはロレンツォ・マスケローニである。

この値は、およそ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) と呼んでいる。ガンマ関数の記号はアドリアン＝マリ・ルジャンドルに始まり、オイラーの定数の記号はマスケローニに始まるものである。オイラーの定数の記号がガンマ関数に由来するものであったのか、今となっては確かめようがないが、オイラーの定数がガンマ関数に関係しているということは確かである。すなわち、ガンマ関数の乗積表示

に対し、その対数微分であるディガンマ関数

にを代入すると

を得る。

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

あるいは

を用いれば

となり、更にのときに

であるから

となる。

級数表示 
オイラーの定数の値は以下の級数で得られる．

等々．

脚注

参考文献 
 - Chapter 2

 - の初版の翻訳。

外部リンク 

Euler’s constant - Wolfram Alpha

数学定数
数学に関する記事
数学のエポニム
レオンハルト・オイラー