オイラー数のソースを表示

{{Otheruses|整数列|その他|オイラーにちなんで名づけられた物事の一覧#オイラーの数}}
'''オイラー数'''は、双曲線余割関数の[[テイラー展開]]における展開係数として定義される。 形式的には、テイラー級数:
:<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> (セカント数) をオイラー数と呼ぶこと<ref>[[#Reference-Mathworld-Secant Number|Weisstein]]</ref>もある。 なお、<math>\hat{E}_{2k}=(-1)^kE_{2k}</math> の関係が成立し、必ず正の整数となる。

== 漸化式 ==
オイラー数は次の漸化式を満たす。 この漸化式によって、すべてのオイラー数が整数であることがわかる。
::<math>
    E_0=1,\quad \sum_{k=0}^n {2n\choose 2k}E_{2k} = 0
</math>
この漸化式は偶数項のオイラー数しか与えない。 奇数項のオイラー数は上で説明したように、必ずゼロである。 この漸化式を利用すると、下表のオイラー数が算出される。 

{|class="wikitable" style="text-align:right"
! style="width:10%;"| ''n''
! style="width:39%;"| En 
! style="width:2%;"|
! style="width:10%;"| ''n''
! style="width:39%;"| En 

|-
|'''0'''|| 1                    || ||'''16'''||  19 391 512 145
|-
|'''2'''|| &minus;1             || ||'''18'''|| &minus;2 404 879 675 441
|-
|'''4'''|| 5                    || ||'''20'''|| 370 371 188 237 525
|-
|'''6'''|| &minus;61            || ||'''22'''|| &minus;69 348 874 393 137 901
|-
|'''8'''|| 1 385                || ||'''24'''|| 15 514 534 163 557 086 905
|-
|'''10'''|| &minus;50 521       || ||'''26'''||  &minus;4 087 072 509 293 123 892 361
|-
|'''12'''|| 2 702 765           || ||'''28'''|| 1 252 259 641 403 629 865 468 285
|-
|'''14'''|| &minus;199 360 981  || ||'''30'''|| &minus;441 543 893 249 023 104 553 682 821
|}

この表に示すように、<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> の形式にてタンジェント数と組み合わせると便利である。 「[[タンジェント数]]」にて説明するように、組み合わせた効果として、セカント数とタンジェント数を加算のみで算出する漸化式が存在する。 

== 脚注 ==
{{脚注ヘルプ}}
{{reflist|2}}

== 関連項目 ==
<!--項目の50音順-->
{{Div col}}
*[[タンジェント数]]
*[[ベルヌーイ数]]
{{Div col end}}

== 外部リンク ==
*{{Kotobank|母関数|2=[[小林良和]]}}
*{{MathWorld|title=Euler Number|urlname=EulerNumber}}
*{{MathWorld|title=Secant Number|urlname=SecantNumber}}

{{DEFAULTSORT:おいらあすう}}<!--カテゴリの50音順-->
[[Category:数学に関する記事]]
[[Category:数列]]
[[Category:整数の類]]
[[Category:数学のエポニム]]
[[Category:レオンハルト・オイラー]]