Skip to main content

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

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.

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 (n1) B n (n1).
(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+y1) B n 1 (x+y)(n1) B n (x+y)(n1),
(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 (n0),
(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 (n0).
(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(x1)(x2)(xn+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 t0 and positive integer n, determine the numbers a n , k 1 for 1kn 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+n1) 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 dt= 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+n1)= 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 0rm 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 nm,

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 (1x;λ)= ( 1 ) n B n ( x ; 1 λ ) (n0),
(3.12)

and the difference equation

λ B n (1+x;λ) B n (x;λ)=n x n 1 (n0),
(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,,m1, 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 n2, and the following relation (see, e.g., [23]):

k = 0 n 1 p n , k (n) m k =0(m,n1 and 1mn1).
(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 nm,

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 1rm1 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 z1, we obtain

M 0 = lim z 1 1 ( z + 1 ) m r = 1 2 m r .
(3.25)

For the case 1ir1 in (3.24), by multiplying ( z 1 ) r i in both sides of (3.24) and taking z1, 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 (1ir1).
(3.28)

It follows from (3.28) that we can claim

M i = ( 1 ) i 2 m r + i ( m r + i 1 i ) (0ir1).
(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 z1, 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 z1, with the help of the binomial theorem, we get, for 1jmr1,

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 (1jmr1).
(3.36)

By a similar consideration to (3.29), we can state

N j = ( 1 ) j ( 2 ) r + j ( r + j 1 j ) (0jmr1).
(3.37)

It follows from (3.5), (3.24), (3.29) and (3.37) that, for positive integers m and r with 1rm1,

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 nm and positive integer r with 1rm1,

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)

References

  1. 1.

    Cohen H Graduate Texts in Math. 240. In Number Theory, Volume II: Analytic and Modern Tools. Springer, New York; 2007.

    Google Scholar 

  2. 2.

    Nielsen N: Traité élémentaire des nombres de Bernoulli. Gauthier-Villars, Paris; 1923.

    Google Scholar 

  3. 3.

    Nörlund NE: Vorlesungen über Differenzenrechnung. Springer, Berlin; 1924.

    Google Scholar 

  4. 4.

    Srivastava HM, Choi J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam; 2012.

    Google Scholar 

  5. 5.

    Nörlund NE: Mémoire sur les polynomes de Bernoulli. Acta Math. 1922, 43: 121–196.

    MathSciNet  Article  MATH  Google Scholar 

  6. 6.

    He Y, Zhang WP: Some sum relations involving Bernoulli and Euler polynomials. Integral Transforms Spec. Funct. 2011, 22: 207–215.

    MathSciNet  Article  MATH  Google Scholar 

  7. 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 927953

    Google Scholar 

  8. 8.

    He Y, Wang CP: Recurrence formulae for Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ. 2012., 2012: Article ID 209

    Google Scholar 

  9. 9.

    He Y, Zhang WP: A convolution formula for Bernoulli polynomials. Ars Comb. 2013, 108: 97–104.

    MathSciNet  MATH  Google Scholar 

  10. 10.

    He, Y, Zhang, WP: A three-term reciprocity formula for Bernoulli polynomials. Util. Math. (to appear)

  11. 11.

    Wang JZ: New recurrence formulae for the Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ. 2013., 2013: Article ID 247

    Google Scholar 

  12. 12.

    Carlitz L: Note on the integral of the product of several Bernoulli polynomials. J. Lond. Math. Soc. 1959, 34: 361–363.

    Article  MathSciNet  MATH  Google Scholar 

  13. 13.

    Agoh T, Dilcher K: Convolution identities and lacunary recurrences for Bernoulli numbers. J. Number Theory 2007, 124: 105–122.

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Agoh T, Dilcher K: Reciprocity relations for Bernoulli numbers. Am. Math. Mon. 2008, 115: 237–244.

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Eie M: A note on Bernoulli numbers and Shintani generalized Bernoulli polynomials. Trans. Am. Math. Soc. 1996, 348: 1117–1136.

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    Sitaramachandrarao R, Davis B: Some identities involving the Riemann zeta function, II. Indian J. Pure Appl. Math. 1986, 17: 1175–1186.

    MathSciNet  MATH  Google Scholar 

  17. 17.

    Sankaranarayanan A: An identity involving Riemann zeta function. Indian J. Pure Appl. Math. 1987, 18: 794–800.

    MathSciNet  MATH  Google Scholar 

  18. 18.

    Zhang WP: On the several identities of Riemann zeta-function. Chin. Sci. Bull. 1991, 36: 1852–1856.

    MathSciNet  MATH  Google Scholar 

  19. 19.

    Dilcher K: Sums of products of Bernoulli numbers. J. Number Theory 1996, 60: 23–41.

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    Petojević A: A note about the sums of products of Bernoulli numbers. Novi Sad J. Math. 2007, 37: 123–128.

    MathSciNet  MATH  Google Scholar 

  21. 21.

    Petojević A: New sums of products of Bernoulli numbers. Integral Transforms Spec. Funct. 2008, 19: 105–114.

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Petojević A, Srivastava HM: Computation of Euler’s type sums of the products of Bernoulli numbers. Appl. Math. Lett. 2009, 22: 796–801.

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Kim M-S: A note on sums of products of Bernoulli numbers. Appl. Math. Lett. 2011, 24: 55–61.

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Kim M-S, Hu S: Sums of products of Apostol-Bernoulli numbers. Ramanujan J. 2012, 28: 113–123.

    MathSciNet  Article  MATH  Google Scholar 

  25. 25.

    Luo QM, Srivastava HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 2005, 308: 290–302.

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

    Luo QM: Apostol-Euler polynomials of higher order and Gaussian hypergeometric functions. Taiwan. J. Math. 2006, 10: 917–925.

    MathSciNet  MATH  Google Scholar 

  27. 27.

    Apostol TM: On the Lerch zeta function. Pac. J. Math. 1951, 1: 161–167.

    MathSciNet  Article  MATH  Google Scholar 

  28. 28.

    Srivastava HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 2000, 129: 77–84.

    Article  MathSciNet  MATH  Google Scholar 

  29. 29.

    Choi J, Jang DS, Srivastava HM: A generalization of the Hurwitz-Lerch zeta function. Integral Transforms Spec. Funct. 2008, 19: 65–79.

    MathSciNet  Article  MATH  Google Scholar 

  30. 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.

    MathSciNet  Article  MATH  Google Scholar 

  31. 31.

    Lu D-Q, Srivastava HM: Some series identities involving the generalized Apostol type and related polynomials. Comput. Math. Appl. 2011, 62: 3591–3602.

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Luo QM, Srivastava HM: Some relationships between the Apostol-Bernoulli and Apostol-Euler polynomials. Comput. Math. Appl. 2006, 51: 631–642.

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    Luo QM: Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 2009, 78: 2193–2208.

    Article  MathSciNet  MATH  Google Scholar 

  34. 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.

    MathSciNet  Article  MATH  Google Scholar 

  35. 35.

    Navas LM, Ruiz FJ, Varona JL: Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 2011, 81: 1707–1722.

    MathSciNet  Article  MATH  Google Scholar 

  36. 36.

    Prévost M: Padé approximation and Apostol-Bernoulli and Apostol-Euler polynomials. J. Comput. Appl. Math. 2010, 233: 3005–3017.

    MathSciNet  Article  MATH  Google Scholar 

  37. 37.

    Srivastava HM, Todorov PG: An explicit formula for the generalized Bernoulli polynomials. J. Math. Anal. Appl. 1988, 130: 509–513.

    MathSciNet  Article  MATH  Google Scholar 

  38. 38.

    Srivastava HM, Garg M, Choudhary S: A new generalization of the Bernoulli and related polynomials. Russ. J. Math. Phys. 2010, 17: 251–261.

    MathSciNet  Article  MATH  Google Scholar 

  39. 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.

    MathSciNet  Article  MATH  Google Scholar 

  40. 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.

    MathSciNet  Article  MATH  Google Scholar 

  41. 41.

    Comtet L: Advanced Combinatorics: The Art of Finite and Infinite Expansions. Reidel, Dordrecht; 1974.

    Google Scholar 

  42. 42.

    Koumandos S: On Ruijsenaars’ asymptotic expansion of the logarithm of the double gamma function. J. Math. Anal. Appl. 2008, 341: 1125–1132.

    MathSciNet  Article  MATH  Google Scholar 

  43. 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. 44.

    He Y, Zhang WP: Some symmetric identities involving a sequence of polynomials. Electron. J. Comb. 2010., 17: Article ID N7

    Google Scholar 

  45. 45.

    Gasper G, Rahman M: Basic Hypergeometric Series. Cambridge University Press, Cambridge; 1990.

    Google Scholar 

Download references

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).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Yuan He.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

He, Y., Araci, S. Sums of products of Apostol-Bernoulli and Apostol-Euler polynomials. Adv Differ Equ 2014, 155 (2014). https://doi.org/10.1186/1687-1847-2014-155

Download citation

Keywords

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