Fausse fonction thêta

En mathématiques, et plus précisément en analyse, une fausse forme modulaire est la partie holomorphe d'une forme de Maass (en) harmonique, et une fausse fonction thêta est essentiellement une fausse forme modulaire de poids 1/2. Les premiers exemples de fausses fonctions thêta furent décrits par Srinivasa Ramanujan dans sa dernière lettre à Godfrey Harold Hardy (en 1920) et dans son cahier perdu ; il a découvert alors que ces fonctions se comportent en partie comme les fonctions thêta, d'où leur nom (mock theta functions en anglais). Sander Zwegers (en) découvrit en 2001 la relation entre les fausses fonctions thêta et les formes de Maas.

Historique

"Soit une fonction donnée sous forme eulérienne, telle qu'une infinité de points soient des singularités exponentielles, et qu'en ces points la forme asymptotique se referme aussi nettement que dans les cas (A) et (B). La question est alors : cette fonction est-elle la somme de deux autres, l'une une fonction θ ordinaire et l'autre une fonction (triviale) qui est O(1) en tout point e^2mπi/n ? ...Quand ce n'est pas le cas, j'appelle cette fonction une fausse fonction θ."

Définition des fausses fonctions thêta donnée par Ramanujan dans sa lettre à Hardy de janvier 1920[1].

La lettre de Ramanujan à Hardy du 12 janvier 1920[2] donne une liste de 17 exemples de fonctions se comportant en partie comme les fonctions thêta, et qu'il propose d'appeler des mock theta functions[3] (dans cette lettre, il ne fait pas une distinction claire entre les « vraies » fonctions thêta et ce qu'on appelle actuellement des formes modulaires) ; le cahier perdu, écrit à la même époque, contient plusieurs autres exemples[4]. Ramanujan indique qu'elles ont un développement asymptotique aux « pointes » (c'est-à-dire aux sommets situés sur l'axe réel du polygone fondamental correspondant au groupe modulaire), semblable à celui des formes modulaires de poids 1/2 (peut-être avec des pôles aux pointes), mais qu'elles ne peuvent pas être exprimées en termes de fonctions thêta « ordinaires ».

Ramanujan associait un ordre à ces fonctions, mais sans le définir clairement ; cette notion s'avéra correspondre au conducteur (en) du caractère de la forme de Maas admettant la fausse fonction thêta comme projection holomorphe (avant les travaux de Zwegers, on ne connaissait que des exemples d'ordre 3, 5, 6, 7, 8 et 10).

Dans les décennies suivantes, les fausses fonctions thêta furent étudiées par de nombreux mathématiciens, dont Watson, Andrews et Selberg, qui démontrèrent les affirmations de Ramanujan à leur sujet, et découvrirent plusieurs autres exemples et identités (la plupart étaient déjà connus de Ramanujan, et figuraient dans le cahier perdu). Watson montra en particulier en 1936 que sous l'action des éléments du groupe modulaire, les fausses fonctions thêta d'ordre 3 se transforment presque comme les formes modulaires de poids 1/2 (multipliées par des puissances convenables de q), si ce n'est qu'apparaissent des « termes d'erreur » dans les équations fonctionnelles, généralement donnés sous forme d'intégrales explicites[5]. Cependant, on ne disposait pas de définitions rigoureuses de ces fonctions, jusqu'à ce que Sander Zwegers (en) découvre vers 2001 la relation de ces fonctions avec les formes de Maass[6], les sommes de Lerch, et les séries thêta indéfinies. Zwegers montra, en utilisant les travaux de Watson et d'Andrews, que les fausses fonctions thêta d'ordre 3, 5, et 7 peuvent s'écrire comme somme d'une forme de Maass de poids ¹⁄₂ et d'une fonction bornée le long de géodésiques aboutissant aux pointes[6]. La forme de Maas a pour valeur propre 3/16 pour le Laplacien hyperbolique, la même valeur que pour les formes modulaires (holomorphes) de poids ¹⁄₂ ; elle augmente cependant exponentiellement près des pointes, ne satisfaisant donc pas la condition de croissance usuelle pour les formes holomorphes. Zwegers démontra ce résultat de trois façons différentes, en reliant les fausses fonctions thêta aux fonctions thêta de Hecke, aux sommes de Appell–Lerch, et aux formes de Jacobi méromorphes.

Ces résultats de Zwegers permettent d'étendre de nombreuses propriétés des formes modulaires aux fausses fonctions thêta. En particulier, ces fonctions appartiennent à certains espaces explicites de dimension finie, ce qui simplifie les difficiles démonstrations de certaines identités entre elles, les ramenant à des calculs de routine d'algèbre linéaire. Il devient ainsi possible de produire des exemples de ces fonctions en nombre infini, alors qu'avant ces travaux on ne connaissait qu'une cinquantaine d'exemples, pour la plupart déjà obtenus par Ramanujan. Kathrin Bringmann et Ken Ono, appliquant les idées de Zwegers, montrèrent que certaines q-séries provenant des séries hypergéométriques de Rogers–Fine sont liées à la partie holomorphe de formes de Maas de poids 3/2[7] et que les développements asymptotiques des coefficients des fausses fonctions thêta d'ordre 3 f(q) étudiées par Andrews et Dragonette[8] convergeaient vers ces coefficients[9](Ken Ono fait remarquer que certains de ces résultats avaient été conjecturés avec précision par Ramanujan, ce qui lui semble incompréhensible, compte tenu des outils dont ce dernier disposait[10]).|

Définitions

On appelle fausse forme modulaire la partie holomorphe d'une forme de Maass faiblement harmonique (en).

Plus précisément, soit k un poids fixé (en général, avec 2k entier). Soit Γ un sous-groupe du groupe spécial linéaire SL₂(Z) (ou du groupe métaplectique si k est demi-entier) et ρ un caractère de Γ. Une forme modulaire f pour ce caractère, de poids k, est transformée par les éléments de Γ selon la règle :

f\left({\frac {a\tau +b}{c\tau +d}}\right)=\rho {\begin{pmatrix}a&b\\c&d\end{pmatrix}}(c\tau +d)^{k}f(\tau )

.

Une forme de Maass (faible) de poids k est une fonction continue sur le demi-plan supérieur qui se transforme comme une forme modulaire de poids 2 − k et qui est une fonction propre du Laplacien de poids k ; on dit que cette forme est faiblement harmonique si la valeur propre associée est (1 − k/2)k/2[11], c'est-à-dire la valeur propre des formes modulaires de poids k. Une forme de Maass (en) est une forme de Maass faible à décroissance rapide aux pointes.

Une forme de Maass faiblement harmonique est donc annulée par l'opérateur différentiel ${\frac {\partial }{\partial \tau }}y^{k}{\frac {\partial }{\partial {\overline {\tau }}}}$ .

Si F est une forme de Maass faiblement harmonique, la fonction g définie par $g=y^{k}{\frac {\partial {\overline {F}}}{\partial \tau }}=\sum _{n}b_{n}q^{n}$ est holomorphe (sauf peut-être aux pointes), et se transforme comme une forme modulaire de poids k. Définissant alors g^* par

g^{*}(\tau )=\left({\frac {i}{2}}\right)^{k-1}\int _{-{\overline {\tau }}}^{i\infty }(z+\tau )^{-k}{\overline {g(-{\overline {z}})}}\,dz=\sum _{n}n^{k-1}{\overline {b_{n}}}\beta _{k}(4ny)q^{-n+1}

, où

\displaystyle \beta _{k}(t)=\int _{t}^{\infty }u^{-k}e^{-\pi u}\,du

est la fonction gamma incomplète (à une constante près),

on dit que h = F − g^* est la partie holomorphe de F. L'intégrale ne converge que si g s'annule à la pointei∞, mais on peut au besoin étendre la fonction gamma incomplète par prolongement analytique, ce qui permet de définir la partie holomorphe de F même quand ce n'est pas le cas.

Une fausse forme modulaire est définie comme la partie holomorphe h d'une forme de Maass faiblement harmonique F ; il y a donc un isomorphisme entre l'espace des fausses formes modulaires h et un sous-espace des formes de Maass faiblement harmoniques.

La fausse forme modulaire h est holomorphe, mais pas tout à fait modulaire, tandis que h + g^* est modulaire, mais holomorphe seulement en dehors des pointes (on dit que c'est une forme « presque modulaire »). L'espace de formes presque modulaires de poids k est un sous-espace de l'espace des fausses formes modulaires de poids k. L'espace quotient est isomorphe à l'espace des formes modulaires (holomorphes) de poids 2 − k. La forme g correspondant par cet isomorphisme à une fausse forme modulaire h est appelée son ombre. Il est fréquent que des fausses fonctions thêta distinctes aient la même ombre ; par exemple, les dix fausses fonctions thêta d'ordre 5 trouvées par Ramanujan forment deux groupes, les cinq fonctions de chaque groupe ayant la même ombre à une constante multiplicative près.

Don Zagier définit une fausse fonction thêta[12] comme le produit d'une puissance rationnelle de q = e^2πiτ (ce terme provient de considérations historiques) par une fausse forme modulaire de poids 1/2 dont l'ombre est une série thêta de la forme $\sum _{n\in Z}\varepsilon (n)nq^{\kappa n^{2}}$ , où κ est un rationnel positif et ε une fonction impaire et périodique (toute série thêta de ce type est une forme modulaire de poids 3/2).

La plupart des fausses formes modulaires et des formes faibles de Maas ont une croissance rapide aux pointes. On impose le plus souvent que cette croissance soi au plus exponentielle (ce qui implique pour les fausses formes modulaires qu'elles sont méromorphes aux pointes). Pour un groupe et un poids donné, l'espace des fausses formes modulaires dont la croissance est bornée aux pointes par une exponentielle fixée est un espace de dimension finie.

Séries d'Appell–Lerch

Les séries d'Appell–Lerch, généralisation des séries de Lambert, furent définies et étudiées par Paul Appell et Matyáš Lerch[13]. Watson exprima les fausses fonctions thêta d'ordre 3 en termes de séries d'Appell–Lerch, et Zwegers les utilisa pour montrer que les fausses fonctions thêta sont essentiellement des fausses formes modulaires.

Une série d'Appell–Lerch de paramètres u, v et τ est définie par

\mu (u,v;\tau )={\frac {a^{\frac {1}{2}}}{\theta (v;\tau )}}\sum _{n\in Z}{\frac {(-b)^{n}q^{{\frac {1}{2}}n(n+1)}}{1-aq^{n}}}

où

\displaystyle q=e^{2\pi i\tau },\quad a=e^{2\pi iu},\quad b=e^{2\pi iv}

et

\theta (v,\tau )=\sum _{n\in Z}(-1)^{n}b^{n+{\frac {1}{2}}}q^{{\frac {1}{2}}\left(n+{\frac {1}{2}}\right)^{2}}.

La série modifiée

{\hat {\mu }}(u,v;\tau )=\mu (u,v;\tau )-{\frac {1}{2}}R(u-v;\tau )

,

où

R(z;\tau )=\sum _{\nu \in Z+{\frac {1}{2}}}(-1)^{\nu -{\frac {1}{2}}}\left({\rm {sign}}(\nu )-E\left[\left(\nu +{\frac {\Im (z)}{y}}\right){\sqrt {2y}}\right]\right)e^{-2\pi i\nu z}q^{-{\frac {1}{2}}\nu ^{2}}

et y = Im(τ) et

E(z)=2\int _{0}^{z}e^{-\pi u^{2}}\,du

,

vérifie les propriétés de transformation suivantes :

{\begin{aligned}{\hat {\mu }}(u+1,v;\tau )&=a^{-1}bq^{-{\frac {1}{2}}}{\hat {\mu }}(u+\tau ,v;\tau )\\&{}=-{\hat {\mu }}(u,v;\tau )\\e^{{\frac {2}{8}}\pi i}{\hat {\mu }}(u,v;\tau +1)&={\hat {\mu }}(u,v;\tau )\\&{}=-\left({\frac {\tau }{i}}\right)^{-{\frac {1}{2}}}e^{{\frac {\pi i}{\tau }}(u-v)^{2}}{\hat {\mu }}\left({\frac {u}{\tau }},{\frac {v}{\tau }};-{\frac {1}{\tau }}\right).\end{aligned}}

Autrement dit, les séries (modifiées) d'Appell-Lerch se transforment comme les formes modulaires (par rapport à τ). Les fausses fonctions thêta pouvant s'exprimer à l'aide de séries d'Appell-Lerch, cela entraîne qu'elles se transforment comme des formes modulaires si on leur ajoute une série (non-holomorphe) convenable.

Séries thêta indéfinies

Andrews montra en 1986[14] que plusieurs des fausses fonctions thêta d'ordre cinq étaient de la forme Θ(τ)/θ(τ), où θ(τ) est une forme modulaire de poids 1/2 et Θ(τ) une fonction thêta d'une forme quadratique binaire non définie ; Hickerson démontra des résultats analogues pour des fonctions d'ordre sept[15]. Zwegers montra comment prolonger ces fonctions thêta pour obtenir des formes modulaires réelles analytiques, et s'en servit pour obtenir une nouvelle preuve de la relation entre fausses fonctions thêta et formes de Maass.

Formes de Jacobi méromorphes

En 1988, Andrews observa de même qu'on pouvait exprimer ces fonctions comme quotients de fonctions thêta de Jacobi[16] ; là encore, Zwegers put utiliser ces idées pour exprimer les fausses fonctions thêta comme coefficients de Fourier de formes de Jacobi méromorphes.

Applications

Lawrence et Zagier ont relié ces fonctions aux invariants quantiques (en) des 3-variétés[17].
En 2005, elles furent reliées aux superalgèbres de Lie de dimension infinie et à la théorie du champ conforme à deux dimensions (en)[18] ; ce dernier résultat fut généralisé en 2010 aux théories du champ conforme admettant un spectre continu[19].
Elles apparaissent également dans la théorie de l'umbral moonshine (en), une généralisation de celle du monstrous moonshine.
En 2012, elles ont été utilisées en théorie des cordes[20].

Exemples

Toute forme modulaire de poids k (peut-être seulement méromorphe aux pointes) est une fausse forme modulaire de poids k et d'ombre 0.
La série d'Eisenstein quasi-modulaire

\displaystyle E_{2}(\tau )=1-24\sum _{n>0}\sigma _{1}(n)q^{n}

de poids 2 et de niveau 1 est une fausse forme modulaire de poids 2 avec pour ombre une constante. Cela implique que

\displaystyle E_{2}(\tau )-3/\pi y

se transforme comme une forme modulaire de poids 2 (où τ = x + iy).

La fonction étudiée par Zagier et Hurwitz[21], dont les coefficients de Fourier sont les nombres de classe d'Hurwitz H(N) des corps imaginaires quadratiques, est une fausse forme modulaire de poids 3/2, de niveau 4, et d'ombre ∑ q^n². La forme de Maas correspondante est

F(\tau )=\sum _{N}H(N)q^{n}+y^{-1/2}\sum _{n\in Z}\beta (4\pi n^{2}y)q^{-n^{2}}

où

\beta (x)={\frac {1}{16\pi }}\int _{1}^{\infty }u^{-3/2}e^{-xu}du

et y = Im(τ), q = e^2πiτ.

Les fausses fonctions thêta sont les fausses formes modulaires de poids 1/2 dont l'ombre est une fonction thêta unitaire, multipliées par une puissance rationnelle de q, ceci pour des raisons historiques : avant que les travaux de Zwegers n'amènent à une construction générale, la plupart des exemples étaient donnés en fonction de séries hypergéométriques, ou plus précisément de leurs q-analogues). Cela est considéré actuellement comme anecdotique, la plupart des fausses fonctions thêta n'admettant pas de telles représentations.

Le cas « trivial » est donné par les formes modulaires holomorphes de poids 1/2, lesquelles furent classifiées par Serre et Stark en 1977, qui montrèrent qu'elles pouvaient toutes s'écrire à l'aide de fonctions thêta associées à un réseau de dimension un[22].

Les fonctions de Ramanujan (ordres 2, 3, 5, 6, 7, 8 et 10)

Les exemples suivants, pratiquement tous dus à Ramanujan (le plus souvent dans le cahier perdu), utilisent le q-symbole de Pochhammer $(a;q)_{n}$ , défini par :

(a;q)_{n}=\prod _{0\leq j<n}(1-aq^{j})=(1-a)(1-aq)\cdots (1-aq^{n-1}).

Ordre 2

Certaines fonctions d'ordre 2 furent étudiés par McIntosh[23].

A(q)=\sum _{n\geq 0}{\frac {q^{(n+1)^{2}}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n+1}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}}}

(suite A006304 de l'OEIS) ;

B(q)=\sum _{n\geq 0}{\frac {q^{n(n+1)}(-q^{2};q^{2})_{n}}{(q;q^{2})_{n+1}^{2}}}=\sum _{n\geq 0}{\frac {q^{n}(-q;q^{2})_{n}}{(q;q^{2})_{n+1}}}

(suite A153140 de l'OEIS) ;

\mu (q)=\sum _{n\geq 0}{\frac {(-1)^{n}q^{n^{2}}(q;q^{2})_{n}}{(-q^{2};q^{2})_{n}^{2}}}

(suite A006306 de l'OEIS).

(la fonction μ apparaît déjà dans le cahier perdu de Ramanujan).

Elles sont reliés aux fonctions d'ordre 8 décrites plus bas par :

U_{0}(q)-2U_{1}(q)=\mu (q)

;

V_{0}(q)-V_{0}(-q)=4qB(q^{2})

;

V_{1}(q)+V_{1}(-q)=2A(q^{2})

.

Ordre 3

Ramanujan mentionne quatre fonctions d'ordre 3 dans sa lettre à Hardy, et en liste trois autres dans le cahier perdu, lesquelles furent redécouvertes par George Neville Watson. Celui-ci démontra les relations que Ramanujan avait énoncées et obtint leurs transformations sous l'action du groupe modulaire en les exprimant comme des sommes d'Appell–Lerch[5]. Dragonette donna le développement asymptotique de leurs coefficients[24], et Zwegers les fit correspondre à des formes de Maas[25]^,[26]

Les sept fonctions trouvées par Ramanujan sont :

f(q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q;q)_{n}^{2}}={2 \over \prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}q^{n(3n+1)/2} \over 1+q^{n}}

(suite A000025 de l'OEIS) ;

\phi (q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q^{2};q^{2})_{n}}={1 \over \prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}(1+q^{n})q^{n(3n+1)/2} \over 1+q^{2n}}

(suite A053250 de l'OEIS) ;

\psi (q)=\sum _{n>0}{q^{n^{2}} \over (q;q^{2})_{n}}={q \over \prod _{n>0}(1-q^{4n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}q^{6n(n+1)} \over 1-q^{4n+1}}

(suite A053251 de l'OEIS) ;

\chi (q)=\sum _{n\geq 0}{q^{n^{2}} \over \prod _{1\leq i\leq n}(1-q^{i}+q^{2i})}={1 \over 2\prod _{n>0}(1-q^{n})}\sum _{n\in \mathbf {Z} }{(-1)^{n}(1+q^{n})q^{n(3n+1)/2} \over 1-q^{n}+q^{2n}}

suite A053252 de l'OEIS.

\omega (q)=\sum _{n\geq 0}{q^{2n(n+1)} \over (q;q^{2})_{n+1}^{2}}={1 \over \prod _{n>0}(1-q^{2n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{1+q^{2n+1} \over 1-q^{2n+1}}}

(suite A053253 de l'OEIS) ;

\nu (q)=\sum _{n\geq 0}{q^{n(n+1)} \over (-q;q^{2})_{n+1}}={1 \over \prod _{n>0}(1-q^{n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)/2}{1-q^{2n+1} \over 1+q^{2n+1}}}

(suite A053254 de l'OEIS) ;

\rho (q)=\sum _{n\geq 0}{q^{2n(n+1)} \over \prod _{0\leq i\leq n}(1+q^{2i+1}+q^{4i+2})}={1 \over \prod _{n>0}(1-q^{2n})}\sum _{n\geq 0}{(-1)^{n}q^{3n(n+1)}{1-q^{4n+2} \over 1+q^{2n+1}+q^{4n+2}}}

(suite A053255 de l'OEIS).

Ces fonctions satisfont les relations suivantes (énoncées par Ramanujan et prouvées par Watson) :

{\begin{aligned}2\phi (-q)-f(q)&=f(q)+4\psi (-q)=\theta _{4}(0,q)\prod _{r>0}\left(1+q^{r}\right)^{-1}\\4\chi (q)-f(q)&=3\theta _{4}^{2}(0,q^{3})\prod _{r>0}\left(1-q^{r}\right)^{-1}\\2\rho (q)+\omega (q)&=3\left({\frac {1}{2}}q^{-{\frac {3}{8}}}\theta _{2}(0,q^{\frac {3}{2}})\right)^{2}\prod _{r>0}\left(1-q^{2r}\right)^{-1}\\\nu (\pm q)\pm q\omega \left(q^{2}\right)&={\frac {1}{2}}q^{-{\frac {1}{4}}}\theta _{2}(0,q)\prod _{r>0}\left(1+q^{2r}\right)\\f\left(q^{8}\right)\pm 2q\omega (\pm q)\pm 2q^{3}\omega \left(-q^{4}\right)&=\theta _{3}(0,\pm q)\theta _{3}^{2}\left(0,q^{2}\right)\prod _{r>0}\left(1-q^{4r}\right)^{-2}\\f(q^{8})+q\omega (q)-q\omega (-q)&=\theta _{3}(0,q^{4})\theta _{3}^{2}(0,q^{2})\prod _{r>0}\left(1-q^{4r}\right)^{-2}\end{aligned}}

Ordre 5

Ramanujan définit dix fausses fonctions thêta d'ordre 5 dans sa lettre à Hardy, indiquant certaines relations entre elles qui furent démontrées par Watson en 1937[27]. Le cahier perdu contient d'autres identités, équivalentes aux conjectures sur les fausses fonctions thêta [28], lesquelles furent démontrées par Hickerson en 1988[29]. Andrews obtint des représentations de beaucoup de ces fonctions comme quotients de séries thêta indéfinies par des formes modulaires de poids 1/2[14]. En voici la liste :

f_{0}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (-q;q)_{n}}

(suite A053256 de l'OEIS) ;

f_{1}(q)=\sum _{n\geq 0}{q^{n^{2}+n} \over (-q;q)_{n}}

(suite A053257 de l'OEIS) ;

\phi _{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n}}

(suite A053258 de l'OEIS) ;

\phi _{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n}}

(suite A053259 de l'OEIS) ;

\psi _{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n}}

(suite A053260 de l'OEIS) ;

\psi _{1}(q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n}}

(suite A053261 de l'OEIS) ;

\chi _{0}(q)=\sum _{n\geq 0}{q^{n} \over (q^{n+1};q)_{n}}=2F_{0}(q)-\phi _{0}(-q)

(suite A053262 de l'OEIS) ;

\chi _{1}(q)=\sum _{n\geq 0}{q^{n} \over (q^{n+1};q)_{n+1}}=2F_{1}(q)+q^{-1}\phi _{1}(-q)

(suite A053263 de l'OEIS) ;

F_{0}(q)=\sum _{n\geq 0}{q^{2n^{2}} \over (q;q^{2})_{n}}

(suite A053264 de l'OEIS) ;

F_{1}(q)=\sum _{n\geq 0}{q^{2n^{2}+2n} \over (q;q^{2})_{n+1}}

(suite A053265 de l'OEIS) ;

\Psi _{0}(q)=-1+\sum _{n\geq 0}{q^{5n^{2}} \over (1-q)(1-q^{4})(1-q^{6})(1-q^{9})...(1-q^{5n+1})};

(suite A053266 de l'OEIS) ;

\Psi _{1}(q)=-1+\sum _{n\geq 0}{q^{5n^{2}} \over (1-q^{2})(1-q^{3})(1-q^{7})(1-q^{8})...(1-q^{5n+2})}

(suite A053267 de l'OEIS).

Ordre 6

Ramanujan nota sept fonctions d'ordre 6 dans le cahier perdu[4], et 11 identités entre elles, lesquelles furent démontrées à la fin des années 80 par Andrews et Hickerson [30]. Berndt et Chan découvrirent deux autres fonctions en 2007 [31].

La liste des fonctions actuellement connues est :

\phi (q)=\sum _{n\geq 0}{(-1)^{n}q^{n^{2}}(q;q^{2})_{n} \over (-q;q)_{2n}}

(suite A053268 de l'OEIS) ;

\psi (q)=\sum _{n\geq 0}{(-1)^{n}q^{(n+1)^{2}}(q;q^{2})_{n} \over (-q;q)_{2n+1}}

((suite A053269 de l'OEIS) ;

\rho (q)=\sum _{n\geq 0}{q^{n(n+1)/2}(-q;q)_{n} \over (q;q^{2})_{n+1}}

(suite A053270 de l'OEIS) ;

\sigma (q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2}(-q;q)_{n} \over (q;q^{2})_{n+1}}

(suite A053271 de l'OEIS) ;

\lambda (q)=\sum _{n\geq 0}{(-1)^{n}q^{n}(q;q^{2})_{n} \over (-q;q)_{n}}

(suite A053272 de l'OEIS) ;

2\mu (q)=\sum _{n\geq 0}{(-1)^{n}q^{n+1}(1+q^{n})(q;q^{2})_{n} \over (-q;q)_{n+1}}

(suite A053273 de l'OEIS) ;

\gamma (q)=\sum _{n\geq 0}{q^{n^{2}}(q;q)_{n} \over (q^{3};q^{3})_{n}}

(suite A053274 de l'OEIS) ;

\phi _{-}(q)=\sum _{n\geq 1}{q^{n}(-q;q)_{2n-1} \over (q;q^{2})_{n}}

(suite A153251 de l'OEIS) ;

\psi _{-}(q)=\sum _{n\geq 1}{q^{n}(-q;q)_{2n-2} \over (q;q^{2})_{n}}

(suite A153252 de l'OEIS).

Ordre 7

Ramanujan décrit 3 fonctions d'ordre 7 dans sa lettre de 1920. Elles furent étudiées par Selberg (qui en détermina les développements asymptotiques)[32], et par Andrews[14]. Zwegers décrivit leurs transformations modulaires[6].

$\displaystyle F_{0}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (q^{n+1};q)_{n}}$ (suite A053275 de l'OEIS) ;) ;).
$\displaystyle F_{1}(q)=\sum _{n\geq 0}{q^{n^{2}} \over (q^{n};q)_{n}}$ (suite A053276 de l'OEIS) ;).
$\displaystyle F_{2}(q)=\sum _{n\geq 0}{q^{n(n+1)} \over (q^{n+1};q)_{n+1}}$ (suite A053277 de l'OEIS).

Contrairement aux ordres 3 et 5, il n'y a pas de relations linéaires avec des formes modulaires ; les formes de Maass correspondantes sont :

{\begin{aligned}M_{1}(\tau )&=q^{-1/168}F_{1}(q)+R_{7,1}(\tau )\\[4pt]M_{2}(\tau )&=-q^{-25/168}F_{2}(q)+R_{7,2}(\tau )\\[4pt]M_{3}(\tau )&=q^{47/168}F_{3}(q)+R_{7,3}(\tau )\end{aligned}}

où

R_{p,j}(\tau )=\!\!\!\!\sum _{n\equiv j{\bmod {p}}}{12 \choose n}\operatorname {sgn}(n)\beta (n^{2}y/6p)q^{-n^{2}/24p}

et où

\beta (x)=\int _{x}^{\infty }u^{-1/2}e^{-\pi u}\,du

est plus ou moins la fonction d'erreur.

Ordre 8

Gordon et McIntosh découvrirent en 2000 huit fausses fonctions thêta d'ordre 8, ainsi que leurs transformations sous l'action du groupe modulaire[33]. Les fonctions V₁ etU₀ avaient en fait déjà été découvertes par Ramanujan[34]. Ce sont :

S_{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (-q^{2};q^{2})_{n}}

(suite A153148 de l'OEIS) ;

S_{1}(q)=\sum _{n\geq 0}{q^{n(n+2)}(-q;q^{2})_{n} \over (-q^{2};q^{2})_{n}}

(suite A153149 de l'OEIS) ;

T_{0}(q)=\sum _{n\geq 0}{q^{(n+1)(n+2)}(-q^{2};q^{2})_{n} \over (-q;q^{2})_{n+1}}

(suite A153155 de l'OEIS) ;

T_{1}(q)=\sum _{n\geq 0}{q^{n(n+1)}(-q^{2};q^{2})_{n} \over (-q;q^{2})_{n+1}}

(suite A153156 de l'OEIS) ;

U_{0}(q)=\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (-q^{4};q^{4})_{n}}

(suite A153172 de l'OEIS) ;

U_{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n} \over (-q^{2};q^{4})_{n+1}}

(suite A153174 de l'OEIS) ;

V_{0}(q)=-1+2\sum _{n\geq 0}{q^{n^{2}}(-q;q^{2})_{n} \over (q;q^{2})_{n}}=-1+2\sum _{n\geq 0}{q^{2n^{2}}(-q^{2};q^{4})_{n} \over (q;q^{2})_{2n+1}}

(suite A153176 de l'OEIS) ;

V_{1}(q)=\sum _{n\geq 0}{q^{(n+1)^{2}}(-q;q^{2})_{n} \over (q;q^{2})_{n+1}}=\sum _{n\geq 0}{q^{2n^{2}+2n+1}(-q^{4};q^{4})_{n} \over (q;q^{2})_{2n+2}}

(suite A153178 de l'OEIS).

Ordre 10

Ramanujan décrit quatre fonctions d'ordre 10, et certaines relations entre elles (démontrées par Choi à partir de 2000[35]), dans le cahier perdu[36] :

$\phi (q)=\sum _{n\geq 0}{q^{n(n+1)/2} \over (q;q^{2})_{n+1}}$ ((suite A053281 de l'OEIS) ;
$\psi (q)=\sum _{n\geq 0}{q^{(n+1)(n+2)/2} \over (q;q^{2})_{n+1}}$ (suite A053282 de l'OEIS) ;}
$\mathrm {X} (q)=\sum _{n\geq 0}{(-1)^{n}q^{n^{2}} \over (-q;q)_{2n}}$ (suite A053283 de l'OEIS) ;
$\chi (q)=\sum _{n\geq 0}{(-1)^{n}q^{(n+1)^{2}} \over (-q;q)_{2n+1}}$ (suite A053284 de l'OEIS).

Bibliographie

(en) George E. Andrews, « On the theorems of Watson and Dragonette for Ramanujan's mock theta functions », American Journal of Mathematics, vol. 88, n^o 2,‎ 1966, p. 454–490 (ISSN 0002-9327, DOI 10.2307/2373202).
(en) George E. Andrews, The fifth and seventh order mock theta functions, vol. 293, Transactions of the American Mathematical Society, 1986, 113–134 p. (ISSN 0002-9947, DOI 10.2307/2000275), chap. 1.
(en) George E. Andrews, Theta functions—Bowdoin 1987, Part 2 (Brunswick, ME, 1987), vol. 49, Providence, R.I., American Mathematical Society, 1989, 283–298 p., « Mock theta functions ».
(en) George E. Andrews, Ramanujan revisited (Urbana-Champaign, Ill., 1987), Boston, MA, Academic Press, 1988, 47–56 p., « Ramanujan's fifth order mock theta functions as constant terms ».
(en) George E. Andrews et F. G. Garvan, Ramanujan's lost notebook. VI. The mock theta conjectures, vol. 73, Advances in Mathematics, 1989, 242–255 p. (ISSN 0001-8708, DOI 10.1016/0001-8708(89)90070-4), chap. 2
(en) George E. Andrews et Dean Hickerson, Ramanujan's lost notebook. VII. The sixth order mock theta functions, vol. 89, Advances in Mathematics, 1991, 60–105 p. (ISSN 0001-8708, DOI 10.1016/0001-8708(91)90083-J), chap. 1.
Paul Appell, « Sur les fonctions doublement périodiques de troisième espèce », Annales Scientifiques de l'École Normale Supérieure, vol. 1,‎ 1884, p. 135–164 (lire en ligne)
(en) Bruce C. Berndt et Song Heng Chan, « Sixth order mock theta functions », Advances in Mathematics, vol. 216, n^o 2,‎ 2007, p. 771–786 (ISSN 0001-8708, DOI 10.1016/j.aim.2007.06.004, Math Reviews 2351377)
Kathrin Bringmann et Ken Ono, « Lifting cusp forms to Maass forms with an application to partitions », Proceedings of the National Academy of Sciences of the United States of America, vol. 104, n^o 10,‎ 2007, p. 3725–3731 (ISSN 0027-8424, PMID 17360420, PMCID 1820651, DOI 10.1073/pnas.0611414104, Bibcode 2007PNAS..104.3725B, Math Reviews 2301875, lire en ligne)
(en) Kathrin Bringmann et Ken Ono, « The f(q) mock theta function conjecture and partition ranks », Inventiones Mathematicae, vol. 165, n^o 2,‎ 2006, p. 243–266 (ISSN 0020-9910, DOI 10.1007/s00222-005-0493-5, Bibcode 2006InMat.165..243B, Math Reviews 2231957, lire en ligne)
(en) Kathrin Bringmann et Ken Ono, « Dyson's ranks and Maass forms », Annals of Mathematics, vol. 171,‎ 2010, p. 419 (DOI 10.4007/annals.2010.171.419, lire en ligne)
(en) Jan Hendrik Bruinier et Jens Funke, « On two geometric theta lifts », Duke Mathematical Journal, vol. 125, n^o 1,‎ 2004, p. 45–90 (ISSN 0012-7094, DOI 10.1215/S0012-7094-04-12513-8, Math Reviews 2097357, arXiv math/0212286)
(en) Youn-Seo Choi, « Tenth order mock theta functions in Ramanujan's lost notebook », Inventiones Mathematicae, vol. 136, n^o 3,‎ 1999, p. 497–569 (ISSN 0020-9910, DOI 10.1007/s002220050318, Bibcode 1999InMat.136..497C, Math Reviews 1695205)
(en) Youn-Seo Choi, « Tenth order mock theta functions in Ramanujan's lost notebook. II », Advances in Mathematics, vol. 156, n^o 2,‎ 2000, p. 180–285 (ISSN 0001-8708, DOI 10.1006/aima.2000.1948, Math Reviews 1808245)
(en) Youn-Seo Choi, « Tenth order mock theta functions in Ramanujan's lost notebook. IV », Transactions of the American Mathematical Society, vol. 354, n^o 2,‎ 2002, p. 705–733 (ISSN 0002-9947, DOI 10.1090/S0002-9947-01-02861-6, JSTOR 2693766, Math Reviews 1862564)
(en) Youn-Seo Choi, « Tenth order mock theta functions in Ramanujan's lost notebook. III », Proceedings of the London Mathematical Society, vol. 94, n^o 1,‎ 2007, p. 26–52 (ISSN 0024-6115, DOI 10.1112/plms/pdl006, Math Reviews 2293464)
(en) Atish Dabholkar, Sameer Murthy et Don Zagier, « Quantum Black Holes, Wall Crossing, and Mock Modular Forms », 2012
(en) Leila A. Dragonette, « Some asymptotic formulae for the mock theta series of Ramanujan », Transactions of the American Mathematical Society, Transactions of the American Mathematical Society, Vol. 72, No. 3, vol. 72, n^o 3,‎ 1952, p. 474–500 (ISSN 0002-9947, DOI 10.2307/1990714, JSTOR 1990714, Math Reviews 0049927)
(en) Nathan J. Fine, Basic hypergeometric series and applications, vol. 27, Providence, R.I., American Mathematical Society, coll. « Mathematical Surveys and Monographs », 1988, 124 p. (ISBN 978-0-8218-1524-3, Math Reviews 956465, lire en ligne)
(en) Sharon Anne Garthwaite, « The coefficients of the ω(q) mock theta function », International Journal of Number Theory, vol. 4, n^o 6,‎ 2008, p. 1027–1042 (ISSN 1793-0421, DOI 10.1142/S1793042108001869, Math Reviews 2483310, lire en ligne)
(en) Basil Gordon et Richard J. McIntosh, « Some eighth order mock theta functions », Journal of the London Mathematical Society, vol. 62, n^o 2,‎ 2000, p. 321–335 (ISSN 0024-6107, DOI 10.1112/S0024610700008735, Math Reviews 1783627, lire en ligne)
(en) Dean Hickerson, « A proof of the mock theta conjectures », Inventiones Mathematicae, vol. 94, n^o 3,‎ 1988, p. 639–660 (ISSN 0020-9910, DOI 10.1007/BF01394279, Bibcode 1988InMat..94..639H, Math Reviews 969247)
(en) Dean Hickerson, « On the seventh order mock theta functions », Inventiones Mathematicae, vol. 94, n^o 3,‎ 1988, p. 661–677 (ISSN 0020-9910, DOI 10.1007/BF01394280, Bibcode 1988InMat..94..661H, Math Reviews 969247)
(en) Friedrich Hirzebruch et Don Zagier, « Intersection numbers of curves on Hilbert modular surfaces and modular forms of Nebentypus », Inventiones Mathematicae, vol. 36,‎ 1976, p. 57–113 (ISSN 0020-9910, DOI 10.1007/BF01390005, Bibcode 1976InMat..36...57H, Math Reviews 0453649)
(en) Ruth Lawrence et Don Zagier, « Modular forms and quantum invariants of 3-manifolds », The Asian Journal of Mathematics, vol. 3, n^o 1,‎ 1999, p. 93–107 (ISSN 1093-6106, Math Reviews 1701924, lire en ligne[archive du 8 août 2008])
(de) M. Lerch, « Bemerkungen zur Theorie der elliptischen Funktionen », Jahrbuch uber die Fortschritte der Mathematik, vol. 24,‎ 1892, p. 442–445
(en) Richard J. McIntosh, « Second order mock theta functions », Canadian Mathematical Bulletin, vol. 50, n^o 2,‎ 2007, p. 284–290 (ISSN 0008-4395, DOI 10.4153/CMB-2007-028-9, Math Reviews 2317449, lire en ligne)
(en) Srinivasa Ramanujan, The lost notebook and other unpublished papers, Berlin, New York, Springer-Verlag, 1988 (ISBN 978-3-540-18726-4, Math Reviews 947735)
(en) Srinivasa Ramanujan, « Collected papers of Srinivasa Ramanujan », Nature, Providence, R.I., AMS Chelsea Publishing, vol. 123, n^o 3104,‎ 2000, p. 631 (ISBN 978-0-8218-2076-6, DOI 10.1038/123631a0, Bibcode 1929Natur.123..631L, Math Reviews 2280843)
(de) A. Selberg, « Über die Mock-Thetafunktionen siebenter Ordnung. (Sur les fonctions thêta du septième ordre) », Archiv for Mathematik og Naturvidenskab, vol. 41,‎ 1938, p. 3–15.
(en) A. M. Semikhatov, A. Taormina et I. Yu. Tipunin, « Higher-level Appell functions, modular transformations, and characters », Communications in Mathematical Physics, vol. 255, n^o 2,‎ 2005, p. 469–512 (ISSN 0010-3616, DOI 10.1007/s00220-004-1280-7, Bibcode 2005CMaPh.255..469S, Math Reviews 2129953, arXiv math/0311314)
(en) J. Troost, « The Non-Compact Elliptic Genus : Mock or Modular », Journal of High Energy Physics, vol. 2010, n^o 6,‎ 2010, p. 104 (DOI 10.1007/JHEP06(2010)104, Bibcode 2010JHEP...06..104T, arXiv 1004.3649)
(en) Jean-Pierre Serre et H. M. Stark, Modular functions of one variable, VI (Proc. Second Internat. Conf., Univ. Bonn, Bonn, 1976), vol. 627, Berlin, New York, Springer-Verlag, coll. « Lecture Notes in Mathematics », 1977, 340 p. (ISBN 978-3-540-08530-0, DOI 10.1007/BFb0065296, Math Reviews 0472707), « Modular forms of weight 1/2 »
(en) G. N. Watson, « The Final Problem : An Account of the Mock Theta Functions », Journal of the London Mathematical Society, vol. 11,‎ 1936, p. 55–80 (DOI 10.1112/jlms/s1-11.1.55)
(en) G. N. Watson, « The Mock Theta Functions (2) », Proceedings of the London Mathematical Society, vol. s2-42,‎ 1937, p. 274–304 (DOI 10.1112/plms/s2-42.1.274)
Don Zagier, « Nombres de classes et formes modulaires de poids 3/2 », Comptes Rendus de l'Académie des Sciences, Série A et B, vol. 281, n^o 21,‎ 1975, Ai, A883–A886 (ISSN 0151-0509, Math Reviews 0429750)
(en) Don Zagier, « Ramanujan's mock theta functions and their applications (after Zwegers and Ono-Bringmann) », Astérisque, vol. 326,‎ 2009, p. 143–164 (ISSN 0303-1179, Math Reviews 2605321, lire en ligne)
(en) S. P. Zwegers, Mock Theta Functions, Utrecht PhD thesis, 2002 (ISBN 90-393-3155-3, lire en ligne)
(en) S. P. Zwegers, Q-series with applications to combinatorics, number theory, and physics (Urbana, IL, 2000), vol. 291, Providence, R.I., American Mathematical Society, coll. « Contemp. Math. », 2001, 277 p. (ISBN 978-0-8218-2746-8, Math Reviews 1874536), « Mock θ-functions and real analytic modular forms »

Notes et références

Texte original : « Suppose there is a function in the Eulerian form and suppose that all or an infinity of points are exponential singularities, and also suppose that at these points the asymptotic form closes as neatly as in the cases of (A) and (B). The question is: Is the function taken the sum of two functions one of which is an ordinary θ-function and the other a (trivial) function which is O(1) at all the points e^2mπi/n? ... When it is not so, I call the function a Mock θ-function. »
(Ramanujan 2000, Appendix II)
mock a ici le sens de "faux", "simulacre" ou même "fantaisie".
(Ramanujan 1988)
Watson 1936
Zwegers 2002
Bringmann, Folsom et Ono 2009
Andrews 1966 et Dragonette 1952
Bringmann et Ono 2006
Ono 2006, p. 649.
Bruinier et Funke 2004
Zagier 2007
txt et txt
Andrews 1986.
Hickerson 1988b
Andrews 1988.
Lawrence et Zagier 1999.
Semikhatov, Taormina et Tipunin 2005.
Troost 2010.
Atish Dabholkar, Sameer Murthy et Don Zagier, Quantum Black Holes, Wall Crossing, and Mock Modular Forms, 2012 (arXiv 1208.4074).
Zagier 1975, Hirzebruch et Zagier 1976, 2.2
Serre et Stark 1977.
McIntosh 2007
Dragonette 1952
Fine 1988
Zwegers 2000
Watson 1937.
Andrews et Garvan 1989.
Hickerson 1988
Andrews et Hickerson 1991
Berndt et Chan 2007
Selberg 1938.
Gordon et McIntosh 2000
Ramanujan 1988, p. 8, eqn 1; p. 29 eqn 6
Choi 2007
Ramanujan 1988, p. 9

Liens externes

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Mock modular form » (voir la liste des auteurs).

(en) International Conference: Mock theta functions and applications 2009
(en) Papers on mock theta functions by George Andrews
(en) Papers on mock theta functions by Kathrin Bringmann
(en) Papers on mock theta functions by Ken Ono
(en) Papers on mock theta functions by Sander Zwegers
(en) Eric W. Weisstein, « Mock Theta Function », sur MathWorld

Portail de l'analyse

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[lettre-1] Texte original : « Suppose there is a function in the Eulerian form and suppose that all or an infinity of points are exponential singularities, and also suppose that at these points the asymptotic form closes as neatly as in the cases of (A) and (B). The question is: Is the function taken the sum of two functions one of which is an ordinary θ-function and the other a (trivial) function which is O(1) at all the points e^2mπi/n? ... When it is not so, I call the function a Mock θ-function. »

[lettre1-2] (Ramanujan 2000, Appendix II)

[3] mock a ici le sens de "faux", "simulacre" ou même "fantaisie".

[rama88-4] (Ramanujan 1988)

[watson36-5] Watson 1936

[zwegers02-6] Zwegers 2002

[7] Bringmann, Folsom et Ono 2009

[8] Andrews 1966 et Dragonette 1952

[9] Bringmann et Ono 2006

[10] Ono 2006, p. 649.

[11] Bruinier et Funke 2004

[12] Zagier 2007

[13] txt et txt

[andrews86-14] Andrews 1986.

[15] Hickerson 1988b

[16] Andrews 1988.

[17] Lawrence et Zagier 1999.

[18] Semikhatov, Taormina et Tipunin 2005.

[19] Troost 2010.

[20] Atish Dabholkar, Sameer Murthy et Don Zagier, Quantum Black Holes, Wall Crossing, and Mock Modular Forms, 2012 (arXiv 1208.4074).

[21] Zagier 1975, Hirzebruch et Zagier 1976, 2.2

[22] Serre et Stark 1977.

[23] McIntosh 2007

[24] Dragonette 1952

[25] Fine 1988

[26] Zwegers 2000

[27] Watson 1937.

[28] Andrews et Garvan 1989.

[29] Hickerson 1988

[30] Andrews et Hickerson 1991

[31] Berndt et Chan 2007

[32] Selberg 1938.

[33] Gordon et McIntosh 2000

[34] Ramanujan 1988, p. 8, eqn 1; p. 29 eqn 6

[35] Choi 2007

[36] Ramanujan 1988, p. 9