Skip to main content

Theory and Modern Applications

Symmetric identities for Carlitz’s q-Bernoulli numbers and polynomials

Abstract

In this paper, a further investigation for the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials is performed, and several symmetric identities for these numbers and polynomials are established by applying elementary methods and techniques. It turns out that various known results are derived as special cases.

MSC:11B68, 05A19.

1 Introduction

The classical Bernoulli numbers B n and Bernoulli polynomials B n (x) are usually defined by the following generating functions

t e t 1 = n = 0 B n t n n ! ( | t | < 2 π )
(1.1)

and

t e x t e t 1 = n = 0 B n (x) t n n ! ( | t | < 2 π ) .
(1.2)

Clearly, B n = B n (0). These numbers and polynomials play important roles in many different areas of mathematics such as number theory, combinatorics, special function and analysis, and numerous interesting properties for them have been explored, see, for example, [1, 2].

In the present paper, we will be concerned with the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials. Throughout this paper, it is supposed that qC with |q|<1 and being a complex number field. For xC, the q-number is defined by (see [3])

[ x ] q = 1 q x 1 q =1+q++ q x 1 .
(1.3)

Obviously, lim q 1 [ x ] q =x.

We now recall the q-Bernoulli numbers β n = β n (q) and q-Bernoulli polynomials β n (x,q), which were introduced by Carlitz [4], as follows

β 0 (q)=1,q ( q β ( q ) + 1 ) n β n (q)={ 1 , if  n = 1 , 0 , if  n > 1
(1.4)

and

β n (x,q)= ( q x β ( q ) + [ x ] q ) n = k = 0 n ( n k ) β k (q) q k x [ x ] q n k (n0)
(1.5)

with the usual convention about replacing β i by β i . Since the above Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials appeared, different properties of the q-Bernoulli numbers and q-Bernoulli polynomials have been well studied by many authors, see [5] for a good introduction. In fact, the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials can be defined by the following generating functions (see [6, 7])

m = 0 q m e [ m ] q t ( 1 q q m t ) = n = 0 β n (q) t n n ! ( | t + log q | < 2 π )
(1.6)

and

m = 0 q m e [ x + m ] q t ( 1 q q x + m t ) = n = 0 β n (x,q) t n n ! ( | t + log q | < 2 π ) .
(1.7)

From (1.6) and (1.7) one can easily obtain

β n (q)= β n (0,q), lim q 1 β n (q)= B n , lim q 1 β n (x,q)= B n (x).
(1.8)

If the left-hand side of (1.7) is denoted by F q (t,x), then by the Mellin transform,

1 Γ ( s ) 0 F q (t,x) t s 2 dt= n = 0 q x + 2 n [ x + n ] q s + 1 q s 1 n = 0 q n [ x + n ] q s 1
(1.9)

with sC and x0,1,2, .

Based on the observation on (1.9), Ryoo et al. [6] extended the classical Hurwitz zeta function ζ(s,x)

ζ(s,x)= n = 0 1 ( n + x ) s ( s C , Re ( s ) > 1 ; x Z 0 = { 0 , 1 , 2 , } ) ,
(1.10)

to the following q-zeta function

ζ q (s,x)= n = 0 q n [ x + n ] q s +(1q) ( 2 s s 1 ) n = 0 q n [ x + n ] q s 1 ,
(1.11)

where sC with Re(s)>1 and x Z 0 ={0,1,2,}.

The aim of the present paper is to perform a further investigation on the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials. By applying elementary methods and techniques, we establish some symmetric identities for these numbers and polynomials, by virtue of which, various known results are derived as special cases.

2 The restatement of results

In this section, a further investigation for the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials is performed, and several symmetric identities for them are established. We firstly state the following result for the q-zeta function.

Theorem 2.1 Let sC with Re(s)>1. Then for any positive integers a, b,

[ b ] q s j = 0 a 1 q b j ζ q a ( s , b x + b j a ) = [ a ] q s j = 0 b 1 q a j ζ q b ( s , a x + a j b ) .
(2.1)

Proof By substituting bx+bj/a for x in (1.11), we have

ζ q ( s , b x + b j a ) = n = 0 q n [ b x + b j / a + n ] q s +(1q) ( 2 s s 1 ) n = 0 q n [ b x + b j / a + n ] q s 1 .
(2.2)

Note that for any xC and positive integer n, [ n x ] q = [ x ] q n [ n ] q . Hence, by replacing q by q a in (2.2), we derive

ζ q a ( s , b x + b j a ) = n = 0 q a n [ a ] q s [ a b x + b j + a n ] q s + ( 1 q a ) ( 2 s s 1 ) n = 0 q a n [ a ] q s 1 [ a b x + b j + a n ] q s 1 = n = 0 q a n [ a ] q s [ a b x + b j + a n ] q s ( 1 + ( 1 q ) [ a b x + b j + a n ] q ( 2 s s 1 ) ) .
(2.3)

Since for any non-negative integer n and a positive integer b, there exist unique non-negative integers r and i such that n=br+i with 0ib1. So, the above identity (2.3) can be rewritten as

ζ q a ( s , b x + b j a ) = [ a ] q s r = 0 i = 0 b 1 q a b r + a i [ a b ( x + r ) + b j + a i ] q s × ( 1 + ( 1 q ) [ a b ( x + r ) + b j + a i ] q ( 2 s s 1 ) ) .
(2.4)

It follows from (2.4) that

[ b ] q s j = 0 a 1 q b j ζ q a ( s , b x + b j a ) = [ a ] q s [ b ] q s j = 0 a 1 i = 0 b 1 n = 0 q a b n + a i + b j [ a b ( x + n ) + a i + b j ] q s × ( 1 + ( 1 q ) [ a b ( x + n ) + a i + b j ] q ( 2 s s 1 ) ) .
(2.5)

In the same way,

[ a ] q s j = 0 b 1 q a j ζ q b ( s , a x + a j b ) = [ a ] q s [ b ] q s j = 0 a 1 i = 0 b 1 n = 0 q a b n + a i + b j [ a b ( x + n ) + a i + b j ] q s × ( 1 + ( 1 q ) [ a b ( x + n ) + a i + b j ] q ( 2 s s 1 ) ) .
(2.6)

Thus, equating (2.5) and (2.6) gives the desired result. □

We next discuss some special cases of Theorem 2.1. Setting b=1 in Theorem 2.1, we have the following distribution formula for the q-zeta function

j = 0 a 1 q j ζ q a ( s , x + j a ) = [ a ] q s ζ q (s,ax).
(2.7)

In particular, the case a=2 in (2.7) gives the duplication formula for the q-zeta function

ζ q 2 (s,x)+q ζ q 2 ( s , x + 1 2 ) = [ 2 ] q s ζ q (s,2x).
(2.8)

Letting q1 in (2.7) and (2.8) leads to the familiar distribution formula for the classical Hurwitz zeta function

j = 0 a 1 ζ ( s , x + j a ) = a s ζ(s,ax),
(2.9)

and the duplication formula for the classical Hurwitz zeta function

ζ(s,x)+ζ ( s , x + 1 2 ) = 2 s ζ(s,2x),
(2.10)

respectively, see, for example, [1].

Now, we are in the position to give some similar symmetric identities for the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials.

Theorem 2.2 Let a, b be positive integers. Then for any non-negative integer n,

[ a ] q n 1 j = 0 a 1 q b j β n ( b x + b j a , q a ) = [ b ] q n 1 j = 0 b 1 q a j β n ( a x + a j b , q b ) .
(2.11)

Proof By applying the exponential series e x t = n = 0 x n t n /n! to the generating function of the q-Bernoulli polynomials, we have

n = 0 m = 0 q x + 2 m [ x + m ] q n t n + 1 n ! + ( 1 q ) n = 0 m = 0 q m [ x + m ] q n t n n ! = n = 0 β n ( x , q ) t n n ! .
(2.12)

Comparison of the coefficients of t n /n! in (2.12) yields

β n ( x , q ) = n m = 0 q x + 2 m [ x + m ] q n 1 + ( 1 q ) m = 0 q m [ x + m ] q n = n m = 0 q m [ x + m ] q n 1 + ( 1 q ) ( 1 + n ) m = 0 q m [ x + m ] q n .
(2.13)

So, from (1.11), (2.13) and the analytic continuation of ζ q (s,x), one can easily obtain that for any non-negative integer n,

ζ q (1n,x)= β n ( x , q ) n .
(2.14)

In light of the relation (see, e.g., [4, 6])

β n (x,q)= 1 ( 1 q ) n k = 0 n ( n k ) ( 1 ) k q k x k + 1 [ k + 1 ] q (n0),
(2.15)

we get the symmetric distribution for the q-Bernoulli polynomials

β n ( 1 x , q 1 ) = ( q ) n β n (x,q)(n0).
(2.16)

Thus, the desired result follows by applying (2.14) and (2.16) to Theorem 2.1. □

It follows that we show some special cases of Theorem 2.2. Setting b=1 in Theorem 2.2, we derive the multiplication theorem for the q-Bernoulli polynomials due to Carlitz [4]

[ a ] q n 1 j = 0 a 1 q j β n ( x + j a , q a ) = β n (ax,q),
(2.17)

which is a q-analogue of Raabe’s multiplication theorem for the classical Bernoulli polynomials (see, e.g., [8]). Letting q1 in Theorem 2.2, one can immediately obtain the generalized multiplication theorem for the classical Bernoulli polynomials (see, e.g., [911])

a n 1 j = 0 a 1 B n ( b x + b j a ) = b n 1 j = 0 b 1 B n ( a x + a j b ) .
(2.18)

Based on the observation of Theorem 2.2, we have the following.

Theorem 2.3 Let a, b be positive integers. Then for any non-negative integer n,

i = 0 n ( n i ) [ a ] q n 1 i [ b ] q i β n i ( b x , q a ) S n , i ; q b ( a ) = i = 0 n ( n i ) [ b ] q n 1 i [ a ] q i β n i ( a x , q b ) S n , i ; q a ( b ) ,
(2.19)

where S n , i ; q (a)= j = 0 a 1 q ( n + 1 i ) j [ j ] q i .

Proof Since [ x + y ] q = [ x ] q + q x [ y ] q for any x,yC, then (1.7) can be rewritten as

e [ x ] q t ( m = 0 q m e [ y + m ] q q x t ( 1 q q y + m q x t ) ) = n = 0 β n (x+y,q) t n n ! .
(2.20)

Again, applying the exponential series and (1.7) to the left-hand side of (2.20), with help of the Cauchy product, we get

n = 0 β n ( x + y , q ) t n n ! = ( n = 0 [ x ] q n t n n ! ) ( n = 0 q n x β n ( y , q ) t n n ! ) = n = 0 ( i = 0 n ( n i ) q i x β i ( y , q ) [ x ] q n i t n n ! ) .
(2.21)

Hence, comparison of the coefficients of t n /n! in (2.21) gives the addition theorem for the q-Bernoulli polynomials

β n (x+y,q)= i = 0 n ( n i ) q i x β i (y,q) [ x ] q n i (n0).
(2.22)

Since [ x ] q a = [ a x ] q / [ a ] q for any xC and a positive integer a, by (2.22), we obtain

j = 0 a 1 q b j β n ( b x + b j a , q a ) = i = 0 n ( n i ) β n i ( b x , q a ) j = 0 a 1 q ( n + 1 i ) b j [ b j a ] q a i = i = 0 n ( n i ) 1 [ a ] q i β n i ( b x , q a ) j = 0 a 1 q ( n + 1 i ) b j [ b j ] q i = i = 0 n ( n i ) ( [ b ] q [ a ] q ) i β n i ( b x , q a ) j = 0 a 1 q ( n + 1 i ) b j [ j ] q b i .
(2.23)

Thus, by applying Theorem 2.2 to (2.23), we complete the proof of Theorem 2.3. □

Clearly, Theorem 2.3 above can be regarded as an q-analogue of the corresponding classical formula (see, e.g., [9, 11])

i = 0 n ( n i ) a n 1 i b i B n i (bx) S i (a)= i = 0 n ( n i ) b n 1 i a i B n i (ax) S i (b),
(2.24)

where S n (a)= 0 n + 1 n ++ ( a 1 ) n is called as the sums of powers. It is worth mentioning that the case x=0, b=1 in (2.24) can be used to give the proofs of the famous von Staudt-Clausen, Frobenius, Ramanujan, etc.-type theorems, see [12] for details. For some generalization of (2.24) in other directions, the interested readers may consult [1316].

We finally present another type symmetric identities for the Carlitz’s q-Bernoulli numbers and q-Bernoulli polynomials.

Theorem 2.4 Let m, n be any non-negative integers. Then

k = 0 m ( m k ) q ( n + k ) x β n + k ( y , q ) [ x ] q m k = k = 0 n ( n k ) q ( n k ) x β m + k ( x + y , q ) [ x ] q n k .
(2.25)

Proof Observe that

[ x ] q u+ q x [ y + m ] q (u+v)= [ x + y + m ] q (u+v) [ x ] q v.
(2.26)

It follows from (2.26) that

e [ x ] q u m = 0 q m e [ y + m ] q q x ( u + v ) ( 1 q q y + m q x ( u + v ) ) = e [ x ] q v m = 0 q m e [ x + y + m ] q ( u + v ) ( 1 q q x + y + m ( u + v ) ) .
(2.27)

We next consider the left-hand side of (2.27). In light of (1.7), we have

e [ x ] q u m = 0 q m e [ y + m ] q q x ( u + v ) ( 1 q q y + m q x ( u + v ) ) = e [ x ] q u n = 0 q n x β n ( y , q ) ( u + v ) n n ! .
(2.28)

Applying ( u + v ) n = m = 0 n ( n m ) u m v n m to the summation on the right-hand side of (2.28), and then changing the order of summation, we get

n = 0 q n x β n ( y , q ) ( u + v ) n n ! = m = 0 n = m q n x β n ( y , q ) u m m ! v n m ( n m ) ! = m = 0 n = 0 q ( m + n ) x β m + n ( y , q ) u m m ! v n n ! .
(2.29)

Hence, putting (2.29) into (2.28), and then using the exponential series, with the help of the Cauchy product, we obtain

e [ x ] q u m = 0 q m e [ y + m ] q q x ( u + v ) ( 1 q q y + m q x ( u + v ) ) = ( m = 0 [ x ] q m u m m ! ) ( m = 0 n = 0 q ( m + n ) x β m + n ( y , q ) u m m ! v n n ! ) = m = 0 n = 0 ( k = 0 m ( m k ) q ( n + k ) x β n + k ( y , q ) [ x ] q m k ) u m m ! v n n ! .
(2.30)

Similarly, we have

e [ x ] q v m = 0 q m e [ x + y + m ] q ( u + v ) ( 1 q q x + y + m ( u + v ) ) = m = 0 n = 0 ( k = 0 n ( n k ) ( [ x ] q ) ( n k ) β n + k ( x + y , q ) ) u m m ! v n n ! .
(2.31)

Thus, by equating (2.30) and (2.31) and comparing the coefficients of u m v n /m!n!, we get

k = 0 m ( m k ) q ( n + k ) x β n + k (y,q) [ x ] q m k = k = 0 n ( n k ) ( [ x ] q ) n k β m + k (x+y,q),
(2.32)

which together with [ x ] q = q x [ x ] q implies the desired result. We are done. □

It becomes obvious that (2.22) is a special case of Theorem 2.4 by setting n=0 and replacing m by n. As another special case, in view of (2.16), we discover that for any non-negative integers m, n,

( 1 ) m k = 0 m ( m k ) q n + k β n + k (x,q)= ( 1 ) n k = 0 n ( n k ) q ( m + k ) β m + k ( x , q 1 ) .
(2.33)

In particular, the case of x=0 in (2.33) is an q-analogue of the formula due to Gessel [17]

( 1 ) m k = 0 m ( m k ) B n + k = ( 1 ) n k = 0 n ( n k ) B m + k (m,n0).
(2.34)

In fact, there exists a similar symmetric identity to (2.33), which is as follows.

Theorem 2.5 Let m, n be any non-negative integers. Then

( 1 ) m k = 0 m + 1 ( m + 1 k ) q n + k ( n + k + 1 ) β n + k ( x , q ) + ( 1 ) n k = 0 n + 1 ( n + 1 k ) q ( m + k ) ( m + k + 1 ) β m + k ( x , q 1 ) = 0 .
(2.35)

Proof Since k ( m + 1 k ) =(m+1) ( m k 1 ) for any non-negative integers k and m, then

( 1 ) m k = 0 m + 1 ( m + 1 k ) q n + k ( n + k + 1 ) β n + k ( x , q ) = ( 1 ) m ( n + 1 ) k = 0 m + 1 ( m + 1 k ) q n + k β n + k ( x , q ) + ( 1 ) m ( m + 1 ) k = 0 m + 1 ( m k 1 ) q n + k β n + k ( x , q ) .
(2.36)

It follows from (2.33) that

( 1 ) m ( n + 1 ) k = 0 m + 1 ( m + 1 k ) q n + k β n + k ( x , q ) = ( 1 ) n + 1 ( n + 1 ) k = 0 n ( n k ) q ( m + k + 1 ) β m + k + 1 ( x , q 1 ) = ( 1 ) n + 1 k = 0 n + 1 ( n + 1 k ) q ( m + k ) k β m + k ( x , q 1 )
(2.37)

and

( 1 ) m ( m + 1 ) k = 0 m + 1 ( m k 1 ) q n + k β n + k ( x , q ) = ( 1 ) m ( m + 1 ) k = 0 m ( m k ) q n + k + 1 β n + k + 1 ( x , q ) = ( 1 ) n + 1 k = 0 n + 1 ( n + 1 k ) q ( m + k ) ( m + 1 ) β m + k ( x , q 1 ) .
(2.38)

Thus, putting (2.37) and (2.38) to the right-hand side of (2.36), we are given the desired result, and this completes the proof. □

Noticing that the case x=0 in Theorem 2.5 above can be regarded as a q-analogue of the following formula

( 1 ) m k = 0 m ( m + 1 k ) ( n + k + 1 ) B n + k + ( 1 ) n k = 0 n ( n + 1 k ) ( m + k + 1 ) B m + k = 0 ( m + n 1 ) ,
(2.39)

which was discovered and used to give a brief proof of the famous Kummer congruence by Momiyama [18]. For the generalization of (2.34) and (2.39) in the other directions, one is referred to [19, 20].

References

  1. Cohen H: Number Theory, Volume II: Analytic and Modern Tools. Springer, Berlin; 2007.

    Google Scholar 

  2. Srivastava HM, Choi J: Series Associated with the Zeta and Related Functions. Kluwer Academic, Dordrecht; 2001.

    Book  Google Scholar 

  3. Andrews GE, Askey R, Roy R: Special Functions. Cambridge University Press, Cambridge; 1999.

    Book  Google Scholar 

  4. Carlitz L: q -Bernoulli numbers and polynomials. Duke Math. J. 1948, 15: 987–1000. 10.1215/S0012-7094-48-01588-9

    Article  MathSciNet  Google Scholar 

  5. Kim D, Kim M-S: A note on Carlitz q -Bernoulli numbers and polynomials. Adv. Differ. Equ. 2012., 2012: Article ID 44

    Google Scholar 

  6. Ryoo CS, Kim T, Lee B: q -Bernoulli numbers and q -Bernoulli polynomials revisited. Adv. Differ. Equ. 2011., 2011: Article ID 33

    Google Scholar 

  7. Satoh J: q -Analogue of Riemann’s ζ function and q -Euler numbers. J. Number Theory 1989, 31: 346–362. 10.1016/0022-314X(89)90078-4

    Article  MathSciNet  Google Scholar 

  8. Srivastava HM, Pintér Á: Remarks on some relationships between the Bernoulli and Euler polynomials. Appl. Math. Lett. 2004, 17: 375–380. 10.1016/S0893-9659(04)90077-8

    Article  MathSciNet  Google Scholar 

  9. Kim T: Symmetry p -adic invariant integral on Z p for Bernoulli and Euler polynomials. J. Differ. Equ. Appl. 2008, 14: 1267–1277. 10.1080/10236190801943220

    Article  Google Scholar 

  10. Luo Q-M: The multiplication formulas for the Apostol-Bernoulli and Apostol-Euler polynomials of higher order. Integral Transforms Spec. Funct. 2009, 20: 377–391. 10.1080/10652460802564324

    Article  MathSciNet  Google Scholar 

  11. Yang SL: An identity of symmetry for the Bernoulli polynomials. Discrete Math. 2008, 308: 550–554. 10.1016/j.disc.2007.03.030

    Article  MathSciNet  Google Scholar 

  12. Howard FT: Applications of a recurrence for the Bernoulli numbers. J. Number Theory 1995, 52: 157–172. 10.1006/jnth.1995.1062

    Article  MathSciNet  Google Scholar 

  13. He Y, Zhang WP: A note on the twisted Lerch type Euler zeta functions. Bull. Korean Math. Soc. 2013, 50: 659–665. 10.4134/BKMS.2013.50.2.659

    Article  MathSciNet  Google Scholar 

  14. Jang L-C, Yi H, Shivashankara K, Kim T, Kim YH, Lee B: A note on symmetric properties of the twisted q -Bernoulli polynomials and the twisted generalized q -Bernoulli polynomials. Adv. Differ. Equ. 2010., 2010: Article ID 801580

    Google Scholar 

  15. Kurt V: Some symmetry identities for the Apostol-type polynomials related to multiple alternating sums. Adv. Differ. Equ. 2013., 2013: Article ID 32

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  17. Gessel IM: Applications of the classical umbral calculus. Algebra Univers. 2003, 49: 397–434. 10.1007/s00012-003-1813-5

    Article  MathSciNet  Google Scholar 

  18. Momiyama H: A new recurrence formula for Bernoulli numbers. Fibonacci Q. 2001, 39: 285–288.

    MathSciNet  Google Scholar 

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

    Google Scholar 

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

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The author expresses his gratitude to the referees for their helpful comments and suggestions. 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 China (Grant No. 11071194).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Yuan He.

Additional information

Competing interests

The author declares that they have no competing interests.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Reprints and permissions

About this article

Cite this article

He, Y. Symmetric identities for Carlitz’s q-Bernoulli numbers and polynomials. Adv Differ Equ 2013, 246 (2013). https://doi.org/10.1186/1687-1847-2013-246

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1687-1847-2013-246

Keywords