
TL;DR
This paper introduces a unified framework for WP-Bailey chains, showing how many existing chains are special cases and discovering new branches and transformation formulas for basic hypergeometric series.
Contribution
It presents a general theory of WP-Bailey chains, unifies previous results, and introduces new branches and transformation formulas for hypergeometric series.
Findings
Many existing WP-Bailey chains are special cases of the new framework.
Three new branches of the WP-Bailey tree are identified.
New transformation formulas for basic hypergeometric series are derived.
Abstract
Motivated by a recent paper of Liu and Ma, we describe a number of general WP-Bailey chains. We show that many of the existing WP-Bailey chains (or branches of the WP-Bailey tree), including chains found by Andrews, Warnaar and Liu and Ma, arise as special cases of these general WP-Bailey chains. We exhibit three new branches of the WP-Bailey tree, branches which also follow as special cases of these general WP-Bailey chains. Finally, we describe a number of new transformation formulae for basic hypergeometric series which arise as consequences of these new WP-Bailey chains.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
General WP-Bailey Chains
James Mc Laughlin
Mathematics Department
Anderson Hall
West Chester University, West Chester, PA 19383
and
Peter Zimmer
Mathematics Department
Anderson Hall
West Chester University, West Chester, PA 19383
Abstract.
Motivated by a recent paper of Liu and Ma, we describe a number of general WP-Bailey chains. We show that many of the existing WP-Bailey chains (or branches of the WP-Bailey tree), including chains found by Andrews, Warnaar and Liu and Ma, arise as special cases of these general WP-Bailey chains.
We exhibit three new branches of the WP-Bailey tree, branches which also follow as special cases of these general WP-Bailey chains.
Finally, we describe a number of new transformation formulae for basic hypergeometric series which arise as consequences of these new WP-Bailey chains.
Key words and phrases:
Bailey chains, WP-Bailey Chains, WP-Bailey pairs
2000 Mathematics Subject Classification:
Primary: 33D15. Secondary:11B65, 05A19.
1. Introduction
Andrews [1], following on from prior work of Bressoud [4] and Singh [9], defined a WP-Bailey pair to be a pair of sequences , (if the context is clear, we occasionally suppress the dependence on and write ) satisfying
[TABLE]
Andrews also showed in [1] that there were two distinct ways to construct new WP-Bailey pairs from a given pair (see (2.6) and (2.7) below). These two constructions allowed a “tree” of WP-Bailey pairs to be generated from a single WP-Bailey pair. Andrews and Berkovich [2] further investigated these two branches of the WP-Bailey tree, in the process deriving many new transformations for basic hypergeometric series. Spiridonov [10] derived an elliptic generalization of Andrews first WP-Bailey chain, and Warnaar [11] added four new branches to the WP-Bailey tree (see (2.8), (3.4), (3.5) and (3.11) below), two of which had generalizations to the elliptic level. More recently, and motivated in part by the papers above, Liu and Ma [7] introduced the idea of a general WP-Bailey chain (as a solution to a system of linear equations), and added one new branch to the WP-Bailey tree (see (2.9) below).
Motivated by Liu and Ma’s concept of a general WP-Bailey pair, in the present paper we reformulate their construction in terms of the more standard notation and also derive three other general WP-Bailey chains. We show that all the WP-Bailey chains referred to above arise as special cases of these general chains.
We further derive three new WP-Bailey chains from these general chains. Lastly, we find many new transformations of basic hypergeometric series, by inserting known WP-Bailey pairs into these three new WP-Bailey chains.
2. The General WP-Bailey Chain of Liu and Ma
Liu and Ma [7] defined a WP-Bailey chain as follows:
Definition 1**.**
Any pair of sequences and satisfying
[TABLE]
is called a well-poised (in short, WP) Bailey pair w.r.t. the parameters and , denoted by . Further, if for , the sequences and defined by
[TABLE]
is still a WP-Bailey pair w.r.t. the parameters and , then the iterative process from to is said to be a WP-Bailey chain.
The authors point out in [7] that the and the always satisfy
[TABLE]
and then proceed, using infinite matrices, to invert (2.3) to find expressions for the as sums over the .
For our purposes, we reformulate their result using the more usual notation in which , denotes a WP-Bailey pair, using a single sequence (replacing their ), and giving a more direct proof which avoids the use of infinite matrices. Before proceeding to this, we first recall the following necessary result of Warnaar.
Lemma 1** (Warnaar, [11]).**
For and indeterminates the following equations are equivalent:
[TABLE]
If and are interchanged in the second equation, we also note for later that Lemma 1 implies the following.
Corollary 1**.**
*If are a WP-Bailey pair, then so are
, where*
[TABLE]
Theorem 1**.**
Suppose that satisfy (1.1), that is an arbitrary sequence of functions and and are arbitrary constants. Then , also satisfy (1.1), where
[TABLE]
Proof.
If is as given, then
[TABLE]
∎
Of course, from the perspective of adding branches to the WP-Bailey tree, what is desirable is to choose and and the sequence so as to make the inner sum over above have closed form.
It is shown in [7] that Andrews’ first WP-Bailey chain in [1] follows as a special case of their theorem, and the authors also find a new WP-Bailey chain as another special case. In fact Andrews’ second WP-Bailey chain in [1] and the first WP-Bailey chain of Warnaar in [11] also follow as special cases. Since our notation is somewhat different from that of Liu and Ma [7], for completeness we show how all four WP Bailey chains follow as special cases of Theorem 1.
Corollary 2**.**
*If satisfy (1.1), then so do ,
and [1], [11] and , [7], where*
[TABLE]
with ;
[TABLE]
with ;
[TABLE]
with (we consider just the case of Warnaar’s theorem here);
[TABLE]
with .
Proof.
In each case we apply Theorem 1, letting and be the factor multiplying in each of the WP-Bailey chains listed above. That the inner sum over in (2.5) has a closed form and that the stated expressions for the various above now hold, follow as a consequence of, respectively, Jackson’s sum of a terminating ,
[TABLE]
where , the following formulae (see [6, problem 2.12] and [2, Equation (3.2)], respectively):
[TABLE]
[TABLE]
and a -analogue of Watson’s sum (see [6, II.16]),
[TABLE]
∎
Before describing and proving a new WP-Bailey chain which follows from Theorem 1, we need a preliminary result.
Lemma 2**.**
[TABLE]
Proof.
In Bailey’s transformation (see [6], III.28),
[TABLE]
where , set , , , and , so that . The left side of (2.14) becomes the left side of (2.11), and so equals the right side of (2.11). The result follows upon replacing with , after some simple manipulations. ∎
The next WP-Bailey chain appears to be new.
Corollary 3**.**
*If satisfy (1.1), then so do ,
, where*
[TABLE]
Proof.
Set , , in Theorem 1, and use (2.13), with replaced with and with , to put the inner sum over at (2.5) in closed form, and simplify the resulting sum. ∎
Remarks: 1) We note the similarities between this WP-Bailey chain and the second chain of Andrews at (2.7), including the fact that a double application of this construction returns the original WP-Bailey pair.
- Upon inserting the unit WP-Bailey pair (4.1) in this chain, we get the pair
[TABLE]
which can also be derived by applying Corollary 1 to the pair at (4.14).
- The small number of summation formulae for terminating basic hypergeometric series would tend to suggest that there are not many WP-Bailey chains which follow from Theorem 1. With this in mind, we turn to new general WP-Bailey chains.
3. New General WP-Bailey Chains and their Consequences
Motivated by Warnaar’s other WP-Bailey chains in [11], we now consider some new general WP-Bailey chains.
Theorem 2**.**
Suppose that satisfy (1.1), that is an arbitrary sequence of functions and that and are arbitrary constants. Then , also satisfy (1.1), where
[TABLE]
Proof.
As previously, if is as given, then
[TABLE]
∎
As with Theorem 1, the aim is to find choices for the sequence and the parameters and which lead to the inner sum over above having closed form. We believe the following WP-Bailey chain to be new.
Corollary 4**.**
*If satisfy (1.1), then so do ,
, where*
[TABLE]
Proof.
Set , , in Theorem 2, and use (2.10) to put the inner sum over at (3.1) in closed form, and simplify the resulting sum. ∎
Remark: Somewhat curiously, inserting the unit pair (4.1) in this chain leads to a pair that is the special case of Singh’s WP-Bailey pair at (4.2).
In Theorem 3 we showed how to derive new general WP-Bailey pairs , in terms of , where
is an existing WP-Bailey pair. It is also possible to derive new general WP-Bailey pairs in terms of , but for aesthetic reasons we replace by everywhere, to get the following theorem.
Theorem 3**.**
Suppose that satisfy (1.1), that is an arbitrary sequence of functions and that and are arbitrary constants. Then , also satisfy (1.1), where
[TABLE]
We omit the proof as it follows very similar lines to the proofs of Theorems 1 and 2. Warnaar’s WP-Bailey chains in Theorems 2.4 and 2.5 of [11] follows as a special case of the theorem above (we use where Warnaar uses , so as to keep the parameters in the new WP Bailey pairs as and ).
Corollary 5** (Warnaar, [11]).**
If satisfy (1.1), then so do ,, where
[TABLE]
Proof.
Set , , , use (2.10) to get the inner sum over in (3.3) in closed form, and the result follows after some simple manipulations. ∎
Corollary 6** (Warnaar, [11]).**
If satisfy (1.1), then so do ,, where
[TABLE]
Proof.
Set , , . To get the inner sum over in (3.3) in closed form, we use the following result of Andrews and Berkovich [2] (we replace with ):
[TABLE]
with replaced with , with and with . The result follows once again, after some -product manipulations. ∎
The next result also appears to be new.
Corollary 7**.**
If satisfy (1.1), then so do , , where
[TABLE]
Proof.
Set , , . This time, to get the inner sum over in (3.3) in closed form, we use the following result of Warnaar [11]:
[TABLE]
with replaced with , with and with . The result follows, as above, after some -product manipulations. ∎
Inserting the unit pair (4.1) in this chain gives the pair
[TABLE]
which is somewhat reminiscent of Bressoud’s pair at (4.10).
Motivated by Warnaar’s Theorem 2.6 in [11], we also have the following general WP-Bailey chain.
Theorem 4**.**
Suppose that satisfy (1.1), that is an arbitrary sequence of functions and that and are arbitrary constants. Then , also satisfy (1.1), where
[TABLE]
Once again, we omit the proof, since it is very similar to the proofs of the other theorems above.
Upon setting , and , and once again using (2.10), we obtain the WP-Bailey chain of Warnaar in Theorem 2.6 of [11].
Corollary 8** (Warnaar, [11]).**
If satisfy (1.1), then so do , , where
[TABLE]
4. Transformation Formulae for Basic Hypergeometric Series
We next describe a number of transformations of basic hypergeometric series which follow from the new WP-Bailey chains described in Corollaries 3, 4 and 7.
Before proceeding, we remark that the ten or more WP-Bailey chains that presently exist potentially give rise to two hundred or more transformations between basic hypergeometric series, most of which have probably not been written down (by inserting the ten or more WP-Bailey pairs and their “duals” via Corollary 1 into the ten or more existing WP-Bailey chains, ignoring possible duplication (which is why we write “potentially”)).
Inserting the unit WP-Bailey pair (see [2] for example, where this WP-Bailey pair, and others employed below, may be found),
[TABLE]
into (2.15) leads (perhaps not surprisingly) to (2.13). Upon substituting Singh’s WP-Bailey pair [9],
[TABLE]
into (2.15) we get the following transformation:
[TABLE]
It is easy to recognize this as Bailey’s transformation (see [6, III.27]). Note that (2.13) follows immediately from (4.3), upon setting . Inserting the pair
[TABLE]
into (2.15) leads to
[TABLE]
Similarly, inserting the pair
[TABLE]
into (2.15) leads to
[TABLE]
Substituting the pair
[TABLE]
into (2.15) leads to
[TABLE]
a result reminiscent of (3.14) in [2].
We next turn to two WP-Bailey pairs found by Bressoud [3]. Inserting the pair
[TABLE]
into (2.15), and then replacing with , with and with , gives
[TABLE]
an identity similar to (4.10) in [2]. In a similar manner, inserting Bressoud’s WP-Bailey pair
[TABLE]
into (2.15), and likewise replacing with , with and with , gives
[TABLE]
Finally, we apply the corollary to two WP-Bailey pairs found by the present authors in [8]:
[TABLE]
[TABLE]
Note that the second pair may also be derived by applying Corollary 1 to the pair at (4.8). These WP-Bailey pairs inserted in (2.15) lead, respectively to the transformations
[TABLE]
and
[TABLE]
Likewise, inserting the WP-Bailey pairs at (4.2), (4.4), (4.6), (4.8), (4.10), (4.12), (4.14) and (4.15), respectively, into the WP-Bailey chain at (3.2) leads, respectively, to the following transformations:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
In a similar manner, inserting the WP-Bailey pairs at (4.2), (4.4), (4.6), (4.8), (4.10), (4.12), (4.14) and (4.15), respectively, into the WP-Bailey chain at (3.7) leads, respectively, to the following transformations:
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
[TABLE]
5. Bailey-Type Chains
Just as Liu and Ma did in [7], we can let to get regular Bailey chains, but unfortunately none are new.
Corollary 9**.**
If are a Bailey pair w.r.t. , then so is , , where
[TABLE]
Proof.
let in Corollary 4 and rearrange. ∎
Remark: This is the Bailey chain (D4) of Bressoud, Ismail and Stanton in [5].
Corollary 10**.**
If are a Bailey pair w.r.t. , then so is , , where
[TABLE]
Proof.
let in Corollary 7 and rearrange. ∎
We note that is chain is also not new, being essentially the Bailey chain (D1) in [5].
The corollaries above and other results in the literature (for example the first WP-Bailey chain of Andrews in [1]) show that some Bailey chains may be “lifted” to WP-Bailey chains.
Is it possible to lift all Bailey chains to WP-Bailey chains?
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] Andrews, George E. Bailey’s transform, lemma, chains and tree. Special functions 2000: current perspective and future directions (Tempe, AZ), 1–22, NATO Sci. Ser. II Math. Phys. Chem., 30 , Kluwer Acad. Publ., Dordrecht, 2001.
- 2[2] Andrews, George; Berkovich, Alexander The WP-Bailey tree and its implications. J. London Math. Soc. (2) 66 (2002), no. 3, 529–549.
- 3[3] Bressoud, David, The Rogers–Ramanujan identities. (solution to problem 74-12) . SIAM Review. 23 (1981) 101–104.
- 4[4] Bressoud, David, Some identities for terminating q 𝑞 q -series. Math. Proc. Cambridge Philos. Soc. 89 (1981), no. 2, 211–223.
- 5[5] Bressoud, D.; Ismail, M. E. H.; Stanton, D. Change of base in Bailey pairs. (English summary) Ramanujan J. 4 (2000), no. 4, 435–453.
- 6[6] Gasper, George; Rahman, Mizan Basic hypergeometric series . With a foreword by Richard Askey. Second edition. Encyclopedia of Mathematics and its Applications, 96. Cambridge University Press, Cambridge, 2004. xxvi+428 pp.
- 7[7] Q. Liu; X. Ma On the Characteristic Equation of Well-Poised Baily Chains - To appear.
- 8[8] Mc Laughlin, James; Zimmer, Peter. Some Implications of the WP-Bailey Tree. Advances in Applied Mathematics Volume 43 , Issue 2, August 2009, Pages 162-175.
