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

Changgui Zhang

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

Changgui Zhang ¹

¹ 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, Volume 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 :

Changgui Zhang ¹

¹ 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 = {Changgui Zhang},
     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},
}

TY  - JOUR
AU  - Changgui Zhang
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
DO  - 10.1016/j.crma.2011.06.019
LA  - en
ID  - CRMATH_2011__349_13-14_725_0
ER  -

%0 Journal Article
%A Changgui Zhang
%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
%R 10.1016/j.crma.2011.06.019
%G en
%F CRMATH_2011__349_13-14_725_0

Changgui Zhang. 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, Volume 349 (2011) no. 13-14, pp. 725-730. doi : 10.1016/j.crma.2011.06.019. https://comptes-rendus.academie-sciences.fr/mathematique/articles/10.1016/j.crma.2011.06.019/

Bibliographie
Cité par

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

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

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

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

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

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

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

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

[9] M. Katsurada 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] S. Ramanujan Notebooks (2 volumes), Tata Institute of Fundamental Research, Bombay, 1957

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

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

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

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

[15] T. Shintani 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] T.J. Stieltjes; T.J. Stieltjes, Ann. Sci. École Norm. Sup. (3) (Colleted Papers, vol. II), Volume 3, Springer-Verlag, New York, 1886, pp. 201-258 (See also:, 1993)

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

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

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