Professional Documents
Culture Documents
discussions, stats, and author profiles for this publication at: https://www.researchgate.net/publication/294289049
CITATION READS
1 64
1 author:
Hoffman Michael
United States Naval Academy
39 PUBLICATIONS 1,304 CITATIONS
SEE PROFILE
All content following this page was uploaded by Hoffman Michael on 26 February 2016.
1. Introduction
In a recent paper, O. Furdui and C. Vălean [6] prove some results on sums
of products of the “tails” of the Riemann zeta function, i.e.,
n ∞
X 1 X 1
ζ(p) − p
= .
i=1
i i=n+1
ip
In fact, as we show in §3 below, there is a simple general result (Theorem 3.1
below) for the sum
∞ n
! n
X X 1 X 1
ζ(p) − ζ(q) − (1)
n=1 i=1
ip j=1
jq
for integers n ≥ 3, and the reduction of double zeta values of the form ζ(n, 1),
n ≥ 2 an integer:
n−1
n 1X
ζ(n, 1) = ζ(n + 1) − ζ(j)ζ(n + 1 − j), (4)
2 2 j=2
for n > k ≥ 2, was conjectured by C. Moen (see [8]) and proven independently
by A. Granville [7] and D. Zagier. Another result for general depth, the
“duality” property, is a bit more involved to state. Let Σ be the function that
assigns to a sequence of positive integers (i1 , . . . , ik ) its sequence of partial
sums. If In is the set of strictly increasing sequences of positive integers whose
last term is at most n, define functions Rn and Cn on In by
Rn (a1 , . . . , ak ) = (n + 1 − ak , n + 1 − ak−1 , . . . , n + 1 − a1 )
Cn (a1 , . . . , ak ) = complement of {a1 , . . . , ak } in {1, . . . , n}, arranged
in increasing order.
Then τ = Σ−1 Rn Cn Σ is a function that takes sequences (i1 , . . . , ik ) with
i1 > 1 and i1 + · · · + ik = n to sequences of the same type, and the duality
property is
ζ(τ (I)) = ζ(I). (8)
For example, ζ(2, 1, 2) = ζ(2, 3). This result follows from the representation
of multiple zeta values as iterated integrals (for which see [12]).
Sums of Products of Riemann Zeta Tails 3
1 + (−1)m
1 m+n
ζ(m, n) = (−1)m − 1 ζ(m + n) + ζ(m)ζ(n)
2 n 2
m+n−1
2
X 2j − 2 2j − 2
− (−1)m + ζ(2j − 1)ζ(m + n − 2j + 1) (9)
j=1
m−1 n−1
for m+n odd and n > 1, where it is understood that pq is nil if p < q. (If n =
1 then equation (4) applies.) But in even weights 8 and higher there appear
to be double zeta values that cannot be expressed as rational polynomials in
the ordinary zeta values, e.g., ζ(2, 6). This phenomenon shows up in [3, Table
9], where a “new constant” κ16 (which is −ζ(2, 6) by equation (12) below)
must be introduced to give formulas for weight-8 quantities.
While most of the study of multiple zeta values has concentrated on the
case where the arguments are positive integers, various authors have studied
the behaviour of ζ(i1 , . . . , ik ) when the ik are allowed to be complex. For
a survey see [10]; in particular, the series (2) converges absolutely provided
Re(i1 + · · · + ij ) > j for j = 1, . . . , k.
3. Double products
Our result for products of two tails is as follows.
Proof. Rearrange
∞ ∞ X ∞ ∞
n n
!
X
ζ(p) −
X 1 ζ(q) −
X 1 X X 1
p q
= p kq
n=1 j=1
j k n=1 j=n+1
j
k=1 k=n+1
4 Michael E. Hoffman
as
X min{j, k} − 1 X∞ ∞ ∞ ∞ ∞
k−1 Xj−1 X 1 X k−1 X 1
= + +
j p kq k p+q j=2 j p kq kq jp
j,k≥2 k=2 k=j+1 k=2 j=k+1
∞ ∞ X ∞ X
X k−1 X j−1 X k−1
= + +
k p+q j=1
j p kq j p kq
k=1 k>j k=1 j>k
= ζ(p + q − 1) − ζ(p + q) + ζ(q, p − 1) − ζ(q, p) + ζ(p, q − 1) − ζ(p, q)
= ζ(p + q − 1) + ζ(q, p − 1) + ζ(p, q − 1) − ζ(p)ζ(q).
∞ n
! n
X X 1 X 1
ζ(k) − k
ζ(k + 1) − k+1
=
n=1 i=1
i j=1
j
(−1)k 1
logk x Lik−1 (x)
Z
1 1
ζ(k)2 + ζ(2k) − ζ(k)ζ(k + 1) + dx, (11)
2 2 k! 0 1−x
where Lip is the polylogarithm
∞
X zj
Lip (z) = .
j=1
jp
(In fact this formula holds for k = 2, as we see below.) Equation (11) is based
on [3, Lemma 2.1], which implies
(−1)r−1 1 logr−1 (x) Liq (x)
Z
ζ(q, r) + ζ(q + r) = ζ(q)ζ(r) − dx
(r − 1)! 0 1−x
Sums of Products of Riemann Zeta Tails 5
for integers q, r ≥ 2, or
(−1)r−1 1
logr−1 (x) Liq (x)
Z
ζ(r, q) = dx (12)
(r − 1)! 0 1−x
using the product relation (6). Indeed equation (12) holds for integers r ≥ 2,
q ≥ 1, as can be shown directly in the case q = 1 using Li1 (x) = − log(1 − x).
But by writing equation (12) in the form
Z ∞ r−1
1 t Liq (e−t )
ζ(r, q) = t
dt (13)
Γ(r) 0 e −1
we can do better; we can eliminate the requirement that r and q be integers.
Lemma 3.3. Equation (13) holds for real r > 1 and q > 2 − r.
Proof. We have
∞ ∞ ∞ r−1 −kt
tr−1 Liq (e−t ) e−t tr−1 X e−kt X
−jt
X t e
t
= −t q
= e
e −1 1−e k j=1
kq
k=1 k=1
∞ ∞
X 1 X r−1 −(j+k)t
= t e ,
k q j=1
k=1
∞ n
! n
X X 1 X 1
ζ(k) − ζ(k + 1) − =
n=1 i=1
ik j=1
j k+1
∞ k
t Lik−1 (e−t )
Z
1 1 1
ζ(k)2 + ζ(2k) − ζ(k)ζ(k + 1) + dt.
2 2 Γ(k + 1) 0 et − 1
6 Michael E. Hoffman
using the identity ζ(2, 1) = ζ(3) implied by equations (3) or (4). Cf. [4, Prob.
3.22] and [5, Theorem 1(a)]. For (p, q) = (3, 2) Theorem 3.1 gives
∞ n n
!
X
ζ(3) −
X 1 ζ(2) −
X 1
3
= ζ(3, 1) + ζ(2, 2) + ζ(4) − ζ(2)ζ(3)
n=1 j=1
j k2
k=1
cf. [5, Cor. 2]. In the case (p, q) = (4, 3) Theorem 3.1 gives (cf. [6, Cor. 2])
∞ n n
!
X
ζ(4) −
X 1 ζ(3) −
X 1
= ζ(4, 2) + ζ(3, 3) + ζ(6) − ζ(3)ζ(4)
n=1 j=1
j4 k3
k=1
5 3
= − ζ(6) + ζ(3)2 − ζ(3)ζ(4).
6 2
Sums of Products of Riemann Zeta Tails 7
and consider all possible “weak orderings” of i, j, k (i.e., ties are allowed, e.g.,
i > j > k or i = j > k); there are thirteen possibilities in all. These fall
into four natural classes. First, there are six orderings with i, j, k all unequal.
Second, there are three orderings with two of i, j, k equal and less than the
other value; and third, there are three orderings with two of i, j, k equal and
greater than the other value. Finally, there is one ordering with i = j = k.
For each ordering the corresponding terms in (17) add up to the difference
of two multiple zeta values. For example, i > j > k contributes
X k−1
= ζ(p, q, r − 1) − ζ(p, q, r),
ip j q k r
i>j>k≥1
and together with the other five orderings in the same class we have
and together with the other two orderings in the same class we have
ζ(p+q, r−1)+ζ(p+r, q−1)+ζ(q+r, p−1)−ζ(p+q, r)−ζ(p+r, q)−ζ(q+r, p).
(19)
8 Michael E. Hoffman
which together with the other two orderings in the same class gives
ζ(p, q+r−1)+ζ(q, p+r−1)+ζ(r, p+q−1)−ζ(p, q+r)−ζ(q, p+r)−ζ(r, p+q).
(20)
Finally, the ordering i = j = k contributes
∞
X i−1
p+q+r
= ζ(p + q + r − 1) − ζ(p + q + r). (21)
i=1
i
When (18), (19), (20), and (21) are combined the thirteen negative terms
add up to ζ(p)ζ(q)ζ(r), giving the conclusion.
In the case p = q = r = 2, Theorem 4.1 gives
∞ n
!3
X X 1
ζ(2) − 2
= 6ζ(2, 2, 1) + 3ζ(4, 1) + 3ζ(2, 3) + ζ(5) − ζ(2)3 . (22)
n=1 i=1
i
The right-hand side of this equation can be simplified using the properties
discussed in §2. First, by the duality property (8), ζ(2, 2, 1) = ζ(3, 2). Then
we can write the sum as
3ζ(3, 2)+3[ζ(4, 1)+ζ(3, 2)+ζ(2, 3)]+ζ(5)−ζ(2)3 = 3ζ(3, 2)+4ζ(5)−ζ(2)3
25 35
= 9ζ(2)ζ(3) − ζ(5) − ζ(6),
2 8
where we used equation (3) and then relations that follow from (5). Theorem
4.1 in the case (p, q, r) = (3, 2, 2) is
∞ n
!2 n
X X 1 X 1
ζ(2) − ζ(3) − = 2ζ(3, 2, 1) + 2ζ(2, 3, 1)
n=1 i=1
i2 j=1
j3
Proof. The proof is similar in outline to that for Theorem 4.1. First write the
left-hand side as
X min{m1 , . . . , mk } − 1
(24)
m1 ,...,mk ≥1
mi11 · · · mikk
and separate out the terms according to all the possible weak orderings of
m1 , . . . , mk . These orderings fall into classes specified by compositions of k.
Given such a composition (j1 , . . . , jp ), the contribution from the correspond-
ing class of weak orderings to the sum (24) can be seen to be
X h i
ζ̂((iσ(1) , . . . , iσ(k) ), (j1 , . . . , jp )) − ζ((iσ(1) , . . . , iσ(k) ), (j1 , . . . , jp )) ,
σ∈Σk
Acknowledgement
The author thanks the referee for his careful reading of the manuscript, and
for bringing several references to his attention.
References
[1] T. Arakawa and M. Kaneko, Multiple zeta values, poly-Bernoulli numbers, and
related zeta functions, Nagoya Math. J. 153 (1999), 189-209.
[2] L. Euler, Meditationes circa singulare serierum genus, Novi Comm. Acad. Sci.
Petropol. 20 (1776), 140-186; reprinted in Opera Omnia, Ser. I, Vol. 15, B. G.
Teubner, Berlin, 1927, pp. 217-267.
[3] P. Freitas, Integrals of polylogarithmic functions, recurrence relations, and as-
sociated Euler sums, Math. Comp. 74 (2005), 1425-1440.
[4] O. Furdui, Limits, Series and Fractional Part Integrals: Problems in Mathemat-
ical Analysis, Problem Books in Mathematics, Springer, London, 2013.
Sums of Products of Riemann Zeta Tails 11
[5] O. Furdui and A. Sı̂ntămărian, Quadratic series involving the tail of ζ(k), Inte-
gral Transforms Spec. Func. 26 (2015), 1-8.
[6] O. Furdui and C. Vălean, Evaluation of series involving the product of the
tail of ζ(k) and ζ(k + 1), Mediterr. J. Math., DOI 10.1007/s00009-014-0508-9,
December 2014.
[7] A. Granville, A decomposition of Riemann’s zeta function, in Analytic Number
Theory, Y. Motohashi (ed.), London Math. Soc. Lecture Note Ser. 247, Cam-
bridge University Press, New York, 1997, pp. 95-101.
[8] M. E. Hoffman, Multiple harmonic series, Pacific J. Math. 152 (1992), 275-290.
[9] Y. Ohno, A generalization of the duality and sum formulas on the multiple zeta
values, J. Number Theory 74 (1999), 39-43.
[10] K. Matsumoto, On the analytic continuation of various multiple zeta-functions,
in Number Theory for the Millennium, Vol. II (Urbana, 2000), M. A. Bennett
et. al. (eds.), A. K. Peters, Natick, Mass., 2002, pp. 417-440.
[11] N. J. A. Sloane, Online Encyclopedia of Integer Sequences, oies.org.
[12] D. Zagier, Values of zeta functions and their applications, in First European
Congress of Mathematics, Vol. II (Paris, 1992), Birkhäuser, Boston, 1994, pp.
497-512.
Michael E. Hoffman
U. S. Naval Academy
Annapolis, MD 21402 USA
e-mail: meh@usna.edu