arxiv:math/ v1 [math.qa] 1 May 2001

Transcription

1 2000Primary 05A30, 33D5, 33D90 PARTIAL THETA FUNCTIONS I BEYOND THE LOST NOTEBOOK arxiv:math/005002v [mathqa May 200 S OLE WARNAAR Abstract It is shown how many of the partial theta function identities in Ramanujan s lost notebook can be generalized to infinite families of such identities Key in our construction is the Bailey lemma and a new generalization of the Jacobi triple product identity By computing residues around the poles of our identities we find a surprising connection between partial theta functions identities and Garret Ismail Stanton-type extensions of multisum Rogers Ramanujan identities Introduction G E Andrews discovery in 976 of Ramanujan s lost notebook [9 can probably be regarded as one of the most exciting finds ever in mathematics The lost notebook, which was hidden in a box containing papers from the late G N Watson s estate, is a handwritten manuscript of well over a hundred pages of hardly decipherable but very beautiful identities The first formula given by Andrews in his An introduction to Ramanujan s Lost notebook [5 is the following q-series transformation [9, p 37: () ( a) q n n ( aq j )( q j /a) j ( ) n a 2n+ q n(n+)/2 ( ) n a 3n q n(3n+)/2 ( a 2 q 2n+ )+ ( aq j )( q j /a) on which Andrews puts the adjective marvelous Characteristic of the above identity is that it contains a partial theta product ( a) n j ( aqj )( q j /a) and a partial theta sum ( a2 ) n q n(n+)/2 Here it should be noted that complete theta products and sums are connected by Jacobi s famous triple product identity [6, Eq (228) (2) ( ) n a n q n(n )/2 ( aq n )( q n /a)( q n ) n n There are many more identities for partial theta functions in the lost notebook With the standard notation (a;q) n n j0 ( aqj ) and (a,,a k ;q) n j 99 Mathematics Subject Classification [ Work supported by the Australian Research Council

2 2 OLE WARNAAR (a ;q) n (a k ;q) n, we state the following further examples [9, p 2; p 4; p 29 (3) (4) (q n+ ;q) n q n (a;q) n+ (q/a;q) n a n q n(n+) + (q;q 2 ) n q n (a;q) n+ (q/a;q) n a n q n(n+)/2 + a 3n+ q n(3n+2) ( aq 2n+ ) (a,q/a;q) ( ) n a 2n+ q n(n+) ( q,a,q/a;q) and (5) (q;q 2 ) n q 2n (a;q 2 ) n+ (q 2 /a;q) n a n q n(n+)/2 + ( ) n a 3n+ q n(3n+2) (+aq 2n+ ) ( q;q) (a,q 2 /a;q 2 ) As was typical of Ramanujan, there are no proofs of any of the partial theta function formulae in the lost notebook, making it impossible to determine how Ramanujan actually discovered them Proofs of () and (3) (5) (and of many more of Ramanujan s partial theta function identities) were found by Andrews [6, Eq (), (2), (36) and (34) Equation () was also proved by Andrews in [5 and by Fine [4, Eqs (72) and (75) Andrews proofs are at times quite intricate and rely heavily on standard and some not-so-standard identities for basic hypergeometric series This perhaps partially explains why Ramanujan s partial theta function identities, though beautiful and deep, have remained rather isolated and have not become as widely appreciated and studied as, for example, Ramanujan s mock theta functions The aim of this paper is to show that Ramanujan s partial theta function identities are just the tip of the iceberg and that there is actually a lot of hidden structure to () and (3) (5) For example, the identity (3) is the first in an infinite series of identities; the next identity in this series being closely related to another of Ramanujan s discoveries, that of the Rogers Ramanujan identities [4 Specifically, we claim (q n+ ;q) n q n (a;q) n+ (q/a;q) n n [ n q r(r+) r r0 a n q 2n(n+) + 4 i q ( ) i+ a i q (i 2) (qi,q 5 i,q 5 ;q 5 ) a 5n q 2n(5n+2i), where the q-binomial coefficients or Gaussian polynomials are defined by [ n (q;q) n m {0,,,n} (q;q) m (q;q) n m m q 0 otherwise More generally we have the following theorem

3 PARTIAL THETA FUNCTIONS 3 Theorem For k a positive integer, κ 2k+ and N j n j +n j+ + +n k there holds (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk κ a n q kn(n+) + ( ) i+ a i q (i 2) (qi,q κ i,q κ ;q κ ) i Here we define (a;q) n for all integers n as a κn q kn(κn+2i) (6) (a;q) n (a;q) (aq n ;q) so that, in particular, /(q;q) n 0 for negative n Observe that for i {,2} and k the triple product (q i,q κ i,q κ ;q κ ) becomes (q,q 2,q 3 ;q 3 ) Since also (q;q) 2n /(q;q) n (q n+ ;q) n one indeed finds (3) as the k case of Theorem Our next theorem embeds (4) in an infinite family Theorem 2 For k a positive integer, κ 2k and N j n j +n j+ + +n k there holds (q;q) 2n q n (a;q) n+ (q/a;q) n a n q (κ )(n+ 2 ) κ + i n,,n k 0 ( ) i+ a i q (i 2) (qi,q κ i,q κ ;q κ ) q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk 2 (q 2 ;q 2 ) nk ( ) n a κn q (κ )(kn+i)n To extend (5) we have to rewrite the term (q;q 2 ) n in the summand on the left as (q 2 ;q 2 ) 2n /(q 2 ;q 2 ) n ( q;q) 2n Theorem 3 For k a positive integer, κ 2k /2 and N j n j +n j+ + + n k there holds (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk ( q /2 ;q /2 ) 2nk 2k a n q (κ )(n+ 2 ) + ( ) i+ a i q 2) (qi,q κ i,q κ ;q κ ) (i (q,a,q/a;q) i ( ) n a 2κn q 2(κ )(κn+i)n( +a 2κ 2i q 2(κ )(κ i)(2n+)) Finally, the generalization of () to an infinite series is more complicated, involving a quintuple instead of triple product

4 4 OLE WARNAAR Theorem 4 For k a positive integer, κ 3k and N j n j +n j+ + +n k there holds (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk 2 (q;q) 2nk ( ) n a 3n q (2κ 3)(3n+)n/2( a 2 q (2κ 3)(2n+)) ( ) i+ a i q (i 2) (qi,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i ;q 4κ ) (q,a,q/a;q) i [ a 2κn 2i q (2κ 3)(κn i)n( a 2i q 2(2κ 3)in) κ + n To see this generalizes(), note that (q i,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i ;q 4κ ) for k i becomes (q,q 3,q 4 ;q 4 ) (q 2,q 6 ;q 8 ) (q,q 2,q 3,q 4 ;q 4 ) Several further results similar to Theorems 4, but reducing for k to partial theta function identities not in the lost notebook, will also be proved in this paper Apart from some deep but known results from the theory of q-series, the following generalized triple product identity will be crucial in our derivation of partial theta function identities Theorem 5 There holds + ( ) n q n(n )/2 (a n +b n (ab/q;q) 2n q n (7) ) (q,a,b;q) (q,a,b,ab;q) n n We believe this to be a very beautiful formula Note in particular that for b q/a one recovers the Jacobi triple product identity (2) Indeed, making this specialization only the n 0 term contributes to the sum on the right, whereas the left simplifies to n an q n(n )/2 Another nice specialization occurs when b a Substituting this and replacing a by (aq) /2 gives the transformation +2 n a n q 2n2 (aq;q 2 ( a;q) 2n q n ) (q, aq;q) n (aq;q 2 ) n The remainder of this paper is organized as follows The next section contains a proof of the key identity (7) In section 3 it is shown how (7) can be applied to give a very general partial theta function identity As examples Ramanujan s identities (3) and (4) are obtained Section 4 is devoted to the proof of Theorems 4 and related identities In sections 5 and 6 we exploit the fact that all of the partial theta function identities exhibit poles at a q N Calculating the residues around these simple poles yields new identities which turn out to be Rogers Ramanujan identities of the Garret Ismail Stanton type We conclude the paper in section 7 with a brief discussion of the possibilities and limitations of our approach to partial theta function identities The proofs of several polynomial identities needed in the main text can be found in an appendix

5 PARTIAL THETA FUNCTIONS 5 2 Proof of Theorem 5 As a first step we use (6) and (a;q) 2n (a;q) n (aq n ;q) n to put (7) in the form (2) (aq n,bq n ;q) (abq n ;q) n q n ( abq n )(q;q) n { + ( ab/q) } ( ) n q (n 2) (a n +b n ) Expanding the left side using the q-binomial theorem [4, Eq (336) n [ ( z) k q (k 2) n (22) (z;q) n k k0 and its limiting q-exponential sum [6, Eq (II2) (23) gives the quadruple sum LHS(2) n,i,j,k,l0 k0 ( z) k q (k 2) (q;q) k q (z;q) n ( ) i+j+k a i+k+l b j+k+l q (i 2)+( j 2)+( k 2)+n(i+j+k+l+) k l (q;q) i (q;q) j (q;q) k (q;q) n k Shifting n n+k, then summing over n using [6, Eq (II) z n (24), (q;q) n (z;q) and finally shifting i i k and j j k gives LHS(2) i,j,k,l0 k min{i,j} ( ) i+j+k a i+l b j+l q (i 2)+( j 2)+( k+ 2 )+l(k ) (q;q) i+j+l k (q;q) i k (q;q) j k (q;q) k Here the condition on the sum over k is added to avoid possible ambiguity for i+j +l k < 0 Employing the standard q-hypergeometric notation [6 [ a,,a r+ r+φ r ;q,z r+ φ r (a,,a r+ ;b,,b r ;q,z) b,,b r (a,,a r+ ;q) n z n (q,b,,b r ;q) n we can carry out the sum over k by the q-chu Vandermonde sum [6, (II6) (25) 2φ (a,q n ;c;q,q) (c/a;q) n (c;q) n a n, with a q i, n j and c q i j l This yields ( ) i+j a i+l b j+l q 2)+( (i 2) l j (q;q) i+l (q;q) j+l LHS(2) (q;q) i (q;q) j (q;q) l i,j,l0

6 6 OLE WARNAAR After the changes i i l and j j l the sum over l can again be performed by (25), now with a q i, n j and c 0 Hence LHS(2) ( ) i+j a i b j q 2)+( (i 2) ij j i,j0 Equating this with the right-hand side of (2) we are left to show that (26) ( ab/q) ( ) i+j a i b j q 2)+( (i 2) ij j + ( ) n q 2) (n (a n +b n ) i,j0 Making the change i i+j on the left and taking care to respect the ranges of summation gives LHS(26) ( ab/q) ( ) i a i (ab/q) j q 2) (i i jmax{0, i} ( ) i a i (ab/q) max{0, i} q 2) (i i + ( ) i a i q 2) (i + i i n ( ) i b i q (i+ 2 ) RHS(26) 3 A general partial theta function identity In this section we will show how (7) can be applied to yield a very general identity for partial theta functions from which Ramanujan s identities of the introduction easily follow First we replace a aq r+ and b bq r in (7) Using (6), (aq k ;q) n (a;q) n+k /(a;q) k and shifting n n r on the right this can be written as + ( ) n q 2) ( (n (aq r+ ) n +(bq r ) n) n q r abq 2r (q,a,b;q) ab nr By the use of the triple product identity (2) it follows that ( ) r q (r+ 2 ) { + ( ) n q (n 2) ( (aq r+ ) n +(bq r ) n)} n (q/b) r (q,b,q/b;q) + n (ab;q) 2n q n (q;q) n r (abq;q) n+r (a;q) n+ (b;q) n ( ) n+r{ a n q (n+r+ 2 ) (q/b) n q (n r 2 ) } Consequently there holds (q/b) r (q,b,q/b;q) + ( ) n+r{ a n q (n+r+ 2 ) (q/b) n q (n r 2 ) } n ( ) r q (r 2) (q,a,b;q) abq 2r ab nr (ab;q) 2n q n (q;q) n r (abq;q) n+r (a;q) n+ (b;q) n

7 PARTIAL THETA FUNCTIONS 7 Next we multiply both sides by f r and sum r over the nonnegative integers leading to (3) (ab;q) 2n q n (a;q) n+ (b;q) n (q,a,b;q) n r0 n ( ) r q (r 2) fr ( abq 2r ) (q;q) n r (ab;q) n+r+ (q/b;q) (a;q) {a n f r +(q/b) n r0 r (q/b) r f r r0 f r } ( ) n+r q (n+r+ 2 ) Of course one either has to impose conditions on f r to ensure convergence of all sums or one has to view this identity as a formal power series in q Nearly all our applications of this general result assume the relation b q/a Proposition 3 As a formal power series in a and q there holds (32) (q;q) 2n q n (a;q) n+ (q/a;q) n n r0 ( ) r q (r 2) fr ( q 2r+ ) (q;q) n r (q;q) n+r+ { f r + n r0 r a r f r r0 f r } ( ) n+r a n q (n+r+ 2 ) All that remains to be done to turn this into a Ramanujan-type partial theta function identity is to appropriately choose f r such that the sum (33) β n n r0 ( ) r q (r 2) fr ( q 2r+ ) (q;q) n r (q;q) n+r+ can be carried out explicitly The most general such f r appears to be (b,c;q) ( r q 2) r (34) f r (q 2 /b,q 2 /c;q) r bc Then, by the a q case of Rogers q-dougall sum [6, Eq (II2) [ a,qa /2, qa /2,b,c,q n aqn+ 6φ 5 a /2, a /2,aq/b,aq/c,aqn+;q, (aq,aq/bc;q) n (35), bc (aq/b,aq/c;q) n it follows that (36) β n Inserted in Proposition 3 this leads to (37) (q n+,q 2 /bc;q) n q n (a;q) n+ (q/a,q 2 /b,q 2 /c;q) n (q 2 /bc;q) n (q,q 2 /b,q 2 /c;q) n r0 2 ) ( ) n a n q (n+ n (b,c;q) ( r aq 2) r (q 2 /b,q 2 /c;q) r bc r where we have used the symmetry f r f r as follows from (a;q) n ( q/a)n q (n 2) (q/a;q) n ( ) r q 2) (r (b,c;q)r ( q n+3) r, (q 2 /b,q 2 /c;q) r bc

8 8 OLE WARNAAR The partial theta function identities (3) and (4) of Ramanujan arise as special limiting cases of this identity First, when b and c tend to infinity the sum over r on the right simplifies to r ( ) r q 3(r 2) q (n+3)r (q n+3,q n,q 3 ;q 3 ) ( ) (n+2)/3 q (n+)(n+2)/6 χ(n 0 (mod 3)), where we have used the triple product identity (2) and (38) (q i+mn,q m mn i ;q m ) (q i,q m i ;q m ) ( ) n q ni (n 2)m, and where χ(true), χ(false) 0 and x is the integer part of x Also letting b,c in the other terms in (37) we obtain Ramanujan s (3) This solves a problem of Andrews who remarked in [6: The primary reason that our proof is so complicated is that we have been unable to prove any generalization of (2) R Here (2) R is our (3) and the type of generalization Andrews alludes to is not a generalization like Theorem but a generalization involving additional free parameters In much the same way as we obtained (3) one finds (4) after taking b q and c in (37) The q-dougall sum(35) can also be used to derive quadratic and cubic analogues of (37) Specifically, from (35) it follows that and f 2r (q,b;q2 ) ( r q 2) r, f2r+ (q 2,q 3 /b;q 2 0 and β n ) r b f 3r (q;q3 ) r (q 3 ;q 3 ) r q r, f 3r+ f 3r+2 0 and β n both satisfy (33) By Proposition 3 we therefore have and (q,q 2 /b;q 2 ) n q n (a;q) n+ (q,q/a,q 2 /b;q) n n r0 r0 ( ) n+ a n q (n 2r 2 ) (q;q 3 ) n q n (a;q) n+ (q,q/a;q) n (a3 q 2 ;q 3 ) (a 3 q;q 3 ) n r0 (q,b;q 2 ) ( r a 2 q 2 ) r (q 2,q 3 /b;q 2 ) r b ( ) n+r+ a n q r+(n 3r 2 ) (q 2 /b;q 2 ) n (q,q 2 /b;q) n (q 2 ;q 2 ) n, (q;q 3 ) n (q;q) n (q;q) 2n (q,b;q 2 ) ( r q 2) r( q (4r+)n (q 2,q 3 /b;q 2 ) ) r b (q;q 3 ) r (q 3 ;q 3 ) r ( q (6r+)n ), where in the last equation the q-binomial theorem [6, (II3) φ 0 (a; ;q;z) (az;q) /(z;q) has been used to simplify the second term on the left

9 PARTIAL THETA FUNCTIONS 9 Taking b in the quadratic transformation leads to a formula that might well have been in the lost notebook, (q n+ ;q) n q n (a;q) n+ (q 2 + a+(+a) n ( )n a n q (n+ 2 ) (39),q/a;q) n For a this further simplifies to the elegant summation (q;q 2 ) n q n ( q,q 2 2 (q;q2 ) ;q) n (q 2 ;q 2 ) Before we continue to derive all of Ramanujan s identities of the introduction we will slightly change viewpoint and reformulate Proposition 3 as a Bailey pair identity 4 Partial theta functions and the Bailey lemma Let α {α n } and β {β n} Then the pair of sequences (α,β) is called a Bailey pair relative to a if [ (4) β n n r0 α r (q;q) n r (aq;q) n+r Comparing this definition with (32) and identifying (42) we get the following result α n ( ) n q (n 2) fn ( q 2n+ )/( q) Corollary 4 For (α,β) a Bailey pair relative to q there holds (43) β n (q;q) 2n q n (a;q) n+ (q/a;q) n ( q) (q 2,a,q/a;q) provided all sums converge α n ( ) n a n q (n 2) q 2n+ ( ) r+ a r q 2) (r r α n q ( r)n qr(2n+) q 2n+, In view of this result we need to find suitable Bailey pairs relative to q Before we present many such pairs, we recall a special case of Bailey s lemma [8, 8 which states that if (α,β) is a Bailey pair relative to a, then so is the pair (α,β ) given by α n an q n2 α n and β n n r0 a r q r2 β r (q;q) n r Iterating this leads to what is called the Bailey chain As will be shown shortly, all of our theorems of the introduction arise as Bailey chain identities To generate new Bailey pairs we will also use the notion of a dual Bailey pair [6 Let (α,β) (α(a,q),β(a,q)) be a Bailey pair relative to a Then the pair (α,β ) given by α n a n q n2 α n (a,q ) and β n a n q n(n+) β n (a,q ) is again a Bailey pair relative to a Since in the remainder of this section all Bailey pairs will have a q we will subsequently drop the phrase relative to q

10 0 OLE WARNAAR As our first example we prove Theorem The required initial Bailey pair is due to Rogers [20 and given as item B(3) in Slater s extensive list of Bailey pairs [23, α n ( ) n q n(3n+)/2 ( q 2n+ )/( q) and β n (q;q) n Iterating this along the Bailey chain one finds α (k) n ( ) n q kn(n+)+(n 2) ( q 2n+ )/( q) β (k) n n,,n k 0 q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk for k a positive integer and (α (),β () ) (α,β) Combining this with Corollary 4 and applying the triple product identity (2) yields β n (k) (q;q) 2n q n a n q kn(n+) (a;q) n+ (q/a;q) n ( ) r+ a r q 2) (r ( ) n q kn(n+)+(n+ 2 ) rn r n ( ) r+ a r q 2) (qr,q 2k r+,q 2k+ ;q 2k+ ) (r r The summand on the right vanishes when r 0 (mod 2k + ) Replacing r by i+(2k +)n with i {,,2k} and n a nonnegative integer and using (38), we arrive at Theorem The proof of Theorem 2 proceeds along the same lines We begin with the Bailey pair [23, E(3) α n ( ) n q n2 ( q 2n+ )/( q) and β n (q 2 ;q 2 ) n which implies the iterated pair α (k) n ( )n q n(kn+k ) ( q 2n+ )/( q) β n (k) q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk 2 (q 2 ;q 2 ) nk n,,n k 0 Hence, by Corollary 4 and the triple product identity (2), β n (k) (q;q) 2n q n (a;q) n+ (q/a;q) n a n q (2k )(n+ 2 ) + ( ) r+ a r q 2) (qr,q 2k r,q 2k ;q 2k ) (r r Replacingr byi+2knwith i {,,2k }andapplying(38)givestheorem2 Next we turn to Theorem 3, and for the first time a Bailey pair not in Slater s list is needed, α n ( ) n q (3n )n/4 ( q 2n+ (44) )/( q) and β n (q 2 ;q 2 ) n ( q /2 ;q) n

11 PARTIAL THETA FUNCTIONS which follows from the polynomial identity ( ) j q j(3j )/4[ 2n+ (45) n j q ( q2n+ )(q /2 ;q) n j proved in the appendix We note that by (42) the above choice for α n is equivalent to taking f r q r(r+)/4 in Proposition 3 Substituting the iterated Bailey pair α (k) n ( ) n q (3n )n/4+(k )n(n+) ( q 2n+ )/( q) β (k) n n,,n k 0 in equation (43) gives β (k) n (q;q) 2n q n (a;q) n+ (q/a;q) n q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk ( q /2 ;q /2 ) 2nk + a n q (4k 3)(n+)n/4 ( ) r+ a r q 2) (qr,q 2k r /2,q 2k /2 ;q 2k /2 ) (r r Now using that for g r such that g r 0 if r 0 (mod 4k ) there holds 2k { } g r g(4k )n+i +g (4k )(n+) i r i and applying (38) we obtain Theorem 3 For k this correspondsto (5) with q q /2 since (q i,q 2k i /2,q 2k /2 ;q 2k /2 ) (q /2 ;q /2 ) for k i Finally we prove Theorem 4 which is based on the new Bailey pair (46) α n ( ) (4n+)/3 q (2n )n/3 q2n+ χ(n (mod 3)) q β n (q;q) 2n as can be extracted from the polynomial identity { (47) j q j(6j )[ 2n+ n 3j q q(2j+)(3j+)[ 2n+ n 3j q } q 2n+ again proved in the appendix Iteration along the Bailey chain yields α (k) n ( ) (4n+)/3 q (2n )n/3+(k )n(n+) q2n+ χ(n (mod 3)) q β n (k) q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk 2 (q;q) 2nk n,,n k 0 which by Corollary 4 implies β (k) n (q;q) 2n q n (a;q) n+ (q/a;q) n ( ) n a 3n q n(3n+)(2κ 3)/2 ( a 2 q (2κ 3)(2n+) ) r ( ) r+ a r q (r 2) n q κn(3n+){ q 3nr q r(3n+)},

12 2 OLE WARNAAR where κ 3k Interestingly it is now the quintuple product identity[6, Exercise 56 (z 3n z 3n )q n(3n+)/2 (zq,/z,q;q) (z 2 q,q/z 2 ;q 2 ) n that is needed to transform the sum over n into a product We thus find that the above right-hand side equals (48) r ( ) r+ a r q (r 2) (q r,q 2κ r,q 2κ ;q 2κ ) (q 2κ 2r,q 2κ+2r ;q 4κ ) To rewrite this further we use that for g r such that g r 0 if r 0 (mod κ) there holds κ [ ( ) g r g i + g2κn+i +g 2κn i r i n Utilizing this and (38) expression (48) becomes κ ( ) i+ a i q 2) (qi,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i ;q 4κ ) (i (q,a,q/a;q) i [ a 2κn 2i q (2κ 3)(κn i)n( a 2i q 2(2κ 3)in), n concluding the proof of Theorem 4 In the remainder of this section we will prove several further partial theta series identities that do not reduce to identities of Ramanujan when k In fact, our first example assumes k 2 for reasons of convergence Calculating the Bailey pair dual to (46) gives α n ( ) (4n+)/3 q (n 2)n/3 q2n+ χ(n (mod 3)) q β n qn(n ) (q;q) 2n Iterating this Bailey pair and copying the previous proof one readily finds the following companion to Theorem 4 Theorem 4 For k 2, κ 3k 2 and N j n j +n j+ + +n k, (q;q) 2n q n q N2 + +N2 k 2 +2N2 k +N+ +N k 2 (a;q) n+ (q/a;q) n (q;q) n N (q;q) n (q;q) nk 2 (q;q) 2nk n,,n k 0 ( ) n a 3n q (2κ 3)(3n+)n/2( a 2 q (2κ 3)(2n+)) ( ) i+ a i q (i 2) (qi,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i ;q 4κ ) (q,a,q/a;q) i [ a 2κn 2i q (2κ 3)(κn i)n( a 2i q 2(2κ 3)in) κ + n

13 PARTIAL THETA FUNCTIONS 3 (49) Next we consider the Bailey pair α n q (n 2) ( q 2n+ ( ;q) n )/( q) and β n (q;q) n (q 2 ;q 2 ) n whichby (42)correspondstof n ( ) n Hence(49)followsbytakingb c q in (34) and (36) Inserting the iterated pair in (43) gives the next theorem Theorem 42 For k a nonnegative integer and N j n j +n j+ + +n k, (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 { ( ) n a n q kn(n+) + q N2 + +N2 k +N+ +N k ( ;q) nk (q;q) n N (q;q) n (q;q) nk (q 2 ;q 2 ) nk r n } ( ) r+ a r q kn(n+)+(r n 2 ) Note that the sum over n in the second term on the right takes the form of a false theta series for which there is no product form This can be traced back to the fact that for f n ( ) n there holds f n f n instead of the usual f n f n (Note that for generic b and c (34) satisfies f n f n but that this is not necessarily so if either b or c assumes the singular value q) When k 0 the right-hand side trivializes and we get (40) +2 n (q n ;q) n q n (q,aq,q/a;q) n a +a which simplifies nicely for a to (q n ;q) n q n (4) +2 (q;q) 3 n (q;q) 3 n ( 2 n ( ) n q (n+ 2 ) ( ) n a n ) q 2) (n Similar to the previous example we take b q and c in (34) and (36) to obtain (42) α n q n2 ( q 2n+ )/( q) and β n (q;q) 2 n Carrying out the usual calculations this yields the second-last theorem of this section Theorem 43 For k a nonnegative integer and N j n j +n j+ + +n k, (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 ( ) n a n q (2k+)(n+ 2 ) { + r q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk (q;q) 2 n k n } ( ) r+ a r q (2k+)(n+ 2 )+( r n 2 ) Again a dramatic simplification occurs for the smallest value of k By { r n }( ) r+ a r q (n+ 2 )+( r n 2 ) r0 r ( ) r+ a r q (n+ r 2 )+( r n 2 ) ( 2 ( ) r+n a r+n+ q (n+ 2 )+( r+ 2 ) a ( ) n a n q (n+ 2 )),

14 4 OLE WARNAAR the k 0 instance of Theorem 43 becomes ( ) 2 ( ) (q n+ ;q) n q n n a n q (n+ 2 ) ( ) n a n q (n+ 2 ) +a (43) (a;q) n+ (q,q/a;q) n Our next Bailey pair can be expressed most concisely as α 2n α 2n ( ) n q n(3n ) ( q 4n+ )/( q) and β n (q;q) n (q;q 2 ) n, where n in α 2n is assumed to be negative This Bailey pair can be read off from the polynomial identity ( ) j q j(3j ) ( q 4j+ ) [ 2n+ (44) n 2j q ( q2n+ )( q;q) n j established in the appendix The resulting theorem is similar to those of the introduction but not quite as beautiful since we cannot carry out the usual reduction of the sum over r (One can still use the quasi-periodicity of the triple product on the right to write the sum over r as a finite sum over i and an infinite sum over n such that the new triple product is n-independent, but due to lack of symmetry, the resulting equation lacks the usual elegance) Theorem 44 For k a nonnegative integer and N j n j +n j+ + +n k, (q;q) 2n q n (a;q) n+ (q/a;q) n n,,n k 0 q N2 + +N2 k +N+ +N k (q;q) n N (q;q) n (q;q) nk (q;q 2 ) nk ( ) n a 2n q n2 +2(k )(2n+)n ( aq (2k )(2n+)) { + a r r r a r} ( ) r+ q (r 2) (q6k 2r 2,q 2k+2r,q 8k 2 ;q 8k 2 ) As we have come to expect, the k case permits a simplification: (45) ( q;q) n q n (a;q) n+ (q/a;q) n +(+a) ( ) n a 2n q n2 n This generalizes the not at all deep, but elegant q n 2 ( q;q) n ( q;q) + a (+a) n a3n q n(3n )/2 ( aq n ) (q;q 2 ) (a,q/a;q) obtained for a It will by now be overly clear that the list of nice applications of Corollary 4 is sheer endless, and without too much effort one can obtain many more new Bailey pairsrelativetoq suchthatα n hasadesiredfactor( q 2n+ )/( q) Mostobvious

15 PARTIAL THETA FUNCTIONS 5 would of course be to use the dual Bailey pairs corresponding to, for example, (44) and (42) (note that (49) is self-dual), which are given by α n ( ) n q (n 3)n/4 ( q 2n+ )/( q) and β n ( )n q n(n 2)/2 (q 2 ;q 2 ) n ( q /2 ;q) n α n q n ( q 2n+ )/( q) and β n q n (q;q) 2 n The more adventurous reader might also further explore the possibility of transforming known Bailey pairs into new ones This has been our main technique (see the appendix) for deriving new Bailey pairs As long as one is willing to allow for Bailey pairs somewhat more complicated than those presented so far, the number of possible pairs appears to be limitless As an example, we have found numerous pairs of the type β n q n /(q;q) 2n and α 3n q 2n(3n ) ( q 6n+ )/( q) α 3n q 2n(3n 2)+ ( q 6n )/( q) α 3n+ q 2n(3n+) ( q 2n+ )( q 6n+3 )/( q) Unlike our earlier Bailey pairs this follows from a polynomial identity that can be viewed as a linear combination of alternating sums over q-binomial coefficients, (46) j q 2j(3j ){ [ 2n+ n 3j q [ } 2n+ n 3j+2 q q j q 2j(3j+2){ [ 2n+ n 3j q [ } 2n+ n 3j q n ( q 2n+ ) q Admittedly the identities obtained after iterating pairs such as the one above are too involved to be of great interest, but direct substitution in (43) often leads to results not much beyond those of Ramanujan Our present example, for example, yields (after some tedious but elementary calculations) q 2n (a;q) n+ (q/a;q) n +a+(+a 2 ) ( ) n a 3n 2 q n(3n )/2 (+aq n ) n + a2 +(+a 2 ) n ( )n a 2n q (n+ 2 ) (a,q/a;q) This is so close to () that it is surprising Ramanujan missed it A rather curious formula arises when we set a, q 2n ( q;q) 2 +2 n ( )n q (n+ 2 ) n ( q;q) 2 4 q n(3n )/2 ( q n ) We challenge the reader to explain why all nonzero coefficients on the right are ±4 5 Residual identities In the following two sections we exploit Andrews observation [8 that by calculating the residue around the pole a q N in Ramanujan s partial theta function identities and by then invoking analyticity to replace q N by a, new, nontrivial identities arise Of course, instead of considering just Ramanujan s identities we will n

16 6 OLE WARNAAR apply Andrews trick to the more general theorems obtained in the previous section As a first example however, we treat (37) in some detail Let a 0 q N with N a nonnegative integer and multiply both sides of (37) by (a a 0 ) The resulting identity is then of the form f n (a) g r (a) h n (a), r0 with lim a a0 f n (a) f n (a 0 )χ(n N) and lim a a0 g r (a) 0 We thus infer that f n+n (a 0 ) h n (a 0 ) n n By straightforward calculations this can be put in the form (5) (aq 2 /b,aq 2 /c,q 2 /bc;q) (q 2 /b,q 2 /c,aq 2 /bc;q) n (a 2 q n+,aq 2 /bc;q) n q n (q,aq,aq 2 /b,aq 2 /c;q) n ( ) n a n q (n+ 2 ) (q,q,aq;q) r ( ) r q 2) (r (b,c;q)r ( q n+3) r, (q 2 /b,q 2 /c;q) r bc where we have replaced a 0 by a By standard analyticity arguments we may now assume a to be an indeterminate When b and c tend to infinity the sum over r can be carried out by the triple product identity leading to [6, Eq (8) (52) (a 2 q n+ ;q) n q n (q,aq;q) n (q,aq;q) a 3n q n(3n+2) ( aq 2n+ ) Similarly, when b q and c we obtain (aq n+ ;q) n q n (53) (q;q) n (aq 2 ;q 2 ) n (aq 2 ;q 2 ) ( ) n a n q n(n+) The last two identities are in fact closely related to other results from the lost notebook If we take a in (52) and then apply Heine s fundamental transformation [6, Eq (III) (54) 2φ (a,b;c;q,z) (b,az;q) (c,z;q) 2φ (c/b,z;az;q,b), with b a q /2, c 0 and z q to transform the left side, we obtain after replacing q by q 2 [9, p 37 q n ( q;q 2 ) n+ ( ) n q 2n(3n+2) (+q 4n+2 ) This is the second marvelous formula given by Andrews in his introduction to the lost notebook [5, Eq (2) In [5 Andrews proofs this result by different means To transform (53) into another of Ramanujan s formulas is only slightly more involved First we use (aq n+ ;q) n (aq 2 ;q 2 ) n (aq;q2 ) n (aq;q) n ( aq;q) n(aq;q 2 ) n (a 2 q 2 ;q 2 ) n

17 PARTIAL THETA FUNCTIONS 7 to write (53) as ( aq;q) n (aq;q 2 ) n q n (q;q) n (a 2 q 2 ;q 2 ) n (aq 2 ;q 2 ) ( ) n a n q n(n+) By the quadratic analogue of Heine s fundamental transformation [, Thm A 3 (a;q 2 ) n (b;q) 2n z n (q 2 ;q 2 ) n (c;q) 2n (b;q) (az;q 2 ) (c;q) (z;q 2 ) with a z aq, b q and c aq 2 this gives the result (q;q 2 ) n (aq;q 2 ) n (aq) n ( aq;q) 2n+ ( ) n a n q n(n+) (c/b;q) n (z;q 2 ) n b n (q;q) n (az;q 2 ) n, For a this is a lost notebook identity [9, p 3 proved by Andrews [6, Eq (62) A further interesting specialization of (5) arises when we set a Then the double sum on the right can be simplified to a single sum resulting in a new 3φ 2 transformation First we keep a general and use [7, Lemma 2 (q/a;q) n+ (a,b,c;q) ( n q 2) n (q;q) 2n+ bc with a q n+ to write (5) as (aq 2 /b,aq 2 /c;q) (aq 2 /bc;q) (q,aq;q) (q2 /b,q 2 /c;q) (q,q 2 /bc;q) (a 2 q n+,aq 2 /bc;q) n q n (q,aq,aq 2 /b,aq 2 /c;q) n r ( aq 2) r (b,c;q) r bc r0 ( ) r q 2) (r (b,c;q)r ( aq 2) r, (q 2 /b,q 2 /c;q) r bc ( ) n a n q (n+ 2 ) (q 2r+2 ;q) n (q;q) n Here we have changed the order of summation on the right and shifted n n+r For a the sum over n yields /(q;q 2 ) r+ by the b limit of the Bailey Daum sum [6, Eq (II9) Therefore ( q 2 /b, q 2 /c;q) ( q 2 /bc;q) 2φ (a,b;aq/b;q, q/b) (q;q 2 ) n ( q 2 /bc;q) n q n (q, q 2 /b, q 2 /c;q) n (aq,aq 2 /b 2 ;q 2 ) (q,q 2 ) ( q/b,aq/b;q) (q 2 ;q 2 ) r0 (b,c;q) ( r q 2) r (q;q 2 ) r+ bc

18 8 OLE WARNAAR which can be written as the following nonstandard basic hypergeometric transformation ( q 2 /b, q 2 /c;q) ( q 2 /bc;q) [ q /2, q /2, q 2 /bc 3φ 2 q 2 /b, q 2 ;q,q /c [ q,b,c q2 ( q)(q 2 ;q 2 3φ 2 ) q 3/2, q3/2;q, bc 6 Garret Ismail Stanton-type identities Before calculating more residual identities we review a recent development in the theory of Rogers Ramanujan identities initiated by Garret, Ismail and Stanton [5 and further exploited by Andrews, Knopfmacher and Paule [0, and Berkovich and Paule [2, 3 As will be shown later, calculating the residues of Theorems 4 provides a surprising connection between partial theta function identities and Garret Ismail Stanton-type identities The famous Rogers Ramanujan identities are given by (6) r0 q r2 (q;q) r (q,q 4 ;q 5 ) and r0 q r(r+) (q;q) r (q 2,q 3 ;q 5 ) It is easy to see that the left-hand side of the first (second) Rogers Ramanujan identity is the generating function of partitions of n with difference between parts at least 2 (and no part equal to ) Schur exploited this fact in one of his proofs of the Rogers Ramanujan identities [22 and introduced two sequences of polynomials {e n } n and {d n } n where e n (d n ) is the generating function correspondingto the left-side of the first (second) Rogers Ramanujan identity with the added condition on the partitions that their largest part does not exceed n He then went on to show that both e n and d n satisfy the recurrence (62) x n+ x n +q n x n Schur s main result was the following closed form expressions for e n and d n [ e n ( ) j q j(5j )/2 n (63a) (n 5j +)/2 j q [ d n ( ) j q j(5j 3)/2 n (63b) (n 5j +2)/2 j To see that this settles the Rogers Ramanujan identities observe that by the triple product identity (2) e n and d n tend to the respective right-hand sides of (6) in the large n limit Alternative representations for e n and d n, probably known to Schur, but first explicitly given by MacMahon [7, 286 and 289 are e n q r2 [ n r r q and d n q q r(r+) [ n r r The two polynomial analogues of the Rogers Ramanujan identities obtained by equating the different representations for e n and d n were first given by Andrews in [2 After this introduction we now come to the beautiful discovery of Garret, q

19 PARTIAL THETA FUNCTIONS 9 Ismail and Stanton who found that for m a nonnegative integer [5, Eq (35) (64) r0 ( )m q ( m (q;q) r q r(r+m) 2) dm (q,q 4 ;q 5 ( )m q ( ) m 2) em (q 2,q 3 ;q 5 ) Here e d 0 0 and e 0 d consistent with the recurrence (62) For m 0 and m we of course just find the first and second Rogers Ramanujan identity A polynomial analogue of (64) was found by Andrews et al [0, Prop in the course of proving (64) via an extended Engel expansion Garret et al also found the inverse of (64) given by [5, Thm 3 (65) (q 3 2i,q 2i+2,q 5 ;q 5 i/2 ) ( ) j q 2j(j i)+(j+ j0 2 ) [ i j j q r0 q r(r+i 2j) (q;q) r Next we need a major generalization of (64) due to Berkovich and Paule [2 As a first step they use the recurrence (62) to obtain the following negative m analogue of (64) [2, Eq (0) q r(r m) e m(/q) (q;q) r (q,q 4 ;q 5 + d m(/q) ) (q 2,q 3 ;q 5 ) r0 for m a nonnegative integer Berkovich and Paule then proceed to generalize this to the Andrews Gordon identities given by [3 n,,n k 0 q N2 + +N2 k +Ni+ +N k (q;q) n (q;q) nk (qi,q κ i,q κ ;q κ ) for i {,,k}, κ 2k + and N j defined as usual Before we can give their result we need to define generalizations of the polynomials e n and d n as follows (66) X (p,p ) s,b (n;q) X (p,p ) s,b (n) j { q j(pp j+p ps) [ n j+s) (n+s b)/2 p j q [ n q(pj+)(p (n s b)/2 p j q where p,p,s,b and n are integers such that n+s+b is even The following duality relation [2, Eq (23) and (29) will be needed later (67) X (p,p ) s, (n;q) q (n s+)(n+s 3)/4 X (p p,p ) s, (n; /q) Comparing definition (66) with (63a) and (63b) shows that e n X (2,5) 2,2+σ (n) and d n X (2,5),2+σ (n) where σ {0,} is fixed by the condition that n+σ is even We are now prepared to state the generalization of (64) as found by Berkovich and Paule [2, Eq (32) }, (68) n,,n k 0 q N2 + +N2 k +N i + +N k mn (q;q) n (q;q) nk κ i i+i +m even (q i,q κ i,q κ ;q κ ) X (2,κ) i,i (m;/q)

20 20 OLE WARNAAR for i {,,k} and m a nonnegative integer For k 2 and i 2 this is (64) but even for k 2 and i this is new A polynomial analogue of the i k case of the above identity can be found in [3, Eq (3) After this long introduction into Garret Ismail Stanton-type generalizations of identities of the Rogers Ramanujan-type we return to our partial theta function identities and calculate the corresponding residual identities First we consider Theorem which implies the identity Corollary 6 For k 2 and κ 2k +, (69) (a 2 q n+ ;q) n q n (q;q) n n,,n k 0 q N2 + +N2 k +N+ +N k (aq;q) n N (q;q) n (q;q) nk κ ( ) i+ a i q 2) (qi,q κ i,q κ ;q κ ) (i (q,q,aq;q) i a κn q kn(κn+2i) The identity corresponding to k is given by (52) The similarity between (68) and (69) is quite striking and in the following we will show how equating coefficients of a n in the power series expansion of (69) leads to (68) for i As the obvious first step we use (6) and (38) to rewrite the above identity as (60) (a 2 q n+ ;q) n q n (q;q) n n,,n k 0 (aq n N+ ;q) q N2 + +N2 k +N+ +N k (q;q) n (q;q) nk ( ) r+ a r q 2) (qr,q κ r,q κ ;q κ ) (r (q;q) 2 r Now expanding the left side by (22) and (23) gives LHS(60) j,l,n,n,,n k 0 ( ) j+l a j+2l q (j+ 2 )+( l+ 2 )+n(j+l+) N k j+ i Ni(Ni+) (q;q) j (q;q) l (q;q) n l (q;q) n (q;q) nk Shifting n n+l, j j 2l and summing over n using (24) yields [ LHS(60) ( ) j+l a j q (j l+ 2 )+l(l+) j l l j,l0 n,,n k 0 q q N2 + +N2 k +N+ +N k (j 2l)N (q;q) n (q;q) nk Equating coefficients of a j with the right side of (60) thus gives (6) r/2 l0 ( ) l q l(3l 2r+)/2 [ r l l q n,,n k 0 q N2 + +N2 k +N+ +N k (r 2l)N (q;q) n (q;q) nk (qr+,q κ r,q κ ;q κ )

21 PARTIAL THETA FUNCTIONS 2 for r a nonnegative integer Comparing this result with (65) it becomes clear we should now invert By the connection coefficient formula [5, Eq (72) n/2 H n (x q) (q;q) n j0 ( q n 2j+ )q j n/2 j (q;q) j (q;q) n j+ l0 ( ) l p (l+ 2 ) (p;p)n 2j l H n 2j 2l (x p) (p;p) l (p;p) n 2j 2l for the q-hermite polynomials and by the q-hermite orthogonality [6, Exercise 722 it follows that n/2 h n (q;q) n j0 ( q n 2j+ )q j n/2 j (q;q) j (q;q) n j+ l0 ( ) l q (l+ 2 ) (q;q)n 2j l (q;q) l h n 2j 2l (q;q) n 2j 2l for an arbitrary sequence {h n } Choosing h n q n2 /4 f n this implies the following inversion (62a) (62b) g r r/2 l0 m/2 f m (q;q) m ( ) l q l(3l 2r+)/2 [ r l l j0 f r 2l q ( q m 2j+ )q j(j m+) (q;q) j (q;q) m j+ g m 2j This may also be derived without resorting to q-hermite polynomials using the q-dougall sum (35) with bc aq q n Since (6) is of the form (62a) we may rewrite it using (62b) to find (63) n,,n k 0 m/2 (q;q) m q N2 + +N2 k +N+ +N k mn (q;q) n (q;q) nk j0 m+ (q;q) m j m+j odd ( q m 2j+ )q j(j m+) (q;q) j (q;q) m j+ (q m 2j+,q κ+2j m,q κ ;q κ ) ( q j )q (j m )(j+m 3)/4 (q;q) (m j+)/2 (q;q) (m+j+)/2 (q j,q κ j,q κ ;q κ ) The left side coincides with the Berkovich Paule result (68) for i To also show that the above right side agrees with the right side of (68) requires some manipulations IfwedenotethesummandontherightbyS j thenalittlecalculation shows that S j S j Since also S j 0 if j 0 (mod κ) or j > m + we may therefore write m+ j m+j odd S j κ i r m+i odd S 2κr+i

22 22 OLE WARNAAR Using this as well as (38) we arrive at LHS(63) (q;q) m By the easily verified it thus follows that LHS(63) κ i m+i odd q (i m )(i+m 3)/4(qi,q κ i,q κ ;q κ ) r ( q j )(q;q) m [ (q;q) (m j+)/2 (q;q) (m+j+)/2 κ i m+i odd r ( q 2κr+i )q ((κ 2)(κr+i) κ)r (q;q) (m 2κr i+)/2 (q;q) (m+2κr+i+)/2 m (m j+)/2 q (i m )(i+m 3)/4(qi,q κ i,q κ ;q κ ) q ((κ 2)(κr+i) κ)r{ [ q qj[ m (m j )/2 q m (m 2κr i+)/2 q q2κr+i[ m (m 2κr i )/2 q In the first term within the curly braces we replacer r and use [ [ m+n m m+n n Comparing the resulting expression with (66) we find that the second line of the above equation is X (κ 2,κ) i, (m) By the duality relation (67) we therefore find LHS(63) κ i m+i odd (q i,q κ i,q κ ;q κ ) X (2,κ) i, (m; /q) in agreement with the right side of (68) for i Before we continue to treat the other theorems of sections and 4 let us briefly comment on (6) Because of the ocurrence of the q-binomial coefficient it is clear that for negative values of r the left side trivially vanishes The right side, on the other hand, is nonvanishing for any integer r as long as r + 0 (mod κ), and is in fact symmetric under the transformation r κ r 2 To obtain an identity valid for all integers r one can use the symmetry of the right side (or more precisely, the quasi-periodicity under the transformation r r 2) to prove that r/2 l [ r l ( ) l q l(3l 2r+)/2 r 2l q n,,n k 0 } q N2 + +N2 k +N+ +N k (r 2l)N (q;q) n (q;q) nk (qr+,q κ r,q κ ;q κ ), where r is now an arbitrary integer and where the q-binomial coefficient is redefined as [ m+n m (q n+ ;q) m /(q;q) m for m a nonnegative integer and zero otherwise Note that this implies that the lower bound in the sum over l may be optimized to min{0,r+} The other theorems on partial theta functions may be applied in a similar manner Since each time the calculations only marginally differ, we will leave out the details and give the most important equations only The residual equation corresponding to Theorem 2 can be stated as follows

23 PARTIAL THETA FUNCTIONS 23 Corollary 62 For k 2 and κ 2k, (a 2 q n+ ;q) n q n (q;q) n n,,n k 0 κ ( ) i+ a i q (i 2) (qi,q κ i,q κ ;q κ ) (q,q,aq;q) i q N2 + +N2 k +N+ +N k (aq;q) n N (q;q) n (q;q) nk 2 (q 2 ;q 2 ) nk ( ) n a κn q (κ )(kn+i)n The identity corresponding to k is given by (53) By equating coefficients of a n one finds r/2 l0 ( ) l q l(3l 2r+)/2 [ r l l q n,,n k 0 q N2 + +N2 k +N+ +N k (r 2l)N (q;q) n (q;q) nk 2 (q 2 ;q 2 ) nk (qr+,q κ r,q κ ;q κ ) for r a nonnegative integer Inversion of this equation gives the i instance of n,,n k 0 q N2 + +N2 k +N i + +N k mn (q;q) n (q;q) nk 2 (q 2 ;q 2 ) nk κ i m+i+i odd (q i,q κ i,q κ ;q κ ) X (2,κ) i,i (m;/q), where we remind the reader that κ 2k In view of (68) it is not difficult to guess that the above is true for all i {,,k} The Garret Ismail Stanton-type identity associated to Theorem 3 takes a slightly different form First we calculate the residual identity Corollary 63 For k 2 and κ 2k /2, (a 2 q n+ ;q) n q n q N2 + +N2 k +N+ +N k (q;q) n (aq;q) n N (q;q) n (q;q) nk ( q /2 ;q /2 ) 2nk 2k n,,n k 0 ( ) i+ a i q 2) (qi,q κ i,q κ ;q κ ) (i (q,q,aq;q) i ( ) n a 2κn q 2(κ )(κn+i)n( +a 2κ 2i q 2(κ )(κ i)(2n+)) The equation corresponding to k is (a;q) n q n (q,a 2 (a;q) ;q) n (q,a 2 ( ) n a 3n q (3n )n/2 (+aq n ), ;q) where we have replaced a by a/q /2 By (54) with b 0, c a 2 and z q this can be transformed into ( ) n a 2n q 2) (n ( ) n a 3n q (3n )n/2 (+aq n ) (a;q) n+

24 24 OLE WARNAAR which for a q /2 yields Rogers false theta function identity [20, p 333; Eq (4) ( ) n q n(n+) (q;q 2 + ( ) n q 3n2 (q 2n q 2n ) ) n+ l0 n Returning to the more general case, we equate powers of a n in Corollary 63 to obtain r/2 [ r l ( ) l q l(3l 2r+)/2 q N2 + +N2 k +N+ +N k (r 2l)N l (q;q) n (q;q) nk ( q /2 ;q /2 ) 2nk q n,,n k 0 After inversion this gives the i instance of n,,n k 0 q N2 + +N2 k +N i + +N k mn (q;q) n (q;q) nk ( q /2 ;q /2 ) 2nk 2κ i m+i+i odd (qr+,q κ r,q κ ;q κ ) (q i,q κ i,q κ ;q κ ) X (4,2κ) i,i (m;/q) Again we conjecture this to hold for all i {,,k} and κ 2k /2 Note the subtle difference with earlier cases in that the sum over i on the right exceeds κ Since X (4,2κ) i,i (m;/q) (for i {,2κ } and i {,,k}) is a polynomial with only nonnegative coefficients [9 this implies that for i > κ the summand on the right (as a power series in q) has nonpositive coefficients Finally we treat Theorems 4 and 4 together Corollary 64 For σ {0,}, k 2 and κ 3k σ, (a 2 q n+ ;q) n q n (q;q) n n,,n k 0 q N2 + +N2 k +N+ +N k +σn k (N k ) (aq;q) n N (q;q) n (q;q) nk 2 (q;q) 2nk κ ( ) i+ a i q 2) (qi,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i ;q 4κ ) (i (q,q,aq;q) i [ a 2κn 2i q (2κ 3)(κn i)n{ a 2i q 2(2κ 3)in} n The identity corresponding to σ 0 and k turns out to be a special case of Heine s transformation (54) and has therefore been omitted Equating the coefficients of a n yields r/2 l0 ( ) l q l(3l 2r+)/2 [ r l l n,,n k 0 q q N2 + +N2 k +N+ +N k +σ(n 2 k N k ) (r 2l)N (q;q) n (q;q) nk 2 (q;q) 2nk (qr+,q 2κ r,q 2κ ;q 2κ ) (q 2κ 2r 2,q 2κ+2r+2 ;q 4κ ),

25 PARTIAL THETA FUNCTIONS 25 provided r is a nonnegative integer The inversion of this equation gives the i case of n,,n k 0 κ i m+i+i odd q N2 + +N2 k +N i + +N k +σn k (N k ) mn (q;q) n (q;q) nk 2 (q;q) 2nk (q i,q 2κ i,q 2κ ;q 2κ ) (q 2κ 2i,q 2κ+2i,q 4κ ;q 4κ ) X (3,κ) i,i (m;/q) Yet again we conjecture this to be true for all i {,,k} Since the outcomes are less spectacular, we leave the calculation of the residual identities of the remaining theorems of section 4 to the reader Instead we just list some of the simplest cases which we hope are of some interest Calculating the residue around a q N in (39) results in (a 2 q n+ ;q) n q n (q,aq,aq 2 +(+/a) n ( )n a n q (n+ 2 ) ;q) n ( q)(q,aq,aq 2 ;q) which for a simplifies to (q n+ ;q) n q n (q,q,q 2 +2 n ( )n q (n+ 2 ) ;q) n (q;q) 3 reminiscent of (4) The residual identity corresponding to (40) is (a 2 ;q) 2n q n (q,a,aq,a 2 q;q) n (q,aq,aq;q) ( ) n a n q (n+ which generalizes (4) obtained for a This last result becomes more interesting if we compare it with the analogous result obtained from (43): (a 2 q n+ ;q) n q n ( 2 ( ) n a n q (n+ 2 )) (q,aq,aq;q) n (q,aq,aq;q) Noting the similarity of the above two right-hand sides and using basic hypergeometric notation we infer that (3φ 2 [ a,aq /2, aq /2 aq,a 2 q ) 2 ;q,q 2 ) [ aq,aq /2, aq /2 3φ 2 (q,aq,aq;q) aq,a 2 q ;q,q Finally, calculating the residue around a q N in (45) yields ( aq;q) n q n (q,a 2 ( aq;q) [ q;q) n (q,a 2 (+a) a 3n 2 q n(3n )/2 ( aq n ) q;q) By Heine s transformation (54) with a aq, b 0, c a 2 q and z q this becomes ( ) n a 2n q (n+ 2 ) (+a) a 3n 2 q n(3n )/2 ( aq n ) ( aq;q) n+ n n

26 26 OLE WARNAAR For a this yields (64) ( ) n q n(n+) ( q 2 ;q 2 ) n+ +2 q 3n2 (q n q n ) Although this is a false theta function identity not in Rogers paper it readily follows that (64) (65) (65) with [20, p 333; Eq (6) ( ) n q n(n+) (65) ( q 2 ;q 2 + q 3n2 (q n q n ) ) n n n 7 Discussion In the abstract we stated that many of Ramanujan s partial theta function identities can be generalized by the method developed in this paper In the main text, however, we restricted ourselves to Ramanujan s identities () and (3) (5), which all have a very similar structure dictated by Proposition 3 To conclude we will give one example of how simple modifications lead to generalizations of other partial theta function identities of the lost notebook The identity we will generalize in our example is [9, p 37 q 2n+ (aq,q/a;q 2 ) n+ ( ) n+ a 3n+ q n(3n+2) (+aq 2n+ )+ ( ) n a 2n+ q n(n+) (aq,q/a;q 2 ) which was first proved by Andrews [6, Eq (39) First we take b q 2 /a in (3) and divide both sides by ( q/a) This yields (7) (q;q) 2n+ q n (a,q/a;q) n+ n r0 ( ) r q (r 2) fr ( q 2r+2 ) (q;q) n r (q;q) n+r+2 + { f r +q n n r0 r (a/q) r+ f r r0 f r } ( ) n+r a n q (n+r+ 2 ) provided all sums converge Recalling definition (4) of a Bailey pair this can be restated as follows Corollary 7 For (α,β) a Bailey pair relative to q 2 there holds (72) β n (q 2 ;q) 2n q n (a,q/a;q) n+ +( q 2 ) r α n ( ) n (a/q) n+ q (n 2) q 2n+2 ( q 2 ) ( ) r+ (a/q) r q 2) (r α n q ( r)n qr(2n+2) q 2n+2 The Bailey pair required to turn this into (7) is (73) α n ( ) 4n/3 q n(2n+)/3 q2n+2 q 2 χ(n 2 (mod 3)) β n (q 2 ;q) 2n

27 PARTIAL THETA FUNCTIONS 27 The proof of this pair comes down to the proof of the polynomial identity { q q(2j+)(3j+)[ } 2n+2 (74) q 2n+2 j q j(6j+)[ 2n+2 n 3j n 3j q established in the appendix If we insert (73) in (72), replace a by aq /2 followed by q q 2 we find (7) If first we use the Bailey lemma to obtain the iterated Bailey pair α n ( ) 4n/3 q n(2n+)/3+(k )n(n+2) q2n+2 q 2 χ(n 2 (mod 3)) q N2 + +N2 k +2N+ +2N k β n (q;q) n N (q;q) n (q;q) nk 2 (q 2 ;q) 2nk n,,n k 0 relative to q 2 and insert this in (72) with a replaced by aq /2, we obtain our final theorem Theorem 7 For k, κ 3k and N j n j +n j+ + +n k, (q 2 ;q) 2n q n+/2 q N2 + +N2 k +2N+ +2N k (aq /2,q /2 /a;q) n+ (q;q) n N (q;q) n (q;q) nk 2 (q 2 ;q) 2nk n,,n k 0 ( ) n+ a 3n+ q (2κ 3)(3n+2)n/2( +aq (2κ 3)(2n+)/2) ( ) i+ a i q (i )2 /2 (qκ+i,q κ i,q 2κ ;q 2κ ) (q 2i,q 4κ 2i ;q 4κ ) (q,aq /2,q /2 /a;q) i a 2κn q (2κ 3)(κn+i)n{ a 2κ 2i q (2κ 3)(κ i)(2n+)} κ + As a final comment we should note that it does not seem possible to prove and generalize all of Ramanujan s partial theta function formulas using (3), and it is an open problem whether one can modify our approach to extend an identity like [9, p 39 q 3n2 (a;q 3 ) n+ (q 3 /a;q 3 ) n q n q 3n(n ) (aq,q 2 /a;q 3 ) n +q/a n q 3n(n ) (q/a,aq 2 ;q 3 ) n (q;q) 2 (q 3 ;q 3 ) (a,q/a;q) which contains partial and complete theta functions of different moduli Appendix A Proofs of polynomial identities In this appendix we prove the various polynomial identities used in the main text for extracting Bailey pairs All proofs are based on identities obtained by Rogers in his classic 97 paper [20 on Rogers Ramanujan-type identities, which we transform using the q-binomial recurrences [ m+n m q [ m+n m q +qn m[ m+n m q [ m+n m q +qm[ m+n m q

28 28 OLE WARNAAR For the proof of (45) we require (A) (A2) j j ( ) j q j(3j )/4[ 2n n j q (q/2 ;q) n ( ) j q 3j(j )/4[ 2n n j q qn (q /2 ;q) n equivalent to the Bailey pairs G() and G(3) in Slater s list [23 Applying the first q-binomial recurrence to the left-hand side of (45) yields LHS(45) LHS(A)+q n+ j ( ) j q 3(j+)j/4[ 2n n j q (q /2 ;q) n q n+ LHS(A2) ( q 2n+ )(q /2 ;q) n, where the second equality follows after the variable change j j The ingredients needed for the proofs of (47), (46) and (74) are polynomial identities equivalent to the Bailey pairs A() A(4) [23, (A3) (A4) (A5) (A6) j j { q j(6j )[ 2n { n 3j q q(2j+)(3j+)[ 2n n 3j q q j(6j+)[ 2n+ n 3j q q(2j+)(3j+)[ 2n+ n 3j j j q j(6j+2){ [ 2n n 3j q [ } 2n n 3j q n q q j(6j+4){ [ 2n+ n 3j q [ } 2n+ n 3j q } } q q n To show (47) is true we take its left-hand side and apply the first (second) q- binomial recurrence to the first (second) term of the summand to find LHS(47) LHS(A3) q n+ LHS(A5) q 2n+ To establish (74) we take its left-hand side and apply the first q-binomial recurrences to both terms of the summand to find LHS(74) LHS(A4) q n+2 j q n+2 LHS(A6) q 2n+2, { q (j+)(6j+2)[ 2n+ } n 3j 2 q qj(6j+4)[ 2n+ n 3j q where the second equality follows by the variable change j j in the first term of the sum over j and the symmetry [ m+n m q [ m+n n The polynomial q identity (46) requires some more work First observe that the second line on the left of (46) is precisely qlhs(a6) q n+ Using the first (second) q-binomial recurrence on the first (second) term of the summand on the first line (and making

29 PARTIAL THETA FUNCTIONS 29 some trivial variable changes) thus gives LHS(46) LHS(A5) q n+ +q n+ j { q j(6j+)[ 2n n 3j q q(2j+)(3j+)[ 2n n 3j 2 q Next we expand the remaining sum over j using the first q-binomial recurrence This leads to LHS(46) q n q n+ +q n+ LHS(A4) n n { q 2n+2 q (j+)(6j+2)[ 2n j n 3j 3 q qj(6j+4)[ 2n n 3j 2 q q n q 2n+2 LHS(A6) n n q n ( q 2n+ ) } Finally we deal with (44) for which we need three polynomial identities equivalent to the Bailey pairs C(), C(2) and C(4) [23, ( ) j q j(3j )[ 2n (A7) n 2j ( q;q) n q (A8) (A9) j j ( ) j q j(3j+){ [ 2n j n 2j q [ 2n n 2j q } q n ( q;q) n ( ) j q 3j(j+)[ 2n+ n 2j q qn ( q;q) n First note that the second sum in (44) (corresponding to the term q 4j+ in ( q 4j+ )) is qlhs(a9) q n+ ( q;q) n We therefore need to show that the first sum, which will be denoted by S, equals (+q n+ ( q n ))( q;q) n Now, by the first q-binomial recurrence, S ( ) j q j(3j )[ 2n q +qn+ ( ) j q j(3j+)[ 2n j n 2j j n 2j q LHS(A7)+q n+ (LHS(A7) LHS(A8)) (+q n+ ( q n ))( q;q) n Here we note that in calculating LHS(A7) LHS(A8) one should first replace j j in (A7) and use [ [ m+n m m+n n References G E Andrews, On basic hypergeometric series, mock theta functions, and partitions (I), Quart J Math Oxford Ser (2) 7 (966), G E Andrews, A polynomial identity which implies the Rogers Ramanujan identities, Scripta Math 28 (970), G E Andrews, An analytic generalization of the Rogers Ramanujan identities for odd moduli, Prod Nat Acad Sci USA 7 (974), G E Andrews, The Theory of Partitions, Encyclopedia of Mathematics and its Applications, Vol 2, (Addison-Wesley, Reading, Massachusetts, 976) 5 G E Andrews, An introduction to Ramanujan s Lost Notebook, Amer Math Monthly 86 (979), G E Andrews, Ramanujan s lost notebook I Partial θ-functions, Adv Math 4 (98), }

30 30 OLE WARNAAR 7 G E Andrews, Ramanujan s lost notebook II ϑ-function expansions, Adv Math 4 (98), G E Andrews, Multiple series Rogers Ramanujan type identities, Pacific J Math 4 (984), G E Andrews, R J Baxter, D M Bressoud, W H Burge, P J Forrester and G Viennot, Partitions with prescribed hook differences, Europ J Combinatorics 8 (987), G E Andrews, A Knopfmacher and P Paule, An infinite family of Engel expansions of Rogers Ramanujan type, Adv Applied Math 25 (2000), 2 W N Bailey, Identities of the Rogers Ramanujan type, Proc London Math Soc (2) 50 (949), 0 2 A Berkovich and P Paule, Variants of the Andrews Gordon identities, mathco/ A Berkovich and P Paule, Lattice paths, q-multinomials and two variants of the Andrews Gordon identities, mathco/ N J Fine, Basic hypergeometric series and applications, Mathematical Surveys and Monographs, Vol 27, (American Mathematical Society, Providence, 988) 5 K Garrett, M E H Ismail and D Stanton Variants of the Rogers-Ramanujan identities, Adv in Appl Math 23 (999), G Gasper and M Rahman, Basic Hypergeometric Series, Encyclopedia of Mathematics and its Applications, Vol 35, (Cambridge University Press, Cambridge, 990) 7 P A MacMahon, Combinatory Analysis, Vol 2, (Cambridge University Press, London and New York, 96) 8 P Paule, On identities of the Rogers Ramanujan type, J Math Anal Appl 07 (985), S Ramanujan, The Lost Notebook and Other Unpublished Papers, (Narosa Publishing House, New Delhi, 988) 20 L J Rogers, On two theorems of combinatory analysis and some allied identities, Proc London Math Soc (2) 6 (97), A Schilling and S O Warnaar, Conjugate Bailey pairs From configuration sums and fractional-level string functions to Bailey s lemma, Contemp Math to appear, mathqa/ I J Schur, Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche, S-B Preuss Akad Wiss Phys-Math Kl (97), L J Slater, A new proof of Rogers s transformations of infinite series, Proc London Math Soc (2) 53 (95), Department of Mathematics and Statistics, The University of Melbourne, Vic 300, Australia address: warnaar@msunimelbeduau