■ベキ和の公式の整除性(その18)

z/(exp(z)−1)

=B0+B1/1!z+B2/2!z^2+B3/3!z^3+・・・

===================================

【1】ベルヌーイ数とベルヌーイ多項式

 ここで,

  z・exp(zx)/(exp(z)−1)

を考えると,Bは定数でなく,xの関数となる.すなわち,

z・exp(zx)/(exp(z)−1)

=B0(x)+B1(x)/1!z+B2)x)/2!z^2+B3(x)/3!z^3+・・・

B0=B0(0),B1=B1(0),B2=B2(0),B3=B3(0),・・・

  z・exp(zx)/(exp(z)−1)

=(1+xz+1/2!x^2z^2+1/3!x^3z^3+・・・)(B0+B1/1!z+B2/2!z^2+B3/3!z^3+・・・)

 z^nの係数を比較すると

B0x^s+B1(s,1)x^s-1+B2(s,2)x^s-2+・・・+Bs=Bs(x)より,

  B0(x)=1

  B1(x)=x−1/2

  B2(x)=x^2−x+1/6

  B3(x)=x^3−3x^2/2+x/2

  B4(x)=x^4−2x^3+x^2−1/30

  B5(x)=x^5−5x^4/2+5x^3/3−x/6

  B6(x)=x^6−3x^5+5x^4/2+x^2/2+1/42

  B7(x)=x^7−7x^6/2+7x^5/2+7x^3/6+x/6

が算出される.

===================================