1. bookVolume 5 (2020): Issue 2 (July 2020)
Journal Details
License
Format
Journal
First Published
01 Jan 2016
Publication timeframe
2 times per year
Languages
English
Copyright
© 2020 Sciendo

A note on Bailey and WP-Bailey Pairs

Published Online: 20 Aug 2020
Page range: 143 - 156
Received: 20 Sep 2019
Accepted: 18 Jan 2020
Journal Details
License
Format
Journal
First Published
01 Jan 2016
Publication timeframe
2 times per year
Languages
English
Copyright
© 2020 Sciendo
Abstract

In this paper, we have established certain theorems involving Bailey pairs and WP-Bailey pairs. Further, making use of some known WP-Bailey pairs and theorems for constructing new WP-Bailey pairs, we have also established transformation formulas for q-hypergeometric series.

Keywords

MSC 2010

Introduction, Notations and Definitions

We begin by recalling some standard notations and terminology. Let a, q be complex numbers with 0 < |q| < 1. Then the q − shifted factorial is defined by (a;q)n=(1a)(1aq)...(1aqn1)   if  n>0,(a;q)0=1\matrix{{{{(a;q)}_n} = (1 - a)(1 - aq)...(1 - a{q^{n - 1}}) {\kern 1pt} {\rm if}{\kern 1pt} n > 0,} \cr {{{(a;q)}_0} = 1}} and (a;q)=r=0(1aqr).{(a;q)_\infty} = \prod\limits_{r = 0}^\infty (1 - a{q^r}).

For the sake of brevity, we often write (a1;q)n(a2;q)n...(ar;q)n=(a1,a2,a3,...,ar;q)n.{({a_1};q)_n}{({a_2};q)_n}...({a_r};q{)_n} = ({a_1},{a_2},{a_3},...,{a_r};q{)_n}.

The basic hypergeometric series is defined by rΦs=[a1,a2,...,ar;q;zb1,b2,...,bs]=n=0(a1,a2,...,ar;q)nzn(q,b1,b2,...,bs;q)n{(1)nqn(n1)/2}1+sr.{\,_r}{\Phi_s} = \left[ {\matrix{{{a_1},{a_2},...,{a_r};q;z} \hfill \cr {{b_1},{b_2},...,{b_s}} \hfill \cr}} \right] = \sum\limits_{n = 0}^\infty {{{{({a_1},{a_2},...,{a_r};q)}_n}{z^n}} \over {{{(q,{b_1},{b_2},...,{b_s};q)}_n}}}{\left\{{{{(- 1)}^n}{q^{n(n - 1)/2}}} \right\}^{1 + s - r}}.

In an attempt to clarify Rogers second proof [3] of the Rogers-Ramanujan identities, Bailey [1] made the following simple but very useful observation,

If βn=r=0nαrunrvn+r{\beta_n} = \sum\limits_{r = 0}^n {\alpha_r}{u_{n - r}}{v_{n + r}} and γn=r=nδrurnvr+n=r=0δr+nurvr+2n\matrix{{{\gamma_n}} \hfill & {= \sum\limits_{r = n}^\infty {\delta_r}{u_{r - n}}{v_{r + n}}} \hfill \cr {} \hfill & {= \sum\limits_{r = 0}^\infty {\delta_{r + n}}{u_r}{v_{r + 2n}}} \hfill} then n=0αnγn=n=0βnδn.\sum\limits_{n = 0}^\infty {\alpha_n}{\gamma_n} = \sum\limits_{n = 0}^\infty {\beta_n}{\delta_n}.

The proof is straightforword and merely requires an interchange of sums. Of course, in the above transform, suitable convergence conditions need to be imposed to make the definition of γn and interchange of sums meaningful.

In application of the transform, Bailey chose ur=1(q;q)r{u_r} = {1 \over {{{(q;q)}_r}}} , vr=1(aq;q)r{v_r} = {1 \over {{{(aq;q)}_r}}} and with this choice equations (1.1) and (1.2) became βn=r=0nαr(q;q)nr(aq;q)n+r{\beta_n} = \sum\limits_{r = 0}^n {{{\alpha_r}} \over {{{(q;q)}_{n - r}}{{(aq;q)}_{n + r}}}} and γn=r=0δr+n(q;q)r(aq;q)r+2n{\gamma_n} = \sum\limits_{r = 0}^\infty {{{\delta_{r + n}}} \over {{{(q;q)}_r}{{(aq;q)}_{r + 2n}}}} respectively.

A pair of sequence 〈αn, βn〉 that satisfies (1.4) is called a Bailey pair relative to the parameter a. Similarly, the pair of sequence 〈γn, δn〉 which satisfies (1.5) is called conjugate Bailey pair relative to a. For these Bailey and conjugate Bailey pairs we have n=0αnγn=n=0βnδn,\sum\limits_{n = 0}^\infty {\alpha_n}{\gamma_n} = \sum\limits_{n = 0}^\infty {\beta_n}{\delta_n}, provided series involved are convergent.

Theorems Involving Bailey Pairs

(i) Choosing δr=(ρ1,ρ2;q)r(aqρ1ρ2)r{\delta_r} = ({\rho_1},{\rho_2};q{)_r}{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)^r} in (1.5) and using the summation formula [2, App. II(II.8) p. 236] we have, γn=(aqρ1,aqρ2;q)(ρ1,ρ2;q)n(aqρ1ρ2)n(aq,aqρ1ρ2;q)(aqρ1,aqρ2;q)n.{\gamma_n} = {{{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}{{({\rho_1},{\rho_2};q)}_n}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}.

Putting these values of γn and δn in (1.6) we obtain the following theorem.

Theorem 1

If 〈αn, βnis a Bailey pair satisfying (1.4) thenn=0(ρ1,ρ2;q)n(aqρ1ρ2)n(aqρ1,aqρ2;q)nαn=(aq,aqρ1ρ2;q)(aqρ1,aqρ2;q)n=0(ρ1,ρ2;q)n(aqρ1ρ2)nβn.\sum\limits_{n = 0}^\infty {{{{({\rho_1},{\rho_2};q)}_n}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\alpha_n} = {{{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}}}\sum\limits_{n = 0}^\infty {({\rho_1},{\rho_2};q)_n}{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)^n}{\beta_n}.

Taking ρ1, ρ2 → ∞ in (2.2) we obtain the following theorem,

Theorem 2

If 〈αn, βn〉 is a Bailey pair thenn=0qn2anαn=(aq;q)n=0qn2anβn.\sum\limits_{n = 0}^\infty {q^{{n^2}}}{a^n}{\alpha_n} = (aq;q{)_\infty}\sum\limits_{n = 0}^\infty {q^{{n^2}}}{a^n}{\beta_n}.

(ii) Choosing δr=(ρ1,ρ2;q)r(aρ1ρ2)r{\delta_r} = ({\rho_1},{\rho_2};q{)_r}{\left({{a \over {{\rho_1}{\rho_2}}}} \right)^r} in (1.5) and using the summation formula [4, (1.4) p. 771] we have, γn=(aqρ1,aqρ2;q)(aq,aqρ1ρ2;q){(ρ1,ρ2;q)n(aρ1ρ2)n(aqρ1,aqρ2;q)n+(1ρ1)(1ρ2)(ρ1ρ2a)(ρ1q,ρ2q;q)n(aρ1ρ2)n(aqρ1,aqρ2;q)n}.{\gamma_n} = {{{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}} \over {{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}}}\left\{{{{{{({\rho_1},{\rho_2};q)}_n}{{\left({{a \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}} + {{(1 - {\rho_1})(1 - {\rho_2})} \over {({\rho_1}{\rho_2} - a)}}{{{{({\rho_1}q,{\rho_2}q;q)}_n}{{\left({{a \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}} \right\}.

Putting these values of γn and δn in (1.6) we have following theorem.

Theorem 3

If 〈αn, βn〉 is a Bailey pair thenn=0(ρ1,ρ2;q)n(aρ1ρ2)n(aqρ1,aqρ2;q)nαn+(1ρ1)(1ρ2)a(ρ1ρ2a)n=0(ρ1q,ρ2q;q)n(aρ1ρ2)n(aqρ1,aqρ2;q)nαn=(aq,aqρ1ρ2;q)(aqρ1,aqρ2;q)nn=0(ρ1,ρ2;q)n(aρ1ρ2)nβn.\matrix{{\sum\limits_{n = 0}^\infty {{{{\left({{\rho_1},{\rho_2};q} \right)}_n}{{\left({{a \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\alpha_n} + {{(1 - {\rho_1})(1 - {\rho_2})a} \over {({\rho_1}{\rho_2} - a)}}\sum\limits_{n = 0}^\infty {{{{({\rho_1}q,{\rho_2}q;q)}_n}{{\left({{a \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\alpha_n}} \cr {\quad \quad = {{{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}\sum\limits_{n = 0}^\infty {{({\rho_1},{\rho_2};q)}_n}{{\left({{a \over {{\rho_1}{\rho_2}}}} \right)}^n}{\beta_n}.}}

Taking ρ1, ρ2 → ∞ in (2.5) we have following theorem,

Theorem 4

If 〈αn, βn〉 is a Bailey pair thenn=0qn(n1)anαn+an=0qn(n+1)anαn=(aq;q)n=0qn(n1)anβn\sum\limits_{n = 0}^\infty {q^{n(n - 1)}}{a^n}{\alpha_n} + a\sum\limits_{n = 0}^\infty {q^{n(n + 1)}}{a^n}{\alpha_n} = (aq;q{)_\infty}\sum\limits_{n = 0}^\infty {q^{n(n - 1)}}{a^n}{\beta_n}

(iii) Taking δr=(ρ1,ρ2;q)r(aqρ1ρ2;q)Nr(q;q)Nr(aqρ1ρ2)r{\delta_r} = {{{{({\rho_1},{\rho_2};q)}_r}{{\left({{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_{N - r}}} \over {{{(q;q)}_{N - r}}}}{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)^r} in (1.5) and using the summation formula [2, App. II (II. 12), p. 237] we obtain γn=(aqρ1,aqρ2;q)N(ρ1,ρ2;q)n(qN;q)n(aq1+Nρ1ρ2)n(q,aq;q)Nqn(n1)/2(aqρ1,aqρ2,aq1+N;q)n.{\gamma_n} = {{{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_N}{{({\rho_1},{\rho_2};q)}_n}{{({q^{- N}};q)}_n}{{\left({- {{a{q^{1 + N}}} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{(q,aq;q)}_N}{q^{n(n - 1)/2}}{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},a{q^{1 + N}};q} \right)}_n}}}.

Putting these values of γn and δn in (1.6) we have,

Theorem 5

If 〈αn, βn〉 is a Bailey pair thenn=0N(ρ1,ρ2,qN;q)n(aq1+Nρ1ρ2)nαnqn(n1)/2(aqρ1,aqρ2,aq1+N;q)n=(aq,aqρ1ρ2;q)N(aqρ1,aqρ2;q)Nn=0N(ρ1,ρ2,qN;q)nqn(ρ1ρ2aqN;q)nβn.\sum\limits_{n = 0}^N {{{{({\rho_1},{\rho_2},{q^{- N}};q)}_n}{{\left({- {{a{q^{1 + N}}} \over {{\rho_1}{\rho_2}}}} \right)}^n}{\alpha_n}} \over {{q^{n(n - 1)/2}}{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},a{q^{1 + N}};q} \right)}_n}}} = {{{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_N}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_N}}}\sum\limits_{n = 0}^N {{{{({\rho_1},{\rho_2},{q^{- N}};q)}_n}{q^n}} \over {{{\left({{{{\rho_1}{\rho_2}} \over a}{q^{- N}};q} \right)}_n}}}{\beta_n}.

For N → ∞, (2.8) yields (2.2).

WP-Bailey Pairs and Related Theorems

In this section we have established certain theorems involving WP-Bailey pairs.

A WP-Bailey is a pair of sequences {αn(a,k), βn(a,k)} satisfying α0(a,k) = β0(a,k) = 1 and βn(a,k)=r=0n(ka;q)nr(k;q)n+r(q;q)nr(aq;q)n+rαr(a,k)=(ka,k;q)n(q,aq;q)nr=0n(qn,kqn;q)r(aq1nk,aq1+n;q)r(aqk)rαr(a,k).\matrix{{{\beta_n}(a,k)} \hfill & {= \sum\limits_{r = 0}^n {{{{\left({{k \over a};q} \right)}_{n - r}}{{(k;q)}_{n + r}}} \over {{{(q;q)}_{n - r}}{{(aq;q)}_{n + r}}}}{\alpha_r}(a,k)} \hfill \cr {} \hfill & {= {{{{\left({{k \over a},k;q} \right)}_n}} \over {{{(q,aq;q)}_n}}}\sum\limits_{r = 0}^n {{{{({q^{- n}},k{q^n};q)}_r}} \over {{{\left({{{a{q^{1 - n}}} \over k},a{q^{1 + n}};q} \right)}_r}}}{{\left({{{aq} \over k}} \right)}^r}{\alpha_r}(a,k).} \hfill}

The corresponding WP-conjugate Bailey pair 〈γn(a,k), δn(a,k)〉 is given by, γn(a,k)=r=0(ka;q)r(k;q)r+2n(q;q)r(aq;q)r+2nδr+n(a,k)=(k;q)2n(aq;q)2nr=0(ka;q)r(kq2n;q)r(q;q)r(aq1+2n;q)rδr+n(a,k).\matrix{{{\gamma_n}(a,k)} \hfill & {= \sum\limits_{r = 0}^\infty {{{{\left({{k \over a};q} \right)}_r}{{(k;q)}_{r + 2n}}} \over {{{(q;q)}_r}{{(aq;q)}_{r + 2n}}}}{\delta_{r + n}}(a,k)} \hfill \cr {} \hfill & {= {{{{\left({k;q} \right)}_{2n}}} \over {{{(aq;q)}_{2n}}}}\sum\limits_{r = 0}^\infty {{{{\left({{k \over a};q} \right)}_r}{{\left({k{q^{2n}};q} \right)}_r}} \over {{{\left({q;q} \right)}_r}{{(a{q^{1 + 2n}};q)}_r}}}{\delta_{r + n}}(a,k).} \hfill}

If 〈αn(a,k), βn(a,k)〉 is a WP-Bailey pair and 〈γn(a,k), δn(a,k)〉 is a WP-Conjugate Bailey pair then Bailey lemma gives, n=0αn(a,k)γn(a,k)=n=0βn(a,k)δn(a,k),\sum\limits_{n = 0}^\infty {\alpha_n}(a,k){\gamma_n}(a,k) = \sum\limits_{n = 0}^\infty {\beta_n}(a,k){\delta_n}(a,k), provided series involved in (3.2) and (3.3) are convergent.

(i) Choosing δr(a,k)=(a2qk2)r{\delta_r}(a,k) = {\left({{{{a^2}q} \over {{k^2}}}} \right)^r} in (3.2) and using the summation formula [2, App. II(II.8), p. 236] we find, γn(a,k)=(a2qk,aqk;q)(aq,a2qk2;q)(k;q)2n(a2qk;q)2n(a2qk2)n.{\gamma_n}(a,k) = {{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}{{{{(k;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}{\left({{{{a^2}q} \over {{k^2}}}} \right)^n}.

Putting these values of 〈γn(a,k), δn(a,k)〉 in (3.3) we have following theorem.

Theorem 6

If 〈αn(a,k), βn(a,k)〉 is a WP-Bailey pair then(a2qk,aqk;q)(aq,a2qk2;q)n=0(k;q)2n(a2qk;q)2n(a2qk2)nαn(a,k)=n=0(a2qk2)nβn(a,k).{{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}\sum\limits_{n = 0}^\infty {{{{(k;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}{\left({{{{a^2}q} \over {{k^2}}}} \right)^n}{\alpha_n}(a,k) = \sum\limits_{n = 0}^\infty {\left({{{{a^2}q} \over {{k^2}}}} \right)^n}{\beta_n}(a,k).

(ii) Putting δr(a,k)=(a2k2)r{\delta_r}(a,k) = {\left({{{{a^2}} \over {{k^2}}}} \right)^r} in (3.2) and making use of the summation formula [4, (1.4), p.771] we get, γn(a,k)=(a2qk,aqk;q)(aq,a2qk2;q)(k;q)2n(a2qk;q)2n(kk+a)(1+aq2n)(a2k2)n.{\gamma_n}(a,k) = {{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}{{{{(k;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}\left({{k \over {k + a}}} \right)(1 + a{q^{2n}}){\left({{{{a^2}} \over {{k^2}}}} \right)^n}.

Substituting these values 〈γn(a,k), δn(a,k)〉 in (3.3) we get the following theorem.

Theorem 7

If 〈αn(a,k), βn(a,k)〉 is a WP-Bailey pair then(a2qk,aqk;q)(aq,a2qk2;q)(kk+a)n=0(k;q)2n(a2qk;q)2nαn(a,k)(a2k2)n+(a2qk,aqk;q)(aq,a2qk2;q)(kak+a)n=0(k;q)2n(a2qk;q)2n(a2q2k2)nαn(a,k)=n=0βn(a,k)(a2k2)n.\matrix{{{{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}\left({{k \over {k + a}}} \right)\sum\limits_{n = 0}^\infty {{{{(k;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}{\alpha_n}(a,k){{\left({{{{a^2}} \over {{k^2}}}} \right)}^n}} \hfill \cr {+ {{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}\left({{{ka} \over {k + a}}} \right)\sum\limits_{n = 0}^\infty {{{{(k;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}{{\left({{{{a^2}{q^2}} \over {{k^2}}}} \right)}^n}{\alpha_n}(a,k)} \hfill \cr {= \sum\limits_{n = 0}^\infty {\beta_n}(a,k){{\left({{{{a^2}} \over {{k^2}}}} \right)}^n}.} \hfill}

(iii) Taking δr=(a2qk2;q)Nr(a2qk2)r(q;q)Nr{\delta_r} = {{{{\left({{{{a^2}q} \over {{k^2}}};q} \right)}_{N - r}}{{\left({{{{a^2}q} \over {{k^2}}}} \right)}^r}} \over {{{(q;q)}_{N - r}}}} in (3.2) we find, γn(a,k)=(k;q)2n(aq;q)2n(a2qk2;q)Nn(q;q)Nn(a2qk2)n 3Φ2[kq2n,ka,q(Nn);q;qaq1+2n,k2a2q(Nn)].{\gamma_n}(a,k) = {{{{(k;q)}_{2n}}} \over {{{(aq;q)}_{2n}}}}{{{{\left({{{{a^2}q} \over {{k^2}}};q} \right)}_{N - n}}} \over {{{(q;q)}_{N - n}}}}{\left({{{{a^2}q} \over {{k^2}}}} \right)^n}{_3}{\Phi_2}\left[ {\matrix{{k{q^{2n}},{k \over a},{q^{- (N - n)}};q;q} \hfill \cr {a{q^{1 + 2n}},{{{k^2}} \over {{a^2}}}{q^{- (N - n)}}} \hfill \cr}} \right].

Now summing 3Φ2 series in (3.8) by making use of [2, App. II(II.12), p. 237] we get, γn(a,k)=(a2qk,aqk;q)N(q,aq;q)N(aq;q)2n(a2qk;q)2n(qN,a2q1+Nk;q)n(aqk)n(aq1+N,kaqN;q)n.{\gamma_n}(a,k) = {{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_N}} \over {{{\left({q,aq;q} \right)}_N}}}{{{{(aq;q)}_{2n}}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}}}{{{{\left({{q^{- N}},{{{a^2}{q^{1 + N}}} \over k};q} \right)}_n}{{\left({{{aq} \over k}} \right)}^n}} \over {{{\left({a{q^{1 + N}},{k \over a}{q^{- N}};q} \right)}_n}}}.

Putting these values of 〈γn(a,k), δn(a,k)〉 in (3.3) we have following theorem.

Theorem 8

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair thenn=0N(k;q)2n(qN,a2kq1+N;q)n(aqk)n(a2qk;q)2n(kqNa,aq1+N;q)nαn(a,k)=(aq,a2qk2;q)N(a2qk,aqk;q)Nn=0N(qN;q)nqn(k2qNa2;q)nβn(a,k).\matrix{{\,\,\,\sum\limits_{n = 0}^N {{{{(k;q)}_{2n}}{{\left({{q^{- N}},{{{a^2}} \over k}{q^{1 + N}};q} \right)}_n}{{\left({{{aq} \over k}} \right)}^n}} \over {{{\left({{{{a^2}q} \over k};q} \right)}_{2n}}{{\left({{{k{q^{- N}}} \over a},a{q^{1 + N}};q} \right)}_n}}}{\alpha_n}(a,k)} \hfill \cr {= {{{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_N}} \over {{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_N}}}\sum\limits_{n = 0}^N {{{{({q^{- N}};q)}_n}{q^n}} \over {{{\left({{{{k^2}{q^{- N}}} \over {{a^2}}};q} \right)}_n}}}{\beta_n}(a,k).} \hfill}

(iv) Choosing δr(a,k)=(1kq2r)(1k)(ρ1,ρ2;q)r(aqρ1ρ2)r(kqρ1,kqρ2;q)r{\delta_r}(a,k) = {{(1 - k{q^{2r}})} \over {(1 - k)}}{{{{({\rho_1},{\rho_2};q)}_r}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^r}} \over {{{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}};q} \right)}_r}}} in (3.2) we find, γn(a,k)=(k;q)2n(ρ1,ρ2;q)n(1kq2n)(aqρ1ρ2)n(aq;q)2n(kqρ1,kqρ2;q)n(1k). 6Φ5[kq2n,qn+1k,qn+1k,ρ1qn,ρ2qn,ka;q;aqρ1ρ2qnk,qnk,kqn+1ρ1,kqn+1ρ2,aq1+2n].\matrix{{{\gamma _n}(a,k)} \hfill & {= {{{{(k;q)}_{2n}}{{({\rho _1},{\rho _2};q)}_n}(1 - k{q^{2n}}){{\left({{{aq} \over {{\rho _1}{\rho _2}}}} \right)}^n}} \over {{{(aq;q)}_{2n}}{{\left({{{kq} \over {{\rho _1}}},{{kq} \over {{\rho _2}}};q} \right)}_n}(1 - k)}}} \hfill \cr {} \hfill & {{{.}_6}{\Phi _5}\left[ {\matrix{{k{q^{2n}},{q^{n + 1}}\sqrt k, - {q^{n + 1}}\sqrt k,{\rho _1}{q^n},{\rho _2}{q^n},{k \over a};q;{{aq} \over {{\rho _1}{\rho _2}}}} \hfill \cr {{q^n}\sqrt k, - {q^n}\sqrt k,{{k{q^{n + 1}}} \over {{\rho _1}}},{{k{q^{n + 1}}} \over {{\rho _2}}},a{q^{1 + 2n}}} \hfill \cr}} \right].} \hfill}

Summing the 6Φ5 series in (3.11) by using [2, App. II (II 20), p. 238] we find, γn(a,k)=(kq,kqρ1ρ2,aqρ1,aqρ2;q)(ρ1,ρ2;q)n(kqρ1,kqρ2,aq,aqρ1ρ2;q)(aqρ1,aqρ2;q)n(aqρ1ρ2)n.{\gamma_n}(a,k) = {{{{\left({kq,{{kq} \over {{\rho_1}{\rho_2}}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}{{({\rho_1},{\rho_2};q)}_n}} \over {{{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)^n}.

Putting these values of 〈γn(a,k), δn(a,k)〉 in (3.3) we get following theorem.

Theorem 9

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair then(kq,kqρ1ρ2,aqρ1,aqρ2;q)(kqρ1,kqρ2,aq,aqρ1ρ2;q)n=0(ρ1,ρ2;q)n(aqρ1ρ2)n(aqρ1,aqρ2;q)nαn(a,k)=n=0(1kq2n1k)(ρ1,ρ2;q)n(aqρ1ρ2)n(kqρ1,kqρ2;q)nβn(a,k).\matrix{\hfill {{{{{\left({kq,{{kq} \over {{\rho_1}{\rho_2}}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}} \over {{{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}}}\sum\limits_{n = 0}^\infty {{{{({\rho_1},{\rho_2};q)}_n}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\alpha_n}(a,k)} \cr \hfill {= \sum\limits_{n = 0}^\infty \left({{{1 - k{q^{2n}}} \over {1 - k}}} \right){{{{({\rho_1},{\rho_2};q)}_n}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}};q} \right)}_n}}}{\beta_n}(a,k).}}

As ρ1, ρ2 → ∞, (3.13) yields following theorem.

Theorem 10

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair then(kq;q)(aq;q)n=0qn2anαn(a,k)=n=0(1kq2n1k)qn2anβn(a,k).{{{{(kq;q)}_\infty}} \over {{{(aq;q)}_\infty}}}\sum\limits_{n = 0}^\infty {q^{{n^2}}}{a^n}{\alpha_n}(a,k) = \sum\limits_{n = 0}^\infty \left({{{1 - k{q^{2n}}} \over {1 - k}}} \right){q^{{n^2}}}{a^n}{\beta_n}(a,k).

(v) Taking δr(a,k)=(ρ1,ρ2,akρ1ρ2q1+N;q)r(1k;q)Nr(kqρ1,kqρ2,ρ1ρ2aqN;q)r(q;q)Nr(q2Nk)r{\delta_r}(a,k) = {{{{\left({{\rho_1},{\rho_2},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N}};q} \right)}_r}{{\left({{1 \over k};q} \right)}_{- N - r}}} \over {{{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},{{{\rho_1}{\rho_2}} \over a}{q^{- N}};q} \right)}_r}{{(q;q)}_{N - r}}}}{\left({{{{q^{- 2N}}} \over k}} \right)^r} in (3.2) we get γn(a,k)=(k;q)2n(1kq2n)(ρ1,ρ2,akρ1ρ2q1+N;q)n(qN;q)nqn(aq;q)2n(1k)(kqρ1,kqρ2,ρ1ρ2aqN;q)n(kq1+N;q)nqN(N+1)/2kN(q,kq;q)N.8Φ7[kq2n,qn+1k,qn+1k,ρ1qn,ρ2qn,akρ1ρ2q1+N+n,ka,q(Nn);q;qqnk,qnk,kρ1q1+n,kρ2q1+n,ρ1ρ2aq(Nn),aq1+2n,kq1+N+n].\matrix{{{\gamma_n}(a,k)} \hfill & {= {{{{(k;q)}_{2n}}(1 - k{q^{2n}}){{\left({{\rho_1},{\rho_2},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N}};q} \right)}_n}{{({q^{- N}};q)}_n}{q^n}} \over {{{(aq;q)}_{2n}}(1 - k){{\left({{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},{{{\rho_1}{\rho_2}} \over a}{q^{- N}};q} \right)}_n}{{(k{q^{1 + N}};q)}_n}}}{{{q^{N(N + 1)/2}}{k^N}} \over {{{(q,kq;q)}_N}}}} \hfill \cr {} \hfill & {{._8}{\Phi_7}\left[ {\matrix{{k{q^{2n}},{q^{n + 1}}\sqrt k, - {q^{n + 1}}\sqrt k,{\rho_1}{q^n},{\rho_2}{q^n},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N + n}},{k \over a},{q^{- (N - n)}};q;q} \hfill \cr {{q^n}\sqrt k, - {q^n}\sqrt k,{k \over {{\rho_1}}}{q^{1 + n}},{k \over {{\rho_2}}}{q^{1 + n}},{{{\rho_1}{\rho_2}} \over a}{q^{- (N - n)}},a{q^{1 + 2n}},k{q^{1 + N + n}}} \hfill \cr}} \right].} \hfill}

Summing the 8Φ7 series in (3.15) by using [2, App.II (II.22), p. 238] we have γn(a,k)=(kqρ1ρ2,aqρ1,aqρ2;q)NqN(N+1)/2kN(q,aqρ1ρ2,kqρ1,kqρ2;q)N(aq;q)N .(ρ1,ρ2,kqρ1,kqρ2,akρ1ρ2q1+N,qN;q)n(aqk)n(aq1+N,aqρ1,aqρ2,ρ1ρ2kqN,kqρ1,kqρ2;q)n.\matrix{{{\gamma_n}(a,k)} \hfill & {= {{{{\left({{{kq} \over {{\rho_1}{\rho_2}}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_N}{q^{N(N + 1)/2}}{k^N}} \over {{{\left({q,{{aq} \over {{\rho_1}{\rho_2}}},{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}};q} \right)}_N}{{(aq;q)}_N}}}} \hfill \cr {} \hfill & {\,\,\,.{{{{\left({{\rho_1},{\rho_2},{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N}},{q^{- N}};q} \right)}_n}{{\left({{{aq} \over k}} \right)}^n}} \over {{{\left({a{q^{1 + N}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},{{{\rho_1}{\rho_2}} \over k}{q^{- N}},{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}};q} \right)}_n}}}.} \hfill}

Putting these values of 〈γn(a,k), δn(a,k)〉 in (3.3) we obtain the following theorem.

Theorem 11

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair then(kq,kqρ1ρ2,aqρ1,aqρ2;q)N(aq,aqρ1ρ2,kqρ1,kqρ2;q)Nn=0N(ρ1,ρ2,akρ1ρ2q1+N,qN;q)n(aqk)n(aq1+N,aqρ1,aqρ2,ρ1ρ2kqN;q)n=n=0(1kq2n1k)(ρ1,ρ2,akρ1ρ2q1+N,qN;q)nqn(kq1+N,kqρ1,kqρ2,ρ1ρ2aqN;q)nβn(a,k).\matrix{{\,\,\,\,\,{{{{\left({kq,{{kq} \over {{\rho_1}{\rho_2}}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_N}} \over {{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}},{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}};q} \right)}_N}}}\sum\limits_{n = 0}^N {{{{\left({{\rho_1},{\rho_2},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N}},{q^{- N}};q} \right)}_n}{{\left({{{aq} \over k}} \right)}^n}} \over {{{\left({a{q^{1 + N}},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},{{{\rho_1}{\rho_2}} \over k}{q^{- N}};q} \right)}_n}}}} \hfill \cr {= \sum\limits_{n = 0}^\infty \left({{{1 - k{q^{2n}}} \over {1 - k}}} \right){{{{\left({{\rho_1},{\rho_2},{{ak} \over {{\rho_1}{\rho_2}}}{q^{1 + N}},{q^{- N}};q} \right)}_n}{q^n}} \over {{{\left({k{q^{1 + N}},{{kq} \over {{\rho_1}}},{{kq} \over {{\rho_2}}},{{{\rho_1}{\rho_2}} \over a}{q^{- N}};q} \right)}_n}}}{\beta_n}(a,k).} \hfill}

As ρ2 → ∞, (3.17) yields the following theorem.

Theorem 12

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair then(kq,aqρ1;q)N(aq,kqρ1;q)Nn=0N(ρ1,qN;q)n(aq1+Nρ1)nαn(a,k)(aqρ1,aq1+N;q)n=n=0N(1kq2n1k)(ρ1,qN;q)n(kqρ1,kq1+N;q)n(aρ1q1+N)nβn(a,k).\matrix{{\,\,\,\,\,{{{{\left({kq,{{aq} \over {{\rho_1}}};q} \right)}_N}} \over {{{\left({aq,{{kq} \over {{\rho_1}}};q} \right)}_N}}}\sum\limits_{n = 0}^N {{{{\left({{\rho_1},{q^{- N}};q} \right)}_n}{{\left({{{a{q^{1 + N}}} \over {{\rho_1}}}} \right)}^n}{\alpha_n}(a,k)} \over {{{\left({{{aq} \over {{\rho_1}}},a{q^{1 + N}};q} \right)}_n}}}} \hfill \cr {= \sum\limits_{n = 0}^N \left({{{1 - k{q^{2n}}} \over {1 - k}}} \right){{{{({\rho_1},{q^{- N}};q)}_n}} \over {{{\left({{{kq} \over {{\rho_1}}},k{q^{1 + N}};q} \right)}_n}}}{{\left({{a \over {{\rho_1}}}{q^{1 + N}}} \right)}^n}{\beta_n}(a,k).} \hfill}

Bailey Pairs

In this section we give numerous Bailey pairs deducible from certain summation formulas.

(i) Choosing αr=qr(r+1)/2(a,qa,qa;q)rq32r(q,a,a;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a,q\sqrt a, - q\sqrt a;q)}_r}{q^{- {3 \over 2}r}}} \over {{{(q,\sqrt a, - \sqrt a;q)}_r}}} in (1.4) and using the summation formula [5, (4.1), p.76] we get, βn=12[(q12;q)n(1+a)(q,aq,a;q)n+(q12;q)n(1a)(q,aq,a;q)n].{\beta_n} = {1 \over 2}\left[ {{{{{(- {q^{- {1 \over 2}}};q)}_n}(1 + \sqrt a)} \over {{{(q,\sqrt {aq}, - \sqrt a;q)}_n}}} + {{{{(- {q^{- {1 \over 2}}};q)}_n}(1 - \sqrt a)} \over {{{(q, - \sqrt {aq},\sqrt a;q)}_n}}}} \right].αn and βn given in (4.1) form a Bailey pair.

(ii) Taking αr=qr(r+1)/2(a,qa;q)rqr(q,a;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a,q\sqrt a;q)}_r}{q^{- r}}} \over {{{(q,\sqrt a;q)}_r}}} in (1.4) and using the summation formula [5, (4.2), p.76] we get, βn=1+a2(1;q)n(q,aq,aq;q)n+1a2(1;q)n(q,a,qa;q)n.{\beta_n} = {{1 + \sqrt a} \over 2}{{{{(- 1;q)}_n}} \over {{{(q,\sqrt {aq}, - \sqrt {aq};q)}_n}}} + {{1 - \sqrt a} \over 2}{{{{(- 1;q)}_n}} \over {{{(q,\sqrt a, - q\sqrt a;q)}_n}}}.αn and βn given in (4.2) form a Bailey pair.

(iii) Taking αr=qr(r+1)/2(a;q)rq12r(q;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a;q)}_r}{q^{- {1 \over 2}r}}} \over {{{(q;q)}_r}}} in (1.4) and making use of the summation formula [5, (4.3), p.76] we find, βn=1+a2(q12;q)n(q,aq,qa;q)n+1a2(q12;q)n(q,aq,qa;q)n.{\beta_n} = {{1 + \sqrt a} \over 2}{{{{(- {q^{{1 \over 2}}};q)}_n}} \over {{{(q, - \sqrt {aq},q\sqrt a;q)}_n}}} + {{1 - \sqrt a} \over 2}{{{{(- {q^{{1 \over 2}}};q)}_n}} \over {{{(q,\sqrt {aq}, - q\sqrt a;q)}_n}}}.αn and βn given in (4.3) form a Bailey pair.

(iv) Choosing αr=q12r2(a;q)r(1aq2r)(q;q)r(1a){\alpha_r} = {{{q^{{1 \over 2}{r^2}}}{{(a;q)}_r}(1 - a{q^{2r}})} \over {{{(q;q)}_r}(1 - a)}} in (1.4) and using the summation formula [5, (4.5), p.77] we find, βn=1+a2a(q12;q)n(q,aq,qa;q)n1a2a(q12;q)n(q,aq,qa;q)n.{\beta_n} = {{1 + \sqrt a} \over {2\sqrt a}}{{{{(- {q^{- {1 \over 2}}};q)}_n}} \over {{{(q,\sqrt {aq}, - q\sqrt a;q)}_n}}} - {{1 - \sqrt a} \over {2\sqrt a}}{{{{(- {q^{- {1 \over 2}}};q)}_n}} \over {{{(q, - \sqrt {aq},q\sqrt a;q)}_n}}}.αn and βn given in (4.4) form a Bailey pair.

(v) Taking αr=qr(r+1)/2(a,qa;q)r(q,a;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a,q\sqrt a;q)}_r}} \over {{{(q,\sqrt a;q)}_r}}} in (1.4) and using the summation formula [5, (4.6), p.77] we find, βn=1+a2a(1;q)n(q,aq,aq;q)n1a2a(1;q)n(q,a,qa;q)n.{\beta_n} = {{1 + \sqrt a} \over {2\sqrt a}}{{{{(- 1;q)}_n}} \over {{{(q,\sqrt {aq}, - \sqrt {aq};q)}_n}}} - {{1 - \sqrt a} \over {2\sqrt a}}{{{{(- 1;q)}_n}} \over {{{(q,\sqrt a, - q\sqrt a;q)}_n}}}.αn and βn given in (4.5) form a Bailey pair.

(vi) Choosing αr=qr(r+1)/2(a;q)rq12r(q;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a;q)}_r}{q^{{1 \over 2}r}}} \over {{{(q;q)}_r}}} in (1.4) and making use of the summation formula [5, (4.7), p.77] we find, βn=1+a2a(q12;q)n(q,aq,qa;q)n1a2a(q12;q)n(q,aq,qa;q)n.{\beta_n} = {{1 + \sqrt a} \over {2\sqrt a}}{{{{(- {q^{{1 \over 2}}};q)}_n}} \over {{{(q, - \sqrt {aq},q\sqrt a;q)}_n}}} - {{1 - \sqrt a} \over {2\sqrt a}}{{{{(- {q^{{1 \over 2}}};q)}_n}} \over {{{(q,\sqrt {aq}, - q\sqrt a;q)}_n}}}.αn and βn given in (4.6) form a Bailey pair.

(vii) Taking αr=qr(r+1)/2(a,qa,b;q)r(ab)r(q,a,aqb;q)r{\alpha_r} = {{{q^{r(r + 1)/2}}{{(a, - q\sqrt a,b;q)}_r}{{\left({- {{\sqrt a} \over b}} \right)}^r}} \over {{{\left({q, - \sqrt a,{{aq} \over b};q} \right)}_r}}} in (1.4) and using the summation formula [2, App. II (II.14), p. 237] we get βn=(qab;q)n(q,qa,aqb;q)n.{\beta_n} = {{{{\left({{{q\sqrt a} \over b};q} \right)}_n}} \over {{{\left({q,q\sqrt a,{{aq} \over b};q} \right)}_n}}}.αn, βn〉 given in (4.7) form a Bailey pair.

(viii) Taking αr=qr(r+1)/2(a,b,c;q)r(1aq2r)(abc)r(q,aqb,aqc;q)r(1a){\alpha_r} = {{{q^{r(r + 1)/2}}{{(a,b,c;q)}_r}(1 - a{q^{2r}}){{\left({- {a \over {bc}}} \right)}^r}} \over {{{\left({q,{{aq} \over b},{{aq} \over c};q} \right)}_r}(1 - a)}} in (1.4) and using the summation formula [2, App. II (II.21), p. 238] we get βn=(aqbc;q)n(q,aqb,aqc;q)n.{\beta_n} = {{{{\left({{{aq} \over {bc}};q} \right)}_n}} \over {{{\left({q,{{aq} \over b},{{aq} \over c};q} \right)}_n}}}.αn, βn〉 given in (4.8) form a Bailey pair.

WP-Bailey Pairs

In this section we give certain WP-Bailey pairs out of which some are known and some are new.

(i) Taking αr(a,k)=(a,b;q)r(1aq2r)(q,aqb;q)r(1a)(1b)r{\alpha_r}(a,k) = {{{{(a,b;q)}_r}(1 - a{q^{2r}})} \over {{{\left({q,{{aq} \over b};q} \right)}_r}(1 - a)}}{\left({{1 \over b}} \right)^r} in (3.1) and summing the series by making use of [2, App. II (II.21), p. 238] we get, βn(a,k)=(k,kba;q)n(q,aqb;q)nbn.{\beta_n}(a,k) = {{{{\left({k,{{kb} \over a};q} \right)}_n}} \over {{{\left({q,{{aq} \over b};q} \right)}_n}{b^n}}}.αn(a,k), βn(a,k)〉 given in (5.1) form a WP-Bailey pair.

(ii) Choosing αr(a,k)=(a,b,c,a2qbck;q)r(1aq2r)(q,aqb,aqc,bcka;q)r(1a)(ka)r{\alpha_r}(a,k) = {{{{\left({a,b,c,{{{a^2}q} \over {bck}};q} \right)}_r}(1 - a{q^{2r}})} \over {{{\left({q,{{aq} \over b},{{aq} \over c},{{bck} \over a};q} \right)}_r}(1 - a)}}{\left({{k \over a}} \right)^r} in (3.1) and using the summation formula [2, App. II (II.22), p. 238] we get, βn(a,k)=(k,aqbc,kba,kca;q)n(q,aqb,aqc,kbca;q)n.{\beta_n}(a,k) = {{{{\left({k,{{aq} \over {bc}},{{kb} \over a},{{kc} \over a};q} \right)}_n}} \over {{{\left({q,{{aq} \over b},{{aq} \over c},{{kbc} \over a};q} \right)}_n}}}.αn(a,k), βn(a,k)〉 given in (5.2) form a WP-Bailey pair.

(iii) Again, choosing αn(a,k)=(a,ak;q)n(1aq2n)(q,kq;q)n(1a)(ka)n{\alpha_n}(a,k) = {{{{\left({a,{a \over k};q} \right)}_n}(1 - a{q^{2n}})} \over {{{\left({q,kq;q} \right)}_n}(1 - a)}}{\left({{k \over a}} \right)^n} in (3.1) and summing the series by making use of [2, App. II (II.21), p. 238] we get, βn(a,k)={1,     n=0.0,     n1{\beta_n}(a,k) = \left\{{\matrix{{1, n = 0} \hfill \cr {0, n \ge 1.} \hfill \cr}} \right.

So, 〈αn(a,k), βn(a,k)〉 given in (5.3) form a WP-Bailey pair.

(iv) If we take αr(a,k) = δr,0 in (3.1) we find, βn(a,k)=(k,ka;q)n(q,aq;q)n.{\beta_n}(a,k) = {{{{\left({k,{k \over a};q} \right)}_n}} \over {{{\left({q,aq;q} \right)}_n}}}.αn(a,k), βn(a,k)〉 given in (5.4) also form a WP-Bailey pair.

(v) In the summation formula [5, (1.3), p.71] if we take c=akq1/2c = {a \over k}{q^{1/2}} we get, 4Φ3[a,akq12,kqn,qn;q;qkq12,akq1n,aq1+n]=1+a2(aq,q;q)n(ka,kqa;q)n(kq12,ka;q)n(aq,qa;q)n+1a2(aq,q;q)n(ka,kqa;q)n(kq12,ka;q)n(aq,qa;q)n.\matrix{{{\,_4}{\Phi_3}\left[ {\matrix{{a,{a \over k}{q^{{1 \over 2}}},k{q^n},{q^{- n}};q;q} \hfill \cr {k{q^{{1 \over 2}}},{a \over k}{q^{1 - n}},a{q^{1 + n}}} \hfill \cr}} \right]} \hfill & {= {{1 + \sqrt a} \over 2}{{{{(aq,\sqrt q;q)}_n}{{\left({{k \over {\sqrt a}},k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({k{q^{{1 \over 2}}},{k \over a};q} \right)}_n}{{(\sqrt {aq},q\sqrt a;q)}_n}}}} \hfill \cr {} \hfill & {+ {{1 - \sqrt a} \over 2}{{{{(aq,\sqrt q;q)}_n}{{\left({- {k \over {\sqrt a}}, - k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({k{q^{{1 \over 2}}},{k \over a};q} \right)}_n}{{(- \sqrt {aq}, - q\sqrt a;q)}_n}}}.} \hfill}

Now, choosing αr(a,k)=(a,aq12k;q)n(q,kq12;q)n(ka)n{\alpha_r}(a,k) = {{{{\left({a,{{a{q^{{1 \over 2}}}} \over k};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}};q} \right)}_n}}}{\left({{k \over a}} \right)^n} in (3.1) and summing the series by using (5.5) we get βn(a,k)=1+a2(k,q12,ka,kqa;q)n(q,kq12,qa,aq;q)n+1a2(k,q12,ka,kqa;q)n(q,kq12,qa,aq;q)n.\matrix{{{\beta_n}(a,k)} \hfill & {= {{1 + \sqrt a} \over 2}{{{{\left({k,{q^{{1 \over 2}}},{k \over {\sqrt a}},k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}},q\sqrt a,\sqrt {aq};q} \right)}_n}}}} \hfill \cr {} \hfill & {+ {{1 - \sqrt a} \over 2}{{{{\left({k,{q^{{1 \over 2}}}, - {k \over {\sqrt a}}, - k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}}, - q\sqrt a, - \sqrt {aq};q} \right)}_n}}}.} \hfill}αn(a,k), βn(a,k)〉 given in (5.6) form a WP-Bailey pair.

(vi) Again, taking c=akq12c = {a \over k}{q^{{1 \over 2}}} in the summation formula [5, (4.4), p.77] we get, 4Φ3[a,akq12,kqn,qn;q;q2kq12,akq1n,aq1+n]=1+a2a(aq,q;q)n(ka,kqa;q)n(kq12,kq12a;q)n(aq,qa;q)n+1a2a(aq,a;q)n(ka,kqa;q)n(kq12,kq12a;q)n(aq,qa;q)n.\matrix{{{\,_4}{\Phi_3}\left[ {\matrix{{a,{a \over k}{q^{{1 \over 2}}},k{q^n},{q^{- n}};q;{q^2}} \hfill \cr {k{q^{{1 \over 2}}},{a \over k}{q^{1 - n}},a{q^{1 + n}}} \hfill \cr}} \right]} \hfill & {= {{1 + \sqrt a} \over {2\sqrt a}}{{{{(aq,\sqrt q;q)}_n}{{\left({{k \over {\sqrt a}},k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({k{q^{{1 \over 2}}},{{k{q^{{1 \over 2}}}} \over a};q} \right)}_n}{{(\sqrt {aq},q\sqrt a;q)}_n}}}} \hfill \cr {} \hfill & {+ {{1 - \sqrt a} \over {2\sqrt a}}{{{{(aq,\sqrt a;q)}_n}{{\left({- {k \over {\sqrt a}}, - k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({k{q^{{1 \over 2}}},{{k{q^{{1 \over 2}}}} \over a};q} \right)}_n}{{(- \sqrt {aq}, - q\sqrt a;q)}_n}}}.} \hfill}

Now, choosing αn(a,k)=(a,aq12k;q)n(q,kq12;q)n(kqa)n{\alpha_n}(a,k) = {{{{\left({a,{{a{q^{{1 \over 2}}}} \over k};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}};q} \right)}_n}}}{\left({{{kq} \over a}} \right)^n} in (3.1) and using (5.7) we get βn(a,k)=1+a2a(k,q12,ka,kqa;q)n(q,kq12,qa,aq;q)n1a2a(k,q12,ka,kqa;q)n(q,kq12,qa,aq;q)n.\matrix{{{\beta_n}(a,k)} \hfill & {= {{1 + \sqrt a} \over {2\sqrt a}}{{{{\left({k,{q^{{1 \over 2}}},{k \over {\sqrt a}},k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}},q\sqrt a,\sqrt {aq};q} \right)}_n}}}} \hfill \cr {} \hfill & {- {{1 - \sqrt a} \over {2\sqrt a}}{{{{\left({k,{q^{{1 \over 2}}}, - {k \over {\sqrt a}}, - k\sqrt {{q \over a}};q} \right)}_n}} \over {{{\left({q,k{q^{{1 \over 2}}}, - q\sqrt a, - \sqrt {aq};q} \right)}_n}}}.} \hfill}αn(a,k), βn(a,k)〉 given in (5.8) form a WP-Bailey pair. Bailey pairs given in (5.6) and (5.8) are believed to be new.

Bailey Chain

If 〈αn, βn〉 is a Bailey pair i.e. βn=r=0nαr(q;q)r(aq;q)r{\beta_n} = \sum\nolimits_{r = 0}^n {{{\alpha_r}} \over {{{(q;q)}_r}{{(aq;q)}_r}}} , then so 〈 αn'\alpha_n^{'} , βn'\beta_n^{'} 〉 is also a Bailey pair, where αn=(ρ1,ρ2;q)n(aqρ1ρ2)n(aqρ1,aqρ2;q)nαn.{\alpha_{n'}} = {{{{({\rho_1},{\rho_2};q)}_n}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^n}} \over {{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{\alpha_n}. and βn=r=0(ρ1,ρ2;q)r(aqρ1ρ2;q)nr(aqρ1ρ2)rβr(q;q)nr(aqρ1,aqρ2;q)n=(aqρ1ρ2;q)n(q,aqρ1,aqρ2;q)nr=0(ρ1,ρ2;q)r(qn;q)rqr(ρ1ρ2aqn;q)rβr.\matrix{{{\beta_{n'}}} \hfill & {= \sum\limits_{r = 0}^\infty {{{{({\rho_1},{\rho_2};q)}_r}{{\left({{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_{n - r}}{{\left({{{aq} \over {{\rho_1}{\rho_2}}}} \right)}^r}{\beta_r}} \over {{{(q;q)}_{n - r}}{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}} \hfill \cr {} \hfill & {= {{{{\left({{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_n}} \over {{{\left({q,{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}\sum\limits_{r = 0}^\infty {{{{({\rho_1},{\rho_2};q)}_r}{{\left({{q^{- n}};q} \right)}_r}{q^r}} \over {{{\left({{{{\rho_1}{\rho_2}} \over a}{q^{- n}};q} \right)}_r}}}{\beta_r}.} \hfill}

Thus, we find that if one Bailey pair 〈αn, βn〉 is known then a new Bailey pair 〈 αn'\alpha_n^{'} , βn'\beta_n^{'} 〉 can be constructed as shown above in (6.2). Repeating this process we can have infinite number of Bailey pairs if one initial pair is known. These Bailey pairs so constructed from an initial Bailey pair form a chain called Bailey chain.

WP-Bailey Tree

Andrews proved following two theorems for constructing WP-Bailey pairs from a initial known Bailey pair.

Theorem 13

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair, then so is the pairαn(a,k)\alpha_n^{'}(a,k) , βn(a,k)\beta_n^{'}(a,k)given by, αn(a,k)=(b,c;q)n(aqb,aqc;q)n(km)nαn(a,m),βn(a,k)=(mqb,mqc;q)n(aqb,aqc;q)nr=0n1mq2r1m(b,c;q)r(km;q)nr(k;q)n+r(mqb,mqc;q)r(q;q)nr(mq;q)m+r(km)rβr(a,m),\matrix{{{\alpha_n^{'}}(a,k) = {{{{(b,c;q)}_n}} \over {{{\left({{{aq} \over b},{{aq} \over c};q} \right)}_n}}}{{\left({{k \over m}} \right)}^n}{\alpha_n}(a,m),} \cr {{\beta_n^{'}}(a,k) = {{{{\left({{{mq} \over b},{{mq} \over c};q} \right)}_n}} \over {{{\left({{{aq} \over b},{{aq} \over c};q} \right)}_n}}}\sum\limits_{r = 0}^n {{1 - m{q^{2r}}} \over {1 - m}}{{{{(b,c;q)}_r}{{\left({{k \over m};q} \right)}_{n - r}}{{(k;q)}_{n + r}}} \over {{{\left({{{mq} \over b},{{mq} \over c};q} \right)}_r}{{(q;q)}_{n - r}}{{(mq;q)}_{m + r}}}}{{\left({{k \over m}} \right)}^r}{\beta_r}(a,m),}}

[6, Theorem (2.1)]

where m=bckaqm = {{bck} \over {aq}} .

Theorem 14

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair, then so is the pairαn(a,k)\alpha_n^{'}(a,k) , βn(a,k)\alpha_n^{'}(a,k)given by, αn(a,k)=(m;q)2n(k;q)2m(km)nαn(a,m),βn(a,k)=r=0n(km;q)nr(q;q)nr(km)rβr(a,m),\matrix{{{\alpha_n^{'}}(a,k) = {{{{(m;q)}_{2n}}} \over {{{(k;q)}_{2m}}}}{{\left({{k \over m}} \right)}^n}{\alpha_n}(a,m),} \cr {{\beta_n^{'}}(a,k) = \sum\limits_{r = 0}^n {{{{\left({{k \over m};q} \right)}_{n - r}}} \over {{{\left({q;q} \right)}_{n - r}}}}{{\left({{k \over m}} \right)}^r}{\beta_r}(a,m),}}

[6, Theorem (2.2)]

where m=a2qkm = {{{a^2}q} \over k} .

From these two theorems, each WP-Bailey pair gives rise to a binary tree of WP-Bailey pairs. Andrews coined this the WP-Bailey tree. The following four theorems due to Warnaar give additional branches to the Bailey tree.

Theorem 15

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair, then so is the pairαn(a,k)\alpha_n^{'}(a,k) , βn(a,k)\beta_n^{'}(a,k)given by, αn(a,k)=1σk121σk12qn1+σm12qn1+σm12(m;q)2n(k;q)2m(km)nαn(a,m),βn(a,k)=1σk121σk12qnr=0n1+σm12qn1+σm12(km;q)nr(q;q)nr(km)rβr(a,m),\matrix{{\alpha_n^{'}(a,k) = {{1 - \sigma {k^{{1 \over 2}}}} \over {1 - \sigma {k^{{1 \over 2}}}{q^n}}}{{1 + \sigma {m^{{1 \over 2}}}{q^n}} \over {1 + \sigma {m^{{1 \over 2}}}}}{{{{(m;q)}_{2n}}} \over {{{(k;q)}_{2m}}}}{{\left({{k \over m}} \right)}^n}{\alpha_n}(a,m),} \cr {\beta_n^{'}(a,k) = {{1 - \sigma {k^{{1 \over 2}}}} \over {1 - \sigma {k^{{1 \over 2}}}{q^n}}}\sum\limits_{r = 0}^n {{1 + \sigma {m^{{1 \over 2}}}{q^n}} \over {1 + \sigma {m^{{1 \over 2}}}}}{{{{\left({{k \over m};q} \right)}_{n - r}}} \over {{{\left({q;q} \right)}_{n - r}}}}{{\left({{k \over m}} \right)}^r}{\beta_r}(a,m),}}

[6, Theorem (2.3)]

where m=a2km = {{{a^2}} \over k} and σ = {−1, 1}.

The freedom in the choice of σ simply reflects that the above expressions are invariant under the simultaneous negation of k12{k^{{1 \over 2}}} , m12{m^{{1 \over 2}}} and σ.

Theorem 16

Ifαn(a,k), βn(a,k)〉 is a WP-Bailey pair, then so is the pairαn(a,k)\alpha_n^{'}(a,k) , βn(a,k)\beta_n^{'}(a,k)given by, αn(a2,k;q2)=αn(a,m;q),βn(a2,k;q2)=(mq;q)2n(aq;q)2nr=0n(1mq2r)(1m)(km2;q2)nr(k;q2)n+r(ma)nr(q2;q2)nr(m2q2;q2)n+rβr(a,m;q),\matrix{{\alpha_n^{'}({a^2},k;{q^2}) = {\alpha_n}(a,m;q),} \cr {\beta_n^{'}({a^2},k;{q^2}) = {{{{(- mq;q)}_{2n}}} \over {{{(- aq;q)}_{2n}}}}\sum\limits_{r = 0}^n {{(1 - m{q^{2r}})} \over {(1 - m)}}{{{{\left({{k \over {{m^2}}};{q^2}} \right)}_{n - r}}{{(k;{q^2})}_{n + r}}{{\left({{m \over a}} \right)}^{n - r}}} \over {{{({q^2};{q^2})}_{n - r}}{{({m^2}{q^2};{q^2})}_{n + r}}}}{\beta_r}(a,m;q),}}

[6, Theorem (2.4)]

where m=kaqm = {k \over {aq}} .

Theorem 17

Ifαn(a,k;q), βn(a,k;q)〉 is a WP-Bailey pair, then so is the pairαn(a,k;q)\alpha_n^{'}(a,k;q) , βn(a,k;q)\beta_n^{'}(a,k;q)given by, αn(a2,k;q2)=qn1+aq2n1+aαn(a,m;q),βn(a2,k;q2)=qn(mq;q)2n(a;q)2nr=0n(1mq2r)(1m)(km2;q2)nr(k;q2)n+r(ma)nr(q2;q2)nr(m2q2;q2)n+rβr(a,m;q),\matrix{{\alpha_n^{'}({a^2},k;{q^2}) = {q^{- n}}{{1 + a{q^{2n}}} \over {1 + a}}{\alpha_n}(a,m;q),} \cr {\beta_n^{'}({a^2},k;{q^2}) = {q^{- n}}{{{{(- mq;q)}_{2n}}} \over {{{(- a;q)}_{2n}}}}\sum\limits_{r = 0}^n {{(1 - m{q^{2r}})} \over {(1 - m)}}{{{{\left({{k \over {{m^2}}};{q^2}} \right)}_{n - r}}{{(k;{q^2})}_{n + r}}{{\left({{m \over a}} \right)}^{n - r}}} \over {{{({q^2};{q^2})}_{n - r}}{{({m^2}{q^2};{q^2})}_{n + r}}}}{\beta_r}(a,m;q),}}

[6, Theorem (2.5)]

where m=kam = {k \over a} .

Theorem 18

Ifαn(a,k;q), βn(a,k;q)〉 is a WP-Bailey pair, then so is the pairαn(a,k;q)\alpha_n^{'}(a,k;q) , βn(a,k;q)\beta_n^{'}(a,k;q)given by, α2n(a,k;q)=αn(a,m;q2),   α2n+1(a,k;q)=0,βn(a,k;q)=(mq;q2)n(aq;q)nr=0[n2](1mq2r)(1m)(km;q)nr(k;q)n+2r(ka)n2r(q;q)nr(mq;q)n+2rβr(a,m;q2),\matrix{{{\alpha_{2n}^{'}}(a,k;q) = {\alpha_n}(a,m;{q^2}), {\alpha_{2n + 1}^{'}}(a,k;q) = 0,} \cr {{\beta_n^{'}}(a,k;q) = {{{{(mq;{q^2})}_n}} \over {{{(aq;q)}_n}}}\sum\limits_{r = 0}^{[{n \over 2}]} {{(1 - m{q^{2r}})} \over {(1 - m)}}{{{{\left({{k \over m};q} \right)}_{n - r}}{{(k;q)}_{n + 2r}}{{\left({- {k \over a}} \right)}^{n - 2r}}} \over {{{(q;q)}_{n - r}}{{(mq;q)}_{n + 2r}}}}{\beta_r}(a,m;{q^2}),}}

[6, Theorem (2.6)]

where m=kam = {k \over a} .

Applications

In this section we shall establish certain transformation formulas by making use of the results established in previous sections.

(a) Substituting the Bailey pairs given in (4.1) in (2.2) we get, (aqρ1,aqρ2;q)(aq,aqρ1ρ2;q)5Φ5[a,qa,qa,ρ1,ρ2;q;aq12ρ1ρ2a,a,aqρ1,aqρ2,0]=1+a2 3Φ2[ρ1,ρ2,q12;q;aqρ1ρ2aq,a]+1a2 3Φ2[ρ1,ρ2,q12;q;aqρ1ρ2aq,a],   |aq12ρ1ρ2|<1.\matrix{{{{{{\left({{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_\infty}} \over {{{\left({aq,{{aq} \over {{\rho_1}{\rho_2}}};q} \right)}_\infty}}}} \hfill & {{\,_5}{\Phi_5}\left[ {\matrix{{a,q\sqrt a, - q\sqrt a,{\rho_1},{\rho_2};q; - {{a{q^{{1 \over 2}}}} \over {{\rho_1}{\rho_2}}}} \hfill \cr {\sqrt a, - \sqrt a,{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},0} \hfill \cr}} \right]} \hfill \cr {} \hfill & {= {{1 + \sqrt a} \over 2}{_3}{\Phi_2}\left[ {\matrix{{{\rho_1},{\rho_2}, - {q^{- {1 \over 2}}};q;{{aq} \over {{\rho_1}{\rho_2}}}} \hfill \cr {\sqrt {aq}, - \sqrt a} \hfill \cr}} \right]} \hfill \cr {} \hfill & {+ {{1 - \sqrt a} \over 2}{_3}{\Phi_2}\left[ {\matrix{{{\rho_1},{\rho_2}, - {q^{- {1 \over 2}}};q;{{aq} \over {{\rho_1}{\rho_2}}}} \hfill \cr {- \sqrt {aq},\sqrt a} \hfill \cr}} \right], \left| {{{a{q^{{1 \over 2}}}} \over {{\rho_1}{\rho_2}}}} \right| < 1.} \hfill}

Similar transformations can be established by putting Bailey pairs given in (4.1), (4.2), (4.3), (4.4), (4.5), (4.6), (4.7) and (4.8) in any one of the results given in (2.2), (2.3), (2.5), (2.6) and (2.8).

(b) If we put WP-Bailey pair given in (5.1) and (3.5) we get, (a2qk,aqk;q)(aq,a2qk2;q)8Φ7[a,qa,qa,b,k,k,kq,kq;q;a2qbk2a,a,aqb,aqk,aqk,aqk,aqk]=2Φ1[k,kba;q;a2qbk2aqb].\matrix{{{{{{\left({{{{a^2}q} \over k},{{aq} \over k};q} \right)}_\infty}} \over {{{\left({aq,{{{a^2}q} \over {{k^2}}};q} \right)}_\infty}}}\,} \hfill & {\,\,\,\,{\,_8}{\Phi_7}\left[ {\matrix{{a,q\sqrt a, - q\sqrt a,b,\sqrt k, - \sqrt k,\sqrt {kq}, - \sqrt {kq};q; - {{{a^2}q} \over {b{k^2}}}} \hfill \cr {\sqrt a, - \sqrt a,{{aq} \over b},{{aq} \over {\sqrt k}}, - {{aq} \over {\sqrt k}},a\sqrt {{q \over k}}, - a\sqrt {{q \over k}}} \hfill \cr}} \right]} \hfill \cr {} \hfill & {{=_2}{\Phi_1}\left[ {\matrix{{k,{{kb} \over a};q;{{{a^2}q} \over {b{k^2}}}} \hfill \cr {{{aq} \over b}} \hfill \cr}} \right].} \hfill}

Similar transformations can be established by substituting WP-Bailey pairs given in (5.2), (5.3), (5.4), (5.6) and (5.8) in any one of the results given in (3.5), (3.7), (3.10), (3.13), (3.14), (3.17) and (3.18).

(c) Replacing b, c by ρ1 and ρ2 in (7.1) respectively and then putting the values of αn(a, m), βn(a, m) from (5.1) we get new Bailey pairs. αn(a,k)=(a,qa,qa,b,ρ1,ρ2;q)n(q,a,a,aqb,aqρ1,aqρ2;q)n(kmb)n,βn(a,k)=(k,km,mqρ1,mqρ2;q)n(q,mq,aqρ1,aqρ2;q)nr=0n1mq2r1m(m,mba,ρ1,ρ2,kqn,qn;q)r(qb)r(q,aqb,mqρ1,mqρ2,mkq1n,mq1+n;q)r,\matrix{{\alpha_n^{'}(a,k) = {{{{\left({a,q\sqrt a, - q\sqrt a,b,{\rho_1},{\rho_2};q} \right)}_n}} \over {{{\left({q,\sqrt a, - \sqrt a,{{aq} \over b},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}{{\left({{k \over {mb}}} \right)}^n},} \cr {\beta_n^{'}(a,k) = {{{{\left({k,{k \over m},{{mq} \over {{\rho_1}}},{{mq} \over {{\rho_2}}};q} \right)}_n}} \over {{{\left({q,mq,{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}};q} \right)}_n}}}\sum\limits_{r = 0}^n {{1 - m{q^{2r}}} \over {1 - m}}{{{{\left({m,{{mb} \over a},{\rho_1},{\rho_2},k{q^n},{q^{- n}};q} \right)}_r}{{\left({{q \over b}} \right)}^r}} \over {{{\left({q,{{aq} \over b},{{mq} \over {{\rho_1}}},{{mq} \over {{\rho_2}}},{m \over k}{q^{1 - n}},m{q^{1 + n}};q} \right)}_r}}},}} where m=kρ1ρ2aqm = {{k{\rho_1}{\rho_2}} \over {aq}} .

Now, putting these values of αn(a,k)\alpha_n^{'}(a,k) and βn(a,k)\beta_n^{'}(a,k) given in (8.3) in (3.1) we get, (km,mqρ1,mqρ2,aq;q)n(mq,aqρ1,aqρ2,ka;q)n8Φ7[m,qm,qm,mba,ρ1,ρ2,kqn,qn;q;qbm,m,aqb,mqρ1,mqρ2,mkq1n,mq1+n]=8Φ7[a,qa,qa,b,ρ1,ρ2,kqn,qn;q;aqmba,a,aqb,aqρ1,aqρ2,akq1n,aq1+n].\matrix{{{{{{\left({{k \over m},{{mq} \over {{\rho_1}}},{{mq} \over {{\rho_2}}},aq;q} \right)}_n}} \over {{{\left({mq,{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},{k \over a};q} \right)}_n}}}} \hfill & {\,\,\,\,{\,_8}{\Phi_7}\left[ {\matrix{{m,q\sqrt m, - q\sqrt m,{{mb} \over a},{\rho_1},{\rho_2},k{q^n},{q^{- n}};q;{q \over b}} \hfill \cr {\sqrt m, - \sqrt m,{{aq} \over b},{{mq} \over {{\rho_1}}},{{mq} \over {{\rho_2}}},{m \over k}{q^{1 - n}},m{q^{1 + n}}} \hfill \cr}} \right]} \hfill \cr {} \hfill & {= {\,_8}{\Phi_7}\left[ {\matrix{{a,q\sqrt a, - q\sqrt a,b,{\rho_1},{\rho_2},k{q^n},{q^{- n}};q;{{aq} \over {mb}}} \hfill \cr {\sqrt a, - \sqrt a,{{aq} \over b},{{aq} \over {{\rho_1}}},{{aq} \over {{\rho_2}}},{a \over k}{q^{1 - n}},a{q^{1 + n}}} \hfill \cr}} \right].} \hfill} where m=kρ1ρ2aqm = {{k{\rho_1}{\rho_2}} \over {aq}} .

Putting the WP-Bailey pairs given in (5.1), (5.2), (5.3), (5.4), (5.5), (5.6), (5.7) and (5.8) in any one of the results given in (7.1), (7.2), (7.3), (7.4), (7.5) and (7.6) one finds new WP-Bailey pairs, on substituting these new Bailey pairs in (3.1) we get transformations similar to (8.4).

Conclusions

In this paper, certain transformation formulas involving q-hypergeometric series have been obtained by making use of theorems, Bailey Pairs and WP-Bailey Pairs established herein. From these transformation formulas q-series identities can be deduced which may have partition theoretic interpretations. Results of this paper are quite useful and we hope that these results will form the base of further research in the subject.

Bailey, W.N., Identities of the Rogers-Ramanujan type, Proc. London Math. Soc. (2) 50 (1949), p. 1–10.BaileyW.N.Identities of the Rogers-Ramanujan typeProc. London Math. Soc.2501949110Search in Google Scholar

Gasper, G. and Rahman, M., Basic hypergeometric series, Cambridge University Press, New York (1991).GasperG.RahmanM.Basic hypergeometric seriesCambridge University PressNew York1991Search in Google Scholar

Rogers, L.J., On two theorems of combinatory analysis and some allied identities, Proc. London Math. Soc. (2) 16 (1917), p. 315–336.RogersL.J.On two theorems of combinatory analysis and some allied identitiesProc. London Math. Soc.2161917315336Search in Google Scholar

Verma, A., On identities of Rogers-Ramanujan type, Indian J. Pure Appl. Math., 11(6), (1980) p. 770–790.VermaA.On identities of Rogers-Ramanujan typeIndian J. Pure Appl. Math.1161980770790Search in Google Scholar

Verma, A. and Jain, V.K., Certain summation formulae for q-series, J. Indian Math. Soc., 47(1983), p. 71–85.VermaA.JainV.K.Certain summation formulae for q-seriesJ. Indian Math. Soc.4719837185Search in Google Scholar

Warnaar, S. OLE, Extensions of the well poised and elleptic well-poised Bailey lemma, Indge Math. (N.S.) 14 (2003), p. 571–588.WarnaarS.OLE, Extensions of the well poised and elleptic well-poised Bailey lemmaIndge Math. (N.S.)142003571588Search in Google Scholar

Plan your remote conference with Sciendo