艾森斯坦级数

在数学中，艾森斯坦级数是一类可直接表成级数的模形式，由费迪南·艾森斯坦首创。对于一般的约化群，罗伯特·朗兰兹也发展了相应的理论。

模群的艾森斯坦级数

固定整数 $k>1$ 。对上半平面上的复数 $\tau$ ，定义艾森斯坦级数 $G_{2k}$ 为

G_{2k}(\tau )=\sum _{(m,n)\neq (0,0)}{\frac {1}{(m+n\tau )^{2k}}}.

此级数是上半平面上的全纯函数，此外它更是模群 $\Gamma :=\mathrm {SL} (2,\mathbb {Z} )$ 的权 $2k$ 模形式。换言之，若 $a,b,c,d\in \mathbb {Z}$ 满足 $ad-bc=1$ ，则

G_{2k}\left({\frac {a\tau +b}{c\tau +d}}\right)=(c\tau +d)^{2k}G_{2k}(\tau )

模形式理论中的一个基本事实是：模群 $\Gamma$ 的模形式俱可表为 $G_{4}$ 与 $G_{6}$ 的多项式。作为特例，以下说明如何将艾森斯坦级数递回地表成 $G_{4},G_{6}$ 的多项式。

置 $d_{k}:=(2k+3)k!G_{2k+4}$ ，遂有下述关系式：

\sum _{k=0}^{n}{n \choose k}d_{k}d_{n-k}={\frac {2n+9}{3n+6}}d_{n+2}

在此 ${n \choose k}$ 是二项式系数而 $d_{0}=3G_{4}$ 、 $d_{1}=5G_{6}$ 。

函数 $d_{k}$ 可以表示魏尔斯特拉斯 $\wp$ 函数：

\wp (z)={\frac {1}{z^{2}}}+z^{2}\sum _{k=0}^{\infty }{\frac {d_{k}z^{2k}}{k!}}={\frac {1}{z^{2}}}+\sum _{k=1}^{\infty }(2k+1)G_{2k+2}z^{2k}

置 $q=e^{2\pi i\tau }$ 。由于艾森斯坦级数是模群的模形式，故有傅立叶展开式

G_{2k}(\tau )=2\zeta (2k)\left(1+c_{2k}\sum _{n=1}^{\infty }\sigma _{2k-1}(n)q^{n}\right)

其中的傅立叶系数 $c_{2k}$ 是

c_{2k}={\frac {(2\pi i)^{2k}}{(2k-1)!\zeta (2k)}}={\frac {-4k}{B_{2k}}}

。

此处的 $B_{n}$ 是伯努利数， $\zeta (z)$ 是黎曼ζ函数，而 $\sigma _{p}(n)$ 是 $n$ 的正因数的 $p$

G_{4}(\tau )={\frac {\pi ^{4}}{45}}\left[1+240\sum _{n=1}^{\infty }\sigma _{3}(n)q^{n}\right]

G_{6}(\tau )={\frac {2\pi ^{6}}{945}}\left[1-504\sum _{n=1}^{\infty }\sigma _{5}(n)q^{n}\right]

当 $|q|<1$ ，对 $q$ 之和亦可化成兰伯特级数

\sum _{n=1}^{\infty }q^{n}\sigma _{a}(n)=\sum _{n=1}^{\infty }{\frac {n^{a}q^{n}}{1-q^{n}}}

。

有时也会考虑常数项等于一的艾森斯坦级数：

E_{2k}:={\frac {G_{2k}}{2\zeta (2k)}}=1-{\frac {4k}{B_{2k}}}\sum _{n=1}^{\infty }\sigma _{2k-1}(n)q^{n}

。

拉马努金给出了许多有趣的艾森斯坦级数关系式：定义

L(q)=1-24\sum _{n=1}^{\infty }{\frac {nq^{n}}{1-q^{n}}}=E_{2}(\tau )

M(q)=1+240\sum _{n=1}^{\infty }{\frac {n^{3}q^{n}}{1-q^{n}}}=E_{4}(\tau )

N(q)=1-504\sum _{n=1}^{\infty }{\frac {n^{5}q^{n}}{1-q^{n}}}=E_{6}(\tau )

则有

q{\frac {dL}{dq}}={\frac {L^{2}-M}{12}}

q{\frac {dM}{dq}}={\frac {LM-N}{3}}

q{\frac {dN}{dq}}={\frac {LN-M^{2}}{2}}