q-series IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS George E. Andrews, Jorge Jiménez-Urroz and Ken Ono Appearing in the Duke Mathematical Journal.. Introduction and Statement of Results. As usual, define Dedekind s eta function ηz by the infinite product. ηz : q /24 q n. q : e 2πiz throughout In a recent paper, Zagier [Z; Theorem 2] proved that note. empty products equal throughout.2 η24z q q 24 q 48 q 24n η24zdq + Eq where the series Dq and Eq are defined by Dq 2 + Eq 2 q 24n q 24n 2 + 2 n nq n2 2 q 5 2 q25 7 2 q49 + 2 q2 +.... dnq 24n 2 + q24 + 2q 48 + 2q 72 + 3q 96 +..., Here dn denotes the number of positive divisors of n. This identity plays an important role in Zagier s work on Vassiliev invariants in knot theory [Z]. Two other similar identities were known, and they were noticed by the first author in connection with one of Ramanujan s mock theta functions. In [A2], the first author proved that η48z.3 η24z q + q24 + q 48 + q 24n η48z η24z Dq + M q, 2 The first and third authors thank the National Science Foundation for its generous research support. The second author thanks PB98-0067 for their support. The third author thanks the Alfred P. Sloan Foundation and the David and Lucile Packard Foundation for their support. Typeset by AMS-TEX
2 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO.4 η48z η24z q η48z q 24 q 72 q 242n+ η24z Dq2 + M q 2 where M q is the mock theta function given by.5 M q q + q 2n2 +2n+ + q 24 + q 48 + q 24n q + q25 q 49 + 2q 73. The q-series of the function M q was the focus of two extensive studies [A-D-H, C]. Although M q is not the Fourier expansion of a modular form, these works show that the coefficients of M q are given by a Hecke character for the quadratic field Q 6. In particular, M q enjoys nice properties that one expects for certain weight cusp forms. For these reasons, we shall refer to M q and M 2 q defined in.8 as mock theta functions although they do not exactly fit Ramanujan s original definition [A3; p. 29]. In view of identities.2-4, it is natural to investigate the general behavior of q-series which are obtained by summing the iterated differences between an infinite product and its truncated products. Here we establish two general theorems which yield infinitely many such identities, and we illustrate how such identities are useful in determining the values at negative integers for certain L-functions. We shall employ the standard notation.6 A; q n j0 Aq j Aq n+j, and throughout we assume that q < and that the other parameters are restricted to domains that do not contain any singularities of the series or products under consideration. Theorem. t; q t; q n a; q a; q n q/a; q n a/t n q/t; q n + t; q a; q q n q n + Theorem 2. a; q b; q a; q nb; q n q; q c; q q; q n c; q n b; q a; q c; q q; q q n t q n t q n q n tq n tq n aq n aq n aq n t aq n t. c/b; q n b n a; q n q n.
q-series IDENTITIES 3 Many interesting specializations of these two theorems yield identities for modular forms that are eta-products including identities.2-4. Here we highlight ten of these identities. First we fix notation. We let Θ be the operator defined by.7 Θ anq n nanq n. It is easy to see that the series Eq in.2 is given by Eq Θ η24z /2. In addition to the mock theta function M q, we shall require the mock theta function M 2 q defined by.8 M 2 q n q 24n2 q 24 q 72 q 242n q23 q 47. See [A-D-H] for a detailed study of this function. The ten eta-products F z, F 2 z,..., F 0 z we consider are of the form F i z η a i δ i zη b i 2δ i z with a i 0. Obviously, each F i z is a modular form of weight a i + b i /2. For each F i z we define quantities c i and f i j, which are not necessarily unique, for which.9 F i z c i f i j. These are listed in the table below. j Table. i F i z δ i c i f i j /η24z 24 q / q 24j 2 η2z/η 2 z + q j / q j 3 η8z/η 2 6z 8 q q 6j 8 / q 6j 4 η48z/η24z 24 q + q 24j 5 η48z/η24z 24 q/ q 24 / q 242j+ 6 η24z/η48z 24 q / + q 24j 7 η24z/η48z 24 q q 242j 8 η24z 24 q q 24j 9 η 2 z/η2z q j / + q j 0 η 2 6z/η8z 8 q/ q 8 q 6j / q 6j+8
4 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO If δ {, 8, 24}, then let d δ n be the divisor function defined by.0 d δ n Also, for each i define α i by. α i dn d n if δ 24, d n d if δ 8, d n odd if δ. { 2 if a i + 2b i δ i 24, 0 otherwise. Notice that α i /2 if and only if the order of vanishing of F i z at is. The last quantity we require is γ i which is defined by { 2 if i 5, 7,.2 γ i otherwise. Theorem 3. If i 0, then F i z c i n j where [ ] denotes the greatest integer function, f i j + [/δ i ] F i zd i q + G i q D i q α i + d δi nq δ iγ i n and 0 if i, 2, 3, M q/2 if i 4, 5, G i q 2M 2 q/γ i if i 6, 7, α i + [2/δ i ] Θ F i z if i 8, 9, 0. The three forms F z, F 2 z and F 3 z have weight -/2 and the four forms F 4 z, F 5 z, F 6 z and F 7 z have weight 0. The remaining three forms have weight /2. The series G 4 z, G 5 z, G 6 z and G 7 z are mock theta functions, whereas G 8 q, G 9 q and G 0 q are the half-derivatives of F 8 z, F 9 z and F 0 z. In other words, the error series G i q in Theorem 3 satisfy 0 if F i z has weight -/2, F i z G i q Mock Theta function if F i z has weight 0, ΘFi z if F i z has weight /2.
q-series IDENTITIES 5 Although these identities are elegant in their own right, they are also often useful in calculating the values of L-functions at negative integers. In particular, they lead to analogs of the classical result t e t + n+ ζ n t n n!, where ζs is the Riemann zeta-function. In this direction, Zagier used.2 to show that.3 e t/24 e t e 2t e nt 2 /24 n Lχ 2, 2n tn n!, where χ 2 is the Dirichlet character with modulus 2 defined by if n, mod 2, χ 2 n : if n 5, 7 mod 2, 0 otherwise. Here we illustrate the generality of this phenomenon by proving the following theorems. Theorem 4. As a power series in t, we have 4 e t e 2t e nt + e t + e 2t + e nt n 4 n+ ζ 2n tn n!. In addition to ζs, we shall consider the Dirichlet L-function.4 Lχ 2, s : χ 2 n n s, where if n, 7 mod 8,.5 χ 2 n : if n 3, 5 mod 8, 0 otherwise. Theorem 5. As a power series in t, we have 2e t/8 e 2t e 4t e 2nt + e t + e 3t + e 2n+t /8 n Lχ 2, 2n tn n!.
6 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO We shall also consider the Hecke L-function.6 Lρ, s an n s : a Z[ 6] χana s where χ is the order 2 character of conductor 43 + 6 on ideals in Z[ 6] defined by { i yx 2 x if y is even,.7 χa : if y is odd, i yx+ 2 x when a x + y 6. If r < 48 is an integer, then let L r ρ, s be the partial L-function defined by.8 L r ρ, s : n r mod 48 an n s. By the orthogonality of the Dirichlet characters modulo 48 and the analytic continuation of the associated twists of Lρ, s, each L r ρ, s has an analytic continuation to C. Theorem 6. As a power series in t, we have 2e t/24 e t e 3t e 2n t /24 n L 23 ρ, n + L 47 ρ, n tn n!. Theorem 7. As a power series in t, we have 2e t/24 e t + e 2t + n e nt /24 n L ρ, n L 25 ρ, n tn n!. In 2 we recall certain facts about q-series and basic hypergeometric series, and we prove Theorems and 2. In 3 we prove Theorem 3 and in 4 we prove Theorems 4, 5, 6, and 7. In 5 we examine the partition theoretic consequences of the identities for F z and F 8 z. In 6 we give a few more identities which are related to eta-products. The most interesting of these is η 2 24z q 2 q 24 2 q 48 2 q 24n 2 η 2 24z dn + mn q 24n, where mn denotes the number of middle divisors of n. A divisor is a middle divisor if it lies in the interval [ n/2, 2n.
q-series IDENTITIES 7 Acknoweledgements The authors thank Scott Ahlgren, Andrew Granville, Don Zagier and the referee for a variety of useful comments and suggestions. 2. Preliminaries and important facts. The ten identities in Theorem 3 rely on Theorems and 2. Here we prove Theorems and 2, and we begin with the following observation which follows from Abel s Theorem. Proposition 2.. Suppose that fz αnzn is analytic for z <. If α is a complex number for which α αn < +, 2 lim n + nα αn 0, then 2. lim z d dz zfz α αn. In all of our applications, fz will have a pole of order at z, so the lim z can be replaced by a simple evaluation. We shall employ the standard notation of basic hypergeometric series [G-R; pp. 3-4, 25]: 2.2 r+φ r a0, a,..., a r ; b,..., b r q, z j0 a 0 ; q j a ; q j a r ; q j z j q; q j b ; q j b r ; q j, 2.3 rψ r a, a 2,..., a r ; b, b 2,..., b r q, z j a ; q j a 2 ; q j a r ; q j z j b ; q j b 2 ; q j b r ; q j. We shall also require Heine s transformation [G-R; p. 9]: a, b; 2.4 2φ c q, z b; q az; q c/b, z; 2 φ c; q z; q az q, b ; Ramanujan s summation [G-R; p. 26]: a; 2.5 ψ b q, z q; q b/a, q az; q q/az; q, b; q q/a; q z; q b/az; q and the Rogers-Fine identity [F; p. 5]: 2.6 t a; q n t n b; q n a; q n atq/b; q n atq 2n b n t n q n2 n b; q n tq; q n.
8 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO Throughout we assume that q < and that the other parameters are restricted to domains that do not contain any singularities of the series or products under consideration. For succinctness of notation, we define the differential operator ɛ by 2.7 ɛfz f. Proof of Theorem. By Proposition 2., we have that By 2.2-6, this equals ɛ z ɛ t; q t; q n a; q a; q n ψ t; a q, z n ɛ z t; q n z n a; q n q; q a/t; q tz; q q/tz; q a; q q/t; q zq; q a/tz; q z t; q n z n a; q n. q/a; q n a/tz n. q/t; q n Differentiating this last expression with respect to z and then setting z yields the result. Proof of Theorem 2. By Proposition 2., 2.2 and 2.4, we have that a; q b; q a; q nb; q n q; q c; q q; q n c; q n a, b; ɛ z 2φ c q, z b; q az; q ɛ + c; q zq; q c/b; q n z; q n b n. q; q n az; q n Q.E.D. Noting that ɛz; q n q; q n when n > 0, we differentiate this last expression with respect to z and then set z. This yields the result. 3. Proof of Theorem 3. In this section we prove each of the ten identities using the facts in 2. Q.E.D. Case of F z: This appears implicitly in [F; p. 4]. It is the instance of Theorem 2 where a 0 and b c.
q-series IDENTITIES 9 Case of F 2 z: This is the instance of a q and b c in Theorem 2. Case of F 3 z: In Theorem 2, replace q by q 2, then set b c and a q. Case of F 4 z: This result was proved in [A2; eq..4]. It follows from Theorem with t q with a 0. Case of F 5 z: This result was proved in [A2; eq..5]. In Theorem 2 replace q by q 2, then set a q 2, b 0 and c q 3. This yields, after multiplication by q, q; q 2 q; q 2 n+ n q n2 +2n q; q 2 q 2 ; q 2 n q 2n n q n2 +2n q n + q n q; q 2 q 2 ; q 2 n q 2n n q n2 +n q; q 2 q 2 ; q 2 n + q n + n q n2 +n q 2 ; q 2 n q 2n. By [F; p. 4, eq. 2.42], we find that this equals q/τ, q/τ, ; 2q; q 2 lim τ 0 3φ 2 q, τ 2 + q, q q; q 2 2 + q n q n. By [G-R; p. 24, eq. III.9] with a b q/τ, c and d e q, this equals q/τ, τ, q; 2q; q 2 lim q; q τ 0 3φ 2 q, τ + q, qτ q; q 2 2 + q n q n q n2 +n + 2 q; q n q; q 2 2 + q n q n. This is the identity. Case of F 6 z: In Theorem 2 let a q, b 0 and c q. This yields q; q q; q n q n2 +n/2 q; q q; q n q n q n2 +n/2 n + n q; q q; q n q n.
0 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO By [F; p. 4, eq. 2.42], this equals 2 q; q 2q q; q q 2 lim τ 0 3 φ 2 q 2n2 +3n+ q; q 2n+ q 2n+ + q; q q/τ, q/τ, q; q 3, q 3 q 2, τ 2 q 3 q n q n + q; q q n q n By [G-R; p. 24, eq. III.0] with q replaced by q 2 followed by letting a c q/τ, b q and d e q 3, this equals 2qq; q 2 q; q q 3 ; q 2 2 q 2 q 2 ; q 2 m q m + q; q 2 m0 2 + q n q n. 2 q 2 ; q 2 m q m + q; q 2 m0 2 + q n q n n q n2 2 q; q 2 + n q; q 2 2 + q n q n. This is the identity for F 6 z. Case of F 7 z : In Theorem replace q by q 2, and then set a 0 and t q. Case of F 8 z : This is identity.2, and it is Theorem 2 in [Z]. We include a proof for completeness. In Proposition 2. set α q; q and let αn : q; q n. This yields 3. q; q q; q n ɛ z q; q n z n ɛ q; q n q n z n q; q n nq n. Now it is immediate because the partial sums equal the partial products that 3.2, zq n zq; q n zq; q and applying ɛ to 3.2 we find that 3.3 q n ɛzq; q n q; q + j q j q j.
q-series IDENTITIES Now set b 0, a z 2 q and t z 2 multiplication by z in 2.6, and after simplification we obtain upon 3.4 z z 3 z 2 q; q n z 2 q n z + n q 3n2 3n/2 z 6n + q 3n2 +n/2 z 6n+. Noting that ɛ zfz 2 f + 2ɛfz we apply ɛ to 3.4 and find that + 3.5 n 6n q 3n2 n/2 + q; q + 2ɛ z n 6n + q 3n2 +n/2 zq; q n z n q n q; q 2 q; q 2 q; q n nq n 2 q n ɛzq; q n 2 q; q + 2 q; q q; q n + 2 q; q + by 3. and 3.3. This is the identity. Case of F 9 z: In Theorem 2, let a b q and c q. This yields j q j q j, 3.6 q; q q; q n 2 q; q q; q q; q n q; q q; q n q n q; q n q n. Now in 2.6 set t z, a zq, b zq cf. [F; p. 5, eq. 4.3]. This yields after simplification 3.7 z Applying ɛ to 3.7 yields 4 n nq n2 zq; q n z n zq; q n + 2 z 2 n q n2. q, zq; ɛ z 2 φ zq q, z.
2 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO By 2.4 with a q, b zq and c zq, and also 3.6, we find that this equals ɛ zq; q, z; 3.8 2φ q, zq. zq; q zq q; q q j q; q q j q j + q j 2 q; q q; q n q n q; q q; q n q n 2 q; q q; q j j j q j q 2j + q; q q; q q; q n q; q n Case of F 0 z: In Theorem 2 replace q by q 2, and then set a b q 2 and c q 3. This yields, after multiplication by q 3.9 q 2 ; q 2 q; q 2 q2 ; q 2 n q; q 2 q2 ; q 2 n+ q; q 2. q; q 2 n q 2n q 2 ; q 2 n q 2n. Now in 2.6 replace q by q 2, then set a zq and b zq 2 cf. [F; p. 6, eq. 4.4]. This yields, after simplification, 3.0 zq; q 2 n z n q n zq 2 ; q 2 n z n q n2 +n/2. Applying ɛ to 3.0, we find that nq n2 +n/2 ɛ 2 φ zq, q 2 ; zq 2 q 2, zq. This equals, by 2.4 with q replaced by q 2 and z replaced by zq with a zq, b q 2 and c zq 2, ɛ q2 ; q 2 z 2 q 2 ; q 2 z, zq; 3. zq 2 ; q 2 zq; q 2 2φ z 2 q 2 q 2, q 2 ɛq 2 ; q 2 z, zq; zq; q 2 φ z 2 q 2 q 2, q 2 q2 ; q 2 q; q 2 q2 ; q 2 q; q 2 j j We use 3.9 in the last step above. q j + q j q2 ; q 2 q; q 2 j q j q j + q; q 2 n q 2n q 2 ; q 2 n q 2n q 2 ; q 2 q; q 2 q2 ; q 2 n q; q 2 n+.
q-series IDENTITIES 3 4. Proof of Theorems 4, 5, 6, and 7. In this section we prove Theorems 4, 5, 6, and 7. The proofs are similar to the proof of [Th. 3, Z], and so we give a brief proof of Theorem 4 and we give sketches of the remaining cases. In each case, it is well known that the relevant L-function has an analytic continuation to C with the exception of a simple pole at s for ζs and a functional equation via a Mellin transformation. Proof of Theorems 4, 5, 6, and 7. Case of Theorem 4: The identity for F 9 z in Theorem 3 is 4. F 9 z q q2 q n + q + q 2 + q n 2F 9 z d nq n + 2 Θ F 9 z. It is well known that 4.2 F 9 z + 2 n q n2. Notice that F 9 z vanishes to infinite order as q. Therefore, we replace q by e t with t 0. Now define coefficients c 9 n and b 9 n by the asymptotic expansions 4.3 and e t e 2t e nt + e t + e 2t + e nt c 9 nt n H 9 e t 4 n ne n2t b 9 nt n as t 0. Now we observe, by 4. and 4.2, that c 9 n b 9 n for all n. On the other hand 0 H 9 e t t s dt 4 By replacing T by n 2 t, we find that n n 0 e n2t t s dt. 4.4 0 H 9 e t t s dt 4Γs n n 2s 4Γs4 s ζ2s. To compute the coefficients b 9 n, notice that 4.5 0 H 9 e t t s dt 0 N b 9 nt n + Ot N t s dt N c 9 n s + n + F 9s,
4 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO where F 9 s is analytic for Res > N. The residue at s n of 4.4 is b 9 n n n! 44 +n ζ 2n. This completes the proof of Theorem 4. Case of Theorem 5: It is well known that 4.6 F 0 z q 2n+2. It is easy to see that the identity in Theorem 3 for F 0 z is equivalent to 4.7 F 0 z/8 q/8 q q2 q 4 q 2n q 3 q 5 q 2n+ F 0 z/8 2 + d 8 nq n + 2 2n + q 2n+2/8. Observe that F 0 z/8 vanishes to infinite order as q. Define the coefficients c 0 n and b 0 n by the asymptotic expansions and e t/8 H 0 e t 2 e 2t e 4t e 2nt + e t + e 3t + e 2n+t c 0 nt n 2n + nn+/2 e t2n+2 /8 b 0 nt n as t 0. Therefore, by replacing q by e t with t 0 and ζ 8 : e πi/8, 4.6 and 4.7 imply that c 0 n b 0 n for all n and, on the other hand 0 H 0 e t t s dt 2 2 2n + nn+/2 e 2n+2t/8 t s dt χ 2 nn e n2t/8 t s dt 0 0 4.8 2 8s ΓsLχ 2, 2s. The rest of the proof is identical to the proof of Theorem 4.
q-series IDENTITIES 5 Case of Theorem 6: By [C], it is known that the coefficients an defining Lρ, s in.6 are defined by 4.9 anq n M q + 2M 2 q. In this case we use the identity for F 7 z in Theorem 3 4.0 F 7 z q q 24 q 72 q 242n F 7 z dnq 24n + M 2 q. Moreover, notice in.8 that the non-zero coefficients of M 2 q are supported on those exponents n 23 mod 24. Now observe that F 7 z/24 vanishes to infinite order as q. The rest of the argument is virtually identical to those above. Case of Theorem 7: In this case we consider the identity for F 4 z in Theorem 3 4. F4 z q + q 24 + q 48 + q 24n F 4 z 2 + dnq 24n + 2 M q. Notice that F 4 z/24 vanishes to infinite order as q. Arguing as before, we consider the asymptotic t-series expansion of ζ 24 e t/24 e t + e 2t + n e nt where ζ 24 e πi/24. The rest of the proof is a routine exercise using ζ 24, the Mellin transform, and the fact that the non-zero coefficients of M q are supported on those exponents n mod 24. 5. Partition theoretic consequences. Q.E.D. Recall that a partition of a non-negative integer N is any nonincreasing sequence of positive integers whose sum is N. If pn denotes the number of partitions of N, then we have 5. η24z N0 pnq 24N q q 24n q + q 23 + 2q 47 + 3q 7 +. If p e N resp. p o N denote the number of partitions of N into an even resp. odd number of distinct parts, then Euler s Pentagonal Number Theorem asserts that the Fourier expansion of η24z S /2 Γ 0 576, χ is 5.2 η24z p e N p o N q 24N+ q q 25 q 49 + N0 χnq n2
6 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO where if n ± mod 2, 5.3 χn : if n ±5 mod 2, 0 otherwise. As a consequence for our identity for F z /η24z, we obtain the following partition theoretic result which is equivalent to the observation made by Erdös [E] in the beginning of his study of the asymptotics of pn by elementary means. Theorem 5.. If n is a positive integer, then let a n N denote the number of partitions of N into parts not exceeding n. For every positive integer N we have N + pn N pn ndn + N a n N. Proof. Here we use the identity for F z /η24z in the form 5.4 P q q q 2 q n P qdq, where P q Dq pnq n dnq n. If m is a non-negative integer, then the series 5.5 P q q n, q q 2 q m qm+ + nm+2 b m nq n for some sequence of integers b m n. Now let N be a positive integer, then it is easy to see that the coefficient of N on the right hand side of 5.4 is N pn ndn. Therefore, to prove the result it suffices to show that the coefficient of q N on the left hand side of of 5.4 is 5.6 N + pn N a n N.
q-series IDENTITIES 7 By letting m N as in 5.5, it is easy to see that the coefficient of q N on the left hand side of 5.4 is the coefficient of q N in N P q Claim 5.6 follows from the obvious fact that This completes the proof. a n Nq n N0 q q 2 q n. q q 2 q n. Q.E.D. As with Theorem 5., Zagier s identity for F 8 z η24z has an interesting partition theoretic consequence which is similar in flavor to Euler s Pentagonal Number Theorem 5.2. We require some notation. If π is a partition, then let m π denote its largest part. Moreover, if N is an integer, then let S e N resp. S o N denote the set of partitions of N into an even resp. odd number of distinct parts. Using this notation, define the two partition functions A e N and A o N by 5.7 A e N : m π, 5.8 A o N : Theorem 5.2. If N is a positive integer, then A e N A o N π S e N π S o N k Z k d N 3k 2 + k/2 + k 3k 0 otherwise. Proof. If Eq is the q-series defined by then we claim that 5.9 Eq m π k 3k if N 3k2 +k 2 with k 0, q n q q 2 +, if N 3k2 k 2 with k, Eq q q 2 q n nq n q q 2 q n.
8 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO As described above, we have that Eq q n p e n p o n q n. Since Eq is the generating function for the number of partitions into an even number of distinct parts minus the number into an odd number of distinct parts, it is easy to see that Eq q q 2 q n is the generating function whose coefficient of q N is the number of partitions of N into an even number of distinct parts where at least one part exceeds n minus the number of partitions of N into an odd number of distinct parts where at least one part exceeds n. Consequently, each partition π into distinct parts is counted with multiplicity n π m π where n π is the number of parts in π. This implies 5.9. It is an easy exercise to deduce Theorem 5.2 from the identity in Theorem for F 8 z η24z. 6. Related Results Q.E.D. The uniform nature of the ten results proved in Theorem 3 makes it natural to group those identities together. There are, however, a variety of results that can be deduced from Theorems and 2. Here we record a number of further identities. Theorem 6.. Let mn denote the number of divisors of n in the interval [ n/2, 2n. Moreover, let d e n resp. d o n denote the number of even resp. odd divisors of n. The following identities are true: 6. η 2 24z q 2 q 24 ; q 24 2 n η 2 24z dn + mn q 24n, 6.2 6.3 6.4 η 2 2z η 4 z q; q2 n q; q 2 4η2 2z n η 4 z η 2 8z η 4 6z q8 ; q 6 2 n q 2 q 6 ; q 6 2 n η24z qq 24 ; q 24 2n η2 8z η 4 6z d o 2m + q 2m+, m0 d e n 2d o n q 8n, dnq 48n + η24z n q 24n2 q 48n,
6.5 6.6 η8z η 2 6z q-series IDENTITIES 9 η2z η 2 z q; q 2n 2η2z q; q 2n η 2 z q8 ; q 6 2n qq 6 ; q 6 η8z 2n 4η 2 6z Proof. Here we prove these identities. n q 2n q n q 4n, q 8n2 + 2 d e n d o n q 8n. Case of 6.: Let a b 0 and c q in Theorem 2. This yields 6.7 q; q 2 q n q; q 2 n q; q 2 q n + n q n2 +n/2 q n. In order to complete the proof of 6., we must establish that 6.8 mnq n n q n2 +n/2 q n. To see 6.8, we first note that mn equals dn minus the number of divisors in the two intervals [, n/2 and [ 2n, n]. Hence, we have that mnq n q n q n q n2n + 2q n + 2q 2n + 2q 3n + 6.9 q n q n + q n q 2n2 q n. Next in [G-R, eq. III.7, p. 242] set a e z and let b, c, d and f +. This yields q; q z; q 2 + n zq 2n q 2n2 z n z; q n n q n2 +n/2 zq; q q; q 2. n z q; q n Hence we get 6.0 n q n2 +n/2 q n z; q n n q n2 +n/2 ɛ q; q n ɛ q; q z; q 2 + n zq 2n q 2n2 z n zq; q q; q 2 n z q n q n + q n q 2n2 q n mnq n,
20 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO which proves 6.8 and therefore 6.. Case of 6.2: To prove this identity let a b q and c q in Theorem 2. The result now follows easily by combining the resulting Lambert series. Case of 6.3: To prove this identity replace q by q 2 and set a b q and c q 2 in Theorem 2. The result now follows easily by combining the resulting Lambert series. Case of 6.4: To prove this identity replace q by q 2 and set a b 0 and c q 2 in Theorem 2. Case of 6.5: This identity follows from Theorem 2 by replacing q by q 2 and the setting a q, b q 2 and c q. Case of 6.6: Surprisingly, 6.6 is more intricate. Here we use Proposition 2. with αn q; q 2 2n /q 2 ; q 2 2n. Consequently noting that ɛfz 2 ɛfz2, we find that q; q 2 q 2 ; q 2 q; q2 2n q 2 ; q 2 2n q; q 2 2n z n ɛ z q 2 ; q 2 2n 2 ɛ z n q; q 2 n + n z2 2q 2 ; q 2 n { 4 ɛ + z qz; q2 zq; q 2 zq 2 ; q 2 + z zq 2 ; q 2 4 { q; q 2 q 2 ; q 2 q; q2 q 2 ; q 2 + 2q; q2 q 2 ; q 2 } q 2n q2n q2n q 2n Identity 6.6 now follows by recalling [A; p. 2, eq. 2.2.0], with z, that q; q 2 q 2 ; q 2 q; q 2 q 2 ; q 2 n q n2. }. Q.E.D. Finally, we recall the following attractive and very elementary result on partitions into consecutive integers cf. [L, p. 85, Problem 4].
q-series IDENTITIES 2 Proposition 6.2. The number of partitions of n into consecutive integers equals the number of odd divisors of n. Proof. This result is easily deduced from the formula for the sum of an arithmetic progression. It is also directly deduced from the generating function identity [M, p. 28] m q 2m q 2m m q m2 +m/2 q m. Q.E.D. From our proof of 6., we may easily deduce the following result for c e n resp. c o n the number of partitions of n into an even resp. odd number of consecutive integers. Theorem 6.3. For every positive integer n we have c o n c e n mn. Proof. This is immediate from 6.0: mnq n n q n2 +n/2 q n References c o n c e n q n. Q.E.D. [A] G. E. Andrews, The theory of partitions, Cambridge University Press, 984. [A2] G. E. Andrews, Ramanujan s Lost Notebook V: Euler s partition identity, Advances in Mathematics 6 986, 56-64. [A3] G. E. Andrews, Mock theta functions, Proc. Symp. Pure Math. 49 989, 283-298. [A-D-H] G. E. Andrews, F. Dyson and D. Hickerson, Partitions and indefinite quadratic forms, Inventiones Mathematicae 9 988, 39-407. [C] H. Cohen, q-identities for Maass waveforms, Inventiones Mathematicae 9 988, 409-422. [E] P. Erdös, On an elementary proof of some asymptotic formulas in the theory of partitions, Annals of Mathematics 43 942, 437-450. [F] N. J. Fine, Basic hypergeometric series and applications, Math. Sruveys and Monographs, Vol. 27, Amer. Math.Soc., Providence, 988. [G-R] G. Gasper and M. Rahman, Basic hypergeometric series, Ency. of Math. and its Appl., Vol. 2, Addison-Wesley, Reading, 976. [L] W. J. Leveque, Topics in Number Theory, Vol., Addison-Wesley, Reading, 956. [M] P. A. MacMahon, Combinatory Analysis, Vol. 2, Cambridge Univ. Press, Cambridge, 96 reissued by Chelsea, New York, 960. [Z] D. Zagier, Vassiliev invariants and a strange identity related to the Dedekind eta-function, to appear, Topology. Department of Mathematics, Penn State University, University Park, Pa. 6802
22 GEORGE E. ANDREWS, JORGE JIMÉNEZ-URROZ AND KEN ONO E-mail address: andrews@math.psu.edu Dept. Matemáticas, Facultad de Ciencias, Universidad Autónoma de Madrid, 28049, Madrid, España. E-mail address: jorge.jimenez@uam.es Department of Mathematics, Penn State University, University Park, Pa. 6802 E-mail address: ono@math.psu.edu Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706 E-mail address: ono@math.wisc.edu