ネイピア数の表現
テンプレート:ネイピア数e ネイピア数 e の表現には様々な方法がある。本稿では代表的なネイピア数の定義とそれに基づくネイピア数の表現についてを述べる。以下では特に断りがない限り、e をネイピア数の意味で用いる。
e は数学定数の一つであり、しばしば自然対数の底として現れる実数である。e は無理数であるため(ネイピア数の無理性の証明参照)通常の分数では表現できないが、無限連分数によれば表現可能である。さらに解析学的手法を用いることにより、e は級数、無限乗積、あるいはある種の数列の極限として表現することが可能である。
Contents
定義
ここではまずネイピア数 e の定義を与える。本項において e の定義と e の表現には明確な差はないが、歴史的に e の利用目的・存在理由としての意義付けが明確なものを定義として扱っている。
I. ヤコブ・ベルヌーイによるとされる e の定義:
- [math]e=\lim_{n\to \infty} \left( 1+\frac{1}{n} \right)^n[/math]
- ベルヌーイは複利計算の過程でこの式の重要性を見い出したとされている。
II. 微分積分学的な定義:
- [math]e=a\;\text{ s.t. }\frac{d}{dx} a^x = a^x\,[/math]
- x を指数部に持つ指数関数において x による微分がその関数自身となる、という e の性質は微分積分学での最も基本的なものの一つである。
連分数による表現
e は様々な無限連分数で表現できる。超越数であるので循環節は持たないが、ある種の規則性が観察される。
- [math] \begin{align} e &= \left[2;1,\textbf{2} ,1,1,\textbf{4},1,1,\textbf{6},1,1,\textbf{8} ,1,1,\ldots,\textbf{2n} ,1,1,\ldots \right] \\ &= 2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{1}{1+\cfrac{1}{1+\cfrac{1}{4+\ddots}}}}} \end{align} [/math]
II. 一般連分数による表現
- [math]e=2+\cfrac{1}{1+\cfrac{1}{2+\cfrac{2}{3+\cfrac{3}{4+\cfrac{4}{5+\ddots}}}}}[/math]
III. (II) から連分数等価変換により得られる連分数
- [math]e=2+\cfrac{2}{2+\cfrac{3}{3+\cfrac{4}{4+\cfrac{5}{5+\cfrac{6}{6+\ddots\,}}}}}[/math]
IV. (II) から変換して得られるが、… 6, 10, 14, … という項を含み、収束が早い。
- [math]e=1+\cfrac{2}{1+\cfrac{1}{6+\cfrac{1}{10+\cfrac{1}{14+\cfrac{1}{18+\ddots\,}}}}}[/math]
V. この例は e の指数関数のうち特殊なケースである。
- [math]e^{2x/y} = 1+\cfrac{2x}{(y-x)+\cfrac{x^2}{3y+\cfrac{x^2}{5y+\cfrac{x^2}{7y+\cfrac{x^2}{9y+\ddots\,}}}}}[/math]
級数による表現
ネイピア数 e は次のような級数で表される。
- [math]e=\sum_{k=0}^\infty \frac{1}{k!}[/math][2]
- [math]e=\left[ \sum_{k=0}^\infty \frac{(-1)^k}{k!} \right]^{-1}[/math]
- [math]e=\left[ \sum_{k=0}^\infty \frac{1-2k}{(2k)!} \right]^{-1}[/math][3]
- [math]e=\frac{1}{2} \sum_{k=0}^\infty \frac{k+1}{k!}[/math]
- [math]e=2\sum_{k=0}^\infty \frac{k+1}{(2k+1)!}[/math]
- [math]e=\sum_{k=0}^\infty \frac{3-4k^2}{(2k+1)!}[/math]
- [math]e=\sum_{k=0}^\infty \frac{(3k)^2+1}{(3k)!}[/math]
- [math]e=\left[ \sum_{k=0}^\infty \frac{4k+3}{2^{2k+1} \, (2k+1)!} \right]^2[/math]
- [math]e=-\frac{12}{\pi^2} \left[ \sum_{k=1}^\infty \frac{1}{k^2} \ \cos \left( \frac{9}{k\pi +\sqrt{k^2 \pi^2 -9}} \right) \right]^{-1/3}[/math]
- [math]e=\sum_{k=1}^\infty \frac{k^2}{2(k!)}[/math]
- [math]e=\sum_{k=1}^\infty \frac{k^3}{5(k!)}[/math]
- [math]e=\sum_{k=1}^\infty \frac{k^n}{B_n(k!)}[/math] (Bn は n 番目のベル数)
無限乗積による表現
ネイピア数 e はいくつかの無限乗積の形式で表現できる。
I. Pippengerの積:
- [math]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[/math]
- [math]e=\prod_{n=1}^\infty\sqrt[n]{\prod_{k=0}^n (k+1)^{(-1)^{k+1} {n \choose 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 ,[/math]
ここに n 番目の因子は次の積 の n 乗根である。
- [math]\prod_{k=0}^n (k+1)^{(-1)^{k+1} {n \choose k}}[/math]
III. 無限乗積:
- [math]e=\frac{2\cdot 2^{(\ln(2)-1)^2} \cdots}{2^{\ln(2)-1}\cdot 2^{(\ln(2)-1)^3}\cdots}.[/math]
数列の極限による表現
ネイピア数 e はいくつかの無限数列の極限として表現できる。
I. スターリングの公式その1
- [math]e=\lim_{n\to \infty} n\cdot \left( \frac{\sqrt{2 \pi n}}{n!} \right)^{1/n}[/math]
II. スターリングの公式その2
- [math]e=\lim_{n \to \infty} \frac{n}{\sqrt[n]{n!}}[/math]
III. 上述の e の基本的な極限による定義から得られる対称形の極限[6] [7]
- [math]e=\lim_{n\to \infty} \left[ \frac{(n+1)^{n+1}}{n^n} -\frac{n^n}{(n-1)^{n-1}} \right][/math]
IV. 別の極限による例[8]
- [math]e=\lim_{n\to \infty}(p_n \#)^{1/p_n}[/math]
- ここで [math]p_n[/math] は n 番目の素数、[math]p_n \#[/math] は [math]p_n[/math] の素数階乗
V. 極限による指数関数の一般形式
- [math]e^x =\lim_{n\to \infty} \left( 1+\frac{x}{n} \right)^n[/math]
脚注
- ↑ オンライン整数列大辞典の数列 A003417
- ↑ Brown, Stan (2006年8月27日). “It’s the Law Too — the Laws of Logarithms”. Oak Road Systems. . 2008閲覧.
- ↑ Formulas 2-7: H. J. Brothers, Improving the convergence of Newton's series approximation for e. The College Mathematics Journal, Vol. 35, No. 1, 2004; pages 34-39.
- ↑ J. Sondow, A faster product for pi and a new integral for ln pi/2, Amer. Math. Monthly 112 (2005) 729-734.
- ↑ J. Guillera and J. Sondow, Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent,Ramanujan Journal 16 (2008), 247-270.
- ↑ H. J. Brothers and J. A. Knox, New closed-form approximations to the Logarithmic Constant e. The Mathematical Intelligencer, Vol. 20, No. 4, 1998; pages 25-29.
- ↑ Khattri, Sanjay, From Lobatto Quadrature to the Euler constant e, http://ans.hsh.no/home/skk/Publications/Lobatto/PRIMUS_KHATTRI.pdf
- ↑ S. M. Ruiz 1997