Open Access

Sums of products of Apostol-Bernoulli and Apostol-Euler polynomials

Advances in Difference Equations20142014:155

https://doi.org/10.1186/1687-1847-2014-155

Received: 21 March 2014

Accepted: 15 May 2014

Published: 27 May 2014

Abstract

In this paper, a further investigation for the Apostol-Bernoulli and Apostol-Euler polynomials and numbers is performed. Some closed formulae of sums of products of any number of Apostol-Bernoulli and Apostol-Euler polynomials and numbers are established by applying the generating function methods and some summation transform techniques. It turns out that some well-known results are derived as special cases.

MSC:11B68, 05A19.

Keywords

Bernoulli polynomials and numbers Euler polynomials and numbers Apostol-Bernoulli polynomials and numbers Apostol-Euler polynomials and numbers summation formulae

1 Introduction

The classical Bernoulli polynomials B n ( x ) and Euler polynomials E n ( x ) are usually defined by means of the following generating functions:
t e x t e t 1 = n = 0 B n ( x ) t n n ! ( | t | < 2 π ) and 2 e x t e t + 1 = n = 0 E n ( x ) t n n ! ( | t | < π ) .
(1.1)

In particular, the rational numbers B n = B n ( 0 ) and integers E n = 2 n E n ( 1 / 2 ) are called the classical Bernoulli numbers and Euler numbers, respectively.

As is well known, the classical Bernoulli and Euler polynomials and numbers play important roles in different areas of mathematics such as number theory, combinatorics, special functions and analysis. Numerous interesting properties for them can be found in many books; see, for example, [14]. Here is the well-known Euler formula on the classical Bernoulli numbers:
k = 0 n ( n k ) B k B n k = n B n 1 ( n 1 ) B n ( n 1 ) .
(1.2)
This formula has been extended in different directions by many authors. For example, a direct generalisation of (1.2) is the following identity on the classical Bernoulli polynomials due to Nörlund [5]:
k = 0 n ( n k ) B k ( x ) B n k ( y ) = n ( x + y 1 ) B n 1 ( x + y ) ( n 1 ) B n ( x + y ) ( n 1 ) ,
(1.3)

which has been generalised to a symmetric form by He and Zhang [6]. We also mention [711] for further discoveries of the above Nörlund result following the work of Carlitz [12], Agoh and Dilcher [13, 14]. On the other hand, Eie [15], Sitaramachandraro and Davis [16] generalised (1.2) to sums of products of three and four Bernoulli numbers. After that, Sankaranarayanan [17] gave the closed expression of sums of products of five Bernoulli numbers, and Zhang [18] derived the closed ones of sums of products of less than and equal to seven Bernoulli numbers. In particular, Dilcher [19] obtained some closed formulae of sums of products of any number of classical Bernoulli and Euler polynomials and numbers. Petojević and Srivastava [2022] got several new formulae of sums of products of any number of classical Bernoulli numbers including the Euler type and Dilcher type sums of products of Bernoulli numbers. Recently, Kim [23] developed a new approach to give the closed formula of sums of products of any number of classical Bernoulli numbers by using the relation of values at non-positive integers of the important representation of the multiple Hurwitz zeta function in terms of the Hurwitz zeta function. Further, Kim and Hu [24] obtained the closed formula of sums of products of any number of Apostol-Bernoulli numbers by expressing the sums of products of the Apostol-Bernoulli polynomials in terms of the special values of multiple Hurwitz-Lerch zeta functions at non-positive integers.

We now turn to the Apostol-Bernoulli polynomials B n ( x ; λ ) and Apostol-Euler polynomials E n ( x ; λ ) , which are usually defined by means of the following generating functions (see, e.g., [25, 26]):
t e x t λ e t 1 = n = 0 B n ( x ; λ ) t n n ! ( | t | < 2 π  if  λ = 1 ; | t | < | log λ |  otherwise )
(1.4)
and
2 e x t λ e t + 1 = n = 0 E n ( x ; λ ) t n n ! ( | t | < π  if  λ = 1 ; | t | < | log ( λ ) |  otherwise ) .
(1.5)

Moreover, B n ( λ ) = B n ( 0 ; λ ) and E n ( λ ) = 2 n E n ( 1 / 2 ; λ ) are called the Apostol-Bernoulli numbers and Apostol-Euler numbers, respectively. Obviously B n ( x ; λ ) and E n ( x ; λ ) reduce to B n ( x ) and E n ( x ) when λ = 1 . It is worth noticing that the Apostol-Bernoulli polynomials were firstly introduced by Apostol [27] (see also Srivastava [28] for a systematic study) in order to evaluate the value of the Hurwitz-Lerch zeta function. For some elegant results and nice methods on these polynomials and numbers, one is referred to [2938].

In the present paper, we will be concerned with some closed formulae of sums of products of any number of Apostol-Bernoulli and Apostol-Euler polynomials and numbers. The idea stems from the two identities of Xu and Cen [39] applying the famous Faà di Bruno formula to answer a problem posed by Guo and Qi [40]. We prove the two results due to Xu and Cen in a brief way again. As further applications, we obtain some closed formulae of sums of products of any number of Apostol-Bernoulli and Apostol-Euler polynomials and numbers by applying the generating function methods and some summation transform techniques. It turns out that some known results including the ones stated in [19, 24] are derived as special cases.

2 Some auxiliary results

We firstly recall the Stirling numbers of the first kind s ( n , k ) and the Stirling numbers of the second kind S ( n , k ) which can be found in the standard book [41]. The Stirling numbers of the first kind are the coefficients in the expansion
( x ) n = k = 0 n s ( n , k ) x k ( n 0 ) ,
(2.1)
and the Stirling numbers of the second kind are characterised by the identity
x n = k = 0 n S ( n , k ) ( x ) k ( n 0 ) .
(2.2)
The notation ( x ) n appearing in (2.1) and (2.2) stands for the falling factorial ( x ) n of order n defined by ( x ) 0 = 1 and ( x ) n = x ( x 1 ) ( x 2 ) ( x n + 1 ) for positive integer n and complex number x. In fact, the Stirling numbers of the first kind s ( n , k ) and the Stirling numbers of the second kind S ( n , k ) can be defined by means of the following generating functions:
( ln ( 1 + t ) ) k k ! = n = k s ( n , k ) t n n ! and ( e t 1 ) k k ! = n = k S ( n , k ) t n n ! .
(2.3)
If making use of (2.3) then one can easily obtain the pair of classical inverse relations (see, e.g., [[41], p.144]):
f ( n ) = k = 0 n s ( n , k ) g ( k ) g ( n ) = k = 0 n S ( n , k ) f ( k ) ,
(2.4)

with n being non-negative integer and f ( n ) and g ( n ) being two sequences.

Motivated by two identities appearing in [42], Guo and Qi [40, 43] posed the following problem: for t 0 and positive integer n, determine the numbers a n , k 1 for 1 k n such that
1 ( 1 e t ) n = 1 + k = 1 n a n , k 1 ( 1 e t 1 ) ( k 1 ) .
(2.5)

Stimulated by this problem, the authors [40] made use of the mathematical induction to establish eight identities which reveal the functions 1 / ( 1 e ± t ) n and the derivatives ( 1 / ( e ± t 1 ) ) ( k ) can be expressed by each other by linear combinations with coefficients involving the combinatorial numbers and Stirling numbers of the second kind. Further, Xu and Cen [39] applied the famous Faà di Bruno formula to unify the eight identities due to Guo and Qi [40] to two identities involving two parameters α and λ. We next state their results and give a brief proof.

Theorem 2.1 ([39])

Let n be a non-negative integer and α, λ two parameters. Then
( 1 1 λ e α t ) ( n ) = k = 1 n + 1 ( 1 ) n + k 1 α n ( k 1 ) ! S ( n + 1 , k ) ( 1 λ e α t ) k ,
(2.6)
and for positive integer n,
1 ( 1 λ e α t ) n = k = 1 n ( 1 ) n k s ( n , k ) ( n 1 ) ! α k 1 ( 1 1 λ e α t ) ( k 1 ) .
(2.7)
Proof In view of the binomial series
( 1 + t ) β = n = 0 ( β n ) t n ( β  complex number ) ,
(2.8)
we discover
1 ( 1 λ e α t ) n = j = 0 ( n j ) ( λ e α t ) j = j = 0 ( n + j 1 j ) ( λ e α t ) j .
(2.9)
If taking x = j in (2.1) then we obtain, for positive integer n,
1 ( n 1 ) ! k = 1 n s ( n , k ) ( 1 ) n k j k 1 = ( n + j 1 j ) .
(2.10)
Applying (2.10) to (2.9) yields
1 ( 1 λ e α t ) n = 1 ( n 1 ) ! k = 1 n ( 1 ) n k s ( n , k ) j = 0 ( λ e α t ) j j k 1 .
(2.11)
It is easy to see from (2.9) that
( 1 1 λ e α t ) ( k 1 ) = j = 0 λ j ( e α t j ) ( k 1 ) = α k 1 j = 0 ( λ e α t ) j j k 1 .
(2.12)

Thus, combining (2.11) and (2.12) gives the formula (2.7). It follows from (2.4) and (2.7) that (2.6) is complete. This concludes the proof. □

It becomes obvious that in the case α = 1 in (2.7) arises, for positive integer n,
1 ( λ e t 1 ) n = k = 1 n ( 1 ) k 1 s ( n , k ) ( n 1 ) ! ( 1 λ e t 1 ) ( k 1 )
(2.13)
and
1 ( λ e t + 1 ) n = k = 1 n ( 1 ) n k s ( n , k ) ( n 1 ) ! ( 1 λ e t + 1 ) ( k 1 ) .
(2.14)

We next give another auxiliary result as follows.

Theorem 2.2 Let n be a non-negative integer. Then
e x t ( f ( y , t ) ) ( n ) = m = 0 [ k = 0 n ( n k ) ( x ) n k f m + k ( x + y ) ] t m m ! ,
(2.15)
and for positive integer r,
e x t ( g ( y , t ) ) ( n ) = m = 0 [ k = 0 n ( n k ) ( x ) n k f m + k + r ( x + y ) m + k + 1 r + ( 1 ) n + 1 x m + n + 1 ( r 1 ) ! 0 1 t m ( 1 t ) n f r 1 ( x + y x t ) d t ] t m m ! ,
(2.16)
where x n denotes the rising factorial x n of order n defined by x 0 = 1 and x n = x ( x + 1 ) ( x + 2 ) ( x + n 1 ) for positive integer n and complex number x, f ( y , t ) is denoted by f ( y , t ) = m = 0 f m ( y ) t m m ! , g ( y , t ) is denoted by g ( y , t ) = m = 0 f m + r ( y ) m + 1 r t m m ! and { f n ( x ) } n = 0 is a sequence of polynomials given by
n = 0 f n ( x ) t n n ! = F ( t ) e ( x 1 / 2 ) t ,
(2.17)

with F ( t ) being a formal power series.

Proof See [[44], (2.6), (3.11)] for details. □

There follow some special cases of Theorem 2.2. By setting y = 0 and f ( y , t ) = 2 / ( λ e t + 1 ) in (2.15), we obtain, for non-negative integers m, n,
[ t m m ! ] ( e x t ( 2 λ e t + 1 ) ( n ) ) = k = 0 n ( n k ) ( x ) n k E m + k ( x ; λ ) ,
(2.18)
where [ t n ] f ( t ) stands for the coefficients of [ t n ] in f ( t ) . On the other hand, since B 0 ( x ; λ ) = 1 when λ = 1 and B 0 ( x ; λ ) = 0 when λ 1 (see, e.g., [25]), so by setting B 0 ( x ; λ ) = δ 1 , λ we get
1 λ e t 1 δ 1 , λ t = m = 0 B m + 1 ( λ ) m + 1 t m m ! .
(2.19)
It is easy to see from the properties of the Beta and Gamma functions that, for non-negative integers m, n,
0 1 t m ( 1 t ) n d t = m ! n ! ( m + n + 1 ) ! .
(2.20)
Thus, by setting r = 1 , y = 0 and g ( y , t ) = 1 / ( λ e t 1 ) δ 1 , λ / t in (2.16), with the help of (2.19) and (2.20), we obtain, for non-negative integers m, n,
[ t m m ! ] ( e x t ( 1 λ e t 1 ) ( n ) ) = k = 0 n ( n k ) ( x ) n k B m + k + 1 ( x ; λ ) m + k + 1 .
(2.21)

We shall make use of the above formulae (2.13), (2.14), (2.18) and (2.21) to give some closed formulae of sums of products of any number of Apostol-Bernoulli and Apostol-Euler polynomials and numbers in the next section.

3 The restatement of main results

Before stating our main results, we begin by introducing the Stirling cycle numbers [ n k ] given by the relation
x ( x + 1 ) ( x + n 1 ) = k = 0 n [ n k ] x k .
(3.1)
It is obvious from (2.1) that s ( n , k ) = ( 1 ) n k [ n k ] . In fact, the Stirling cycle numbers can be defined recursively by (see, e.g., [4, 29])
[ 0 0 ] = 1 , [ n 0 ] = [ 0 n ] = 0 and [ n + 1 k ] = n [ n k ] + [ n k 1 ] ( n , k 1 ) .
(3.2)
In this section we always denote by p n , m ( x ) a polynomial given by (see, e.g., [23, 24])
p n , m ( x ) = 1 ( n 1 ) ! k = m n 1 ( k m ) [ n k + 1 ] ( x ) k m = ( 1 ) n m 1 ( n 1 ) ! k = m n 1 ( k m ) s ( n , k + 1 ) x k m ,
(3.3)
and we also denote by ( n r 1 , , r k ) the multinomial coefficient defined by
( n r 1 , , r k ) = n ! r 1 ! r k ! ( n , r 1 , , r k 0 ) .
(3.4)
We next explore the closed formulae of sums of products of any number of Apostol-Bernoulli and Apostol-Euler polynomials and numbers. The discovery depends on the following identity:
( t λ e t 1 ) r ( 2 λ e t + 1 ) m r e ( x 1 + x 2 + + x m ) t = t r 2 m r e y t ( λ e t 1 ) r ( λ e t + 1 ) m r ,
(3.5)
where r is a non-negative integer, m is a positive integer with 0 r m and y = x 1 + x 2 + + x m . On taking r = m in (3.5) by (1.4) we get
[ t n n ! ] ( t m e y t ( λ e t 1 ) m ) = k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( x 1 ; λ ) B k m ( x m ; λ ) .
(3.6)
On the other hand, from (2.13) we discover
[ t n n ! ] ( t m e y t ( λ e t 1 ) m ) = n ! ( n m ) ! k = 1 m ( 1 ) k 1 s ( m , k ) ( m 1 ) ! [ t n m ( n m ) ! ] ( e y t ( 1 λ e t 1 ) ( k 1 ) ) .
(3.7)
If applying (2.21) to the right-hand side of (3.7) then
[ t n n ! ] ( t m e y t ( λ e t 1 ) m ) = n ! ( n m ) ! k = 1 m ( 1 ) k 1 s ( m , k ) ( m 1 ) ! j = 0 k 1 ( k 1 j ) ( y ) k 1 j B n + j + 1 m ( y ; λ ) n + j + 1 m .
(3.8)
Changing the order of the summation on the right-hand side of (3.8) gives
[ t n n ! ] ( t m e y t ( λ e t 1 ) m ) = n ! ( n m ) ! j = 0 m 1 ( 1 ) j B n + j + 1 m ( y ; λ ) n + j + 1 m k = j + 1 m ( k 1 j ) s ( m , k ) y k 1 j ( m 1 ) ! = ( 1 ) m 1 n ! ( n m ) ! j = 0 m 1 ( 1 ) j B n j ( y ; λ ) n j k = m j m ( k 1 m j 1 ) s ( m , k ) y k m + j ( m 1 ) ! = ( 1 ) m 1 n ! ( n m ) ! j = 0 m 1 ( 1 ) j B n j ( y ; λ ) n j × 1 ( m 1 ) ! k = m j 1 m 1 ( k m j 1 ) s ( m , k + 1 ) y k ( m j 1 ) .
(3.9)

Thus, by equating (3.6) and (3.9) and then applying (3.3) the following result arises.

Theorem 3.1 Let m be a positive integer and y = x 1 + x 2 + + x m . Then, for positive integer n m ,
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( x 1 ; λ ) B k m ( x m ; λ ) = ( 1 ) m 1 n ! ( n m ) ! j = 0 m 1 p m , m j 1 ( y ) B n j ( y ; λ ) n j .
(3.10)
There follow some special cases of Theorem 3.1. Obviously the case λ = 1 in Theorem 3.1 is an equivalent version of the classical formula of Dilcher [[19], Theorem 3]:
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( x 1 ) B k m ( x m ) = ( 1 ) m 1 m ( n m ) j = 0 m 1 ( 1 ) j { k = 0 j ( m j 1 + k k ) s ( m , m j + k ) y k } × B n j ( y ) n j .
(3.11)
Theorem 3.1 can also be used to give the closed formula of sums of products of any number of Apostol-Bernoulli numbers described in [24]. For example, since the Apostol-Bernoulli polynomials obey the symmetric distribution
λ B n ( 1 x ; λ ) = ( 1 ) n B n ( x ; 1 λ ) ( n 0 ) ,
(3.12)
and the difference equation
λ B n ( 1 + x ; λ ) B n ( x ; λ ) = n x n 1 ( n 0 ) ,
(3.13)
which can be found in [25], by setting x 1 = x 2 = = x m = 1 and replacing λ by 1 / λ in Theorem 3.1, in view of (3.12), we derive
( 1 ) n λ m k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( λ ) B k m ( λ ) = ( 1 ) m 1 n ! ( n m ) ! j = 0 m 1 p m , m j 1 ( m ) B n j ( m ; 1 λ ) n j .
(3.14)
On multiplying λ x 1 in both sides of (3.13) and substituting x = 1 , , m 1 , in view of adding the preceding results, we get for positive integer m and non-negative integer n,
λ m 1 B n ( m ; λ ) = B n ( 1 ; λ ) + n k = 0 m 1 k n 1 λ k 1 .
(3.15)
We notice that, from (3.13), we have λ B 1 ( 1 ; λ ) = 1 + B 1 ( λ ) and λ B n ( 1 ; λ ) = B n ( λ ) for positive integer n 2 , and the following relation (see, e.g., [23]):
k = 0 n 1 p n , k ( n ) m k = 0 ( m , n 1  and  1 m n 1 ) .
(3.16)
Thus, by applying (3.15) and (3.16) to (3.14), one can obtain the closed formula for the Apostol-Bernoulli numbers due to Kim and Hu [[24], Theorem 1.2], as follows:
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( λ ) B k m ( λ ) = { ( 1 ) m + n + 1 n ! ( n m ) ! j = 0 m 1 p m , m j 1 ( m ) B n j ( 1 λ ) n j if  n > m , n ! p n , 0 B 1 ( λ ) n ! j = 0 n 2 p n , n j 1 ( n ) B n j ( 1 λ ) n j if  n = m .
(3.17)
If taking r = 0 in (3.5) then by (1.5) we obtain
[ t n n ! ] ( 2 m e y t ( λ e t + 1 ) m ) = k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) E k 1 ( x 1 ; λ ) E k m ( x m ; λ ) .
(3.18)
With the help of (2.14) and (2.18), we rewrite the left-hand side of (3.18) as
[ t n n ! ] ( 2 m e y t ( λ e t + 1 ) m ) = 2 m 1 k = 1 m ( 1 ) m k s ( m , k ) ( m 1 ) ! [ t n n ! ] ( e y t ( 2 λ e t + 1 ) ( k 1 ) ) = 2 m 1 k = 1 m ( 1 ) m k s ( m , k ) ( m 1 ) ! j = 0 k 1 ( k 1 j ) ( y ) k 1 j E n + j ( y ; λ ) .
(3.19)
Changing the order of the summation on the right-hand side of (3.19) arises
[ t n n ! ] ( 2 m e y t ( λ e t + 1 ) m ) = 2 m 1 ( m 1 ) ! j = 0 m 1 ( 1 ) m j 1 E n + j ( y ; λ ) k = j + 1 m ( k 1 j ) s ( m , k ) y k 1 j .
(3.20)

The following result follows from (3.3), (3.18) and (3.20).

Theorem 3.2 Let m be a positive integer and y = x 1 + x 2 + + x m . Then, for positive integer n m ,
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) E k 1 ( x 1 ; λ ) E k m ( x m ; λ ) = 2 m 1 j = 0 m 1 p m , j ( y ) E n + j ( y ; λ ) .
(3.21)
It is worthy noticing that since (3.20) can be rewritten as
[ t n n ! ] ( 2 m e y t ( λ e t + 1 ) m ) = 2 m 1 ( m 1 ) ! j = 0 m 1 ( 1 ) j E n + m 1 j ( y ; λ ) k = m j m ( k 1 m 1 j ) s ( m , k ) y k ( m j ) = 2 m 1 ( m 1 ) ! j = 0 m 1 ( 1 ) j E n + m 1 j ( y ; λ ) × k = 0 j ( m + k j 1 k ) s ( m , m + k j ) y k ,
(3.22)
by combining (3.18) and (3.22), we obtain
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) E k 1 ( x 1 ; λ ) E k m ( x m ; λ ) = 2 m 1 ( m 1 ) ! j = 0 m 1 ( 1 ) j { k = 0 j ( m + k j 1 k ) s ( m , m + k j ) y k } E n + m 1 j ( y ; λ ) .
(3.23)

Obviously the case λ = 1 in (3.23) gives the formula of Dilcher [[19], Theorem 5] on the classical Euler polynomials.

We next consider the case 1 r m 1 in (3.5). For convenience, in the following we always denote z = λ e t . We apply the familiar partial fraction decomposition and let
1 ( z 1 ) r ( z + 1 ) m r = i = 0 r 1 M i ( z 1 ) r i + j = 0 m r 1 N j ( z + 1 ) m r j .
(3.24)
We are now in the position to determine the coefficients M i and N j in (3.24). By multiplying both sides in (3.24) by ( z 1 ) r and taking z 1 , we obtain
M 0 = lim z 1 1 ( z + 1 ) m r = 1 2 m r .
(3.25)
For the case 1 i r 1 in (3.24), by multiplying ( z 1 ) r i in both sides of (3.24) and taking z 1 , with the help of the binomial theorem ( z + 1 ) n = k = 0 n ( n k ) ( z 1 ) k 2 n k for non-negative integer n, we get
M i = lim z 1 ( z 1 ) r i { 1 ( z 1 ) r ( z + 1 ) m r k = 0 i 1 M k ( z 1 ) r k } = 1 2 m r lim z 1 1 ( z + 1 ) m r k = 0 i 1 M k ( z 1 ) k ( z 1 ) i = 1 2 m r lim z 1 1 j = 0 m r k = 0 i 1 ( m r j ) 2 m r j M k ( z 1 ) k + j ( z 1 ) i .
(3.26)
In light of (3.25), we can make the L’Hôspital rule for (3.26). In fact, repeatedly applying the L’Hôspital rule i times there arises
M i = 1 i ! lim z 1 j = 0 m r k = 0 i 1 ( m r j ) M k ( k + j ) i 2 j ( z 1 ) k + j i ,
(3.27)
where ( x ) n is the falling factorial ( x ) n of order n in (2.1). Hence, the coefficients M i satisfy
M 0 = 1 2 m r and M i = k = 0 i 1 ( m r i k ) M k 2 i k ( 1 i r 1 ) .
(3.28)
It follows from (3.28) that we can claim
M i = ( 1 ) i 2 m r + i ( m r + i 1 i ) ( 0 i r 1 ) .
(3.29)
We shall use induction on i. Obviously (3.29) holds trivially when i = 0 . Assume that (3.29) is complete for any smaller value of i. From (3.28) and (3.29), we have
M i = 1 2 m r + i k = 0 i ( m r i k ) ( m r + k 1 k ) ( 1 ) k + ( 1 ) i 2 m r + i ( m r + i 1 i ) .
(3.30)
Note that, for non-negative integer n and complex numbers a and b (cf. the Chu-Vandermonde summation formula stated in [45]),
k = 0 n n k a k k ! b k = b a n b n ,
(3.31)
and the first summation of the right-hand side of (3.30) can be rewritten as
k = 0 i ( m r i k ) ( m r + k 1 k ) ( 1 ) k = m r i ! k = 0 i ( i ) ( i 1 ) ( i + k 1 ) ( m r + k 1 ) ! k ! ( m r + k i ) ! = m r i ! ( m r 1 ) ! ( m r i ) ! k = 0 i i k m r k k ! m r i + 1 k ,
(3.32)
where x n is the rising factorial x n of order n in Theorem 2.2. It follows from (3.31) and (3.32) that
k = 0 i ( m r i k ) ( m r + k 1 k ) ( 1 ) k = 0 ,
(3.33)
which together with (3.30) immediately yields (3.29). On multiplying both sides in (3.24) by ( z + 1 ) m r and then taking z 1 , we obtain
N 0 = lim z 1 1 ( z 1 ) r = 1 ( 2 ) r .
(3.34)
On multiplying ( z + 1 ) m r j in both sides of (3.24) and then taking z 1 , with the help of the binomial theorem, we get, for 1 j m r 1 ,
N j = lim z 1 ( z + 1 ) m r j { 1 ( z 1 ) r ( z + 1 ) m r k = 0 j 1 N k ( z + 1 ) m r k } = 1 ( 2 ) r lim z 1 1 ( z 1 ) r k = 0 j 1 N k ( z + 1 ) k ( z + 1 ) j = 1 ( 2 ) r lim z 1 1 i = 0 r k = 0 j 1 ( r i ) ( 2 ) r i N k ( z + 1 ) k + i ( z + 1 ) j .
(3.35)
So from (3.34), we repeatedly apply the L’Hôspital rule j times to get
N 0 = 1 ( 2 ) r and N j = k = 0 j 1 ( r j k ) N k ( 2 ) j k ( 1 j m r 1 ) .
(3.36)
By a similar consideration to (3.29), we can state
N j = ( 1 ) j ( 2 ) r + j ( r + j 1 j ) ( 0 j m r 1 ) .
(3.37)
It follows from (3.5), (3.24), (3.29) and (3.37) that, for positive integers m and r with 1 r m 1 ,
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( x 1 ; λ ) B k r ( x r ; λ ) E k r + 1 ( x r + 1 ; λ ) E k m ( x m ; λ ) = i = 0 r 1 ( m r + i 1 i ) ( 1 ) i n ! 2 i ( n i ) ! [ t n i ( n i ) ! ] ( t r i e y t ( λ e t 1 ) r i ) + ( 1 ) r 2 r j = 0 m r 1 ( r + j 1 j ) n ! ( n r ) ! × [ t n r ( n r ) ! ] ( 2 m r j e y t ( λ e t + 1 ) m r j ) .
(3.38)

Thus, applying (3.9) and (3.20) to (3.38), in light of (3.3), we get the result.

Theorem 3.3 Let m be a positive integer and y = x 1 + x 2 + + x m . Then, for positive integer n m and positive integer r with 1 r m 1 ,
k 1 + + k m = n k 1 , , k m 0 ( n k 1 , , k m ) B k 1 ( x 1 ; λ ) B k r ( x r ; λ ) E k r + 1 ( x r + 1 ; λ ) E k m ( x m ; λ ) = ( 1 ) r 1 n ! ( n r ) ! i = 0 r 1 ( m r + i 1 i ) 1 2 i k = 0 r 1 i p r i , r i k 1 ( y ) B n i k ( y ; λ ) n i k + ( 1 ) r n ! 2 r ( n r ) ! j = 0 m r 1 ( r + j 1 j ) 2 m r 1 j × k = 0 m r 1 j p m r j , k ( y ) E n r + k ( y ; λ ) .
(3.39)

Declarations

Acknowledgements

This work is supported by the Foundation for Fostering Talents in Kunming University of Science and Technology (Grant No. KKSY201307047) and the National Natural Science Foundation of P.R. China (Grant Nos. 11326050, 11071194).

Authors’ Affiliations

(1)
Faculty of Science, Kunming University of Science and Technology
(2)
Faculty of Economics, Administrative and Social Sciences, Hasan Kalyoncu University

References

  1. Cohen H Graduate Texts in Math. 240. In Number Theory, Volume II: Analytic and Modern Tools. Springer, New York; 2007.Google Scholar
  2. Nielsen N: Traité élémentaire des nombres de Bernoulli. Gauthier-Villars, Paris; 1923.MATHGoogle Scholar
  3. Nörlund NE: Vorlesungen über Differenzenrechnung. Springer, Berlin; 1924.View ArticleMATHGoogle Scholar
  4. Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.MATHGoogle Scholar
  5. Nörlund NE: Mémoire sur les polynomes de Bernoulli. Acta Math. 1922, 43: 121–196.MathSciNetView ArticleMATHGoogle Scholar
  6. He Y, Zhang WP: Some sum relations involving Bernoulli and Euler polynomials. Integral Transforms Spec. Funct. 2011, 22: 207–215.MathSciNetView ArticleMATHGoogle Scholar
  7. He Y, Wang CP: Some formulae of products of the Apostol-Bernoulli and Apostol-Euler polynomials. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 927953Google Scholar
  8. He Y, Wang CP: Recurrence formulae for Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ. 2012., 2012: Article ID 209Google Scholar
  9. He Y, Zhang WP: A convolution formula for Bernoulli polynomials. Ars Comb. 2013, 108: 97–104.MathSciNetMATHGoogle Scholar
  10. He, Y, Zhang, WP: A three-term reciprocity formula for Bernoulli polynomials. Util. Math. (to appear)Google Scholar
  11. Wang JZ: New recurrence formulae for the Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ. 2013., 2013: Article ID 247Google Scholar
  12. Carlitz L: Note on the integral of the product of several Bernoulli polynomials. J. Lond. Math. Soc. 1959, 34: 361–363.View ArticleMathSciNetMATHGoogle Scholar
  13. Agoh T, Dilcher K: Convolution identities and lacunary recurrences for Bernoulli numbers. J. Number Theory 2007, 124: 105–122.MathSciNetView ArticleMATHGoogle Scholar
  14. Agoh T, Dilcher K: Reciprocity relations for Bernoulli numbers. Am. Math. Mon. 2008, 115: 237–244.MathSciNetMATHGoogle Scholar
  15. Eie M: A note on Bernoulli numbers and Shintani generalized Bernoulli polynomials. Trans. Am. Math. Soc. 1996, 348: 1117–1136.MathSciNetView ArticleMATHGoogle Scholar
  16. Sitaramachandrarao R, Davis B: Some identities involving the Riemann zeta function, II. Indian J. Pure Appl. Math. 1986, 17: 1175–1186.MathSciNetMATHGoogle Scholar
  17. Sankaranarayanan A: An identity involving Riemann zeta function. Indian J. Pure Appl. Math. 1987, 18: 794–800.MathSciNetMATHGoogle Scholar
  18. Zhang WP: On the several identities of Riemann zeta-function. Chin. Sci. Bull. 1991, 36: 1852–1856.MathSciNetMATHGoogle Scholar
  19. Dilcher K: Sums of products of Bernoulli numbers. J. Number Theory 1996, 60: 23–41.MathSciNetView ArticleMATHGoogle Scholar
  20. Petojević A: A note about the sums of products of Bernoulli numbers. Novi Sad J. Math. 2007, 37: 123–128.MathSciNetMATHGoogle Scholar
  21. Petojević A: New sums of products of Bernoulli numbers. Integral Transforms Spec. Funct. 2008, 19: 105–114.MathSciNetView ArticleMATHGoogle Scholar
  22. Petojević A, Srivastava HM: Computation of Euler’s type sums of the products of Bernoulli numbers. Appl. Math. Lett. 2009, 22: 796–801.MathSciNetView ArticleMATHGoogle Scholar
  23. Kim M-S: A note on sums of products of Bernoulli numbers. Appl. Math. Lett. 2011, 24: 55–61.MathSciNetView ArticleMATHGoogle Scholar
  24. Kim M-S, Hu S: Sums of products of Apostol-Bernoulli numbers. Ramanujan J. 2012, 28: 113–123.MathSciNetView ArticleMATHGoogle Scholar
  25. Luo QM, Srivastava HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 2005, 308: 290–302.MathSciNetView ArticleMATHGoogle Scholar
  26. Luo QM: Apostol-Euler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math. 2006, 10: 917–925.MathSciNetMATHGoogle Scholar
  27. Apostol TM: On the Lerch zeta function. Pac. J. Math. 1951, 1: 161–167.MathSciNetView ArticleMATHGoogle Scholar
  28. Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 2000, 129: 77–84.View ArticleMathSciNetMATHGoogle Scholar
  29. Choi J, Jang DS, Srivastava HM: A generalization of the Hurwitz-Lerch zeta function. Integral Transforms Spec. Funct. 2008, 19: 65–79.MathSciNetView ArticleMATHGoogle Scholar
  30. Garg M, Jain K, Srivastava HM: Some relationships between the generalized Apostol-Bernoulli polynomials and Hurwitz-Lerch zeta functions. Integral Transforms Spec. Funct. 2006, 17: 803–815.MathSciNetView ArticleMATHGoogle Scholar
  31. Lu D-Q, Srivastava HM: Some series identities involving the generalized Apostol type and related polynomials. Comput. Math. Appl. 2011, 62: 3591–3602.MathSciNetView ArticleMATHGoogle Scholar
  32. Luo QM, Srivastava HM: Some relationships between the Apostol-Bernoulli and Apostol-Euler polynomials. Comput. Math. Appl. 2006, 51: 631–642.MathSciNetView ArticleMATHGoogle Scholar
  33. Luo QM: Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 2009, 78: 2193–2208.View ArticleMathSciNetMATHGoogle Scholar
  34. Luo QM: The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order. Integral Transforms Spec. Funct. 2009, 20: 377–391.MathSciNetView ArticleMATHGoogle Scholar
  35. Navas LM, Ruiz FJ, Varona JL: Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 2011, 81: 1707–1722.MathSciNetView ArticleMATHGoogle Scholar
  36. Prévost M: Padé approximation and Apostol-Bernoulli and Apostol-Euler polynomials. J. Comput. Appl. Math. 2010, 233: 3005–3017.MathSciNetView ArticleMATHGoogle Scholar
  37. Srivastava HM, Todorov PG: An explicit formula for the generalized Bernoulli polynomials. J. Math. Anal. Appl. 1988, 130: 509–513.MathSciNetView ArticleMATHGoogle Scholar
  38. Srivastava HM, Garg M, Choudhary S: A new generalization of the Bernoulli and related polynomials. Russ. J. Math. Phys. 2010, 17: 251–261.MathSciNetView ArticleMATHGoogle Scholar
  39. Xu A-M, Cen Z-D: Some identities involving exponential functions and Stirling numbers and applications. J. Comput. Appl. Math. 2014, 260: 201–207.MathSciNetView ArticleMATHGoogle Scholar
  40. Guo B-N, Qi F: Some identities and an explicit formula for Bernoulli and Stirling numbers. J. Comput. Appl. Math. 2014, 255: 568–579.MathSciNetView ArticleMATHGoogle Scholar
  41. Comtet L: Advanced Combinatorics: The Art of Finite and Infinite Expansions. Reidel, Dordrecht; 1974.View ArticleMATHGoogle Scholar
  42. Koumandos S: On Ruijsenaars’ asymptotic expansion of the logarithm of the double gamma function. J. Math. Anal. Appl. 2008, 341: 1125–1132.MathSciNetView ArticleMATHGoogle Scholar
  43. Qi, F: Eight interesting identities involving the exponential function, derivatives, and Stirling numbers of the second kind http://arxiv.org/abs/arXiv:1202.2006
  44. He Y, Zhang WP: Some symmetric identities involving a sequence of polynomials. Electron. J. Comb. 2010., 17: Article ID N7Google Scholar
  45. Gasper G, Rahman M: Basic Hypergeometric Series. Cambridge University Press, Cambridge; 1990.MATHGoogle Scholar

Copyright

© He and Araci; licensee Springer. 2014

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.