ON THE SPECIAL VALUES OF TORNHEIM’S MULTIPLE SERIES†

Journal of Applied Mathematics & Informatics.
2015.
May,
33(3_4):
305-315

- Received : January 12, 2015
- Accepted : March 23, 2015
- Published : May 30, 2015

Download

PDF

e-PUB

PubReader

PPT

Export by style

Share

Article

Metrics

Cited by

TagCloud

Recently, Jianxin Liu, Hao Pan and Yong Zhang in [On the integral of the product of the Appell polynomials, Integral Transforms Spec. Funct. 25 (2014), no. 9, 680–685] established an explicit formula for the integral of the product of several Appell polynomials. Their work generalizes all the known results by previous authors on the integral of the product of Bernoulli and Euler polynomials. In this note, by using a special case of their formula for Euler polynomials, we shall provide several reciprocity relations between the special values of Tornheim’s multiple series.
AMS Mathematics Subject Classification : 11B68, 11S80.
_{0}
= ℕ∪{0}. The Bernoulli polynomials
B_{k}
(
x
) are defined by
and the Euler polynomials
E_{k}
(
x
) are defined by
(see Zhi-Wei Sun’s lecture
[17]
).
Notice that the Bernoulli numbers
B_{k}
=
B_{k}
(0) and the Euler numbers
In his classical book “Vorlesungen uber Differenzenrechnung”, Nörlund presented the following formula for the integrals of two Bernoulli and Euler polynomials
[13
, p. 31 and 36]:
For the integral of two Bernoulli polynomials, Nielsen
[12]
and Mordell
[11]
provided two different proofs. In the appendix of a very recent book
[1]
, Zagier also gave another interesting proof by using the Fourier expansion of Bernoulli polynomials (see
[1
, p. 250, Proposition A.8.]). In 1958, Mordell remarked: “The integrals containing the product of more than two Bernoulli polynomials do not appear to lead to simple results.” (See
[11
, p. 375]). Later, Carlitz
[4]
presented a proof of formulas on the integrals of the products of three and four Bernoulli polynomials. Subsequently, Wilson
[20]
generalized Carlitz’s result on the integral of the product of three Bernoulli polynomials by evaluating the integral
where
_{k}
(
x
) is the periodic extension of
B_{k}
(
x
) on [0, 1) and
a, b, c
are pairwise coprime integers. Carlitz’s result becomes a special case when
a
=
b
=
c
= 1. Similar integral evaluations have also been used by Espinosa and Moll
[7]
during their study on Tornheim’s double sums.
We also see that it is a reasonable convention to set
In 2011, Agoh and Dilcher
[3]
generalized the result of Wilson and showed that
Proposition 1.1
(Agoh and Dilcher
[3
, Proposition 3]).
For k, l, m
∈ ℕ
_{0}
,
we have
where
C_{k,l,m}
(
x
) =
B_{k}
(
x
)
B_{l}
(
x
)
B_{m}
(
x
) -
B_{k}
B_{l}
B_{m}
.
In 2012, Hu, Kim and Kim
[8]
generalized the above results to obtain the integral of the products of arbitrary many Bernoulli polynomials, in fact, they proved the explicit formula for
Recently, using this integral, Cihat Dagli and Can
[6]
established a connection between the reciprocity relations of sums of products of Bernoulli polynomials and of the Dedekind sums.
In 2013, Liu, Pan and Zhang
[9]
extended Hu, Kim and Kim’s result by establishing an explicit formula for the integral of the product of several Appell polynomials. If a polynomial sequence {
A_{n}
(
x
)},
n
∈ ℕ
_{0}
, satisfies that
then we say {
A_{n}
(
x
)} is an Appell sequence. The Bernoulli polynomials, Euler polynomials, and the probablists’ Hermite polynomials are both Appell polynomials. For Euler polynomials, their result is as follows.
Theorem 1.2
(Liu, Pan and Zhang
[9
, p. 682 (1.5)]).
where K
=
k
_{1}
+ · · · +
k_{r} and Euler numbers E_{k}
= 2
^{k}
E
_{k}
(1/2).
Proposition 1.3.
Let k
_{1}
, . . . ,
k_{r}
∈ ℕ
_{0}
,
and let
Then we have
Proof
. This proposition is implied by the above Theorem, and it can also be proved following the same line as
[8
, Proposition 1.4].
In this paper, we shall apply the above result on the integral of the product of arbitrary many Euler polynomials to obtain several reciprocity relations between the special values of Tornheim’s multiple series.
First, we recall the history and some background on Tornheim’s series.
In 1950, Tornheim considered the double series
T
(
p,q,r
) which was defined by
where
p,q,r
are nonnegative integers with
p
+
r
> 1,
q
+
r
> 1 and
p
+
q
+
r
> 2. In particular, he showed that
T
(
p,q,N
−
p
−
q
) is a polynomial in {
ζ
(
j
) | 2 ≤
j
≤
N
} with rational coefficients, if
N
is an odd integer bigger than 3.
In 1958, Mordell
[10]
evaluated Tornheim’s double series at
p
=
q
=
r
= 2
k
, where
k
is a positive integer. In 1985, Subbarao and Sitaramachandrarao
[16]
extended Mordell’s results by considering the alternating analogue of (8) which was defined by
and
In 2003, Tsumura
[18]
considered the following partial Tornheim’s double series
where
b
_{1}
,
b
_{2}
∈ {1, 2}. In particular, he wrote
_{1,1}
(
p,q,r
) as a rational linear combination of products of Riemann’s zeta values at positive integers, when
p
and
q
are odd positive integers with
q
≥ 3 (see
[18
, Proposition 3.5]).
There exist the following two ways for the generalizations of above Tornheim’s double series to the multiple cases:
and
We set
^{+}
(
s
) =
_{1}
^{+}
(
s
; 0). Note that
where
ζ
(
s
) is the Riemann zeta function.
In 2004, Tsumura
[19]
obtained the following result on the special values of
_{r}
^{+}
(
s
_{1}
, . . . ,
s_{r}
;
s
) (for definition, see (12) above), so called Euler-MordellTornhein zeta values.
Theorem 1.4
(
[19
, Theorem 1.1]).
The Euler-Mordell-Tornheim zeta value
can be expressed as a rational linear combination of products of Euler-MordellTornheim zeta values of lower depth than r, when its depth r and its weight are of different parity.
In this paper, by using the formula on the integral of products of arbitrary many Euler polynomials, we obtain the following results on the relationships between the special values of the above Tornheim’s multiple series (12) and (13).
The beta values
β
(
s
) are defined by (see
[2
, p. 807, entry 23.2.21] and
[19
, (2.1)])
According to Leibnitz’s test for alternating series, this is a series which converges for all Re(
s
) > 0.
In this paper, we shall give an elementary proof of the following known result (see
[18
, Example 3.7] and
[19
, Proposition 2.1]).
Proposition 1.5.
For m
∈ ℕ
_{0}
,
we have
where E
_{2}
_{m} are the Euler numbers (see (3) above).
We shall also give an elementary proof of the following known result (see Shimura’s book
[15
, (4.93)]).
Proposition 1.6.
For m
∈ ℕ,
we have
For simplification of the notations, in what following, we shall denote by
Theorem 1.7.
(1)
For l, m, n
∈ ℕ,
we have the following reciprocity relation:
(2)
For k, l, m, n
∈ ℕ,
we have the following reciprocity relation:
Remark 1.1.
There exists a preceding research which has some similar ideas with the present work. That is, in some senses, Onodera
[14]
also connected the Mordell-Tornheim zeta function with the integral of the product of Bernoulli polynomials (see
[14
, p. 1468, Remark 2.2]). But his results are completely different with us.
where 0 ≤
x
≤ 1 for
m
∈ ℕ, and
where 0 ≤
x
≤ 1 for
m
∈ ℕ, 0 <
x
< 1 for
m
= 0. Here
First, by (15) and taking
x
= 1/2 in (17), we have
where
E_{2m}
are the Euler numbers (see (3) above), this is Proposition 1.5.
Next, by putting
x
= 0 in (16), we obtain
this is Proposition 1.6.
Remark 2.1.
By (4), (16) and (17), we have the following integral formulas for the Euler-Mordell-Tornheim zeta values
and
Remark 2.2.
We setting
r
= 1 in (12), we obtain
_{1}
^{+}
(
k
_{1}
;
k
) =
^{+}
(
k
_{1}
+
k
) for
k
_{1}
,
k
∈ ℕ. Putting
r
= 2 in (12), we have
_{2}
^{+}
(
k
_{1}
,
k
_{2}
;
k
) (
k
_{1}
,
k
_{2}
,
k
∈ ℕ), and this case has already been considered in
[18]
.
where
l, m, n
∈ ℕ.
From
we have
By (13), (19) and (20), we have the following equality.
And from Proposition 1.3, we also have
By Proposition 1.3 and (22), the integral
_{2l,2m,2n}
(1) can be expressed by
since 2
l
+ 2
m
+ 2
n
≡ 0 (mod 2). This is equivalent to
Finally by comparing (21) with (24), we obtain the following identity
which is Theorem 1.7 (1).
x
= 1 in Proposition 1.3, we have the following equality:
which is equivalent to
where
k, l, m, n
∈ ℕ.
From (16), we have
The series on the right hand side converges uniformly for 0 ≤
x
≤ 1, thus can be integrated term wise. Also notice that by integration of the terms from 0 and 1, the series vanishes except
p
=
q
+
r
+
s
+ 1 or
q
=
p
+
r
+
s
+ 1 or
r
=
p
+
q
+
s
+ 1 or
s
=
p
+
q
+
r
+ 1 or
p
=
q
+
r
−
s
or
q
=
p
+
r
−
s
or
r
=
p
+
q
−
s
.
This is because
Thus
From (25) and (27) we have
Then we have the following reciprocity relation:
which is Theorem 1.7 (2).
Min-Soo Kim received Ph.D. degree from Kyungnam University. His research interests focus on the p -adic numbers, p -adic analysis and zeta-functions.
Center for General Education, Kyungnam University, 7(Woryeong-dong) kyungnamdaehakro, Masanhappo-gu, Changwon-si, Gyeongsangnam-do 631-701, Korea
e-mail: mskim@kyungnam.ac.kr

Tornheim’s multiple series
;
Euler polynomials
;
Euler numbers
;
Bernoulli polynomials
;
Bernoulli numbers
;
Integrals.

1. Introduction

Let ℕ be the set of natural numbers, ℕ
PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

2. Proof of Proposition 1.5, 1.6 and Theorem 1.7

In this section, we shall prove our main results.
- 1) Proof of Proposition 1.5 and 1.6:

The Euler polynomials are represented by the following Fourier series (
[2
, p. 805, entry 23.1.17 and 23.1.18] and
[5
, (14a) and (14b)])
PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

- 2) Proof of Theorem 1.7 (1):

By (17), we obtain the expression
PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

- 3) Proof of Theorem 1.7 (2):

Letting
PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

PPT Slide

Lager Image

Acknowledgements

The author thanks Prof. Su Hu for his helpful suggestions.

BIO

Arakawa T.
,
Ibukiyama T.
,
Kaneko M.
2014
Bernoulli Numbers and Zeta Functions, with an appendix by Don Zagier
Springer
Japan

Abramowitz M.
,
Stegun I.
1972
Handbook of mathematical functions with formulas, graphs and mathematical tables
Dover
New York

Agoh T.
,
Dilcher K.
(2011)
Integrals of products of Bernoulli polynomials
J. Math. Anal. Appl.
381
10 -
16
** DOI : 10.1016/j.jmaa.2011.03.061**

Carlitz L.
(1959)
Note on the integral of the product of several Bernoulli polynomials
J. London Math. Soc.
34
361 -
363
** DOI : 10.1112/jlms/s1-34.3.361**

Cvijović D.
,
Klinowski J.
(1995)
New formulae for the Bernoulli and Euler polynomials at rational arguments
Proc. Amer. Math. Soc.
123
(5)
1527 -
1535
** DOI : 10.2307/2161144**

Cihat Dagli M.
,
Can M.
On reciprocity formula of character Dedekind sums and the integral of products of Bernoulli polynomials
http://arxiv.org/abs/1412.7363

Espinosa O.
,
Moll V.H.
(2006)
The evaluation of Tornheim double sums. I
J. Number Theory
116
200 -
229
** DOI : 10.1016/j.jnt.2005.04.008**

Hu S.
,
Kim D.
,
Kim M.-S.
(2014)
On the integral of the product of four and more Bernoulli polynomials
Ramanujan J.
33
281 -
293
** DOI : 10.1007/s11139-013-9506-y**

Liu J.
,
Pan H.
,
Zhang Y.
(2014)
On the integral of the product of the Appell polynomials
Integral Transforms Spec. Funct.
25
(9)
680 -
685
** DOI : 10.1080/10652469.2014.894041**

Mordell L.J.
(1958)
On the evaluation of some multiple series
J. London Math. Soc.
33
368 -
371
** DOI : 10.1112/jlms/s1-33.3.368**

Mordell L.J.
(1958)
Integral formulae of arithmetical character
J. London Math. Soc.
33
371 -
375
** DOI : 10.1112/jlms/s1-33.3.371**

Nielsen N.
1923
Traité elementaire des nombres de Bernoulli
Gauthier-Villars
Paris

Nörlund N.E.
1924
Vorlesungen uber Differenzenrechnung
Springer-Verlag
Berlin

Onodera K.
(2011)
Generalized log sine integrals and the Mordell-Tornheim zeta values
Trans. Amer. Math. Soc.
363
1463 -
1485
** DOI : 10.1090/S0002-9947-2010-05176-1**

Shimura G.
2007
Elementary Dirichlet series and modular forms
Springer

Subbarao M.V.
,
Sitaramachandra Rao R.
(1985)
On the infinite seriers of L. J. Mordell and their analogues
Pacific J. Math
119
245 -
255
** DOI : 10.2140/pjm.1985.119.245**

Sun Z.-W
2002
Introduction to Bernoulli and Euler polynomials, A Lecture Given in Taiwan on June 6
http://math.nju.edu.cn/zwsun/BerE.pdf

Tsumura H.
(2003)
On alternating analogues of Tornheim’s double series
Proc. Amer. Math. Soc.
131
(12)
3633 -
3641
** DOI : 10.1090/S0002-9939-03-07186-7**

Tsumura H.
(2004)
Multiple harmonic series related to multiple Euler numbers
J. Number Theory
106
(1)
155 -
168
** DOI : 10.1016/j.jnt.2003.12.004**

Wilson J.C.
(1994)
On Franel-Kluyver integrals of order three
Acta Arith.
66
71 -
87

Citing 'ON THE SPECIAL VALUES OF TORNHEIM’S MULTIPLE SERIES†
'

@article{ E1MCA9_2015_v33n3_4_305}
,title={ON THE SPECIAL VALUES OF TORNHEIM’S MULTIPLE SERIES†}
,volume={3_4}
, url={http://dx.doi.org/10.14317/jami.2015.305}, DOI={10.14317/jami.2015.305}
, number= {3_4}
, journal={Journal of Applied Mathematics & Informatics}
, publisher={Korean Society of Computational and Applied Mathematics}
, author={KIM, MIN-SOO}
, year={2015}
, month={May}