arXiv:math/0604227v1 [math.NT] 10 Apr 2006
A note on the alternating sums of powers of
consecutive q-integers
Taekyun Kim†
† Jangjeon Research Institute for Mathematical Science and Physics,
544-4 Young-Chang Ri Hapcheon-Gun Kyungnam, 678-802, S. Korea
e-mail: tkim @kongju.ac.kr/ [email protected]
Abstract In this paper we construct a new q-Euler numbers and polynomials. By using
these numbers and polynomials, we give the interesting formulae related to alternating sums
of powers of consecutive q-integers following an idea due to Euler.
2000 Mathematics Subject Classification : 11S80, 11B68
Key words : Euler numbers and polynomials, q-Euler numbers and polynomials, alternating sums of powers
1.
Introduction
The Bernoulli numbers among the most interesting and important number sequence in
mathematics. They appeared in the posthumous work “ ARS Conjectandi (1713)” by Jacob
Bernoulli(1654-1705) in connection with sums of powers of consecutive integers(1713). Let
n, k be positive integers, and let Sn,q (k) be the sums of the nth powers of positive integers
P
n
up to k − 1: Sn (k) = k−1
l=0 l . Then it was known that the sums of powers of consecutive
integers due to J. Bernoulli as follows:
Sn (k) =
n
1 X n + 1
Bi k n+1−i , where Bn are the nth Bernoulli numbers , cf.[7, 10, 15].
i
n + 1 i=0
In [1], Carlitz has introduced an interesting q-analogue of Bernoulli numbers, βk,q . He has
indicated a corresponding Stadudt-Clausen theorem and also some interesting congruence
properties of the q-Bernoulli numbers. Let q be an indeterminate which can be considered in
k
1−q
, cf. [2, 5,
P1−q
l n
11]. Note that limq→1 [k]q = k. For any positive integers n, k, let Sn,q (k) = k−1
l=0 q [l]q , sf.
[7, 10]. Then we evaluated sums of powers of consecutive q-integers as follows:
the complex number field, and for any integer k define the q-integer as [k]q =
Sn,q (k) =
n
(1 − q (n+1)k )βn+1,q
1 X n + 1
βi,q q ki [k]qn+1−i −
, cf, [7, 10].
n + 1 i=0
n+1
i
The ordinary Euler numbers are defined by
et
∞
X
2
tn
= eEt =
En ,
+1
n!
n=0
1
cf. [2, 3, 5, 6, 7, 8],
where we use the usual convention about replacing E n by En (n > 0) symbolically. Let n, k
be positive integers, and let Tn,q (k) be the alternating sums of the nth powers of positive
P
l n
integers up to k − 1: Tn (k) = k−1
l=0 (−1) l . Then Euler investigated the below formulas:
Tn (k) =
n−1
(−1)n+1 X n
En El k n−1 +
1 + (−1)k+1 .
l
2
2
l=0
Let u be algebraic in complex number field. Then Frobenius-Euler numbers are defined
by
∞
X
1−u
tn
=
Hn (u) ,
et − u
n!
n=0
cf. [3, 5],
note that Hn (−1) = En , cf. [2, 3, 5, 6, 7]. Carlitz has also introduced an interesting qanalogue of Frobenius-Euler numbers in [1]. A recent author’s study of more general q-Euler
numbers are found in previous publication [14]. In [4] we gave the new construction of q∗ , which are different than Carlitz’s q-extension and author’s q-extension
Euler numbers, En,q
in previous publication ( see [11]). Let Zp be the ring of p-adic integers, and let p be a fixed
odd prime number. Then the p-adic q-integral was defined by author as follows:
Z
f (x)dµq (x) = lim
N→∞
Zp
1
[pN ]q
N
pX
−1
f (x)q,
x=0
∗ , were
where f ∈ U D(Zp ), cf. [5, 8, 9, 10, 11]. The above q-extension of Euler numbers, En,q
written by
∞ Z
∞
n
X
X
tn
∗ t
[x]n
=
En,q
q dµ−q (x)
n!
n!
n=0 Zp
n=0
=
[2]q
∞
X
(−1)n q n e[n]q t ,
(see [4, 6]).
(1)
n=0
By (1), we easily see that
∗
En,q
= [2]q
n
1
1 n X n
(−1)l
,
l
1−q
1
+
q l+1
l=0
(see [4, 6]).
For n, m ∈ N, we gave the below interesting formula:
n−1
X
(−1)l q l [l]m
q =
l=0
1
∗
∗
(−1)n+1 q n Em,q
(n) + Em,q
, see [4].
[2]q
In this paper we consider a new approach to q-Euler numbers and polynomials and give some
identities and
between q-Euler numbers and polynomials. Finally we will evaluate
P properties
l m
the value of n−1
l=0 (−1) [l]q by using our new q-Euler numbers and polynomials. This formula
seems to be nice.
2.
A note on q-Euler numbers and polynomials
For q ∈ C with |q| < 1, we consider a modified q-extension of Euler numbers as follows:
2
∞
X
(−1)l e[l]q t =
∞
X
n=0
l=0
2
En,q
tn
.
n!
(2)
From (2), we can derive the below formula ;
t
∞
∞
∞
X
X
X
l [l]q t
1
−
q
2
(−1) e
= 2e
(−1)l
l=0
j=0
l=0
=
t
∞
X
2e 1 − q
j=0
=
2
2
n
tn
n!
1 1 n X
(−1)j
1 − q j=0
1 + q j j!(n − j)! n!
∞ X
n=0
n=i+j
=
1 tj
1 j
(−1)j
1−q
1 + q j j!
∞
1 tj
1 j
1 i ti X
(−1)j
1 − q i! j=0 1 − q
1 + q j j!
∞
X
i=0
=
1 j lj tj
q
1−q
j!
∞ X
2
n=0
n
1 tn
1 n X n
(−1)j
.
1 − q j=0 j
1 + q j n!
(3)
Thus we have the following :
Theorem 1. For n ≥ 0, we have
En,q = 2
n
1
1 n X n
(−1)j
.
1 − q j=0 j
1 + qj
Note that lim En,q = En .
q→1
By simple calculation, it is easy to check that
2et[x]q
∞
X
(−1)l e[l]q q
x
t
=
2
l=0
=
2
∞
X
l=0
∞
X
(−1)l e([x]q +[l]q q
x
)t
(−1)l e[x+l]q t .
(4)
l=0
From (4), we can define the below q-Euler polynomials :
2
∞
X
(−1)l e[x+l]q t =
∞
X
En,q (x)
n=0
l=0
tn
.
n!
(5)
By (4) and (5), we easily see that
∞
X
n=0
En,q (x)
tn
n!
=
2
∞
X
(−1)l
2
∞
X
(−1)l
=
2
l=0
∞
X
[x + l]jq
j=0
l=0
=
∞
X
n=0
tj
j!
∞ X
tn
n
(−1)j q xj q lj
j
n!
n=0
n
1 tn
1 n X n
(−1)j q xj
)
.
1 − q j=0 j
1 + q j n!
From (4), (5) and (6), we can obtain the following :
Theorem 2. For n ≥ 0, we have
En,q (x)
n
1 m X n
1
(−1)j q xj
j
1−q
1
+
qj
j=0
=
2
=
∞ X
n kx
q Ek,q [x]n−k
.
q
k
k=0
3
(6)
By (2), (4) and (5), we easily see that
∞
X
(−1)m+1 Em,q (n) + Em,q
m=0
∞
X
=
−2
(−1)l+n e[l+n]q t + 2
=
2
m!
(−1)l e[l]q t
l=0
l=0
n−1
X
∞
X
tm
(−1)l e[l]q t .
l=0
Therefore we obtain the following theorem:
Theorem 3. Let m be the positive integers bigger than 1. Then we have
n−1
X
(−1)1+m Em,q (n) + Em,q
(−1)l [l]m
=
q .
2
l=0
(6.1)
Remark. In [4], it was known that
X
n−1
1
∗
∗
(−1)l q l [l]m
(−1)1+m Em,q
(n) + Em,q
=
q .
[2]q
l=0
(6.2)
Comparing (6.1) and (6.2), we see that one new formula (6.1) also seems worthwhile and
valuable as same as (6.2)
Remark. In [5], we note that
∞
X
En (x)
n=0
tn
n!
=
2
ext
et + 1
=
lim 2
q→1
∞
X
=
n=0
∞
X
(−1)l e[x+l]q t
l=0
tn
lim En,q (x)
.
q→1
n!
Hence, we have lim En,q (x) = En (x), where En (x) are called ordinary Euler polynomials.
q→1
From(5), we can also derive (f ∈ N, odd)
∞
X
n=0
En,q (x)
tn
n!
=
2
∞
X
(−1)n e[x+n]q t
n=0
−1
∞ fX
X
(−1)a+nf e[x+a+nf ]q t
=
2
=
fX
−1
n=0 a=0
a=0
=
∞
X
[f ] [ x+a +n]qf t
(−1)a 2
(−1)n e q f
n=0
−1
∞ fX
X
x + a m tm
(−1)a Em,qf
[f ]q
,
f
m!
m=0 a=0
where f is odd positive integer.
By comparing the coefficients on both sides , we obtain the following theorem.
Theorem 4. Let f be a positive odd integer. Then we have
[f ]n
q
fX
−1
(−1)a Em,qf
a=0
4
x + a
= Em,q (x).
f
For s ∈ C, let us consider the following complex integration :
Z ∞X
∞
∞
X
(−1)l
1
(−1)l e−[x+l]q t dt =
.
Γ(s) 0 l=0
[x + l]sq
l=0
(7)
Thus, we can define the Euler q-zeta function as follows :
ζE,q (s, x) =
∞
X
(−1)n
, s ∈ C.
[n + x]sq
n=0
By (5), (7) and (8), we easily see that ζE,q (−n, x) =
(8)
1
E (x),
2 n,q
n ∈ N.
Remark. Let En (x) be the ordinary Euler polynomials . Then we know that
n−1
X
(−1)m+1 Em (n) + Em
(−1)l lm , see [12].
=
2
l=0
(9)
Theorem 3 is the new q-extension of Eq.(9). Let
Hq (s, a; F ) =
X
m≡a(F ),m>0
∞
X
a
(−1)a+nF
(−1)m
a
=
= [F ]−s
),
q (−1) ζE,q F (s,
s
s
[m]q
[a
+
nF
]
F
q
n=0
where a and F (=odd) are positive inteegrs with 0 < a < F . Then we have
Hq (−n, a; F ) =
a
(−1)a [F ]n
q En,q F ( F )
2
, n ≥ 1.
Let χ be the Dirichlet character with conductor d ∈ N(=odd). Then we define the generalized
q-Euler numbers attached to χ as follows:
Fχ,q (t) = 2
∞
X
e[n]q t χ(n)(−1)n =
∞
X
En,χ,q
n=0
n=0
Note that
En,χ,q = [d]n
q
tn
.
n!
d−1
X
a
χ(a)(−1)a En,qd ( ).
d
a=0
For s ∈ C, let us define the q − l−function as follows:
lE,q (s, χ) =
Z ∞
∞
X
(−1)n χ(n)
1 1
Fχ,q (−t)ts−1 dt.
=
s
[n]
2
Γ(s)
0
q
n=1
Then we easily see that lE,q (−n, χ) =
1
E
,
2 n,χ,q
lE,q (s, χ) =
F
X
( n ∈ N). For ∈ C, it is easy to see that
χ(a)Hq (s, a; F ).
a=1
The function Hq (s, a; F ) will be called the partial Euler q-zeta function. Finally we suggest
the below problem.
Problem. Find the Witt’s formula for the q-Euler numbers (En , q), which was defined in
∗
this paper. In [5], the Witt’s type formula for En,q
was given by
∞
X
m=0
∗
En,q
tn
n!
=
=
∞ Z
X
n=0
Zp
[2]q
∞
X
n=0
5
[x]n
q dµ−q (x)
tn
n!
(−1)n q n e[n]q t .
By the same method, it seems to be possible that we give the Witt’s formula of q-Euler
numbers which can be represented by p-adic q-integrals as follows:
∞
∞ Z
X
X
tn
En,q
[x]n
=
q dµ (x)
n!
m=0
n=0 Zp
=
2
∞
X
(−1)l e[l]q t ,
(cf. [4, 6, 14]).
l=0
References
[1] L. Carlitz, q-Bernoulli numbers and polynomials, Duke Math. J., 15(1948) 987-1000
[2] T. Kim, On Euler-Barnes multiple zeta functions, Russian J. Math. Phys.,
10(2003), 261-267.
[3] T. Kim, A note on q-zeta functions, proceedings of the 15th Int. Conf. of the
Jangjeon Math. Soc., (Hapcheon, South Korea, August 5-7, 2004) (2004),
110-114.
[4] T. Kim, On the q-extension of Euler and Genocci numbers, J. Math. Anal. Appl.
(accepted).
[5] Kim, T., Some formulae for the q-Bernoulli and Euler polynomials of higher
order, J. Math. Anal. Appl. , 273(1)(2002), 236-242.
[6] T. Kim, A note on q-volkenborn integration, Proc. Jangjeon Math. Soc.,
8(2005), 13-17
[7] T. Kim, Sums of powers of consecutive q-integers, Adv. Stud. Contemp. Math.,
1(2004), 15-18.
[8] T. Kim, p-adic q-integrals associated with the Changhee-Barnes’ q-Bernoulli polynomials, Integral Transforms and Special Functions, 15(2004), 415-420.
[9] T. Kim, q-Volkenborn integrations, Russ. J. Math. Phys., 9(3)(2002), 288-299.
[10] T. Kim, On p-adic q-L-functions and sums of powers, Discrete Math., 252(13)(2002), 179-187.
[11] T. Kim, L. C. Jang and H. K. Pak, A note on q-Euler and Genocci numbers,
Proc. Japan Acad. ser. A, 77(2001), 139-141.
[12] T. Kim, On a q-analogue of the p-adic log gamma functions and related integrals,
J. Number Theory, 76(2)(1999), 320-329.
[13] T. Kim, A note on the alternating sums of powers of consequtive integers,
arXiv:math. NT/0508233 (13 Aug 2005).
[14] T. Kim, q-Volkenborn integration and its applications, arXiv:math.NT/0510524
(25 Oct. 2005).
[15] J. Sandor, Remarks on Bernoulli polynomials and numbers, Stud. Cerc. Mat.,
41(1)(1989), 47-49.
6