ネイピア数の表現

テンプレート:ネイピア数e ネイピア数 テンプレート:Mvar には様々な表式がある。本稿では代表的なネイピア数の定義とそれに基づく表式について述べる。以下では特に断りがない限り、テンプレート:Mvar をネイピア数とする。

テンプレート:Mvar は数学定数の一つであり、しばしば自然対数の底と呼ばれる実数である。テンプレート:Mvar は無理数であるため（ネイピア数の無理性の証明参照）通常の分数では表せないが、無限連分数で表すことはできる。また、解析学的手法を用いて級数や無限乗積、ある種の数列の極限としてテンプレート:Mvar を表すことができる。

定義

以下にネイピア数 テンプレート:Mvar のいくつかの定義を示す。本項において テンプレート:Mvar の定義と テンプレート:Mvar の表式に明確な差はないが、歴史的に テンプレート:Mvar の利用目的・存在理由としての意義付けが明確なものを定義として扱っている。

I. ヤコブ・ベルヌーイによるとされる テンプレート:Mvar の定義:

$e=\underset{n\to \mathrm{\infty }}{\lim }{(1+\frac{1}{n})}^n$

ベルヌーイは複利計算の過程でこの式の重要性を見い出したとされている。

II. 微分積分学的な定義:

$e=a\text{ s.t. }\frac{d}{dx}{a}^x=a^x$

テンプレート:Mvar を指数部に持つ指数関数において テンプレート:Mvar による微分がその関数自身となる、という テンプレート:Mvar の性質は微分積分学での最も基本的なものの一つである。

連分数による表現

テンプレート:Mvar は様々な無限連分数で表現できる。超越数であるので循環節は持たないが、ある種の規則性が観察される。

I. テンプレート:Mvar は単純な正則連分数で表現可能である:

$\begin{array}{cc}e& =[2;1,\mathbf{\text{2}},1,1,\mathbf{\text{4}},1,1,\mathbf{\text{6}},1,1,\mathbf{\text{8}},1,1,\dots ,\mathbf{\text{2n}},1,1,\dots ]\\ & =2+\frac{1}{1+\frac{1}{2+\frac{1}{1+\frac{1}{1+\frac{1}{4+\ddots }}}}}\end{array}$

II. 一般連分数による表現

$e=2+\frac{1}{1+\frac{1}{2+\frac{2}{3+\frac{3}{4+\frac{4}{5+\ddots }}}}}$

III. (II) から連分数等価変換により得られる連分数

$e=2+\frac{2}{2+\frac{3}{3+\frac{4}{4+\frac{5}{5+\frac{6}{6+\ddots }}}}}$

IV. (II) から変換して得られるが、… 6, 10, 14, … という項を含み、収束が早い。

$e=1+\frac{2}{1+\frac{1}{6+\frac{1}{10+\frac{1}{14+\frac{1}{18+\ddots }}}}}$

V. この例は テンプレート:Mvar の指数関数のうち特殊なケースである。

$e^{2x/y}=1+\frac{2x}{(y-x)+\frac{x^2}{3y+\frac{x^2}{5y+\frac{x^2}{7y+\frac{x^2}{9y+\ddots }}}}}$

級数による表現

ネイピア数 テンプレート:Mvar は次のような級数で表される。

• $e=\sum _{k=0}^{\mathrm{\infty }}\frac{1}{k!}$
• $e={\left[\sum _{k=0}^{\mathrm{\infty }}\frac{(-1{)}^k}{k!}\right]}^{-1}$
• $e={\left[\sum _{k=0}^{\mathrm{\infty }}\frac{1-2k}{(2k)!}\right]}^{-1}$
• $e=\frac{1}{2}\sum _{k=0}^{\mathrm{\infty }}\frac{k+1}{k!}$
• $e=2\sum _{k=0}^{\mathrm{\infty }}\frac{k+1}{(2k+1)!}$
• $e=\sum _{k=0}^{\mathrm{\infty }}\frac{3-4k^2}{(2k+1)!}$
• $e=\sum _{k=0}^{\mathrm{\infty }}\frac{(3k{)}^2+1}{(3k)!}$
• $e={\left[\sum _{k=0}^{\mathrm{\infty }}\frac{4k+3}{2^{2k+1}(2k+1)!}\right]}^2$
• $e=-\frac{12}{{\pi }^2}{[\sum _{k=1}^{\mathrm{\infty }}\frac{1}{k^2}\cos \left(\frac{9}{k\pi +\sqrt{k^2{\pi }^2-9}}\right)]}^{-1/3}$
• $e=\sum _{k=1}^{\mathrm{\infty }}\frac{k^2}{2(k!)}$
• $e=\sum _{k=1}^{\mathrm{\infty }}\frac{k^3}{5(k!)}$
• $e=\sum _{k=1}^{\mathrm{\infty }}\frac{k^n}{B_n(k!)}$　（B_n は n 番目のベル数）

無限乗積による表現

ネイピア数 テンプレート:Mvar はいくつかの無限乗積の形式で表現できる。

I. Pippengerの積:

$e=2{\left(\frac{2}{1}\right)}^{1/2}{\left(\frac{2}{3}\frac{4}{3}\right)}^{1/4}{\left(\frac{4}{5}\frac{6}{5}\frac{6}{7}\frac{8}{7}\right)}^{1/8}\cdots$

II. Guillera の積:

$e=\prod _{n=1}^{\mathrm{\infty }}\sqrt[n]{\prod _{k=0}^n(k+1{)}^{(-1{)}^{k+1}(\genfrac{}{}{0ex}{}{n}{k})}}={\left(\frac{2}{1}\right)}^{1/1}{\left(\frac{2^2}{1\cdot 3}\right)}^{1/2}{\left(\frac{2^3\cdot 4}{1\cdot 3^3}\right)}^{1/3}{\left(\frac{2^4\cdot 4^4}{1\cdot 3^6\cdot 5}\right)}^{1/4}\cdots ,$

ここに n 番目の因子は次の積 の n 乗根である。

$\prod _{k=0}^n(k+1{)}^{(-1{)}^{k+1}(\genfrac{}{}{0ex}{}{n}{k})}$

III. 無限乗積:

$e=\frac{2\cdot 2^{(\ln (2)-1{)}^2}\cdots }{2^{\ln (2)-1}\cdot 2^{(\ln (2)-1{)}^3}\cdots }.$

数列の極限による表現

ネイピア数 テンプレート:Mvar はいくつかの無限数列の極限として表現できる。

I. スターリングの公式その1

$e=\underset{n\to \mathrm{\infty }}{\lim }n\cdot {\left(\frac{\sqrt{2\pi n}}{n!}\right)}^{1/n}$

II. スターリングの公式その2

$e=\underset{n\to \mathrm{\infty }}{\lim }\frac{n}{\sqrt[n]{n!}}$

III. 上述の e の基本的な極限による定義から得られる対称形の極限

$e=\underset{n\to \mathrm{\infty }}{\lim }[\frac{(n+1{)}^{n+1}}{n^n}-\frac{n^n}{(n-1{)}^{n-1}}]$

IV. 別の極限による例

$e=\underset{n\to \mathrm{\infty }}{\lim }(p_n\mathrm{\#}{)}^{1/p_n}$

ここで $p_n$ は n 番目の素数、$p_n\mathrm{\#}$ は $p_n$ の素数階乗

V. 極限による指数関数の一般形式

$e^x=\underset{n\to \mathrm{\infty }}{\lim }{(1+\frac{x}{n})}^n$