メインメニューを開く

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

ベルヌーイ多項式

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

定義編集

ベルヌーイ多項式 Bn定義の仕方は(同値なものが)いくつもある。そのうちのどれを定義とするかは、目的に応じて決めればよい。

明示公式編集

n ≥ 0 に対して、

 

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

母関数編集

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

 

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

 

となる。

微分表示編集

D = ddxx についての微分演算として、ベルヌーイ多項式は

 

としても与えられる。ただし、この分数は形式的冪級数として展開される(演算子法を参照)。これにより

 

が従う(後述する#積分公式の節も参照)。

積分表示編集

ベルヌーイ多項式列は

 

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

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

 

は、以下の単純な和

 

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

もう一つの明示公式編集

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

 

で与えられる(フルヴィッツのゼータ函数に対する大域収束級数表現との著しい類似性に注意せよ。実際、ζ(sq) をフルヴィッツゼータ函数として

 

が成り立つ。つまりある意味では、フルヴィッツゼータ函数はベルヌーイ多項式を n が非整数の場合へ一般化するものである)。

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

 

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

 

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

 

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

 

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

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

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

 

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

 

とも書ける。

冪和公式編集

p-乗和は、

 

の様にかける(ただし00=1)。ファウルハーバーの公式も参照。

ベルヌーイ数とオイラー数編集

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

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

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

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

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

低次の場合の明示展開編集

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

 
 
 
 
 
 
 

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

 
 
 
 
 
 
 

最大値と最小値編集

n が大きくなるにつれ、Bn(x)x = 0x = 1 の間での変動量は大きくなる。例えば

 

x = 0 における値が(x = 1 における値も)−3617/510 ≈ −7.09 である一方、x = 1/2 における値は 118518239/3342336 ≈ +7.09 である。 デリック・ヘンリー・レーマー英語版[1]Bn(x)01 の間での最大値が n が法 4 に関して 2 でない限り

 

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

 

(ここで  リーマンゼータ関数)となる。一方で、最小値は n が法 4 に関して 0 でない限り

 

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

 

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

微分と差分編集

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

 
 

(Δは前進差分作用素)。

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

 
 

を満たす。

平行移動編集

 
 

これらの等式が成り立つこともまた、これらの多項式列がアペル列であるという主張と同値である。(エルミート多項式列も同様の例として挙げられる)。

対称性編集

 
 
 
 
 : 後述の乗法公式から従う。

孫智偉とハオ・パン[2]は以下の驚くべき対称関係を確立した。今、 r + s + t = nかつ x + y + z = 1とすると、

 

が成り立つ。ただし、

 

である。

フーリエ級数編集

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

 

なる式で与えられるディリクレ級数でもある(単純に n が大きいとき、適当にスケール変換された三角函数に近づくことに注意せよ)。

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

 

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

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

 
 

ただし、 とする。また、

 
 

である。Cν および Sν はそれぞれ(x = 1/2 に関して)奇関数および偶関数、即ち

 
 

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

 
 

ともかける。

反転公式編集

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

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

 
 

と分かる。

下降階乗との関係編集

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

 

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

 

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

 

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

 

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

乗法定理編集

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

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

 
 
 

である。

積分公式編集

不定積分は、

 
 

である。定積分は、

 
 

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

周期ベルヌーイ多項式編集

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

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

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

  • 任意の k ≠ 1 に対して、Pk(x) は連続である。
  • Pk'(x) は存在して、k = 0, k ≥ 3 のとき連続である。
  • k ≥ 3 に対して Pk'(x) = kPk−1(x) が成り立つ。

注釈編集

  1. ^ D.H. Lehmer, "On the Maxima and Minima of Bernoulli Polynomials", American Mathematical Monthly, volume 47, pages 533–538 (1940)
  2. ^ Zhi-Wei Sun; Hao Pan (2006). “Identities concerning Bernoulli and Euler polynomials”. Acta Arithmetica 125: 21–39. arXiv:math/0409035. doi:10.4064/aa125-1-3. 

参考文献編集

  • Apostol, Tom M. (1976), Introduction to analytic number theory, Undergraduate Texts in Mathematics, New York-Heidelberg: Springer-Verlag, ISBN 978-0-387-90163-3, MR0434929, Zbl 0335.10001  (See chapter 12.11)
  • Dilcher, K. (2010), “Bernoulli and Euler Polynomials”, in Olver, Frank W. J.; Lozier, Daniel M.; Boisvert, Ronald F. et al., NIST Handbook of Mathematical Functions, Cambridge University Press, ISBN 978-0521192255, http://dlmf.nist.gov/24 
  • Cvijović, Djurdje; Klinowski, Jacek (1995). “New formulae for the Bernoulli and Euler polynomials at rational arguments”. Proceedings of the American Mathematical Society 123: 1527–1535. doi:10.2307/2161144. 
  • Guillera, Jesus; Sondow, Jonathan (2008). “Double integrals and infinite products for some classical constants via analytic continuations of Lerch's transcendent”. The Ramanujan Journal 16 (3): 247–270. arXiv:math.NT/0506319. doi:10.1007/s11139-007-9102-0.  (Reviews relationship to the Hurwitz zeta function and Lerch transcendent.)

関連項目編集