1

ベルヌーイの公式

202
0

冪乗和の計算法

k=1nkm=1m+2m+3m+...+nm

を求める一般的な方法を考えます。これからSm=k=1nkm と書きます。

m=0

明らかに
S0=k=1n1=1+1+1+...+1n=n

m=1

S1=k=1nk=1+2+3+...+n

以下の式を考えます。
(k+1)2k2=2k+1

これの和をとると

k=1n[(k+1)2k2]=(n+1)21=n2+2n

なので

k=1n(2k+1)=2k=1nk+k=1n1=2S1+S0=n2+2n

よって

S1=12(n2+2nS0)=n22+n2

m=2

(k+1)3k3=3k2+3k+1

k=1n[(k+1)3k3]=(n+1)31=n3+3n2+3n

3S2+3S1+S0=n3+3n2+3n

S2=13(n3+3n2+3n3S1S0)=13(n3+3n2+3n3(n22+n2)n)=13(n3+3n22+n2)=n33+n22+n6

m=3

4S3+6S2+4S1+S0=n4+4n3+6n2+4n
S3=n44+n32+n24

以下同様に計算できます。この計算式はパスカルの三角形をみて作ることができます。
111121133114641

このm番目の行から先頭を抜いた数列にSm,Sm1,Sm2,..をかけて足したものがのm番目の行から最後を抜いた数列にnm,nm1,nm2,..をかけて足したものを等しいという式です。式で書くと
k=2m(mk)Sk=k=1m1(mk)nk
となります。

この計算で以下同様に

S4=n55+n42+n33n30S5=n66+n52+5n412n212S6=n77+n62+n52n36+n42S7=n88+n72+7n6127n424+n212S8=n99+n82+2n737n515+2n39n30S9=n1010+n92+3n847n610+n423n220S10=n1111+n102+5n96n7+n5n325n66

実はこの係数には規則性があり、Sm+1の係数は最後を除いてSmの係数から求められます。それはSmの係数に左から順にm+1m+2,1,m+1m,m+1m2,m+1m4,m+1m6,...とかけていくことで、Sm+1の係数が求まります。

最後の係数はすべての係数の和が1となるように調整することで計算できます。

ベルヌーイの公式

いまで求めた冪乗和の式の法則性はベルヌーイの公式により表されます。

ベルヌーイの公式

k=0n1 km=1m+1k=0m(m+1k)Bk nmk+1

ただしBkx/(ex1) の展開係数で

xex1=k=0Bkk!xk

が成り立つ。

些細な部分ですが、k の範囲が 0 から n - 1 になっています。なので 0 から n の場合、n^m が足されます。これは、B11/2 から 1/2 にするのと同等で、慣習によっては B1=1/2 として n までの和の公式を表すこともあります。

オイラーの和公式

ベルヌーイの公式は、和を積分によって求める オイラーの和公式 の特別な場合と言えます。オイラーの和公式は和を積分と微分で求める方法です。差分と微分を関係づける式はテイラー展開から以下のように分かります。

f(k+1)f(k)=f(k)+f(k)/2+f(k)/6+...

この式の k=0からk=n1までの総和をとります。

k=0n1(f(k+1)f(k))=f(n)f(0)=k=0n1f(k)+k=0n1f(k)/2+k=0n1f(k)/6+...

これから以下のような省略記法を使います。
k=0n1f(k),k=0n1f(k),k=0n1f(k) を省略して Sf,Sf,Sf のように書きます。またf(n)f(0),f(n)f(0),..f,fと書きます。また特別に0nf(k)dk=f と書きます。

この記法でまず以下が成り立ちます。
f=Sf+Sf/2+Sf/6+..

この式は、ff と置き換えることで全体が微分された形になります。関数は任意の形をとれるので、この式全体を微分、または積分しても同じ式が成り立ちます。よって
f=Sf+Sf/2+Sf/6+Sf(3)/24+..f=Sf+Sf/2+Sf(3)/6+Sf(4)/24+..f=Sf+Sf(3)/2+Sf(4)/6+Sf(5)/24+....

ここで少し形を変えて以下のようにします。
Sf=fSf/2Sf/6Sf(3)/24..Sf=fSf/2Sf(3)/6Sf(4)/24..Sf=fSf(3)/2Sf(4)/6Sf(5)/24....

求めたいのはSfです。SffSf,Sf,... に依存します。しかしSf,Sf,...に対する依存性は二行目以下の式を代入して取り除くことができ、これを続けることでSffの積分と微分 f,f,f,f...により表すことができます。ただし、fを微分し続けるといつかゼロになるか、項を増やすごとにある値に漸近していくという条件がなければ、この操作は終わりなく続いてしまいます。

この操作が完了したときにSfは以下のような形になっているはずです。

Sf=f+af+bf+cf+df(3)+..

この係数は以下のようにして求めることができます。この式を使ってSf,Sf,..を同様に表し、これに1/2,1/6,1/24,...をかけて並べます。
Sf=f+af+bf+cf+..Sf/2=f/2+af/2+bf/2+cf(3)/2+..Sf/6=f/6+af/6+bf(3)/6+cf(4)/6+..Sf(3)/24=f/24+af(3)/24+bf(4)/24+cf(5)/24+....

左辺をすべて足すとf なので、右辺のf,f,f,.. の係数から

a+1/2=0b+a/2+1/6=0c+b/2+a/6+1/24=0..

これから

a=1/2b=1/12c=0..

と求めることができます。これと同じ計算を以下のような関数Vについて考えます。

V=1+ax+bx2+cx3+dx4+..

V=1+ax+bx2+cx3+..Vx/2=x/2+ax2/2+bx3/2+cx4/2+..Vx2/6=x2/6+ax3/6+x4/6+cx5/6+..Sx3/24=x3/24+ax4/24+bx5/24+cx6/24+....

これらを足したものが1になるので
V(1+x/2+x2/6+x3/24+...)=1V=xex1

つまりa,b,c,..x/(ex1)の展開係数です。ベルヌーイ数はこの係数にk!をかけたものとして定義されています。

xex1=k=0Bkk!xk

これよりSff,f,f,f... と ベルヌーイ数を使って以下のように表されることが分かります。

Sf=f+B1f+B2f/2+B3f/6+..

これがオイラーの和公式です。

ベルヌーイの公式

f(k)=km の場合を考えます。このとき f,f,f,f はそれぞれnm+1/(m+1),nm,mnm1,m(m1)nm2...となります。また f(m)(k)以降の微分はゼロになります。
これを和公式に代入すると

Sf=nm+1m+1+B1nm+B2m2nm1+B3m(m1)6nm2+..=1m+1(B0nm+1+B1(m+1)nm+B2(m+1)m2nm1+B3(m+1)m(m1)6nm2+..)=1m+1k=0m(m+1k)Bk nmk+1

となりベルヌーイの和公式が導けました。

微分作用素と演算子

これまでの計算で微分の階数をxの次数に読み替えることで和公式の係数とx/(ex1)の展開係数との結びつきを見出しました。この考えかたは
このページ で紹介されているように微分作用素を使い、微分という操作をDという文字で表し、Dの代数を考えることで直接的に分かります。

まず差分を微分作用素で表すと
f(k+1)f(k)=f(k)+f(k)/2+f(k)/6+..=(D+D2/2+D3/6+..)f=(eD1)f(k)

微分だけでなく差分や1進む演算を使うといろいろと面白いです。

差分演算子Δを以下のように定義します。
Δf(k)=f(k+1)f(k)

並進演算子Tを以下のように定義します。
Tf(k)=f(k+1)

これらに以下のような関係があります。
T=eD=Δ+1

また和分演算子Sを以下のように定義します。
Sf(k)=k=0n1f(k)

すると差分の和は以下のような式になります。
SΔf(k)=f(n)f(0)

関数の中を省略する記法で

SΔf=f

よって

S=1/Δ

とも言えます。

この演算子軍団を使ってオイラーの和公式を表してみます。
まず
Δ=eD1
です。両辺を和分して

SΔ=1=S(eD1)

S=1eD1

eD1=D+D22+D36+..

Dでくくれるので

S=1DDeD1

とし
DeD1

を級数展開します。すると

S=1D(k=0BkDkk!)

これが一応オイラーの和公式を演算子で表現したものになります。はじめの項だけ1/Dが残りますが、1/Dは積分と考えます。

演算子法まとめ

並進は
T=eD

差分は
Δ=T1=eD1

和分は
S=1Δ=1eD1=1D(k=0BkDkk!)

投稿日:20231029
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

17世紀の数学を学び始めました。 https://www.17centurymaths.com/ このサイト素晴らしい。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 冪乗和の計算法
  2. ベルヌーイの公式
  3. オイラーの和公式
  4. ベルヌーイの公式
  5. 微分作用素と演算子
  6. 演算子法まとめ