« Fonction êta de Dedekind » : différence entre les versions
Pld (discuter | contributions) corr. lien Weierstrass (supp. redirection) |
+ fi |
||
Ligne 35 : | Ligne 35 : | ||
[[de:Dedekindsche η-Funktion]] |
[[de:Dedekindsche η-Funktion]] |
||
[[en:Dedekind eta function]] |
[[en:Dedekind eta function]] |
||
[[fi:Dedekindin eetafunktio]] |
Version du 24 juin 2007 à 17:52
La fonction eta de Dedekind est une fonction définie sur le demi-plan de Poincaré formé par les nombres complexes de partie imaginaire positive. Pour chaque nombre complexe dans cet ensemble, on définit q = e2iπτ et la fonction eta est alors
La fonction eta est holomorphe dans le demi-plan supérieur mais n'admet pas de prolongement analytique en dehors de cet ensemble.
La fonction eta vérifie les équations fonctionnelles :
Plus généralement,
où a,b,c,d sont des entiers tels que ad-bc=1, qui sont donc associés à une transformation appartenant au groupe modulaire, et
où s(h,k) est la somme de Dedekind
A cause des équations fonctionnelles, la fonction eta est une forme modulaire de poids 1/2. On peut s' en servir pour définir d'autres formes modulaires. En particulier, le discriminant modulaire de Weierstrass peut être défini comme
- .
La fonction Δ est une forme modulaire de poids 12. Comme la fonction eta est facile à calculer, il est souvent utile d'exprimer, quand c'est possible, d'autres fonctions comme produits et quotients de fonctions etas. Ceci est possible pour beaucoup de formes modulaires.
Références
- Jean-Pierre Serre, Cours d'arithmétique, [détail des éditions]
- Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory (1990), Springer-Verlag, New York. ISBN 0-387-97127-0 Voir chapitre 3.