オイラー数
オイラー数は、双曲線正割関数のテイラー展開における展開係数として定義される。 形式的には、テイラー級数:
- <math>
\operatorname{sech}\,z = \frac{2}{e^z+e^{-z}} = \sum_{k=0}^{\infty}\frac{E_k}{k!}z^k
</math> における <math>E_k</math> がオイラー数である。 この数列は整数であり、奇数項がすべて 0、偶数項の符号が交互に切り替わることが特徴である。 双曲線正割関数の代わりに、三角関数の正割関数:
- <math>
\sec z = \sum_{k=0}^{\infty}\frac{\hat{E}_k}{k!}z^k
</math> の展開級数 <math>\hat{E}_k</math> (セカント数) をオイラー数と呼ぶこと[1]もある。 なお、<math>\hat{E}_{2k}=(-1)^kE_{2k}</math> の関係が成立し、必ず正の整数となる。
漸化式
オイラー数は次の漸化式を満たす。 この漸化式によって、すべてのオイラー数が整数であることがわかる。
- <math>
E_0=1,\quad \sum_{k=0}^n {2n\choose 2k}E_{2k} = 0
</math> この漸化式は偶数項のオイラー数しか与えない。 奇数項のオイラー数は上で説明したように、必ずゼロである。 この漸化式を利用すると、下表のオイラー数が算出される。
n | En | n | En | |
---|---|---|---|---|
0 | 1 | 10 | −50 521 | |
2 | −1 | 12 | 2 702 765 | |
4 | 5 | 14 | −199 360 981 | |
6 | −61 | 16 | 19 391 512 145 | |
8 | 1 385 | 18 | −2 404 879 675 441 |
この表に示すように、<math>n</math> の上昇に対してオイラー数 <math>E_{2n}</math> の絶対値は非常に速く増加する。その絶対値は次に示す漸近的な性質にしたがう。
- <math>
|E_{2n}| \simeq 2\,(2n)!\,\left(\frac{2}{\pi}\right)^{\!2n+1}\quad\quad (n\rightarrow\infty)
</math>
ベルヌーイ数との関係
オイラー数とベルヌーイ数の間には、次のような関係が成り立つ。 「ベルヌーイ数」の項で説明した漸化式では、ベルヌーイ数の計算に浮動小数点による計算、または、分数計算が必要となるが、第 2 の関係式を用いれば、整数計算だけで総和記号内の演算ができるので、ベルヌーイ数の分数表現を得る場合には便利である。
- <math>
\begin{align}
& E_{2n} = \sum_{k=1}^n {2n\choose 2k-1}\frac{2^{2k}-4^{2k}}{2k}B_{2k}+1\\ & B_{2n} = \frac{2n}{4^{2n}-2^{2n}} \sum_{k=0}^{n-1}{2n-1\choose 2k} E_{2k}
\end{align} </math>
タンジェント数との関係
オイラー数は、符号補正したセカント数 <math>\hat{E}_k</math> の形式にてタンジェント数と組み合わせると便利である。 「タンジェント数」にて説明するように、組み合わせた効果として、セカント数とタンジェント数を加算のみで算出する漸化式が存在する。
関連項目
脚注
- ↑ http://mathworld.wolfram.com/SecantNumber.html Wolfram MathWorld - Secant Number