■オイラー積(その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)
となる.次回からは関数等式に関連したシリーズを開始したい.
===================================