■オイラー積(その3)
(その1)(その2)では,無限リーマンゼータ関数
[1]ζ(s)=Σ1/n^s=Π1/(1−1/p^s) (1737年)
[2]L(s)=Σ(−1)^(n-1)/2/n^s=Π1/(1−(−1)^(p-1)/2/p^s) (1737年),nは奇数,pは奇素数
を取り上げたが,ここではNの約数nをわたる有限リーマンゼータ関数
ζN(s)=Σ1/n^s
について調べてみる.
===================================
ζ1(s)=1
ζ2(s)=1+2^-s
ζ3(s)=1+3^-s
ζ4(s)=1+2^-s+4^-s
ζ5(s)=1+5^-s
ζ6(s)=1+2^-s+3^-s+6^-s=ζ2(s)ζ3(s)
ζ7(s)=1+7^-s
ζ8(s)=1+2^-s+4^-s+8^-s
ζ9(s)=1+3^-s+9^-s
ζ10(s)=1+2^-s+5^-s+10^-s=ζ2(s)ζ5(s)
ζ11(s)=1+11^-s
ζ12(s)=1+2^-s+3^-s+4^-s+6^-s+12^-s=ζ3(s)ζ4(s)
ζ13(s)=1+13^-s
ζ14(s)=1+2^-s+7^-s+14^-s=ζ2(s)ζ7(s)
ζ15(s)=1+3^-s+5^-s+15^-s=ζ3(s)ζ5(s)
ζ16(s)=1+2^-s+4^-s+8^-s+16^-s
ζ17(s)=1+17^-s
ζ18(s)=1+2^-s+3^-s+6^-s+9^-s+18^-s=ζ2(s)ζ9(s)
ζ19(s)=1+19^-s
ζ20(s)=1+2^-s+4^-s+5^-s+10^-s+20^-s=ζ4(s)ζ5(s)
===================================
ζ4(s)≠ζ2(s)ζ2(s)
ζ8(s)≠ζ2(s)ζ4(s)
ζ9(s)≠ζ3(s)ζ3(s)
ζ12(s)≠ζ2(s)ζ6(s)
ζ16(s)≠ζ2(s)ζ8(s)
ζ16(s)≠ζ4(s)ζ4(s)
ζ18(s)≠ζ3(s)ζ6(s)
ζ20(s)≠ζ2(s)ζ10(s)
M,Nが互いに素のとき,
ζMN(s)=ζM(s)ζN(s)
となる.たとえば,
ζ105(s)=ζ3(s)ζ5(s)ζ7(s)
===================================