Volume 2009, Article ID 164743,8pages doi:10.1155/2009/164743
Research Article
On the Symmetric Properties for the Generalized
Twisted Bernoulli Polynomials
Taekyun Kim and Young-Hee Kim
Division of General Education-Mathematics, Kwangwoon University, Seoul 139-701, South Korea
Correspondence should be addressed to Young-Hee Kim,[email protected]
Received 6 July 2009; Accepted 18 October 2009
Recommended by Narendra Kumar Govil
We study the symmetry for the generalized twisted Bernoulli polynomials and numbers. We give some interesting identities of the power sums and the generalized twisted Bernoulli polynomials using the symmetric properties for thep-adic invariant integral.
Copyrightq2009 T. Kim and Y.-H. Kim. 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.
1. Introduction
Letpbe a fixed prime number. Throughout this paper, the symbolsZ,Zp,Qp, andCpdenote
the ring of rational integers, the ring ofp-adic integers, the field ofp-adic rational numbers, and the completion of algebraic closure ofQp, respectively. LetNbe the set of natural numbers
andZN∪{0}. Letνpbe the normalized exponential valuation ofCpwith|p|pp−νppp−1.
LetUDZpbe the space of uniformly differentiable function onZp. Forf∈UDZp,
thep-adic invariant integral onZpis defined as
If
ZpfxdxNlim→ ∞
1
pN pN−1
x0
fx 1.1
see1. From1.1, we note that
wheref0 dfx/dx|x0andf1x fx1. Forn∈N, letfnx fxn. Then we can
derive the following equation from1.2:
Ifn
If
n−1
i0
fi 1.3
see1–7.
Letdbe a fixed positive integer. Forn∈N, let
XXdlim←−NZ/dpNZ, X1Zp,
X∗ 0<a<dp
a,p1
adpZp
,
adpNZp
x∈X|x≡amoddpN ,
1.4
wherea∈Zlies in 0≤a < dpN. It is easy to see that
X
fxdx
Zpfxdx, forf∈UD
Zp
. 1.5
The ordinary Bernoulli polynomialsBnxare defined as
t et−1e
xt∞
n0 Bnxt
n
n!, 1.6
and the Bernoulli numbersBnare defined asBnBn0 see1–19.
Forn∈N, letTpbe thep-adic locally constant space defined by
Tp
n≥1
Cpn lim
n→ ∞Cpn, 1.7
whereCpn {ω | ωp n
1}is the cyclic group of orderpn. It is well known that the twisted
Bernoulli polynomials are defined as
t ξet−1e
xt∞
n0
Bn,ξxt n
n!, ξ∈Tp, 1.8
and the twisted Bernoulli numbersBn,ξare defined asBn,ξ Bn,ξ0 see15–18.
Let χ be Dirichlet’s character with conductor d ∈ N. Then the generalized twisted
Bernoulli polynomialsBn,χ,ξxattached toχare defined as follows:
d−1
a0
χaξaeatt
ξdedt−1 e xt∞
n0
Bn,χ,ξxt n
The generalized twisted Bernoulli numbers attached to χ, Bn,χ,ξ, are defined as Bn,χ,ξ
Bn,χ,ξ0 see16.
Recently, many authors have studied the symmetric properties of thep-adic invariant integrals on Zp, which gave some interesting identities for the Bernoulli and the Euler
polynomialscf.3,6,7,13,14,20–27. The authors of this paper have established various
identities by the symmetric properties of the p-adic invariant integrals and investigated interesting relationships between the power sums and the Bernoulli polynomials see 2,3,6,7,13.
The twisted Bernoulli polynomials and numbers and the twisted Euler polynomials and numbers are very important in several fields of mathematics and physicscf. 15–18.
The second author has been interested in the twisted Euler numbers and polynomials and the twisted Bernoulli polynomials and studied the symmetry of power sum and twisted Bernoulli polynomialssee11–13.
The purpose of this paper is to study the symmetry for the generalized twisted Bernoulli polynomials and numbers attached toχ. InSection 2, we give interesting identities for the power sums and the generalized twisted Bernoulli polynomials using the symmetric properties for thep-adic invariant integral.
2. Symmetry for the Generalized Twisted Bernoulli Polynomials
Letχbe Dirichlet’s character with conductord∈N. Forξ∈Tp, we have
X
χxξxextdx t
d−1
i0 χiξieit ξdedt−1
∞
n0 Bn,χ,ξt
n
n!, 2.1
whereBn,χ,ξare thenth generalized twisted Bernoulli numbers attached toχ. We also see that
the generalized twisted Bernoulli polynomials attached toχare given by
X
χyξyexytdy t
d−1
i0 χiξieit ξdedt−1 e
xt∞
n0
Bn,χ,ξxt n
n!. 2.2
By2.1and2.2, we see that
X
χxξxxndxB n,χ,ξ,
X
χyξyxyn
dyBn,χ,ξx. 2.3
From2.3, we derive that
Bn,χ,ξx n
l0
n l
By1.5and2.3, we see that
X
χxξxextdx 1 d
d−1
a0
χaeatξa
Zpξ
dxedxtdx 1
d
d−1
a0
χaξa dt ξdedt−1e
a/ddt. 2.5
From2.2and2.5, we obtain that
X
χxξxextdx
∞
n0
dn−1
d−1
a0
χaξaBn,ξd a
d tn
n!. 2.6
Thus we have the following theorem from2.1and2.6.
Theorem 2.1. Forξ∈Tp, one has
Bn,χ,ξ dn−1 d−1
a0
χaξaBn,ξd a
d . 2.7
By1.3and1.5, we have that forn∈N,
X
fxndx
X
fxdx
n−1
i0
fi, 2.8
wherefi dfx/dx|xi. Takingfx χxξxextin2.8, it follows that
1
t
X
χxξndxendxtdx−
X
χxξxextdx
nd
Xχxξxextdx
Xξndxendxtdx
ξndendt−1
ξdedt−1
d−1
i0
χiξieit
.
2.9
Thus, we have
1
t
X
χxξndxendxtdx−
X
χxξxextdx
∞
k0
nd−1
l0
χlξllk
tk
k!. 2.10
Fork∈Z, let us define thep-adic functionalKχ, ξ, k:nas follows:
Kχ, ξ, k:n
n
l0
χlξllk. 2.11
By2.10and2.11, we see that fork, n, d∈N,
X
χxξndxndxkdx−
X
From2.3and2.12, we have the following result.
Theorem 2.2. Forξ∈Tpandk, n, d∈N, one has
ξndBk,χ,ξnd−Bk,χ,ξkK
χ, ξ, k−1 :nd−1. 2.13
Letw1, w2, d∈N. Then we have that
dXXχx1χx2ξw1x1w2x2ew1x1w2x2tdx1dx2
Xξdw1w2xedw1w2xtdx
t
ξdw1w2edw1w2t−1
ξw1dedw1t−1ξw2dedw2t−1 d−1
a0
χaξw1aew1at d−1
b0
χbξw2bew2bt
.
2.14
By2.9,2.10, and2.11, we see that
w1dXχxξxextdx
Xξdw1xedw1xtdx
∞
k0
Kχ, ξ, k:dw1−1t
k
k!. 2.15
Now let us define thep-adic functionalYχ,ξw1, w2as follows:
Yχ,ξw1, w2
dXXχx1χx2ξw1x1w2x2ew1x1w2x2w1w2xtdx1dx2
Xξdw1w2x3edw1w2x3tdx3
. 2.16
Then it follows from2.14that
Yχ,ξw1, w2
tξdw1w2edw1w2t−1ew1w2xt
ξw1dedw1t−1ξw2dedw2t−1 d−1
a0
χaξw1aew1at d−1
b0
χbξw2bew2bt
.
2.17
By2.15and2.16, we obtain that
Yχ,ξw1, w2
1
w1
X
χx1ξw1x1ew1x1w2xtdx1
dw1
Xχx2ξw2x2ew2x2tdx2
Xξdw1w2xedw1w2xtdx
∞
l0
l
i0
l i
Bi,χ,ξw1w2xK
χ, ξw2, l−i:dw1−1wi−1
1 w2l−i
tl
l!.
On the other hand, the symmetric property ofYχ,ξw1, w2shows that
Yχ,ξw1, w2
1
w2
X
χx2ξw2x2ew2x2w1xtdx2
dw2
Xχx1ξw1x1ew1x1tdx1
Xξdw1w2xedw1w2xtdx
∞
l0
l
i0
l i
Bi,χ,ξw2w1xKχ, ξw1, l−i:dw2−1wi−1
2 wl1−i
tl
l!.
2.19
Comparing the coefficients on the both sides of 2.18 and 2.19, we have the following
theorem.
Theorem 2.3. Letξ∈Tpandd, w1, w2∈N. Then one has
l
i0
l i
Bi,χ,ξw1w2xK
χ, ξw2, l−i:dw1−1wi−1
1 wl2−i
l
i0
l i
Bi,χ,ξw2w1xK
χ, ξw1, l−i:dw2−1wi−1
2 wl1−i.
2.20
We also derive some identities for the generalized twisted Bernoulli numbers. Taking
x0 inTheorem 2.3, we have the following corollary.
Corollary 2.4. Letξ∈Tpandd, w1, w2∈N. Then one has
l
i0
l i
Bi,χ,ξw1K
χ, ξw2, l−i:dw1−1wi−1
1 wl2−i
l
i0
l i
Bi,χ,ξw2K
χ, ξw1, l−i:dw2−1wi−1
2 wl1−i.
2.21
Now we will derive another identities for the generalized twisted Bernoulli polynomials using the symmetric property ofYχ,ξw1, w2. From1.2,2.15and2.17, we
see that
Yχ,ξw1, w2
ew1w2xt
w1
X
χx1ξw1x1ew1x1tdx1
dw1
Xχx2ξw2x2ew2x2tdx2
Xξdw1w2xedw1w2xtdx
1
w1
dw1−1
i0
χiξw2i
X
χx1ξw1x1ew1x1w2xw2/w1itdx1
∞
k0
dw 1−1
i0
χiξw2iB k,χ,ξw1
w2xw2 w1i
wk−1 1
tk
k!.
From the symmetric property ofYχ,ξw1, w2, we also see that
Yχ,ξw1, w2
ew1w2xt
w2
X
χx2ξw2x2ew2x2tdx2
dw2
Xχx1ξw1x1ew1x1tdx1
Xξdw1w2xedw1w2xtdx
1
w2
dw2−1
i0
χiξw1i
X
χx2ξw2x2ew2x2w1xw1/w2itdx2
∞
k0
dw 2−1
i0
χiξw1iB k,χ,ξw2
w1xw1 w2i
wk−1 2
tk
k!.
2.23
Comparing the coefficients on the both sides of2.22and 2.23, we obtain the following
theorem.
Theorem 2.5. Letξ∈Tpandd, w1, w2∈N. Then one has
dw1−1
i0
χiξw2iB k,χ,ξw1
w2xw2 w1i
w1k−1
dw2−1
i0
χiξw1iB k,χ,ξw2
w1xw1 w2i
wk2−1. 2.24
If we take x 0 in Theorem 2.5, we also derive the interesting identity for the generalized twisted Bernoulli numbers as follows: ford, w1, w2∈N,
dw1−1
i0
χiξw2iB k,χ,ξw1
w2 w1i
wk1−1
dw2−1
i0
χiξw1iB k,χ,ξw2
w1 w2i
wk2−1. 2.25
Acknowledgment
The present research has been conducted by the research grant of the Kwangwoon University in 2009.
References
1 T. Kim, “q-Volkenborn integration,”Russian Journal of Mathematical Physics, vol. 9, no. 3, pp. 288–299, 2002.
2 T. Kim, “On the symmetries of theq-Bernoulli polynomials,”Abstract and Applied Analysis, vol. 2008, Article ID 914367, 7 pages, 2008.
3 T. Kim, “Symmetryp-adic invariant integral onZpfor Bernoulli and Euler polynomials,”Journal of Difference Equations and Applications, vol. 14, no. 12, pp. 1267–1277, 2008.
4 T. Kim, “On the multipleq-Genocchi and Euler numbers,”Russian Journal of Mathematical Physics, vol. 15, no. 4, pp. 481–486, 2008.
5 T. Kim, “Note on q-Genocchi numbers and polynomials,” Advanced Studies in Contemporary Mathematics, vol. 17, no. 1, pp. 9–15, 2008.
6 T. Kim, “Symmetry of power sum polynomials and multivariate fermionicp-adic invariant integral onZp,”Russian Journal of Mathematical Physics, vol. 16, no. 1, pp. 93–96, 2009.
7 T. Kim, S.-H. Rim, and B. Lee, “Some identities of symmetry for the generalized Bernoulli numbers and polynomials,”Abstract and Applied Analysis, vol. 2009, Article ID 848943, 8 pages, 2009.
9 M. Cenkci, Y. Simsek, and V. Kurt, “Further remarks on multiplep-adicq-L-function of two variables,”
Advanced Studies in Contemporary Mathematics, vol. 14, no. 1, pp. 49–68, 2007.
10 A. S. Hegazi and M. Mansour, “A note onq-Bernoulli numbers and polynomials,”Journal of Nonlinear Mathematical Physics, vol. 13, no. 1, pp. 9–18, 2006.
11 Y.-H. Kim, “On thep-adic interpolation functions of the generalized twistedh, q-Euler numbers,”
International Journal of Mathematical Analysis, vol. 3, no. 18, pp. 897–904, 2008.
12 Y.-H. Kim, W. Kim, and L.-C. Jang, “On theq-extension of Apostol-Euler numbers and polynomials,”
Abstract and Applied Analysis, vol. 2008, Article ID 296159, 10 pages, 2008.
13 Y.-H. Kim and K.-W. Hwang, “Symmetry of power sum and twisted Bernoulli polynomials,”
Advanced Studies in Contemporary Mathematics, vol. 18, no. 2, pp. 127–133, 2009.
14 B. A. Kupershmidt, “Reflection symmetries of q-Bernoulli polynomials,” Journal of Nonlinear Mathematical Physics, vol. 12, pp. 412–422, 2005.
15 Y. Simsek, “Theorems on twistedL-function and twisted Bernoulli numbers,”Advanced Studies in Contemporary Mathematics, vol. 11, no. 2, pp. 205–218, 2005.
16 Y. Simsek, “Onp-adic twisted q-L-functions related to generalized twisted Bernoulli numbers,”
Russian Journal of Mathematical Physics, vol. 13, no. 3, pp. 340–348, 2006.
17 Y. Simsek, “Generating functions of the twisted Bernoulli numbers and polynomials associated with their interpolation functions,”Advanced Studies in Contemporary Mathematics, vol. 16, no. 2, pp. 251– 278, 2008.
18 Y. Simsek, V. Kurt, and D. Kim, “New approach to the complete sum of products of the twisted h, q-Bernoulli numbers and polynomials,”Journal of Nonlinear Mathematical Physics, vol. 14, no. 1, pp. 44–56, 2007.
19 H. M. Srivastava, T. Kim, and Y. Simsek, “q-Bernoulli numbers and polynomials associated with multipleq-zeta functions and basicL-series,”Russian Journal of Mathematical Physics, vol. 12, no. 2, pp. 241–268, 2005.
20 K. T. Atanassov and M. V. Vassilev-Missana, “On one of Murthy-Ashbacher’s conjectures related to Euler’s totient function,”Proceedings of the Jangjeon Mathematical Society, vol. 9, no. 1, pp. 47–49, 2006. 21 T. Kim, “A note on some formulae for theq-Euler numbers and polynomials,”Proceedings of the
Jangjeon Mathematical Society, vol. 9, no. 2, pp. 227–232, 2006.
22 T. Kim, “Note on Dedekind type DC sums,”Advanced Studies in Contemporary Mathematics, vol. 18, no. 2, pp. 249–260, 2009.
23 T. Kim, “A note on the generalizedq-Euler numbers,”Proceedings of the Jangjeon Mathematical Society, vol. 12, no. 1, pp. 45–50, 2009.
24 T. Kim, “New approach toq-Euler, Genocchi numbers and their interpolation functions,”Advanced Studies in Contemporary Mathematics, vol. 18, no. 2, pp. 105–112, 2009.
25 T. Kim, “Symmetry identities for the twisted generalized Euler polynomials,”Advanced Studies in Contemporary Mathematics, vol. 19, no. 2, pp. 151–155, 2009.
26 Y.-H. Kim, W. Kim, and C. S. Ryoo, “On the twistedq-Euler zeta function associated with twisted
q-Euler numbers,”Proceedings of the Jangjeon Mathematical Society, vol. 12, no. 1, pp. 93–100, 2009. 27 H. Ozden, I. N. Cangul, and Y. Simsek, “Remarks onq-Bernoulli numbers associated with Daehee