■ゼータ関数と素数(その11)
Σn^5/{exp(2πn)-1}=1/504 〜 1/504
つながりで,アイゼンシュタイン級数(重さ6)を考える.
E6(z)=−1/504+Σσ5(n)exp(2πinz)
重さ6の保型性をもっている.
E6(−1/z)=z^6E6(z)
一般に,4以上の偶数lに対して
Ek(z)=−Bk/2k+Σσk-1(n)exp(2πinz)
と定めると,重さkの保型性をもっている.
Ek(−1/z)=z^kEk(z)
===================================
E4(z)=1/240+Σσ3(n)exp(2πinz)
E6(z)=−1/504+Σσ5(n)exp(2πinz)
は無限遠零点をもたない.
E4(i∞)=1/240
E6(i∞)=−1/504
ただし,
{(240E4)^3−(504E6)^2}/1728=Δ
Δ(z)=qΠ(1−q^n)^24=Στ(n)q^n
が成立していて,カスプ形式である.
===================================