Fonction êta de Dedekind

La fonction êta de Dedekind est une fonction définie sur le demi-plan de Poincaré formé par les nombres complexes de partie imaginaire strictement positive.

Pour un tel nombre complexe $\tau$ , on pose $q={\rm {e}}^{2{\rm {i}}\pi \tau }$ et la fonction êta est alors : $\eta (\tau )=q^{1/24}\prod _{n=1}^{\infty }(1-q^{n})$ , en posant $q^{1/24}=\exp \left({\frac {{\rm {i}}\pi \tau }{12}}\right)$ .

Propriétés[modifier | modifier le code]

La fonction êta est holomorphe dans le demi-plan supérieur mais n'admet pas de prolongement analytique en dehors de cet ensemble.

La fonction êta vérifie les deux équations fonctionnelles

\eta (\tau +1)=\exp \left({\frac {{\rm {i}}\pi }{12}}\right)\eta (\tau )

et

\eta \left(-{\frac {1}{\tau }}\right)={\frac {\sqrt {\tau }}{\sqrt {i}}}\eta (\tau )

.

La seconde se généralise : soient $a,b,c,d$ des entiers tels que $ad-bc=1$ (donc associés à une transformation de Möbius appartenant au groupe modulaire), avec $c>0$ . Alors^[1]

\eta \left({\frac {a\tau +b}{c\tau +d}}\right)=\epsilon (a,b,c,d){\frac {\sqrt {c\tau +d}}{\sqrt {\rm {i}}}}\eta (\tau )

où

\epsilon (a,b,c,d)=\exp \left\{{\rm {i}}\pi \left({\frac {a+d}{12c}}+s(-d,c)\right)\right\}

et $s$ est la fonction somme de Dedekind :

s(h,k)=\sum _{1\leq n<k}{\frac {n}{k}}\left({\frac {hn}{k}}-\left\lfloor {\frac {hn}{k}}\right\rfloor -{\frac {1}{2}}\right)

.

À cause des équations fonctionnelles, la fonction êta 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, forme modulaire de poids 12, peut être défini comme

\Delta (\tau )=(2\pi )^{12}\eta (\tau )^{24}

(certains auteurs omettent le facteur

(2\pi )^{12}

, pour que la série soit à coefficients entiers).

La fonction d'Euler

\phi (q)=\prod _{n=1}^{\infty }\left(1-q^{n}\right)=q^{-1/24}\eta (\tau )

a un développement en série donné par l'identité d'Euler :

\phi (q)=\sum _{n=-\infty }^{\infty }(-1)^{n}q^{(3n^{2}-n)/2}

.

Comme la fonction êta est facile à calculer, il est souvent utile d'exprimer, quand c'est possible, d'autres fonctions comme produits et quotients de fonctions êta. Ceci est possible pour beaucoup de formes modulaires.

Notes et références[modifier | modifier le code]

↑ Apostol 1990, p. 52, th. 3.4.

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dedekind eta function » (voir la liste des auteurs).
Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions]
(en) Tom M. Apostol, Modular functions and Dirichlet Series in Number Theory, New York, Springer-Verlag, 1990, 204 p. (ISBN 0-387-97127-0), « The Dedekind eta function »