Série d'Eisenstein
Un article de Wikipédia, l'encyclopédie libre.
|
|
En mathématiques, les séries d'Eisenstein sont des formes modulaires particulières avec une expansion en séries infinies qui peuvent s'écrire directement.
Sommaire |
[modifier] Séries d'Eisenstein pour le 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.
[modifier] 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 l'expansion en séries entières de la fonction de Weirstrass :
[modifier] 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 Bernouilli, ζ(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.
[modifier] Identités de Ramanujan
Ramanujan a donné de nombreuses identités intéressantes entre les tous premiers termes.
Alors :