Abstract:For a given integer $k$, an identity of the following shape is defined as: finite sum of \begin{align*} \sum_{(i_1,\cdots,1_k)\in S}\frac{(-1)^{t(i_1,\cdots,i_k)}q^{Q(i_1,\cdots,i_k)}}{(q^{n_1};q^{n_1})_{i_1}\cdots(q^{n_k};q^{n_k})_{i_k}}=\prod_{(a,n)\in P}(q^a;q^n)_{\infty}^{r(a,n)} \end{align*} as a Rogers-Ramanujan type identities of $index(n_1,n_2,\cdots,n_k)$, where $t(i_1,\cdots,i_k)$ is an integer-valued function, $Q(i_1,\cdots,i_k)$ is a rational polynomials in variables $i_1,\cdots,i_k,n_1,\cdots,n_k$ are positive integers with $gcd(n_1,n_2,\cdots,n_k)=1$, $S$ is a subset of $\mathbb{Z}^k$, $P$ is a finite subset of $\mathbb{Q}^2$ and $r(a,n)$ are integer-valued functions. We construct some Rogers-Ramanujan type identities by using the constant term method.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct and prove a new class of Rogers - Ramanujan - type identities, which involve double summations. Specifically, by using the constant term method, the authors study and prove identities in the following form:
\[
\sum_{(i_1, \cdots, i_k) \in S} (-1)^{t(i_1, \cdots, i_k)} q^{Q(i_1, \cdots, i_k)} \prod_{j = 1}^k \frac{1}{(q^{n_j}; q^{n_j})_{i_j}}=\prod_{(a,n) \in P} (q^a; q^n)^{r(a,n)}
\]
where:
- \(t(i_1,\cdots, i_k)\) is an integer - valued function;
- \(Q(i_1,\cdots, i_k)\) is a rational polynomial in the variables \(i_1,\cdots, i_k\);
- \(n_1,\cdots, n_k\) are positive integers and satisfy \(\gcd(n_1,\cdots, n_k) = 1\);
- \(S\) is a subset of \(\mathbb{Z}^k\);
- \(P\) is a finite subset of \(\mathbb{Q}^2\);
- \(r(a, n)\) is an integer - valued function.
This type of identities is called Rogers - Ramanujan - type identities, and their importance lies in the fact that they reveal the profound connection between the q - series theory and modular forms. In particular, by multiplying by an appropriate power of q, the right - hand side of these identities can become a modular form, which is not obvious from the summation form on the left - hand side.
To further understand this problem, we can review some background knowledge. Rogers discovered many sum - product q - series identities in 1894, including the famous Rogers - Ramanujan identities:
\[
\sum_{n = 0}^{\infty}\frac{q^{n^2}}{(q;q)_n}=\frac{1}{(q, q^4; q^5)_{\infty}}
\]
\[
\sum_{n = 0}^{\infty}\frac{q^{n^2 + n}}{(q;q)_n}=\frac{1}{(q^2, q^3; q^5)_{\infty}}
\]
These identities were later rediscovered by Ramanujan and inspired a great deal of subsequent research. Nahm proposed a conjecture that described which basic hypergeometric series could be modular forms. Zagier studied Nahm's problem and verified some specific examples.
In this paper, the authors use the constant term method to construct and prove several new Rogers - Ramanujan - type identities, for example:
\[
\sum_{n,m\geq0} (-1)^{\frac{n - m}{2}} q^{\frac{3m^2}{4}+\frac{mn}{2}+\frac{3n^2}{4}}\frac{1}{(q;q)_m(q;q)_n}=\frac{1}{(q^2, q^8; q^{10})_{\infty}}
\]
By this method, the authors not only extend the existing Rogers - Ramanujan - type identities, but also provide new tools and ideas for future research.