■オイラー積(その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)

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