■オイラー積(その12)

 オイラーは,関数等式:

  ζ(1-s)=ζ(s)2(2π)^-sΓ(πs)cos(πs/2)

の発見に向けて,発散級数の和

  ζ(0)=1^0+2^0+3^0+4^0+・・・=−1/2

  ζ(−1)=1^1+2^1+3^1+4^1+・・・=−1/12

  ζ(−2)=1^2+2^2+3^2+4^2+・・・=0

  ζ(−3)=1^3+2^3+3^3+4^3+・・・=1/120

  ζ(−4)=1^4+2^4+3^4+4^4+・・・=0

などを求めて,

  ζ(0)=−1/2 ←→ ζ(1)=∞

  ζ(−1)=−1/12 ←→ ζ(2)=π^2/6

  ζ(−2)=0 ←→ ζ(3)

  ζ(−3)=1/120 ←→ ζ(4)=π^4/90

  ζ(−4)=0 ←→ ζ(5)

などの対応を示している.

 ただし,値の対応としては

  ζ(−2)=0 ←→ ζ(3)

  ζ(−4)=0 ←→ ζ(5)

ではなく,

  ζ’(−2)=−ζ(3)/4π^2 ←→ ζ(3)

  ζ’(−4)=−3ζ(5)/4π^4 ←→ ζ(5)

となる.次回からは関数等式に関連したシリーズを開始したい.

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