In matematica, le serie di Eisenstein sono delle forme modulari definite da serie esplicite. Il loro nome deriva dal matematico tedesco Gotthold Eisenstein.
Le serie di Eisenstein sono state inizialmente definite per il gruppo modulare, ma sono state successivamente generalizzate al contesto delle forme automorfe.
Definizione
[modifica | modifica wikitesto]La serie di Eisenstein olomorfa di peso 2k, con k>1 intero, è la serie
con . Questa serie è assolutamente convergente su tutto il semipiano superiore complesso ad una funzione olomorfa in e converge uniformemente su ogni sottoinsieme compatto di . La serie di Eisenstein è una forma modulare di peso 2k per il gruppo modulare.
Serie di Fourier
[modifica | modifica wikitesto]In quanto forma modulare, le serie di Eisenstein ammettono sviluppo in serie di Fourier. Esso è
dove è la funzione zeta di Riemann, e è la funzione aritmetica sigma generalizzata delle potenze k-1-esime dei divisori di n.
Spesso si preferisce utilizzare le serie di Eisenstein normalizzate (cioè con primo coefficiente dello sviluppo in serie di Fourier uguale a uno). Per esse si usa la notazione
Bibliografia
[modifica | modifica wikitesto]- (EN) F. Diamond e J. Shurman (2005), A First Course in Modular Forms, Graduate Texts in Mathematics 228 Springer, New York, ISBN 0-387-23229-X.
- (EN) T. Miyake (1989), Modular Forms, Springer-Verlag, Berlino Heidelberg.
- (EN) Gorō Shimura (1971), Introduction To The Arithmetic Theory Of Automorphic Functions, Iwanami Shoten and Princeton University Press.
- (EN) R. Gunning (1962), Lectures on Modular Forms, Princeton University Press: Princeton, New Jersey.
- (EN) T. M. Apostol (1976), Modular Functions and Dirichlet Series in Number Theory, Springer-Verlag, New York.