オイラーの定数

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

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

\gamma := \lim_{n \rightarrow \infty } \left(\sum_{k=1}^n \frac{1}{k} - \ln(n) \right) = \int_1^\infty\left({1\over\lfloor x\rfloor}-{1\over x}\right)\,dx

オイラー・マスケローニ定数 (Euler-Mascheroni constant)、オイラーのγ (Euler's gamma) とも呼ぶ。

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

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

調和級数が発散すること自体は14世紀のパリ大学のニコル・オレームにより証明されている。その後ライプニッツなどは有限項の調和級数の近似式に関心をもつなど17世紀においても数学的な関心を集めていた。

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

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

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

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

\Gamma(z)=\lim_{n\to\infty}\frac{n^zn!}{\displaystyle\prod_{k=0}^{n}{(z+k)}}

の対数微分

\begin{align}\Psi(z)&=\frac{d}{dz}\log\Gamma(z)=\frac{\Gamma'(z)}{\Gamma(z)}\\
&=\lim_{n\to\infty}\left(\log{n}-\sum_{k=0}^{n}\frac{1}{z+k}\right)
\end{align}

z=1を代入すると

\begin{align}\Psi(1)=\Gamma'(1)
&=\lim_{n\to\infty}\left(\log{n}-\sum_{k=0}^{n}\frac{1}{1+k}\right)\\
&=\lim_{n\to\infty}\left(-\gamma-\frac{1}{1+n}\right)\\
&=-\gamma\\
\end{align}

を得る。

積分表示[編集]

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

\begin{align}\gamma
&=-\Gamma'(1)\\
&=-\int_{0}^{\infty}\log{t}e^{-t}dt\\
&=-\int_{0}^{1}\log\log\frac{1}{u}du\qquad(u=e^{-t})\\
&=-\int_{-\infty}^{\infty}ue^{u-e^u}du\qquad(u=\log{t})\\
\end{align}

あるいは

\begin{align}\log{t}
&=\int_{1}^{t}\frac{1}{s}ds\\
&=\int_{1}^{t}\int_{0}^{\infty}e^{-su}duds\\
&=\int_{0}^{\infty}\int_{1}^{t}e^{-su}dsdu\\
&=\int_{0}^{\infty}\frac{e^{-u}-e^{-tu}}{u}du\\
\end{align}

を用いれば

\begin{align}\gamma
&=-\int_{0}^{\infty}\log{t}e^{-t}dt\\
&=-\int_{0}^{\infty}\int_{0}^{\infty}\frac{e^{-u}-e^{-tu}}{u}du\;e^{-t}dt\\
&=\int_{0}^{\infty}\int_{0}^{\infty}\frac{e^{-tu}-e^{-u}}{u}du\;e^{-t}dt\\
&=\int_{0}^{\infty}\left(\int_{0}^{\infty}\frac{e^{-t(u+1)}}{u}dt-\int_{0}^{\infty}\frac{e^{-u}e^{-t}}{u}dt\right)du\\
&=\int_{0}^{\infty}\left(\frac{1}{u(u+1)}-\frac{e^{-u}}{u}\right)du\\
\end{align}

となり、更に\delta\to+0のときに

\begin{align}\left|\int_{\delta}^{e^\delta-1}\frac{1}{u(u+1)}du\right|
&\le\left|\int_{\delta}^{e^\delta-1}\frac{1}{\delta}du\right|\\
&=O(\delta)\\
\end{align}

であるから

\begin{align}\gamma
&=\lim_{\delta\to+0}\int_{\delta}^{\infty}\left(\frac{1}{u(u+1)}-\frac{e^{-u}}{u}\right)du\\
&=\lim_{\delta\to+0}\int_{\delta}^{\infty}\frac{1}{u(u+1)}du-\int_{\delta}^{\infty}\frac{e^{-s}}{s}ds\\
&=\lim_{\delta\to+0}\int_{e^\delta-1}^{\infty}\frac{1}{u(u+1)}du-\int_{\delta}^{\infty}\frac{e^{-s}}{s}ds\\
&=\lim_{\delta\to+0}\int_{\delta}^{\infty}\frac{e^t}{(e^t-1)e^t}dt-\int_{\delta}^{\infty}\frac{e^{-s}}{s}ds\qquad(u=e^t-1)\\
&=\lim_{\delta\to+0}\int_{\delta}^{\infty}\frac{e^{-t}}{1-e^{-t}}dt-\int_{\delta}^{\infty}\frac{e^{-s}}{s}ds\\
&=\int_{0}^{\infty}\left(\frac{e^{-t}}{1-e^{-t}}-\frac{e^{-t}}{t}\right)dt
\end{align}

となる。

参考文献[編集]

  1. ^ Jeff Miller, Earliest Uses of Various Mathematical Symbols
  • William Dunham, "Euler, The Master of Us All" - Chapter 2

外部リンク[編集]