Embed Size (px)
Citation preview
q-SERIES IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS
George E. Andrews, Jorge Jimenez-Urroz and Ken Ono
Appearing in the Duke Mathematical Journal.
1. Introduction and Statement of Results.
As usual, define Dedekind’s eta function η(z) by the infinite product
(1.1) η(z) := q1/24∞∏
n=1
(1− qn). (q := e2πiz throughout)
In a recent paper, Zagier [Z; Theorem 2] proved that (note. empty products equal 1 through-out)
(1.2)∞∑
n=0
(η(24z)− q(1− q24)(1− q48) · · · (1− q24n)
)= η(24z)D(q) + E(q)
where the series D(q) and E(q) are defined by
D(q) = −12
+∞∑
n=1
q24n
1− q24n= −1
2+
∞∑n=1
d(n)q24n = −12
+ q24 + 2q48 + 2q72 + 3q96 + . . . ,
E(q) =12
∞∑n=1
(12n
)nqn2
=12q − 5
2q25 − 7
2q49 +
112q121 + . . . .
Here d(n) denotes the number of positive divisors of n. This identity plays an importantrole 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 inconnection with one of Ramanujan’s mock theta functions. In [A2], the first author provedthat
(1.3)∞∑
n=0
(η(48z)η(24z)
− q(1 + q24)(1 + q48) · · · (1 + q24n))
=η(48z)η(24z)
D(q) +M1(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
1
2 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
(1.4)∞∑
n=0
(η(48z)η(24z)
− q
(1− q24)(1− q72) · · · (1− q24(2n+1))
)=η(48z)η(24z)
D(q2) +M1(q)
2
where M1(q) is the mock theta function given by
(1.5) M1(q) = q +∞∑
n=1
q12n2+12n+1
(1 + q24)(1 + q48) · · · (1 + q24n)= q + q25 − q49 + 2q73 − · · · .
The q-series of the function M1(q) was the focus of two extensive studies [A-D-H, C]. Al-though M1(q) is not the Fourier expansion of a modular form, these works show that thecoefficients of M1(q) are given by a Hecke character for the quadratic field Q(
√6). In par-
ticular, M1(q) enjoys nice properties that one expects for certain weight 1 cusp forms. Forthese reasons, we shall refer to M1(q) and M2(q) (defined in (1.8)) as mock theta functionsalthough they do not exactly fit Ramanujan’s original definition [A3; p. 291].
In view of identities (1.2-4), it is natural to investigate the general behavior of q-serieswhich are obtained by summing the iterated differences between an infinite product and itstruncated products. Here we establish two general theorems which yield infinitely manysuch identities, and we illustrate how such identities are useful in determining the values atnegative integers for certain L-functions.
We shall employ the standard notation
(1.6) (A; q)n =∞∏
j=0
(1−Aqj)(1−Aqn+j)
,
and throughout we assume that |q| < 1 and that the other parameters are restricted todomains that do not contain any singularities of the series or products under consideration.
Theorem 1.∞∑
n=0
((t; q)∞(a; q)∞
− (t; q)n
(a; q)n
)
=∞∑
n=1
(q/a; q)n(a/t)n
(q/t; q)n
+(t; q)∞(a; q)∞
( ∞∑n=1
qn
1− qn+
∞∑n=1
qnt−1
1− qnt−1−
∞∑n=0
tqn
1− tqn−
∞∑n=0
aqnt−1
1− aqnt−1
).
Theorem 2.∞∑
n=0
((a; q)∞(b; q)∞(q; q)∞(c; q)∞
− (a; q)n(b; q)n
(q; q)n(c; q)n
)
=(b; q)∞(a; q)∞(c; q)∞(q; q)∞
( ∞∑n=1
qn
1− qn−
∞∑n=0
aqn
1− aqn−
∞∑n=1
(c/b; q)nbn
(a; q)n(1− qn)
).
q-SERIES IDENTITIES 3
Many interesting specializations of these two theorems yield identities for modular formsthat are eta-products (including identities (1.2-4)). Here we highlight ten of these identities.First we fix notation. We let
√Θ be the operator defined by
(1.7)√
Θ
( ∞∑n=0
a(n)qn
)=
∞∑n=0
√na(n)qn.
It is easy to see that the series E(q) in (1.2) is given by
E(q) =√
Θ(η(24z)) /2.
In addition to the mock theta function M1(q), we shall require the mock theta functionM2(q) defined by
(1.8) M2(q) =∞∑
n=1
(−1)nq24n2−1
(1− q24)(1− q72) · · · (1− q24(2n−1))= −q23 − q47 − · · · .
See [A-D-H] for a detailed study of this function.The ten eta-products F1(z), F2(z), . . . , F10(z) we consider are of the form
Fi(z) = ηai(δiz)ηbi(2δiz)
with ai 6= 0. Obviously, each Fi(z) is a modular form of weight (ai + bi)/2. For each Fi(z)we define quantities ci and fi(j), which are not necessarily unique, for which
(1.9) Fi(z) = ci
∞∏j=1
fi(j).
These are listed in the table below.
Table 1.
i Fi(z) δi ci fi(j)1 1/η(24z) 24 q−1 1/(1− q24j)2 η(2z)/η2(z) 1 1 (1 + qj)/(1− qj)3 η(8z)/η2(16z) 8 q−1 (1− q16j−8)/(1− q16j)4 η(48z)/η(24z) 24 q 1 + q24j
5 η(48z)/η(24z) 24 q/(1− q24) 1/(1− q24(2j+1))6 η(24z)/η(48z) 24 q−1 1/(1 + q24j)7 η(24z)/η(48z) 24 q−1 1− q24(2j−1)
8 η(24z) 24 q 1− q24j
9 η2(z)/η(2z) 1 1 (1− qj)/(1 + qj)10 η2(16z)/η(8z) 8 q/(1− q8) (1− q16j)/(1− q16j+8)
4 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
If δ ∈ {1, 8, 24}, then let dδ(n) be the divisor function defined by
(1.10) dδ(n) =
d(n) =
∑d|n 1 if δ = 24,∑
d|n(−1)d if δ = 8,∑d|n odd 1 if δ = 1.
Also, for each i define αi by
(1.11) αi ={ − 1
2 if (ai + 2bi)δi = 24,0 otherwise.
Notice that αi = −1/2 if and only if the order of vanishing of Fi(z) at ∞ is 1. The lastquantity we require is γi which is defined by
(1.12) γi ={
2 if i = 5, 7,1 otherwise.
Theorem 3. If 1 ≤ i ≤ 10, then
∞∑n=0
Fi(z)− ci
n∏j=1
fi(j)
= (1 + [1/δi])Fi(z)Di(q) +Gi(q)
where [•] denotes the greatest integer function,
Di(q) = αi +∞∑
n=1
dδi(n)qδiγin
and
Gi(q) =
0 if i = 1, 2, 3,M1(q)/2 if i = 4, 5,2M2(q)/γi if i = 6, 7,
(−αi + [2/δi])√
Θ(Fi(z)) if i = 8, 9, 10.
The three forms F1(z), F2(z) and F3(z) have weight -1/2 and the four forms F4(z), F5(z),F6(z) and F7(z) have weight 0. The remaining three forms have weight 1/2. The seriesG4(z), G5(z), G6(z) and G7(z) are mock theta functions, whereas G8(q), G9(q) and G10(q)are the half-derivatives of F8(z), F9(z) and F10(z). In other words, the “error series” Gi(q)in Theorem 3 satisfy
Fi(z) −→ Gi(q) ∼
0 if Fi(z) has weight -1/2,Mock Theta function if Fi(z) has weight 0,√
Θ(Fi(z)) if Fi(z) has weight 1/2.
q-SERIES IDENTITIES 5
Although these identities are elegant in their own right, they are also often useful incalculating the values of L-functions at negative integers. In particular, they lead to analogsof the classical result
t
et − 1= 1 +
∞∑n=1
(−1)n+1ζ(1− n) · tn
(n− 1)!,
where ζ(s) is the Riemann zeta-function. In this direction, Zagier used (1.2) to show that
(1.13) −e−t/24∞∑
n=0
(1− e−t)(1− e−2t) · · · (1− e−nt) =12
∞∑n=0
(−1/24)n ·L(χ12,−2n− 1) · tn
n!,
where χ12 is the Dirichlet character with modulus 12 defined by
χ12(n) :=
1 if n ≡ 1, 11 (mod 12),−1 if n ≡ 5, 7 (mod 12),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
−14·∞∑
n=0
(1− e−t)(1− e−2t) · · · (1− e−nt)(1 + e−t)(1 + e−2t) · · · (1 + e−nt)
=∞∑
n=0
(−1)n(4n+1 − 1) · ζ(−2n− 1) · tn
n!.
In addition to ζ(s), we shall consider the Dirichlet L-function
(1.14) L(χ2, s) :=∞∑
n=1
χ2(n)ns
,
where
(1.15) χ2(n) :=
1 if n ≡ 1, 7 (mod 8),−1 if n ≡ 3, 5 (mod 8),0 otherwise.
Theorem 5. As a power series in t, we have
−2e−t/8∞∑
n=0
(1− e−2t)(1− e−4t) · · · (1− e−2nt)(1 + e−t)(1 + e−3t) · · · (1 + e−(2n+1)t)
=∞∑
n=0
(−1/8)n · L(χ2,−2n− 1) · tn
n!.
6 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
We shall also consider the Hecke L-function
(1.16) L(ρ, s) =∞∑
n=1
a(n)ns
:=∑
a⊆Z[√
6]
χ(a)Na−s
where χ is the order 2 character of conductor 4(3 +√
6) on ideals in Z[√
6] defined by
(1.17) χ(a) :={iyx(12x
)if y is even,
iyx+1(12x
)if y is odd,
when a = (x+ y√
6). If 1 ≤ r < 48 is an integer, then let Lr(ρ, s) be the partial L-functiondefined by
(1.18) Lr(ρ, s) :=∑
n≡r (mod 48)
a(n)ns
.
By the orthogonality of the Dirichlet characters modulo 48 and the analytic continuation ofthe associated twists of L(ρ, s), each Lr(ρ, s) has an analytic continuation to C.
Theorem 6. As a power series in t, we have
−2et/24∞∑
n=0
(1−e−t)(1−e−3t) · · · (1−e−(2n−1)t) =∞∑
n=0
(−1/24)n·(L23(ρ,−n) + L47(ρ,−n))· tn
n!.
Theorem 7. As a power series in t, we have
−2e−t/24∞∑
n=0
(1− e−t)(1 + e−2t) · · · (1 + (−1)ne−nt)
=∞∑
n=0
(−1/24)n · (L1(ρ,−n)− L25(ρ,−n)) · tn
n!.
In §2 we recall certain facts about q-series and basic hypergeometric series, and we proveTheorems 1 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 F1(z) and F8(z).In §6 we give a few more identities which are related to eta-products. The most interestingof these is∞∑
n=0
(1
η2(24z)− 1q2(1− q24)2(1− q48)2 · · · (1− q24n)2
)=
1η2(24z)
∞∑n=1
(d(n) +m(n)) q24n,
where m(n) denotes the number of middle divisors of n. A divisor is a middle divisor if itlies 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 varietyof useful comments and suggestions.
2. Preliminaries and important facts.
The ten identities in Theorem 3 rely on Theorems 1 and 2. Here we prove Theorems 1and 2, and we begin with the following observation which follows from Abel’s Theorem.
Proposition 2.1. Suppose that f(z) =∑∞
n=0 α(n)zn is analytic for |z| < 1. If α is acomplex number for which
(1)∑∞
n=0(α− α(n)) < +∞,
(2) limn→+∞ n(α− α(n)) = 0,then
(2.1) limz→1−
d
dz(1− z)f(z) =
∞∑n=0
(α− α(n)).
In all of our applications, f(z) will have a pole of order 1 at z = 1, so the limz→1−
can be replaced by a simple evaluation. We shall employ the standard notation of basichypergeometric series [G-R; pp. 3-4, 125]:
(2.2) r+1φr
(a0, a1, . . . , ar;
b1, . . . , brq, z
)=
∞∑j=0
(a0; q)j(a1; q)j · · · (ar; q)jzj
(q; q)j(b1; q)j · · · (br; q)j,
(2.3) rψr
(a1, a2, . . . , ar;b1, b2, . . . , br
q, z
)=
∞∑j=−∞
(a1; q)j(a2; q)j · · · (ar; q)jzj
(b1; q)j(b2; q)j · · · (br; q)j.
We shall also require Heine’s transformation [G-R; p. 9]:
(2.4) 2φ1
(a, b;cq, z
)=
(b; q)∞(az; q)∞(c; q)∞(z; q)∞
× 2φ1
(c/b, z;az
q, b
);
Ramanujan’s summation [G-R; p. 126]:
(2.5) 1ψ1
(a;bq, 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. 15]:
(2.6) (1− t)∞∑
n=0
(a; q)ntn
(b; q)n=
∞∑n=0
(a; q)n(atq/b; q)n(1− atq2n)bntnqn2−n
(b; q)n(tq; q)n.
8 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
Throughout we assume that |q| < 1 and that the other parameters are restricted todomains 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) εf(z) = f ′(1).
Proof of Theorem 1. By Proposition 2.1, we have that
∞∑n=0
((t; q)∞(a; q)∞
− (t; q)n
(a; q)n
)= ε(1− z)
∞∑n=0
(t; q)nzn
(a; q)n.
By (2.2-6), this equals
= ε(1− z)
(1ψ1
(t;aq, z
)−
−1∑n=−∞
(t; q)nzn
(a; q)n
)
= ε
((q; q)∞(a/t; q)∞(tz; q)∞(q/tz; q)∞(a; q)∞(q/t; q)∞(zq; q)∞(a/tz; q)∞
− (1− z)∞∑
n=1
(q/a; q)n(a/(tz))n
(q/t; q)n
).
Differentiating this last expression with respect to z and then setting z = 1 yields the result.
Q.E.D.
Proof of Theorem 2. By Proposition 2.1, (2.2) and (2.4), we have that
∞∑n=0
((a; q)∞(b; q)∞(q; q)∞(c; q)∞
− (a; q)n(b; q)n
(q; q)n(c; q)n
)= ε(1− z) 2φ1
(a, b;cq, z
)= ε
((b; q)∞(az; q)∞(c; q)∞(zq; q)∞
(1 +
∞∑n=1
(c/b; q)n(z; q)nbn
(q; q)n(az; q)n
)).
Noting that ε(z; q)n = −(q; q)n−1 when n > 0, we differentiate this last expression withrespect to z and then set z = 1. This yields the result.
Q.E.D.
3. Proof of Theorem 3.
In this section we prove each of the ten identities using the facts in §2.
Case of F1(z): This appears implicitly in [F; p. 14]. It is the instance of Theorem 2 wherea = 0 and b = c.
q-SERIES IDENTITIES 9
Case of F2(z): This is the instance of a = −q and b = c in Theorem 2.
Case of F3(z): In Theorem 2, replace q by q2, then set b = c and a = q.
Case of F4(z): This result was proved in [A2; eq. (1.4)]. It follows from Theorem 1 witht = −q with a→ 0.
Case of F5(z): This result was proved in [A2; eq. (1.5)]. In Theorem 2 replace q by q2,then set a = q2, b = 0 and c = q3. This yields, after multiplication by (1− q)−1,
∞∑n=0
(1
(q; q2)∞− 1
(q; q2)n+1
)
=1
(q; q2)∞
∞∑n=1
(−1)n−1qn2+2n
(q2; q2)n(1− q2n)
=1
(q; q2)∞
∞∑n=1
(−1)n−1qn2+2n((1− q−n) + q−n)(q2; q2)n(1− q2n)
=1
(q; q2)∞
( ∞∑n=1
(−1)nqn2+n
(q2; q2)n(1 + qn)+
∞∑n=1
(−1)n−1qn2+n
(q2; q2)n(1− q2n)
).
By [F; p. 14, eq. (12.42)], we find that this equals
=1
2(q; q2)∞limτ→0
3φ2
(q/τ, q/τ,−1;
−q,−q q,−τ2
)+
1(q; q2)∞
(−1
2+
∞∑n=1
qn
1− qn
).
By [G-R; p. 241, eq. (III.9)] with a = b = q/τ , c = −1 and d = e = −q, this equals
=1
2(q; q2)∞(−q; q)∞limτ→0
3φ2
(q/τ,−τ, q;−q,−qτ q,−τ
)+
1(q; q2)∞
(−1
2+
∞∑n=1
qn
1− qn
)
=12
∞∑n=0
qn2+n
(−q; q)n+
1(q; q2)
(−1
2+
∞∑n=1
qn
1− qn
).
This is the identity.
Case of F6(z): In Theorem 2 let a = q, b = 0 and c = −q. This yields
∞∑n=0
(1
(−q; q)∞− 1
(−q; q)n
)
=1
(−q; q)∞
∞∑n=1
q(n2+n)/2
(q; q)n(1− qn)
=1
(−q; q)∞
∞∑n=1
q(n2+n)/2(1− (−1)n−1 + (−1)n−1)
(q; q)n(1− qn).
10 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
By [F; p. 14, eq. (12.42)], this equals
=2
(−q; q)∞
∞∑n=0
q2n2+3n+1
(q; q)2n+1(1− q2n+1)+
1(−q; q)∞
∞∑n=1
qn
1− qn
=2q
(−q; q)∞(1− q)2limτ→0
3φ2
(q/τ, q/τ, q;
q3, q3q2, τ2q3
)+
1(−q; q)∞
∞∑n=1
qn
1− qn
By [G-R; p. 241, eq. (III.10)] with q replaced by q2 followed by letting a = c = −q/τ, b = qand d = e = q3, this equals
=2q(q; q2)∞
(−q; q)∞(q3; q2)2∞(1− q)2
∞∑m=0
(q2; q2)mqm +
1(q; q2)∞
(−1
2+
∞∑n=1
qn
1− qn
).
= 2∞∑
m=0
(q2; q2)mqm +
1(q; q2)∞
(−1
2+
∞∑n=1
qn
1− qn
)
= 2∞∑
n=1
(−1)n−1qn2
(q; q2)n+
1(q; q2)∞
(−1
2+
∞∑n=1
qn
1− qn
).
This is the identity for F6(z).
Case of F7(z) : In Theorem 1 replace q by q2, and then set a = 0 and t = q.
Case of F8(z) : This is identity (1.2), and it is Theorem 2 in [Z]. We include a proof forcompleteness. In Proposition 2.1 set α = (q; q)∞ and let α(n) := (q; q)n. This yields
∞∑n=0
((q; q)∞ − (q; q)n) = ε(1− z)∞∑
n=0
(q; q)nzn
= −ε∞∑
n=1
(q; q)n−1qnzn
= −∞∑
n=1
(q; q)n−1nqn.(3.1)
Now it is immediate (because the partial sums equal the partial products) that
(3.2,) 1−∞∑
n=1
zqn(zq; q)n−1 = (zq; q)∞
and applying ε to (3.2) we find that
(3.3) −∞∑
n=1
qn (ε(zq; q)n−1) = −1− (q; q)∞
−1 +∞∑
j=1
qj
1− qj
.
q-SERIES IDENTITIES 11
Now set b = 0, a = z2q and t = z2 in (2.6), and after simplification we obtain uponmultiplication by z
(3.4) z − z3∞∑
n=1
(z2q; q)n−1(z2q)n = z +∞∑
n=1
(−1)n(q(3n2−3n)/2z6n−1 + q(3n2+n)/2z6n+1
).
Noting that ε(zf(z2)
)= f(1) + 2εf(z) we apply ε to (3.4) and find that
1+∞∑
n=1
(−1)n(6n− 1)q(3n2−n)/2 +∞∑
n=1
(−1)n(6n+ 1)q(3n2+n)/2
= (q; q)∞ + 2ε
(1− z
∞∑n=1
(zq; q)n−1znqn
)
= (q; q)∞ − 2 ((q; q)∞ − 1)− 2∞∑
n=1
(q; q)n−1nqn − 2
∞∑n=1
qn (ε(zq; q)n−1)
= 2− (q; q)∞ + 2∞∑
n=0
((q; q)∞ − (q; q)n) + 2
−1− (q; q)∞
−1 +∞∑
j=1
qj
1− qj
,
(3.5)
by (3.1) and (3.3). This is the identity.
Case of F9(z): In Theorem 2, let a = b = q and c = −q. This yields
(3.6)∞∑
n=0
((q; q)∞
(−q; q)∞− (q; q)n
(−q; q)n
)= −2
(q; q)∞(−q; q)∞
∞∑n=1
(−q; q)n−1qn
(q; q)n(1− qn).
Now in (2.6) set t = z, a = zq, b = −zq (cf. [F; p. 15, eq. (14.31)]). This yields aftersimplification
(3.7) (1− z)∞∑
n=0
(zq; q)nzn
(−zq; q)n= 1 + 2
∞∑n=1
(−z2)nqn2.
Applying ε to (3.7) yields
4∞∑
n=1
(−1)nnqn2=
= ε(1− z)2φ1
(q, zq;−zq q, z
).
12 GEORGE E. ANDREWS, JORGE JIMENEZ-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)∞
(−zq; q)∞2φ1
(−1, z;zq
q, zq
).(3.8)
=(q; q)∞
(−q; q)∞
∞∑j=1
−qj
1− qj−
∞∑j=1
qj
1 + qj
− 2(q; q)∞
(−q; q)∞
∞∑n=1
(−q; q)n−1qn
(q; q)n(1− qn)
= −2(q; q)∞
(−q; q)∞
∞∑j=1
qj
1− q2j+
∞∑n=0
((q; q)∞
(−q; q)∞− (q; q)n
(−q; q)n
).
Case of F10(z): In Theorem 2 replace q by q2, and then set a = b = q2 and c = q3. Thisyields, after multiplication by (1− q)−1
(3.9)∞∑
n=0
((q2; q2)∞(q; q2)∞
− (q2; q2)n
(q; q2)n+1
)= − (q2; q2)∞
(q; q2)∞
∞∑n=1
(q; q2)nq2n
(q2; q2)n(1− q2n).
Now in (2.6) replace q by q2, then set a = zq and b = zq2 (cf. [F; p. 16, eq. (14.4)]). Thisyields, after simplification,
(3.10)∞∑
n=0
(zq; q2)nznqn
(zq2; q2)n=
∞∑n=0
znq(n2+n)/2.
Applying ε to (3.10), we find that
∞∑n=1
nq(n2+n)/2 = ε 2φ1
(zq, q2;zq2
q2, zq
).
This equals, by (2.4) with q replaced by q2 and z replaced by zq with a = zq, b = q2 andc = zq2,
= ε(q2; q2)∞(z2q2; q2)∞(zq2; q2)∞(zq; q2)∞
2φ1
(z, zq;z2q2
q2, q2)
(3.11)
= ε(q2; q2)∞(−zq; q)∞ 2φ1
(z, zq;z2q2
q2, q2)
=(q2; q2)∞(q; q2)∞
∞∑j=1
qj
1 + qj− (q2; q2)∞
(q; q2)∞
∞∑n=1
(q; q2)nq2n
(q2; q2)n(1− q2n)
=(q2; q2)∞(q; q2)∞
∞∑j=1
(−1)jqj
1− qj+
∞∑n=0
((q2; q2)∞(q; q2)∞
− (q2; q2)n
(q; q2)n+1
).
We use (3.9) in the last step above.
q-SERIES IDENTITIES 13
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 remainingcases. In each case, it is well known that the relevant L-function has an analytic continuationto C (with the exception of a simple pole at s = 1 for ζ(s)) and a functional equation via aMellin transformation.
Proof of Theorems 4, 5, 6, and 7.Case of Theorem 4: The identity for F9(z) in Theorem 3 is
(4.1)∞∑
n=0
(F9(z)−
(1− q)(1− q2) · · · (1− qn)(1 + q)(1 + q2) · · · (1 + qn)
)= 2F9(z)
( ∞∑n=1
d1(n)qn
)+ 2
√Θ(F9(z)) .
It is well known that
(4.2) F9(z) = 1 + 2∞∑
n=1
(−1)nqn2.
Notice that F9(z) vanishes to infinite order as q → 1. Therefore, we replace q by e−t witht↘ 0. Now define coefficients c9(n) and b9(n) by the asymptotic expansions
(4.3) −∞∑
n=0
(1− e−t)(1− e−2t) · · · (1− e−nt)(1 + e−t)(1 + e−2t) · · · (1 + e−nt)
=∞∑
n=0
c9(n)tn
and
H9
(e−t)
= 4∞∑
n=1
(−1)nne−n2t ∼∞∑
n=0
b9(n)tn as t↘ 0.
Now we observe, by (4.1) and (4.2), that c9(n) = b9(n) for all n. On the other hand∫ ∞
0
H9
(e−t)ts−1dt = 4
∞∑n=1
(−1)nn
∫ ∞
0
e−n2tts−1dt.
By replacing T by n2t, we find that
(4.4)∫ ∞
0
H9
(e−t)ts−1dt = 4Γ(s)
∞∑n=1
(−1)n
n2s−1= 4Γ(s)(41−s − 1)ζ(2s− 1).
To compute the coefficients b9(n), notice that
(4.5)∫ ∞
0
H9
(e−t)ts−1dt =
∫ ∞
0
(N−1∑n=0
b9(n)tn +O(tN )
)ts−1dt =
N−1∑n=0
c9(n)s+ n
+ F9(s),
14 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
where F9(s) is analytic for Re(s) > −N . The residue at s = −n of (4.4) is
b9(n) =(−1)n
n!· 4(41+n − 1) · ζ(−2n− 1).
This completes the proof of Theorem 4.
Case of Theorem 5: It is well known that
(4.6) F10(z) =∞∑
n=0
q(2n+1)2 .
It is easy to see that the identity in Theorem 3 for F10(z) is equivalent to
∞∑n=0
(F10(z/8)− q1/8
1− q× (1− q2)(1− q4) · · · (1− q2n)
(1− q3)(1− q5) · · · (1− q2n+1)
)
= F10(z/8)
(−1
2+
∞∑n=1
d8(n)qn
)+
12
∞∑n=0
(2n+ 1)q(2n+1)2/8.
(4.7)
Observe that F10(z/8) vanishes to infinite order as q → −1. Define the coefficients c10(n)and b10(n) by the asymptotic expansions
−e−t/8∞∑
n=0
(1− e−2t)(1− e−4t) · · · (1− e−2nt)(1 + e−t)(1 + e−3t) · · · (1 + e−(2n+1)t)
=∞∑
n=0
c10(n)tn
and
H10
(e−t)
=12
∞∑n=0
(2n+ 1)(−1)n(n+1)/2e−t(2n+1)2/8 ∼∞∑
n=0
b10(n)tn as t↘ 0.
Therefore, by replacing q by −e−t with t↘ 0 and ζ8 := eπi/8, (4.6) and (4.7) imply thatc10(n) = b10(n) for all n and, on the other hand∫ ∞
0
H10
(e−t)ts−1dt =
12
∞∑n=0
(2n+ 1)(−1)n(n+1)/2
∫ ∞
0
e−(2n+1)2t/8ts−1dt
=12
∞∑n=1
χ2(n)n∫ ∞
0
e−n2t/8ts−1dt
=128sΓ(s)L(χ2, 2s− 1).(4.8)
The rest of the proof is identical to the proof of Theorem 4.
q-SERIES IDENTITIES 15
Case of Theorem 6: By [C], it is known that the coefficients a(n) defining L(ρ, s) in (1.16)are defined by
(4.9)∞∑
n=1
a(n)qn = M1(q) + 2M2(q).
In this case we use the identity for F7(z) in Theorem 3(4.10)∞∑
n=0
(F7(z)− q−1(1− q24)(1− q72) · · · (1− q24(2n−1))
)= F7(z)
( ∞∑n=1
d(n)q24n
)+M2(q).
Moreover, notice in (1.8) that the non-zero coefficients of M2(q) are supported on thoseexponents n ≡ 23 (mod 24). Now observe that F7(z/24) vanishes to infinite order as q → 1.The rest of the argument is virtually identical to those above.
Case of Theorem 7: In this case we consider the identity for F4(z) in Theorem 3(4.11)∞∑
n=0
(F4(z)− q(1 + q24)(1 + q48) · · · (1 + q24n)
)= F4(z)
(−1
2+
∞∑n=1
d(n)q24n
)+
12M1(q).
Notice that F4(z/24) vanishes to infinite order as q → −1. Arguing as before, we considerthe asymptotic t-series expansion of
−ζ24e−t/24∞∑
n=0
(1− e−t)(1 + e−2t) · · · (1 + (−1)ne−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 M1(q) are supported on those exponents n ≡ 1(mod 24).
Q.E.D.
5. Partition theoretic consequences.
Recall that a partition of a non-negative integer N is any nonincreasing sequence ofpositive integers whose sum is N . If p(N) denotes the number of partitions of N , then wehave
(5.1)1
η(24z)=
∞∑N=0
p(N)q24N−1 = q−1∞∏
n=1
11− q24n
= q−1 + q23 + 2q47 + 3q71 + · · · .
If pe(N) (resp. po(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 Fourierexpansion of η(24z) ∈ S1/2(Γ0(576), χ) is
(5.2) η(24z) =∞∑
N=0
(pe(N)− po(N)) q24N+1 = q − q25 − q49 + · · · =∞∑
n=1
χ(n)qn2
16 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
where
(5.3) χ(n) :=
1 if n ≡ ±1 (mod 12),−1 if n ≡ ±5 (mod 12),0 otherwise.
As a consequence for our identity for F1(z) = 1/η(24z), we obtain the following partitiontheoretic result which is equivalent to the observation made by Erdos [E] in the beginningof his study of the asymptotics of p(N) by elementary means.
Theorem 5.1. If n is a positive integer, then let an(N) denote the number of partitions ofN into parts not exceeding n. For every positive integer N we have
(N + 1)p(N) =N∑
n=1
p(N − n)d(n) +N∑
n=1
an(N).
Proof. Here we use the identity for F1(z) = 1/η(24z) in the form
(5.4)∞∑
n=0
(P (q)− 1
(1− q)(1− q2) · · · (1− qn)
)= P (q)D(q),
where
P (q) =∞∑
n=0
p(n)qn =∞∏
n=1
11− qn
,
D(q) =∞∑
n=1
d(n)qn.
If m is a non-negative integer, then the series
(5.5) P (q)− 1(1− q)(1− q2) · · · (1− qm)
= qm+1 +∞∑
n=m+2
bm(n)qn
for some sequence of integers bm(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) isN∑
n=1
p(N − n)d(n).
Therefore, to prove the result it suffices to show that the coefficient of qN on the left handside of of (5.4) is
(5.6) (N + 1)p(N)−N∑
n=1
an(N).
q-SERIES IDENTITIES 17
By letting m = N as in (5.5), it is easy to see that the coefficient of qN on the left handside of (5.4) is the coefficient of qN in
N∑n=0
(P (q)− 1
(1− q)(1− q2) · · · (1− qn)
).
Claim (5.6) follows from the obvious fact that
∞∑N=0
an(N)qn =1
(1− q)(1− q2) · · · (1− qn).
This completes the proof.
Q.E.D.As with Theorem 5.1, Zagier’s identity for F8(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 Se(N) (resp. So(N)) denote the set of partitions ofN into an even (resp. odd) number of distinct parts. Using this notation, define the twopartition functions Ae(N) and Ao(N) by
Ae(N) :=∑
π∈Se(N)
mπ,(5.7)
Ao(N) :=∑
π∈So(N)
mπ(5.8)
Theorem 5.2. If N is a positive integer, then
Ae(N)−Ao(N) =
=∑k∈Z
(−1)kd(N − (3k2 + k)/2
)+
(−1)k(3k) if N = 3k2+k
2 with k ≥ 0,
(−1)k(3k − 1) if N = 3k2−k2 with k ≥ 1,
0 otherwise.
Proof. If E(q) is the q-series defined by
E(q) =∞∏
n=1
(1− qn) = 1− q − q2 + · · · ,
then we claim that
(5.9)∞∑
n=0
(E(q)− (1− q)(1− q2) · · · (1− qn)
)= −
∞∑n=1
nqn(1− q)(1− q2) · · · (1− qn−1).
18 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
As described above, we have that
E(q) =∞∏
n=1
(1− qn) =∞∑
n=0
(pe(n)− po(n)) qn.
Since E(q) is the generating function for the number of partitions into an even number ofdistinct parts minus the number into an odd number of distinct parts, it is easy to see that
E(q)− (1− q)(1− q2) · · · (1− qn)
is the generating function whose coefficient of qN is the number of partitions of N intoan even number of distinct parts where at least one part exceeds n minus the number ofpartitions 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 (−1)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 1 for F8(z) =
η(24z).
Q.E.D.
6. Related Results
The uniform nature of the ten results proved in Theorem 3 makes it natural to groupthose identities together. There are, however, a variety of results that can be deduced fromTheorems 1 and 2. Here we record a number of further identities.
Theorem 6.1. Let m(n) denote the number of divisors of n in the interval [√n/2,
√2n).
Moreover, let de(n) (resp. do(n)) denote the number of even (resp. odd) divisors of n. Thefollowing identities are true:
(6.1)∞∑
n=0
(1
η2(24z)− 1q2(q24; q24)2n
)=
1η2(24z)
∞∑n=1
(d(n) +m(n)) q24n,
(6.2)∞∑
n=0
(η2(2z)η4(z)
− (−q; q)2n(q; q)2n
)=
4η2(2z)η4(z)
∞∑m=0
do(2m+ 1)q2m+1,
(6.3)∞∑
n=0
(η2(8z)η4(16z)
− (q8; q16)2nq2(q16; q16)2n
)=
η2(8z)η4(16z)
∞∑n=1
(de(n)− 2do(n)) q8n,
(6.4)∞∑
n=0
(1
η(24z)− 1q(q24; q24)2n
)=
1η(24z)
( ∞∑n=1
d(n)q48n +∞∑
n=1
(−1)n−1q24n2
1− q48n
),
q-SERIES IDENTITIES 19
(6.5)∞∑
n=0
(η(2z)η2(z)
− (−q; q)2n
(q; q)2n
)=
2η(2z)η2(z)
∞∑n=1
q2n − (−q)n
1− q4n,
(6.6)∞∑
n=0
(η(8z)η2(16z)
− (q8; q16)2n
q(q16; q16)2n
)=
η(8z)4η2(16z)
(1−
∞∑n=−∞
q8n2+ 2
∞∑n=1
(de(n)− do(n)) q8n
).
Proof. Here we prove these identities.
Case of (6.1): Let a = b = 0 and c = q in Theorem 2. This yields
(6.7)∞∑
n=0
(1
(q; q)2∞− 1
(q; q)2n
)=
1(q; q)2∞
( ∞∑n=1
qn
1− qn+
∞∑n=1
(−1)n−1q(n2+n)/2
1− qn
).
In order to complete the proof of (6.1), we must establish that
(6.8)∞∑
n=1
m(n)qn =∞∑
n=1
(−1)n−1q(n2+n)/2
1− qn.
To see (6.8), we first note that m(n) equals d(n) minus the number of divisors in the twointervals [1,
√n/2) and [
√2n, n]. Hence, we have that
∞∑n=1
m(n)qn =∞∑
n=1
qn
1− qn−
∞∑n=1
q(n)(2n)(1 + 2qn + 2q2n + 2q3n + · · ·
)=
∞∑n=1
qn
1− qn−
∞∑n=1
(1 + qn)q2n2
1− qn.(6.9)
Next in [G-R, eq. (III.17), p. 242] set a = e = z and let b, c, d and f → +∞. This yields
(q; q)∞(zq; q)∞
(1 +
∞∑n=1
(z; q)2n(1− zq2n)q2n2zn
(q; q)2n(1− z)
)=
∞∑n=0
(z; q)n(−1)nq(n2+n)/2
(q; q)n.
Hence we get∞∑
n=1
(−1)n−1q(n2+n)/2
1− qn=
= ε∞∑
n=0
(z; q)n(−1)nq(n2+n)/2
(q; q)n
= ε(q; q)∞(zq; q)∞
(1 +
∞∑n=1
(z; q)2n(1− zq2n)q2n2zn
(q; q)2n(1− z)
)
=∞∑
n=1
qn
1− qn−
∞∑n=1
(1 + qn)q2n2
1− qn
=∞∑
n=1
m(n)qn,(6.10)
20 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
which proves (6.8) and therefore (6.1).
Case of (6.2): To prove this identity let a = b = −q and c = q in Theorem 2. The resultnow follows easily by combining the resulting Lambert series.
Case of (6.3): To prove this identity replace q by q2 and set a = b = q and c = q2 inTheorem 2. The result now follows easily by combining the resulting Lambert series.
Case of (6.4): To prove this identity replace q by q2 and set a = b = 0 and c = q2 inTheorem 2.
Case of (6.5): This identity follows from Theorem 2 by replacing q by q2 and the settinga = −q, b = −q2 and c = q.
Case of (6.6): Surprisingly, (6.6) is more intricate. Here we use Proposition 2.1 with
α(n) = (q; q2)2n/(q2; q2)2n.
Consequently (noting that εf(z) = 12εf(z2)), we find that
∞∑n=0
((q; q2)∞(q2; q2)∞
− (q; q2)2n
(q2; q2)2n
)
= ε(1− z)∞∑
n=0
(q; q2)2nzn
(q2; q2)2n
=12ε(1− z2)
∞∑n=0
zn(q; q2)n(1 + (−1)n)2(q2; q2)n
=14ε
{(1 + z)
(qz; q2)∞(zq2; q2)∞
+ (1− z) · (−zq; q2)∞(−zq2; q2)∞
}=
14
{(q; q2)∞(q2; q2)∞
− (−q; q2)∞(−q2; q2)∞
+2(q; q2)∞(q2; q2)∞
∞∑n=1
(q2n
1− q2n− q2n−1
1− q2n−1
)}.
Identity (6.6) now follows by recalling [A1; p. 21, eq. (2.2.10)], with z = 1, that
(−q; q2)∞(q2; q2)∞(q; q2)∞(−q2; q2)∞
=∞∑
n=−∞qn2
.
Q.E.D.
Finally, we recall the following attractive and very elementary result on partitions intoconsecutive integers (cf. [L, p. 85, Problem 4]).
q-SERIES IDENTITIES 21
Proposition 6.2. The number of partitions of n into consecutive integers equals the numberof odd divisors of n.
Proof. This result is easily deduced from the formula for the sum of an arithmetic progres-sion. It is also directly deduced from the generating function identity [M, p. 28]
∞∑m=1
q2m−1
1− q2m−1=
∞∑m=1
q(m2+m)/2
1− qm.
Q.E.D.From our proof of (6.1), we may easily deduce the following result for ce(n) (resp. co(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
co(n)− ce(n) = m(n).
Proof. This is immediate from (6.10):
∞∑n=1
m(n)qn =∞∑
n=1
(−1)n−1q(n2+n)/2
1− qn=
∞∑n=1
(co(n)− ce(n)) qn.
Q.E.D.
References
[A1] G. E. Andrews, The theory of partitions, Cambridge University Press, 1984.
[A2] G. E. Andrews, Ramanujan’s “Lost” Notebook V: Euler’s partition identity, Advances in Math-
ematics 61 (1986), 156-164.[A3] G. E. Andrews, Mock theta functions, Proc. Symp. Pure Math. 49 (1989), 283-298.
[A-D-H] G. E. Andrews, F. Dyson and D. Hickerson, Partitions and indefinite quadratic forms, Inven-tiones Mathematicae 91 (1988), 391-407.
[C] H. Cohen, q-identities for Maass waveforms, Inventiones Mathematicae 91 (1988), 409-422.
[E] P. Erdos, On an elementary proof of some asymptotic formulas in the theory of partitions,Annals of Mathematics 43 (1942), 437-450.
[F] N. J. Fine, Basic hypergeometric series and applications, Math. Sruveys and Monographs, Vol.
27, Amer. Math.Soc., Providence, 1988.[G-R] G. Gasper and M. Rahman, Basic hypergeometric series, Ency. of Math. and its Appl., Vol. 2,
Addison-Wesley, Reading, 1976.
[L] W. J. Leveque, Topics in Number Theory, Vol. 1, Addison-Wesley, Reading, 1956.[M] P. A. MacMahon, Combinatory Analysis, Vol. 2, Cambridge Univ. Press, Cambridge, 1916
(reissued by Chelsea, New York, 1960).
[Z] D. Zagier, Vassiliev invariants and a strange identity related to the Dedekind eta-function, toappear, Topology.
Department of Mathematics, Penn State University, University Park, Pa. 16802
22 GEORGE E. ANDREWS, JORGE JIMENEZ-URROZ AND KEN ONO
E-mail address: [email protected]
Dept. Matematicas, Facultad de Ciencias, Universidad Autonoma de Madrid, 28049, Madrid,Espana.
E-mail address: [email protected]
Department of Mathematics, Penn State University, University Park, Pa. 16802E-mail address: [email protected]
Department of Mathematics, University of Wisconsin, Madison, Wisconsin 53706
E-mail address: [email protected]
