arXiv:math/0407078v1 [math.QA] 6 Jul 2004
THE q-BINOMIAL FORMULA AND THE ROGERS
DILOGARITHM IDENTITY
R.M. KASHAEV
Abstract. The q-binomial formula in the limit q → 1− is shown to be equivalent to the Rogers five term dilogarithm identity.
1. Introduction
For any q, x ∈]0, 1[ define a q-exponential function as an infinite product
Y
φ(x) := 1/(x; q)∞ := 1/
(1 − q n x)
n≥0
A finite product
(x; q)k :=
k−1
Y
(1 − q n x),
∀k ∈ Z≥0
n=0
can be expressed as a ratio of two q-exponentials:
(x; q)k =
φ(xq k )
(x; q)∞
=
k
(xq ; q)∞
φ(x)
The q-binomial formula (see, for example, [2]) is given by the following identity
X (a; q)n
(az; q)∞
zn =
, |z| < 1
(1)
(q; q)n
(z; q)∞
n≥0
which, by using the above notation, can also be written entirely in terms of the
function φ(x):
X φ(aq n )
φ(a)φ(z)
zn =
(2)
φ(q n+1 )
φ(q)φ(az)
n≥0
The following expansion formulas
(3)
φ(x) =
X
n≥0
xn
(q; q)n
and
(4)
X (−1)n q n(n−1)/2 xn
1
=
φ(x)
(q; q)n
n≥0
are both particular cases of the q-binomial formula.
The asymptotic formula
φ(x) ∼ e−Li2 (x)/ ln q ,
q → 1−
Date: July 2004.
The work is supported in part by the Swiss National Science Foundation.
1
2
R.M. KASHAEV
where
Li2 (x) :=
∞
X
xn
n2
n=1
is the Euler dilogarithm function, has been used in [1, 3] to give an interpretation
to φ(x) as a quantum version of the dilogarithm function. In particular, by using
a formal reasoning coming from quantum mechanics, it has been shown that the
quantum five term identity
(5)
φ(u)φ(v) = φ(v)φ(−vu)φ(u)
where φ(u), φ(v), and φ(−vu) are elements in the algebra Aq = Cq [[u, v]] of formal
power series in two elements u, v satisfying the commutation relation uv = qvu, in
the limit q → 1− reproduces the Rogers pentagonal identity for the dilogarithm
(6)
a − az
z − az
1−z
1−a
Li2 (a)+Li2 (z) = Li2 (az)+Li2
+Li2
+ln
ln
1 − az
1 − az
1 − az
1 − az
The purpose of this paper is to make the statement of the paper [1] mathematically
rigorous1. Namely, we first show that the identity (5) is related to the q-binomial
formula (1) and then derive from the latter the Rogers identity (6) in the limit
q → 1− . The main result follows.
Theorem 1. Let q, a, z ∈]0, 1[. Then in the limit q → 1− the q-binomial identity (2)
leads to the Rogers pentagonal identity (6).
The rest of this paper is organized as follows. In Section 2 the equivalence
between he q-binomial formula and the quantum pentagonal identity is explained,
while Section 3 contains the proof of Theorem 1.
2. The q-binomial formula and the quantum pentagonal identity
The relation between the formulas (1) and (5) can be established by comparing
the expansion coefficients of am z n in (1) and vn um in (5), respectively.
Proposition 1. The q-binomial formula is equivalent to the following set of identities
(7)
q mn
=
(q; q)m (q; q)n
min(m,n)
X
k=0
(−1)k q k(k−1)/2
,
(q; q)m−k (q; q)n−k (q; q)k
∀m, n ∈ Z≥0
Proof. Let us write the q-binomial formula in the form
X φ(aq n )
φ(a)φ(z)
zn =
(q; q)n
φ(az)
n≥0
or, using formula (3) in the left hand side, we have
X
q mn am z n
φ(a)φ(z)
=
(q; q)m (q; q)n
φ(az)
m,n≥0
Again, using the expansion formulas (3), (4) in the right hand side, and equating
the coefficients of the monomials am z n in both sides of the equality, we arrive at
formula (7).
1I would like to thank Yu. Manin for posing this question.
THE q-BINOMIAL FORMULA AND THE ROGERS DILOGARITHM IDENTITY
3
Proposition 2. The set of identities (7) is equivalent to the quantum five term
identity (5).
Proof. We multiply the both sides of (7) by vn um and sum over m and n. The
result can be easily written in the form of equation (5) by using the commutation
relation uv = qvu, and, in particular, the formula vk uk q k(k−1)/2 = (vu)k .
3. Proof of Theorem 1
Lemma 1. Let k, l ∈ Z be such that k ≤ l and f± : [k, l + 1] → R≥0 be functions,
where f− is decreasing and f+ is increasing. Then
l+1
X
(8)
f− (n) ≤
(9)
n=k
l+1
f− (t)dt ≤
k
n=k+1
l
X
Z
f+ (n) ≤
Z
l
X
f− (n)
n=k
l+1
f+ (t)dt ≤
k
l+1
X
f+ (n)
n=k+1
Proof. The inequality
f− (n + 1) ≤ f− (x) ≤ f− (n), ∀n ∈ Z ∩ [k, l], ∀x ∈ [n, n + 1]
R n+1
implies that f− (n + 1) ≤ n f− (x)dx ≤ f− (n). Thus, summing over all possible
n we arrive at formula (8). The proof of formula (9) is similar.
Remark 1. The variables k and l in Lemma 1 can take infinite values k = −∞ or
l = ∞.
In what follows, for any function f : R≥0 → R≥0 we shall use the notation
Z ∞
X
S(f ) :=
f (n), I(f ) :=
f (t)dt
n≥0
0
If a decreasing function f : R≥0 → R≥0 is integrable on R≥0 then, as a particular
case of Lemma 1, we have
S(f ) − f (0) ≤ I(f ) ≤ S(f )
or equivalently
(10)
0 ≤ S(f ) − I(f ) ≤ f (0)
Example 1. The function f (t) = − ln(1 − q t x) is decreasing and integrable on
R≥0 , and
Z x
Z ∞
Li2 (x)
dz
1
t
=−
ln(1 − z)
S(f ) = ln φ(x), I(f ) = −
ln(1 − q x)dt =
ln
q
z
ln q
0
0
Thus, for any q, x ∈]0, 1[ inequalities (10) imply that
(11)
1 ≤ φ(x)eLi2 (x)/ ln q ≤
1
1−x
4
R.M. KASHAEV
Lemma 2. Let g : R≥0 → R≥0 be an integrable function increasing in the segment
[0, x0 ] and decreasing on the interval [x0 , ∞[. Let also n0 ∈ Z≥0 be such that
g(n) ≤ g(n0 ) for all n ∈ Z≥0 (n0 is equal either to [x0 ] (the integer part of x0 ) or
[x0 ] + 1). Then
Z ∞
X
(12)
g(n0 ) ≤
g(n) ≤
g(x)dx + g(n0 )
0
n≥0
P
Proof. The inequality g(n0 ) ≤
n≥0 g(n) follows directly from the positivity of
g(x). To prove the second part of (12), note that we can apply Lemma 1 to
functions f+ = g|[0,[x0 ]] and f− = g|[[x0 ]+1,∞[ . Thus, the left hand sides of the
inequalities in Lemma 1 take the forms
Z ∞
Z [x0 ]
[x0 ]−1
∞
X
X
g(n) ≤
g(x)dx
g(n) ≤
g(x)dx,
n=0
0
n=[x0 ]+2
[x0 ]+1
Adding these to each other, we obtain
∞
X
g(n) − g([x0 ]) − g([x0 ] + 1) ≤
Z
∞
g(x)dx −
0
n=0
which, combined with the inequality
Z [x0 ]+1
[x0 ]
Z
[x0 ]+1
g(x)dx
[x0 ]
g(x)dx ≥ g(n′0 )
where {n0 , n′0 } = {[x0 ], [x0 ] + 1}, is equivalent to the second part of (12).
Proposition 3. There exists ǫ ∈]0, 1[ such that for any q ∈]1 − ǫ, 1[ the function
g(x) =
φ(aq x ) x
z
φ(q 1+x )
where a, z ∈]0, 1[, satisfies the conditions of Lemma 2.
Proof. The integrability of g(x) is evident. We have the following formula for its
derivative
g ′ (x)
= ln z − ln(q)(q − a)S(hx )
g(x)
where
q x+t
hx (t) =
(1 − q 1+x+t )(1 − aq x+t )
satisfies the conditions of Lemma 1 so that
1
z(1 − aq x )
S(hx ) ≥ I(hx ) = −
ln
ln(q)(q − a)
1 − q 1+x
Evidently, the function S(hx ) is decreasing in x. Assuming that q > 1 − z(1 − a),
we obtain
z(1 − a)
g ′ (0)
>0
≥ ln
g(0)
1−q
Besides, it is easy to see that
g ′ (x)
= ln z < 0
x→∞ g(x)
lim
THE q-BINOMIAL FORMULA AND THE ROGERS DILOGARITHM IDENTITY
5
Thus, we have shown that for ǫ = z(1 − a) and any q ∈]1 − ǫ, 1[ the continuous
function g ′ (x)/g(x) is decreasing, positive at x = 0 and negative for sufficiently
large x, i.e. there exists unique x0 ∈]0, ∞[ such that g ′ (x0 ) = 0 and all conditions
of Lemma 2 are satisfied.
Proposition 4.
(13)
lim ln(q) ln S(g) = F (ξ0 ),
q→1−
ξ0 =
1−z
1 − az
where
F (ξ) = Li2 (ξ) − Li2 (aξ) + ln(ξ) ln(z)
Proof. For any ξ ∈]0, 1[ equation (11) implies that
lim ln(q) ln(g (ln ξ/ln q)) = F (ξ)
q→1−
Thus, one has asymptotically
F (ξ)
g((ln ξ/ln q) ∼ e ln q ,
q → 1−
and, by using the steepest decent method, one has also
I(g) ∼ e
F (ξ0 )
ln q
,
q → 1−
where ξ0 = (1 − z)/(1 − az) ∈]0, 1[ is the unique solution of the equation F ′ (ξ) = 0.
The asymptotic formula for S(g) follows immediately from Lemma 2 after taking
into account the fact that
ln ξ0
x0 ∼ n0 ∼
, q → 1−
ln q
and, correspondingly, g(n0 ) ∼ g(x0 ) ∼ I(g), q → 1− .
Proof of Theorem 1. Using Lemma 1, we have immediately
φ(a)φ(z)
lim− ln(q) ln
= Li2 (1) + Li2 (az) − Li2 (a) − Li2 (y)
φ(q)φ(az)
q→1
Combining this formula with equation (13), we conclude that the q-binomial identity (2) leads to the following identity:
F (ξ0 ) = Li2 (1) + Li2 (az) − Li2 (a) − Li2 (z)
or explicitly,
Li2 (ξ0 ) − Li2 (aξ0 ) + ln(ξ0 ) ln(z) = Li2 (1) + Li2 (az) − Li2 (a) − Li2 (z)
which we rewrite in the form
Li2 (a) + Li2 (z) = Li2 (az) + Li2 (aξ0 ) + Li2 (1) − Li2 (ξ0 ) − ln(ξ0 ) ln(z)
Using the identity
Li2 (x) + Li2 (1 − x) = Li2 (1) − ln(x) ln(1 − x),
∀x ∈ [0, 1]
we rewrite it further
Li2 (a) + Li2 (z) = Li2 (az) + Li2 (aξ0 ) + Li2 (1 − ξ0 ) + ln(ξ0 ) ln ((1 − ξ0 )/z)
which is exactly the Rogers identity (6).
6
R.M. KASHAEV
References
[1] L.D. Faddeev, R.M. Kashaev: Quantum dilogarithm, Mod. Phys. Lett. A9 (1994) 427–434.
[2] G. Gasper, M. Rahman: Basic hypergeometric series, Cambridge University Press, 1990.
[3] A.N. Kirillov: Dilogarithm identities, Prog. Theor. Phys. Suppl. 118 (1995), 61–142.
Université de Genève, Section de mathématiques, 2-4, rue du Lièvre, CP 240, 1211
Genève 24, Suisse
V.A. Steklov Institute of Mathematics at St. Petersburg , 27, Fontanka, St. Petersburg 191023, Russia
E-mail address: Rinat.Kashaev@math.unige.ch