Abstract:We provide an alternate approach to obtaining expansion formulas on the lines of the well-poised Bailey lemma. We recover results due to Spiridonov and Warnaar and one new formula of this type. These formulas contain an arbitrary sequence as an argument, and are thus flexible in the number of parameters they contain. As a result, we are able to derive $19$ new transformation formulas for elliptic hypergeometric series. These transformation formulas appear to be new even in the basic hypergeometric case, when $p=0$.
What problem does this paper attempt to address?
### What problems does this paper attempt to solve?
This paper aims to solve some key problems in elliptic hypergeometric series, especially by providing a new method to derive the expansion formulas and transformation formulas of these series. Specifically, the goals of the paper include:
1. **Provide an alternative method**: The paper proposes a method different from the classical Bailey lemma to obtain similar results, especially when dealing with elliptic hypergeometric series. This method can recover existing results and discover some new formulas.
2. **Derive new transformation formulas**: By using four known summation theorems, the author has derived 19 new transformation formulas for elliptic hypergeometric series. These formulas are also new in the case of basic hypergeometric series (i.e., \( p = 0 \)).
3. **Simplify existing methods**: The paper attempts to simplify the existing WP Bailey lemma method to make it easier to understand and apply. The author introduces matrices \( F \) and \( H \), and by choosing an appropriate matrix form, the internal summation can be calculated using known summation theorems.
4. **Expand the scope of application**: By introducing an arbitrary sequence as a parameter, the derived formulas have greater flexibility and wide applicability. This makes these formulas applicable not only to specific parameter combinations but also to a wider range of situations.
### Formula presentation
To better understand the content in the paper, the following are several key formulas and their explanations:
- **Definition of matrix \( M \)**:
\[
M_{km}(a, b, q, p)=\frac{(q^{-k}, aq^k; q, p)_m}{(bq^{1 + k}, bq^{1 - k}/a; q, p)_m}
\]
Here, \((a; q, p)_m\) represents the \( q, p \)-shifted factorial.
- **First - type expansion formula**:
\[
\sum_{j = 0}^n A_j\frac{(q^{-n}, cq^n, ad/c, bq/d; q, p)_j}{(bq^{1 - n}/c, bq^{1 + n}, d, bcq/ad; q, p)_j}=\sum_{k = 0}^n\theta(aq^{2k}; p)\frac{(q^{-n}, a, cq^n, a/b, ad/c, bq/d; q, p)_k}{\theta(a; p)(q, aq^{1 + n}, aq^{1 - n}/c, bq, cq/d, ad/b; q, p)_k}q^k\sum_{j = 0}^k\frac{(q^{-k}, aq^k; q, p)_j}{(bq^{1 + k}, bq^{1 - k}/a; q, p)_j}A_j
\]
- **Second - type expansion formula**:
\[
\sum_{j = 0}^n A_j\frac{(q^{-2n}, c^2q^{2n}; q^2, p^2)_j(-aq; q, p)_{2j}}{(acq^3 + 2n, aq^{3 - 2n}/c; q^2, p^2)_j(-cq; q, p)_{2j}(a/c)^j}=\sum_{k = 0}^n\theta(a^2q^{4k}; p^2)\frac{(q^{-n}, cq^n; q, p)_k(a^2, a/cq; q^2, p^2)_k}{\theta(a^2; p^2)(aq^{1 + n}, aq^{1 - n}/c; q, p)_k(q^2, acq^3; q^2, p^2)_k}q^{2k}\sum_{j = 0}^k\frac{(q^{-2k}, a^2q^{2k}; q^2, p^2)_j}{(cq^{3 - 2k}/a, acq^{3 + 2k}; q^2, p^2)_j}A_j
\]