On the modular behaviour of the infinite product $ (1-x)(1-xq)(1-x{q}^{2})(1-x{q}^{3})\cdots $

Zhang, Changgui

doi:10.1016/j.crma.2011.06.019

Number Theory/Mathematical Analysis

On the modular behaviour of the infinite product

(1 - x) (1 - x q) (1 - x q^{2}) (1 - x q^{3}) \dots

[Sur le comportement modulaire du produit infini

(1 - x) (1 - x q) (1 - x q^{2}) (1 - x q^{3}) \dots

]

Présenté par : Jean-Pierre Ramis

Zhang, Changgui ¹

¹ Laboratoire P. Painlevé CNRS UMR 8524, UFR de mathématiques, université Lille 1 (USTL), cité scientifique, 59655 Villeneuve dʼAscq cedex, France

Comptes Rendus. Mathématique, Tome 349 (2011) no. 13-14, pp. 725-730.

Résumé
Abstract

Soit $q = e^{2 π i τ}$ , $ℑ τ > 0$ , $x = e^{2 π i ξ} \in C$ et ${(x; q)}_{\infty} = \prod_{n ⩾ 0} (1 - x q^{n})$ . Soit $(q, x) \mapsto (q^{⁎}, ι_{q} x)$ la substitution modulaire classique donnée par $q^{⁎} = e^{- 2 π i / τ}$ et $ι_{q} x = e^{2 π i ξ / τ}$ . Le principal but de la présente Note est dʼétudier le « comportemant modulaire » du produit infini ${(x; q)}_{\infty}$ , cʼest-à-dire, de comparer la fonction définie par ${(x; q)}_{\infty}$ à celle par ${(ι_{q} x; q^{⁎})}_{\infty}$ . Inspiré du travail [16] de Stieltjes (1886) sur des séries semi-convergentes, nous somme parvenus à une formule analytique « explicite » pour le rapport ${(x; q)}_{\infty} / {(ι_{q} x; q^{⁎})}_{\infty}$ au moyen du dilogarithme complété par une intégrale du type Laplace, cette dernière admettant une série divergente comme développement taylorien en $\log q = 0$ . Ceci nous permet dʼobtenir une expression reliant ${(x; q)}_{\infty}$ à sa transformée modulaire ${(ι_{q} x; q^{⁎})}_{\infty}$ qui contient essentiellement les formules modulaires connues pour la fonction eta de Dedekind, la fonction theta de Jacobi et aussi pour certaines séries de Lambert. Parmi dʼautres applications, on remarquera que nos résultats permettent dʼinterpréter une formule de Ramanujan (Berndt, 1994) [5, Entry 6, p. 265 & Entry 6′, p. 268] (voir aussi Ramanujan, 1957 [10, pp. 365 & 284]) comme étant une expression convergente pour le produit infini ${(x; q)}_{\infty}$ .

Let $q = e^{2 π i τ}$ , $ℑ τ > 0$ , $x = e^{2 π i ξ} \in C$ and ${(x; q)}_{\infty} = \prod_{n ⩾ 0} (1 - x q^{n})$ . Let $(q, x) \mapsto (q^{⁎}, ι_{q} x)$ be the classical modular substitution given by $q^{⁎} = e^{- 2 π i / τ}$ and $ι_{q} x = e^{2 π i ξ / τ}$ . The main goal of this Note is to study the “modular behaviour” of the infinite product ${(x; q)}_{\infty}$ , this means, to compare the function defined by ${(x; q)}_{\infty}$ with that given by ${(ι_{q} x; q^{⁎})}_{\infty}$ . Inspired by the work [16] of Stieltjes (1886) on some semi-convergent series, we are led to a “closed” analytic formula for the ratio ${(x; q)}_{\infty} / {(ι_{q} x; q^{⁎})}_{\infty}$ by means of the dilogarithm combined with a Laplace type integral, which admits a divergent series as Taylor expansion at $\log q = 0$ . Thus, we can obtain an expression linking ${(x; q)}_{\infty}$ to its modular transform ${(ι_{q} x; q^{⁎})}_{\infty}$ and which contains, in essence, the modular formulae known for Dedekindʼs eta function, Jacobi theta function and also for certain Lambert series. Among other applications, one can remark that our results allow one to interpret Ramanujanʼs formula (Berndt, 1994) [5, Entry 6, p. 265 & Entry 6′, p. 268] (see also Ramanujan, 1957 [10, pp. 365 & 284]) as being a convergent expression for the infinite product ${(x; q)}_{\infty}$ .

Reçu le : 2011-01-19
Accepté le : 2011-06-21
Publié le : 2011-07-01

DOI : 10.1016/j.crma.2011.06.019

Affiliations des auteurs :

Zhang, Changgui ¹

¹ Laboratoire P. Painlevé CNRS UMR 8524, UFR de mathématiques, université Lille 1 (USTL), cité scientifique, 59655 Villeneuve dʼAscq cedex, France

@article{CRMATH_2011__349_13-14_725_0,
     author = {Zhang, Changgui},
     title = {On the modular behaviour of the infinite product $ (1-x)(1-xq)(1-x{q}^{2})(1-x{q}^{3})\cdots $},
     journal = {Comptes Rendus. Math\'ematique},
     pages = {725--730},
     publisher = {Elsevier},
     volume = {349},
     number = {13-14},
     year = {2011},
     doi = {10.1016/j.crma.2011.06.019},
     language = {en},
     url = {http://www.numdam.org/articles/10.1016/j.crma.2011.06.019/}
}

TY  - JOUR
AU  - Zhang, Changgui
TI  - On the modular behaviour of the infinite product $ (1-x)(1-xq)(1-x{q}^{2})(1-x{q}^{3})\cdots $
JO  - Comptes Rendus. Mathématique
PY  - 2011
SP  - 725
EP  - 730
VL  - 349
IS  - 13-14
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2011.06.019/
DO  - 10.1016/j.crma.2011.06.019
LA  - en
ID  - CRMATH_2011__349_13-14_725_0
ER  -

%0 Journal Article
%A Zhang, Changgui
%T On the modular behaviour of the infinite product $ (1-x)(1-xq)(1-x{q}^{2})(1-x{q}^{3})\cdots $
%J Comptes Rendus. Mathématique
%D 2011
%P 725-730
%V 349
%N 13-14
%I Elsevier
%U http://www.numdam.org/articles/10.1016/j.crma.2011.06.019/
%R 10.1016/j.crma.2011.06.019
%G en
%F CRMATH_2011__349_13-14_725_0

Zhang, Changgui. On the modular behaviour of the infinite product $ (1-x)(1-xq)(1-x{q}^{2})(1-x{q}^{3})\cdots $. Comptes Rendus. Mathématique, Tome 349 (2011) no. 13-14, pp. 725-730. doi : 10.1016/j.crma.2011.06.019. http://www.numdam.org/articles/10.1016/j.crma.2011.06.019/

Bibliographie
Cité par

[1] Apostol, T.M. Modular Functions and Dirichlet Series in Number Theory, Gradute Texts in Mathematics, vol. 41, Springer-Verlag, New York, 1990

[2] Andrews, G.E. The Theory of Partitions, Cambridge University Press, Cambridge, 1976

[3] Andrews, G.E.; Askey, R.; Roy, R. Special Functions, Cambridge University Press, 2000

[4] Barnes, E.W. The theory of the double gamma function, Phil. Trans. R. Soc. Lond. A, Volume 196 (1901), pp. 265-388

[5] Berndt, B.C. Ramanujanʼs Notebooks, Part IV, Springer-Verlag, New York, 1994

[6] Di Vizio, L.; Zhang, C. On q-summation and confluence, Ann. Inst. Fourier, Volume 59 (2009), pp. 347-392

[7] L. Euler, Introducio in Analysin Infinitorum, 1748.

[8] Hardy, G.H. Ramanujan: Twelve Lectures on Subjects Suggested by His Life and Work, Chelsea Publishing Company, New York, 1940 (originally published by Cambridge University Press)

[9] Katsurada, M. Asymptotic expansions of certain q-series and a formula of Ramanujan for specific values of the Riemann zeta function, Acta Arith., Volume 107 (2003) no. 3, pp. 269-298

[10] Ramanujan, S. Notebooks (2 volumes), Tata Institute of Fundamental Research, Bombay, 1957

[11] Ramis, J.-P. Séries divergentes et théories asymptotiques, Bull. Soc. Math. France, Volume 121 (1993)

[12] Ramis, J.-P.; Sauloy, J.; Zhang, C. Local analytic classification of q-difference equations | arXiv

[13] Selberg, A. Reflections on Ramanujan centenary (Berndt, B.C.; Rankin, R.A., eds.), Ramanujan: Essays and Surveys, History of Mathematics, vol. 22, 1989, pp. 203-214

[14] Serre, J.-P. Cours dʼarithmétique, Deuxième édition revue et corrigé, Presses Universitaires de France, Paris, 1977

[15] Shintani, T. On a Kronecker limit formula for real quadratic fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math., Volume 24 (1977) no. 1, pp. 167-199

[16] Stieltjes, T.J.; Stieltjes, T.J., Ann. Sci. École Norm. Sup. (3) (Colleted Papers, vol. II), Volume 3, Springer-Verlag, New York, 1886, pp. 201-258 (See also:, 1993)

[17] Whittaker, E.T.; Watson, G.N. A Course of Modern Analysis, Cambridge University Press, New York, 1962

[18] Zagier, D. The dilogarithm function in geometry and number theory, Tata Inst. Fund. Res., Bombay (Tata Inst. Fund. Res. Stud. Math.), Volume vol. 12, Oxford University Press, Oxford (1989), pp. 231-249

[19] Zhang, C. Une sommation discrète pour des équations aux q-différences linéaires et à coefficients analytiques : théorie générale et exemples (Braaksma, B.L.J. et al., eds.), Differential Equations and the Stokes Phenomenon, World Scientific, 2002, pp. 309-329

[20] Zhang, C. A modular type formula for Euler infinite product $(1 - x) (1 - x q) (1 - x q^{2}) (1 - x q^{3}) \dots$ | arXiv

Cité par Sources :