Adv. Studies Theor. Phys., Vol. 8, 204, no. 6, 285-292 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/0.2988/astp.204.428 Symmetric Identities for the Generalized Higher-order -Bernoulli Polynomials Dae San Kim Department of Mathematics, Sogang University Seoul 2-742, Republic of Korea Taekyun Kim Department of Mathematics, Kwangwoon University Seoul 39-70, Republic of Korea Sang-Hun Lee Division of General Education, Kwangwoon University Seoul 39-70, Republic of Korea Copyright c 204 Dae San Kim, Taekyun Kim and Sang-Hun Lee. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract In this paper, we give identities of symmetry for the generalized higher-order - Bernoulli polynomials attached to χ which are derived from the symmetric properties of multivariate p-adic invariant integrals on Z p.. Introduction As is well known, the higher order Bernoulli polynomials are defined by the generating function to be ) r t e xt e t n0 B r) n x)tn, n N), see,4,). ) n!
286 Dae San Kim, Taekyun Kim and Sang-Hun Lee When x 0,B r) n B n r) 0) is called the n-th Bernoulli number of order r. Let χ be a primitive Dirichlet character with conductor d N. Then the generalized Bernoulli polynomials attached to χ are defined by the generating function to be ) t d χa)e at e xt e dt a0 n0 B n,χ x) tn, see 5,6). 2) n! For r N, in view of ), we may also consider the generalized higher-order Bernoulli polynomials attached to χ as follows: t ) d r a0 χa)eat e xt e dt n0 B r) n,χ x)tn n!. 3) When x 0,B n,χ r) B n,χ0) r) is called the n-th generalized Bernoulli numbers attached to χ with order r. Let p be a fixed prime number. Throughout this paper Z p, Q p, and C p will, respectively, denote the ring of p-adic rational integers, the field of p-adic rational numbers and the completion of algebraic closure of Q p. Let ν p be the normalized exponential valuation of C p with p p p νpp). When one talks about -extensions, is variously considered as an p indeterminate, a complex number C, orap-adic number C p.if C, one usually assumes < ;if C p, one usually assumes p <p p so that x expx log ) for x p. The -number of x is defined by x x. Note that lim x x. Let UDZ p ) be the space of uniformly differentiable functions on Z p.forf UDZ p ), the p-adic invariant integral on Z p is defined by I 0 f) From 4), we note that Z p fx)dμ 0 x) lim N p N p N x0 fx), see -). 4) Thus, by 5), we get I 0 f )I 0 f)+f 0), where f x) fx +). 5) n I 0 f n )I 0 f)+ f l), 6) where n N and f n x) fx + n). Let d be a fixed positive integer and let p be a fixed prime number. For N N, we set l0
Generalized higher-order -Bernoulli polynomials 287 ) lim Z N /dp N Z, a + dpz p, 0<a<dp a,p) a + dp N Z p {x x a mod dp N )}, where a Z lies in 0 a<dp N. It is not difficult to show that fx)dμ 0 x) fx)dμ 0 x), Z p 7) where fx) UDZ p ), see 5,6,7). Let us take fx) e xt χx). Then, by 6), we get By 8), we see that χx)e xt t d dμ 0 x) χa)e at e dt a0 n0 ) χy)e x+y)t t d dμ 0 y) χa)e at e dt a0 B n,χ x) tn n!. n0 From 9), we can derive the following euation 0): t ) d r a0 χa)eat e xt e dt B x,χ t n n!. 8) e xt Π r χy l)) e x+y + +y r)t dμ 0 y )...dμ 0 y r ) n0 B r) n,χ x)tn n!. 9) 0) In the next section, we consider -extensions of 0). The purpose of this paper is to give identities of symmetry for the generalized -Bernoulli polynomials of order r which are derived from the symmetric properties of multivariate p- adic invariant integrals on Z p. 2. Symmetric identities of the generalized higher-order -Bernoulli polynomials Now, we consider the generalized higher-order -Bernoulli polynomials attached to χ with the viewpoint of 0) as follows:
288 Dae San Kim, Taekyun Kim and Sang-Hun Lee n0 Thus, by ), we get B r) n,χ, x) Z p Z p dn d r Π r χy l )) e x+y + +y r t dμ 0 y )...dμ 0 y r ) B r) n,χ, x)tn n!. ) Π r χy l)) x + y + + y r n dμ 0y )...dμ 0 y r ) dn d r x + a + + a r d a,,a r0 d d a,,a r0 Π r χa l)) + y + + y r n d dμ 0 y )...dμ 0 y r ) ) x + Π r χa l)) B r) a + + a r, 2) n, d d where B r) n,x) are higher-order -Bernoulli polynomials which are defined by B n, Z r) x) x + y + + y r n dμ 0y )...dμ 0 y r ). p Z p From 2), we note that B r) n,χ, x) l0 ) n x n l lx B r) l,χ, l, 3) where B r) l,χ, Br) l,χ, 0) is the l-th generalized higher-order -Bernoulli number attached to χ. Let w,w 2 be natural numbers. Then, by ), we get w r lim N Π r χy l)) e w w 2 x+w 2 j l+w y l t dμ 0 y )...dμ 0 y r ) w 2 p N Thus, by 4), we get ) r 2 i,,i r0 p N y,,y r0 Π r χi l)) e w w 2 x+w 2 j l+w i l+ 2 y l ) t 4)
Generalized higher-order -Bernoulli polynomials 289 w r lim N Π r χj l)) Π r χy l)) w 2 p N e w w 2 x+w 2 j l+w y l t dμ 0 y )...dμ 0 y r ) ) r p N By the same method as 5), we get 2 y,,y r0 i,,i r0 e w w 2 x+w 2 j l+w i l+ 2 y l ) t Π r χi l)χj l )) 5) 2 w2 r lim N Π r χj l)) Π r χy l)) w 2 p N e w w 2 x+w j l+w 2 y l t dμ 0 y )...dμ 0 y r ) ) r p N 2 y,,y r0 i,,i r0 e w w 2 x+w j l+w 2 i l+ 2 y l ) t Π r χi l)χj l )) Therefore, by 5) and 6), we obtain the following theorem. Theorem 2.. For w,w 2,d N, we have Π r χj l)) Π r χy l)) Note that w w 2 x + w 2 w r w r 2 e w w 2 x+w 2 j l+w y l t dμ 0 y )...dμ 0 y r ) 2 w and w w 2 x + w w 2 Π r χj l )) Π r χy l )) e w w 2 x+w j l+w 2 y l t dμ 0 y )...dμ 0 y r ) y l y l w w 2 x + w 2 w w 2 w x + w w 2 y l y l w 2 w 6), 7). 8) Therefore, by Theorem 2., 7) and 8), we obtain the following Corollary.
290 Dae San Kim, Taekyun Kim and Sang-Hun Lee Corollary 2.2. For n 0, we have w n w r w 2 x + w 2 w Π r χj l )) Π r χy l )) n y l dμ 0 y )...dμ 0 y r ) w w 2 n w r 2 2 w x + w w 2 Π r χj l )) Π r χy l )) n y l dμ 0 y )...dμ 0 y r ) w2 Therefore, by 2) and Corollary 2.2, we obtain the following theorem. Theorem w n w r 2.3. For n 0, w,w 2 N, we have Π r χj l)) B r) n,χ, w w 2 x + w ) 2 j + + j r ) w w 2 n w r 2 2 Π r χj l )) B r) n,χ, w 2 w x + w ) j + + j r ). w 2 From 2), we can derive the following euation 9): Π r χy l)) w 2 x + w 2 w ) w2 n i w i0 w 2 x + Z p Z p ) n w2 i w i0 n y l dμ 0 y )...dμ 0 y r ) w ) i j + + j r i w 2 w 2n i) j l n i y l Π r χy l )) dμ 0 y )...dμ 0 y r ) w ) i j + + j r i w 2 w 2n i) j l B r) n i,χ, w w 2 x). 9) Thus, by 9), we get
Generalized higher-order -Bernoulli polynomials 29 w n w r i0 Π r χj l )) Π r χy l )) w 2 x + w n 2 y l w w ) n w n i w 2 i i w r dμ 0 y )...dμ 0 y r ) j + + j r i w 2 Π r χj l )) w 2n i) j l B r) n i,χ, w w 2 x) ) n w i P ) w i w r 2 n i j + + j r n i w 2 w r 2i j l Π r χj l)) i0 i0 where ) n w i w i w r 2 n i T r) n,i, w 2 χ)b r) i,χ, w w 2 x), w T r) n,i w, χ) By the same method as 20), we get j + + j r n i B r) i,χ, w w 2 x) ) 20) i j l Π r χj l)). 2) w 2 n w r 2 i0 2 w x + w Π r χj l)) Π r χy l)) w 2 n y l dμ 0 y )...dμ 0 y r ) w2 ) n w2 i w i w2 r n i T r) n,i 2, w χ)b r) i,χ, 2w w x). Therefore, by 20) and 22), we obtain the following theorem. Theorem 2.4. For n 0, w,w 2 N, we have ) n w i w 2 n i T r) n,i i, w 2 χ)b r) i,χ, w w 2 x) i0 i0 w r ) n w2 i w i w2 r n i T r) n,i 2, w χ)b r) i,χ, 2w w x), 22)
292 Dae San Kim, Taekyun Kim and Sang-Hun Lee where w T r) n,i w, χ) j + + j r n i i j l Π r χj l)). References L. Carlitz, -Bernoulli numbers and polynomials, Duke Math. J. 5948), 987-000. 2 M. Cenkci, V. Kurt, Congruences for generalized -Bernoulli polynomials, J. Ineual. Appl. 2008, Art.ID 27073, 9 pp. 3 D. V. Dolgy, T. Kim, B. Lee, S.-H. Lee, Some new identities on the twisted Bernoulli and Euler polynomials, J. Comput. Anal. Appl. 5203), no. 3, 44-45. 4 D. S. Kim, N. Lee, J. Na, K. H. Park, Abundant symmetry for higher-order Bernoulli polynomials I), Adv. Stud. Contemp. Math. 23 203), no. 3, 46-482. 5 T. Kim, S.-H. Rim, Generalized Carlitz s -Bernoulli numbers in the p-adic number field, Adv. Stud. Contemp. Math. 2 2000), 9-9. 6 T. Kim, On explicit formulas of p-adic -L-functions, Khyshu J. Math. 48994), no., 73-86. 7 T. Kim, -Volkenborn integration, Russ. J. Math. Phys. 92002), no. 3, 288-299. 8 T. Kim, On the symmetries of the -Bernoulli polynomials, Abstr. Appl. Anal. 2008, Art.ID 94367, 7 pp. 9 H. Ozden, I. N. Cangul, Y. Simsek, Remarks on -Bernoulli numbers associated with Daehee numbers, Adv. Stud. Contemp. Math. 82009), no., 4-48. 0 H.-K. Pak, S.-H. Rim, -Bernoulli numbers and polynomials via an invariant p-adic -integral on Z p, Notes Number Thoery Discrete Math. 7200), no.4, 05-0. S. H. Rim, A. Bayad, E.-J. Moon, J.-H. Jin, S.-J. Lee, A new construction on the -Bernoulli polynomials, Adv. Difference Eu. 20, 20:34, 6 pp. 2 Y. Simsek, Generating functions of the twisted Bernoulli numbers and polynomials associated with their interpolation functions, Adv. Stud. Contemp. Math. 62008), no.2, 25-278. Received: February, 204