アイゼンシュタイン級数
Real analytic Eisenstein series