また、この記事では、オイラー多項式、ベルヌーイ数、オイラー数についても解説する。
定義
ベルヌーイ多項式 Bn の定義の仕方は(同値なものが)いくつもある。そのうちのどれを定義とするかは、目的に応じて決めればよい。
明示公式
n ≥ 0 に対して、
![B_n(x) = \sum_{k=0}^n {n \choose k} b_{n-k} x^k,](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/6c3d48721fcf4f318da75a5dbf49674c6f65987e)
ただし bk はベルヌーイ数である。
母関数
ベルヌーイ多項式の指数型母関数は、
![\frac{t e^{xt}}{e^t-1}= \sum_{n=0}^\infty B_n(x) \frac{t^n}{n!}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/3b292d4f856e353e2b068d4c8cd0dda9baf3b791)
である。
また、オイラー多項式の指数型母関数は
![\frac{2 e^{xt}}{e^t+1}= \sum_{n=0}^\infty E_n(x) \frac{t^n}{n!}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/e711920d3022a68bd06e49918c6b316faafe9304)
となる。
微分表示
D = d⁄dx は x についての微分演算として、ベルヌーイ多項式は
![B_n(x)={D \over e^D -1} x^n](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/920d5820e088d85a96b75d8795d5eb756ad73a72)
としても与えられる。ただし、この分数は形式的冪級数として展開される(演算子法を参照)。これにより
![\int _a^x B_n (u) \,du = \frac{B_{n+1}(x) - B_{n+1}(a)}{n+1}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/6d0f6f4c1fceacd9dfed8170a37a348ca17af1be)
が従う(後述する#積分公式の節も参照)。
積分表示
ベルヌーイ多項式列は
![\int_x^{x+1} B_n(u)\,du = x^n](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd4c1a5cd382cf82d0ebbeddf673ca7ceef61f6)
で決定される唯一の多項式列である。
多項式 f の上に定義される積分変換
![(Tf)(x) = \int_x^{x+1} f(u)\,du](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/72ad52a05540f064703569989862dd3ef75d8476)
は、以下の単純な和
![\begin{align}
(Tf)(x) = {e^D - 1 \over D}f(x) & {} = \sum_{n=0}^\infty {D^n \over (n+1)!}f(x) \\
& {} = f(x) + {f'(x) \over 2} + {f''(x) \over 6} + {f'''(x) \over 24} + \cdots ~.
\end{align}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/b13694a123b04a19178c40d3607423a3190fe3e3)
である。これは、反転公式の導出に利用できる。
もう一つの明示公式
ベルヌーイ多項式に対する一つの明示公式が
![B_m(x)=
\sum_{n=0}^m \frac{1}{n+1}
\sum_{k=0}^n (-1)^k {n \choose k} (x+k)^m](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/3fa52e4503932689078a8c6df91a5747069e23ea)
で与えられる(フルヴィッツのゼータ函数に対する大域収束級数表現との著しい類似性に注意せよ。実際、ζ(s, q) をフルヴィッツゼータ函数として
![B_n(x) = -n \zeta(1-n,x)](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/886da69e0b842f0c572b32b0f9fc3a702c267605)
が成り立つ。つまりある意味では、フルヴィッツゼータ函数はベルヌーイ多項式を n が非整数の場合へ一般化するものである)。
上記の明示式の内側の和は、xm の n-階前進差分、すなわち Δ を前進差分作用素として
![\Delta^n x^m = \sum_{k=0}^n (-1)^{n-k} {n \choose k} (x+k)^m](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/2ff1319a63ef976620b2ea5db434c737b7228c54)
と理解することができるから、上記の明示式を
![B_m(x)= \sum_{n=0}^m \frac{(-1)^n}{n+1} \Delta^n x^m](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/a9bbe7534e80105b085f9629cfaf5bdbf6efa7af)
と書くこともできる。この式を上で述べた(微分による定義の)等式から導くこともできる。x に関する微分 D に対して、前進差分 Δ は
![\Delta = e^D - 1](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/39f00d876084c72c3c20a48c4226de27a642df22)
に等しいから、メルカトル級数(英語版)を用いて
![{D \over e^D - 1} = {\log(\Delta + 1) \over \Delta} = \sum_{n=0}^\infty {(-\Delta)^n \over n+1}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/60a1ef17915a5595d27bb0e7d55a18adf701eb27)
を得る。この作用素を xm のような m-次多項式の上に作用させる限り、右辺の和は n を 0 から m まで動かした有限和にすることができる。
ベルヌイ多項式の積分表示は有限差分としての表示から得られるノルルンド–ライス積分で与えられる。
オイラー多項式に対する一つの明示公式が
![E_m(x)=
\sum_{n=0}^m \frac{1}{2^n}
\sum_{k=0}^n (-1)^k {n \choose k} (x+k)^m](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/ae74de56bf69cd7e5363b2abf2593a6457a476f2)
で与えられる。これはまた、オイラー数 Ek を用いれば
![E_m(x)=
\sum_{k=0}^m {m \choose k} \frac{E_k}{2^k}
\left(x-\frac{1}{2}\right)^{m-k}](https://weblio.hs.llnwd.net/e7/img/dict/wkpja/https://wikimedia.org/api/rest_v1/media/math/render/svg/0a6414bd3b94969c303b394bf75702029603b443)
とも書ける。