- Série d'Eisenstein
-
En mathématiques, les séries d'Eisenstein désignent certaines formes modulaires dont le développement en série de Fourier peut s'écrire explicitement.
Sommaire
Séries d'Eisenstein du groupe modulaire
Pour un nombre complexe τ de partie imaginaire strictement positive, on définit la série d'Eisenstein G2k(τ) pour chaque entier k > 1 comme :
C'est remarquable, la série d'Eisenstein est une forme modulaire. Explicitement, si avec ad − bc = 1 alors :
Donc, G2k est une forme modulaire de poids 2k.
Relations de récurrence
Toute forme modulaire holomorphe pour le groupe modulaire peut être écrite comme polynôme en G4 et G6.
Soit dk = (2k + 3)k!G2k + 4. On dispose de la relation :
Ici, est le coefficient binomial et d0 = 3G4 et d1 = 5G6.
Les dk apparaissent dans le développement en série entière de la fonction de Weierstrass :
Séries de Fourier
Posons q = e2πiτ. Alors les séries de Fourier des séries d'Eisenstein sont :
où les coefficients de Fourier c2k sont donnés par :
- .
Ici, les Bn sont les nombres de Bernoulli, ζ(z) est la fonction de Riemann et σp(n) est simplement la somme des p-ièmes puissances des diviseurs de n.
La sommation sur q se résume à la série de Lambert :
Pour un nombre complexe q de module <1.
Identités de Ramanujan
Ramanujan a donné de nombreuses identités intéressantes entre les tous premiers termes.
Alors :
Wikimedia Foundation. 2010.