ベルヌーイ多項式

数学において、ベルヌーイ多項式とは、多くの特殊関数の研究、特にリーマンのゼータ関数やフルヴィッツのゼータ関数の研究において現れる。これはベルヌーイ多項式列がアペル列、すなわち通常の微分に対するシェファー列であることによるところが大きい。直交多項式系とは異なり、ベルヌーイ多項式列は、単位区間における //x// 軸との交点の個数が多項式の次数が増えるにともない増えないという点に注目すべきである。ベルヌーイ多項式を適切に定数倍し次数を大きくした極限では、正弦・余弦関数に近づく。

また、この記事では、オイラー多項式、ベルヌーイ数、オイラー数についても解説する。

1. 定義
-----

ベルヌーイ多項式 //B////n//}} の定義の仕方はいくつもある。そのうちのどれを定義とするかは、目的に応じて決めればよい。

1.1. 明示公式
---------

//n// ≥ 0}} に対して、

ただし bk}} はベルヌーイ数である。

1.2. 母関数
--------

ベルヌーイ多項式の指数型母関数は、

である。 また、オイラー多項式の指数型母関数は

となる。

1.3. 微分表示
---------

1= //D// = fraction は x}} についての微分演算として、ベルヌーイ多項式は

としても与えられる。ただし、この分数は形式的冪級数として展開される。これにより

が従う。

1.4. 積分表示
---------

ベルヌーイ多項式列は

で決定される唯一の多項式列である。

多項式 f}} の上に定義される積分変換

は、以下の単純な和

である。これは、反転公式の導出に利用できる。

2. もう一つの明示公式
------------

ベルヌーイ多項式に対する一つの明示公式が

で与えられる。

上記の明示式の内側の和は、//x////m//}} の n}}-階前進差分、すなわち Δ}} を前進差分作用素として

と理解することができるから、上記の明示式を

と書くこともできる。この式を上で述べた等式から導くこともできる。x}} に関する微分 D}} に対して、前進差分 Δ}} は

に等しいから、メルカトル級数を用いて

を得る。この作用素を xm}} のような m}}-次多項式の上に作用させる限り、右辺の和は n}} を 0}} から m}} まで動かした有限和にすることができる。

ベルヌイ多項式の積分表示は有限差分としての表示から得られるノルルンド&ndash;ライス積分で与えられる。

オイラー多項式に対する一つの明示公式が

で与えられる。これはまた、オイラー数 Ek}} を用いれば

とも書ける。

3. 冪和公式
-------

p}}-乗和は、

の様にかける。ファウルハーバーの公式も参照。

4. ベルヌーイ数とオイラー数
---------------

ベルヌーイ数は、ベルヌーイ多項式を用いて、とかける。

この定義はをに対し与える。

別の定義では、ベルヌーイ数はとされる。

二つの定義は、からの場合に対してのみ異なる。

また、オイラー数は、オイラー多項式を用いて、とかける。

5. 低次の場合の明示展開
-------------

最初のいくつかの//n//に対するベルヌーイ多項式は以下のようになる。

また、最初のいくつかの//n//に対するオイラー多項式は以下のようになる。

6. 最大値と最小値
----------

n}} が大きくなるにつれ、//B////n//}} の 1= //x//   =   0}} と 1= //x//   =   1}} の間での変動量は大きくなる。例えば

は 1= //x//   =   0}} における値が−3617/510 ≈   −7.09}} である一方、1= //x//   =   1/2}} における値は 118518239/3342336 ≈   +7.09}} である。 デリック・ヘンリー・レーマーは //B////n//}} の 0}} と 1}} の間での最大値が n}} が法 4}} に関して 2}} でない限り

を満たすことを示した。n}} が法 4}} に関して 2}} であるときは、

となる。一方で、最小値は n}} が法 4}} に関して 0}} でない限り

を満たす。n}} が法 4}} に関して 0}} であるときは、

である。これらの評価は実際の最大値・最小値に極めて近く、またレーマーはより精緻な評価も与えている。

7. 微分と差分
--------

陰計算により、ベルヌーイ多項式およびオイラー多項式に関する多くの関係式が得られる。

。

これらの多項式列はアペル列である。即ち

を満たす。

7.1. 平行移動
---------

これらの等式が成り立つこともまた、これらの多項式列がアペル列であるという主張と同値である。。

7.2. 対称性
--------

: 後述の乗法公式から従う。孫智偉とハオ・パンは以下の驚くべき対称関係を確立した。今、 //r// + //s// + //t// =}} //n//}}かつ //x// + //y// + //z// =}} 1}}とすると、

が成り立つ。ただし、

である。

8. フーリエ級数
---------

ベルヌーイ多項式のフーリエ級数は、

なる式で与えられるディリクレ級数でもある。

これはフルヴィッツのゼータ函数に対する同様の表示の特別の場合

である。この展開は //n//   ≥   2}} のとき 0   ≤   //x//   ≤   1}} で、1=//n//   =   1}} のとき 0   <   //x//   <   1}} で有効である。

オイラー多項式のフーリエ級数も求められる。フーリエ余弦係数とフーリエ正弦係数を以下のように定義すると。

ただし、とする。また、

である。Cmsub および Smsub はそれぞれ奇関数および偶関数、即ち

を満たすことに注意せよ。これらはルジャンドルのカイ関数 を用いて、

ともかける。

9. 反転公式
-------

ベルヌーイ多項式およびオイラー多項式は、逆にこれらの多項式列の各項を用いて単項式を表すことができる。

具体的には、#積分表示で書いたことから、

と分かる。

10. 下降階乗との関係
------------

ベルヌーイ多項式は下降階乗冪を用いて

と展開できる。ここで、 および

は第二種スターリング数をあらわす。上記とは反対に、ベルヌーイ多項式を用いて、下降階乗冪を

と表すこともできる。ここで、

は第一種スターリング数を表す。

11. 乗法定理
--------

この乗法定理はジョセフ・ルートヴィヒ・ラーベが1851年に与えた。

1以上の自然数//m//に対して、

である。

12. 積分公式
--------

不定積分は、

である。定積分は、

のような式が知られている。

13. 周期ベルヌーイ多項式
--------------

周期ベルヌーイ多項式 //P////n//}} は、x}} の小数部分におけるベルヌーイ多項式の値に等しい。これらの関数は、オイラーの和公式の積分に関連した和の剰余項を提供するために用いられる。最初の多項式はのこぎり波関数である。

厳密にいえば、これらの関数は多項式ではまったくないので、より適切に周期ベルヌーイ関数と呼ばれるべきである。

以下の性質は興味深い。任意の x}} に対して:

任意の //k// ≠ 1}} に対して、//P//msub は連続である。
//P//msub は存在して、1= //k// = 0, //k// ≥ 3}} のとき連続である。
//k// ≥ 3}} に対して //P//msub が成り立つ。

14. 注釈
------

15. 参考文献
--------

Milton Abramowitz and Irene A. Stegun, eds. //Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables//,  Dover, New York. ////
////
doi = 10.1007/s11139-007-9102-0 ////

16. 関連項目
--------

ベルヌーイ数