Truncated Hecke-Rogers type series (Q2308306)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Truncated Hecke-Rogers type series
scientific article

    Statements

    Truncated Hecke-Rogers type series (English)
    0 references
    0 references
    0 references
    2 April 2020
    0 references
    An infinite series is said to be lacunary if its coefficients \(c_n\) are \(0\) for almost all values of \(n\). In the literature, there exists a plethora of such lacunary series that are very interesting from the partition theory point of view. For instance, Euler's pentagonal number series \[ \prod_{n=1}^\infty (1-q^n) = \sum_{n=-\infty}^\infty (-1)^n q^{n(3n-1)/2} \] is closely related to the partition function \(p(n)\) which counts all the partitions of \(n\). The reciprocal of the left hand side of this equation is the generating function of \(p(n)\). Another instance is the following double series \[ \prod_{n=1}^{\infty} (1-q^n)^2 = \sum_{n=0}^\infty \sum_{|m|<{n/2}} (-1)^{n+m} q^{(n^2-3m^2)/2+(n+m)/2} \] which was first found by Rogers and later rediscovered by Hecke. Recently, \textit{G. E. Andrews} and the reviewer [J. Comb. Theory, Ser. A 119, No. 8, 1639--1643 (2012; Zbl 1246.05014)] investigated the truncated version of the series (1) and inspired several mathematicians to work on truncated theta series. Since then several papers on the topic have followed. In this paper, the authors extended the study of the truncated theta series to Hecke-Rogers type double series, which are associated with some interesting partition functions. The proofs rely on a formula of \textit{Z. G. Liu} [J. Difference Equ. Appl. 16, No. 11, 1293--1307 (2010; Zbl 1223.39005); Ramanujan Math. Soc. Lect. Notes Ser. 20, 213--250 (2013; Zbl 1310.05024)] on the \(q\)-partial differential equations and \(q\)-series, i.e., \[ \frac{(\alpha q, \alpha ab/q; q)_m} {(\alpha a, \alpha b; q)_m} \sum_{n=0}^m \frac{(q^{-m},q/a,q/b; q)_n q^n} {(q^2/\alpha abq^m; q)_n} A_n\] \[= \sum_{n=0}^m \frac{(1-aq^{2n})(q^{-m},q/a,q/b; q)_n (\alpha abq^{m-1})^n} {(1-\alpha) (q,\alpha q^{m+1},\alpha a,\alpha b;q)_n} \sum_{k=0}^n (q^{-n},\alpha q^n;q)_k q^k A_k, \] where \(m\) is a nonnegative integer and \(\{A_n\}\) is an arbitrary complex sequence.
    0 references
    0 references
    0 references
    theta functions
    0 references
    truncated series
    0 references
    Euler's pentagonal number theorem
    0 references
    Gauss's identities
    0 references
    0 references