オイラーの定数
テンプレート:Otheruses テンプレート:Unsolved オイラーの定数（オイラーのていすう、テンプレート:Lang-en-short）は、数学定数の1つで、以下のように定義される。
オイラー・マスケローニ定数 (テンプレート:Lang-en-short)[1]、オイラーのテンプレート:Mvar (テンプレート:Lang-en-short) とも呼ぶ。ちなみに、オイラーはこの定数を表わすのに記号 テンプレート:Mvar を用いた。テンプレート:Mvar を用いたのはロレンツォ・マスケローニである[2]。
この値は、およそ0.57721 56649 01532 86060 65120 90082 40243 10421 59335 93992 35988 05767 23488 48677 26777 66467 09369 47063 29174 67495...である。
オイラーの定数は超越数であろうと予想されている。しかしながら、無理数であるかどうか、および、円周率テンプレート:Mathとの関係も、数学上の未解決問題の一つである。
調和級数との関係
上式は調和級数と呼ばれる。調和級数が発散するという事実は、今日においては微分積分学の初歩であるが、古くは収束すると考えられていた。
調和級数が発散することの証明を最初に行ったのは、14世紀のパリ大学のニコル・オレームであるが、これには誤りがあり、正しい証明が得られたのは17世紀になってからである。その後ゴットフリート・ライプニッツなどは有限項の調和級数の近似式に関心をもつなど17世紀においても数学的な関心を集めていた。
有限項の調和級数の近似式への関心から、レオンハルト・オイラーは調和級数の増え方が極限において対数関数に等しいことを証明した。つまり、調和級数と対数関数との差はある定数に収束し、それがのちにオイラーの定数と呼ばれるようになった。オイラーはこの値を小数第6位まで求めた。その後、ロレンツォ・マスケローニが第32位まで求め（ただし、正しかったのは第20位まで）、γの記号で表した[2]。
ガンマ関数との関係
大文字のガンマ Γ で表されるガンマ関数と小文字のガンマ γ で表されるオイラーの定数は共にオイラーによって与えられたものであるが、オイラー自身は前者のガンマ関数を階乗 (factorial) と呼んでいる。ガンマ関数の記号はアドリアン＝マリ・ルジャンドルに始まり、オイラーの定数の記号はマスケローニに始まるものである[2]。オイラーの定数の記号がガンマ関数に由来するものであったのか、今となっては確かめようがないが、オイラーの定数がガンマ関数に関係しているということは確かである。すなわち、ガンマ関数の乗積表示 テンプレート:Indent に対し、その対数微分であるディガンマ関数 テンプレート:Indent にを代入すると テンプレート:Indent を得る。
積分表示
オイラーの定数の値は以下の定積分で与えられる。 テンプレート:Indent あるいは テンプレート:Indent を用いれば テンプレート:Indent となり、更にのときに テンプレート:Indent であるから テンプレート:Indent となる。
級数表示
オイラーの定数は以下の級数表示をもつ。ここで， はリーマンゼータ関数である。 テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent テンプレート:Indent
等々．
脚注
参考文献
- テンプレート:Citation - Chapter 2
- テンプレート:Citation
- テンプレート:Cite book - テンプレート:Harvtxtの初版の翻訳。
- テンプレート:Cite book
関連項目
- 数学上の未解決問題
- ディガンマ関数
- ワイエルシュトラスの乗積表示
- リーマンゼータ関数
- 三角数
- 調和数 (発散列)
- Gregory coefficients（グレゴリー係数）
- Bernoulli polynomials of the second kind（第2種ベルヌーイ多項式）
- バーンズのG関数
- スティルチェス定数