Derivation of Identities Involving Bernoulli and Euler Numbers
Imju Lee1and Dae San Kim1
Academic Editor: Cheon Ryoo
Received14 Jun 2012
Accepted03 Aug 2012
Published25 Sept 2012
Abstract
We derive some new and interesting identities involving Bernoulli and Euler numbers by using some polynomial identities and p-adic integrals on .
1. Introduction and Preliminaries
Let be a fixed odd prime. Throughout this paper, will, respectively, denote the ring of -adic integers, the field of -adic rational numbers, and the completion of algebraic closure of . The -adic absolute value on is normalized so that . Let be the set of natural numbers and .
As is well known, the Bernoulli polynomials are defined by the generating function as follows:
with the usual convention of replacing by .
In the special case, , is referred to as the th Bernoulli number. That is, the generating function of Bernoulli numbers is given by
with the usual convention of replacing by , (cf. [1–23]).
From (1.2), we see that the recurrence formula for the Bernoulli numbers is
where is the Kronecker symbol.
By (1.1) and (1.2), we easily get the following:
Let be the space of uniformly differentiable -valued functions on . For , the bosonic -adic integral on is defined by
(cf. [12]). Then it is easy to see that
where and .
By (1.6), we have the following:
(cf. [12–14]). From (1.7), we can derive the Witt's formula for the th Bernoulli polynomial as follows:
By (1.1), we have the following:
Thus, from (1.3), (1.4), and (1.9), we have the following:
By (1.4), we have the following:
Especially, for and ,
Therefore, from (1.9), (1.10), and (1.12), we can derive the following relation. For ,
Let . By (1.6), we have the following:
By (1.8) and (1.14), we have the following:
Thus, by (1.11) and (1.15), we have the following identity.
As is well known, the Euler polynomials are defined by the generating function as follows:
with the usual convention of replacing by .
In the special case, , is referred to as the th Euler number. That is, the generating function of Euler numbers is given by
with the usual convention of replacing by , (cf. [1–23]).
From (1.18), we see that the recurrence formula for the Euler numbers is
By (1.17) and (1.18), we easily get the following:
Let be the space of continuous -valued functions on . For , the fermionic -adic integral on is defined by Kim as follows:
(cf. [9]). Then it is easy to see that
where .
By (1.22), we have the following:
From (1.23), we can derive the Witt's formula for the -th Euler polynomial as follows:
By (1.17), we have the following:
Thus, from (1.19), (1.20), and (1.25), we have the following:
By (1.20), we have the following:
Especially, for and ,
Therefore, from (1.25), (1.26), and (1.28), we can derive the following relations. For ,
Let . By (1.22), we have the following:
By (1.24) and (1.30), we have the following:
Thus, by (1.27) and (1.31), we get the following identity.
The Bernstein polynomials are defined by
with (cf. [14]).
By the definition of , we note that
In this paper, we derive some new and interesting identities involving Bernoulli and Euler numbers from well-known polynomial identities. Here, we note that our results are “complementary” to those in [6], in the sense that we take a fermionic -adic integral where a bosonic -adic integral is taken and vice versa, and we use the identity involving Euler polynomials in (1.32) where that involving Bernoulli polynomials in (1.16) is used and vice versa. Finally, we report that there have been a lot of research activities on this direction of research, namely, on derivation of identities involving Bernoulli and Euler numbers and polynomials by exploiting bosonic and fermionic -adic integrals (cf. [6–8]).
2. Identities Involving Bernoulli Numbers
Taking the bosonic -adic integral on both sides of (1.16), we have the following:
Therefore, we obtain the following theorem.
Theorem 2.1. Let . Then on has the following:
Let us apply (1.9) to the bosonic -adic integral of (1.16).
Then, we can express (2.3) in three different ways.
By (1.13), (2.3) can be written as
Thus, we have the following theorem.
Theorem 2.2. Let . Then one has the following:
Corollary 2.3. Let be an integer . Then one has the following:
Especially, for an odd integer with , we obtain the following corollary.
Corollary 2.4. Let be an odd integer with . Then one has the following:
By (1.13), (2.3) can be written as
By (1.10), (2.8) can be written as
So, we get the following theorem.
Theorem 2.5. Let . Then one has the following:
By (1.10), (2.8) can also be written as
Thus, we have the following theorem.
Theorem 2.6. Let . Then one has the following:
3. Identities Involving Euler Numbers
Taking the fermionic -adic integral on both sides of (1.32), we have the following:
So, we obtain the following theorem.
Theorem 3.1. Let . Then one has the following:
Let us apply (1.25) to the fermionic -adic integral of (1.32).
Then, we can express (3.3) in two different ways.
By (1.29), (3.3) can be written as
Thus, we get the following theorem.
Theorem 3.2. Let . Then one has the following:
Corollary 3.3. Let . Then one has the following:
By (1.29), (3.3) can be written as
So, we have the following theorem.
Theorem 3.4. Let . Then one has the following:
Corollary 3.5. Let . Then one has the following:
4. Identities Involving Bernoulli and Euler Numbers
By (1.16) and (1.32), we have the following:
Therefore, we get the following theorem.
Theorem 4.1. Let . Then one has the following:
By (1.16) and (1.33), we have the following:
By (1.33), we have the following:
By (4.3) and (4.4), we obtain the following theorem.
Theorem 4.2. Let . Then one has the following:
Especially, one has the following:
By (4.2) and (4.6), we have the following theorem. Note that (4.8) in the following was obtained in [6].
Theorem 4.3. Let . Then one has the following:
In particular, we have the following:
References
A. Bayad, “Modular properties of elliptic Bernoulli and Euler functions,” Advanced Studies in Contemporary Mathematics, vol. 20, no. 3, pp. 389–401, 2010.
D. Ding and J. Yang, “Some identities related to the Apostol-Euler and Apostol-Bernoulli polynomials,” Advanced Studies in Contemporary Mathematics, vol. 20, no. 1, pp. 7–21, 2010.
G. Kim, B. Kim, and J. Choi, “The DC algorithm for computing sums of powers of consecutive integers and Bernoulli numbers,” Advanced Studies in Contemporary Mathematics, vol. 17, no. 2, pp. 137–145, 2008.
L. Jang, “A note on Kummer congruence for the Bernoulli numbers of higher order,” Proceedings of the Jangjeon Mathematical Society, vol. 5, no. 2, pp. 141–146, 2002.
L. C. Jang and H. K. Pak, “Non-Archimedean integration associated with -Bernoulli numbers,” Proceedings of the Jangjeon Mathematical Society, vol. 5, no. 2, pp. 125–129, 2002.
D. S. Kim, T. Kim, D. V. Dolgy, J. Choi, and Y. H. Kim, “Some identities on Bernoulli and Euler numbers,” Discrete Dynamics in Nature and Society, vol. 2012, Article ID 486158, 12 pages, 2012.
D. S. Kim, T. Kim, S.-H. Lee, D. V. Dolgy, and S.-H. Rim, “Some new identities on the Bernoulli and Euler numbers,” Discrete Dynamics in Nature and Society, vol. 2011, Article ID 856132, 11 pages, 2011.
T. Kim, “Symmetry of power sum polynomials and multivariate fermionic -adic invariant integral on ,” Russian Journal of Mathematical Physics, vol. 16, no. 1, pp. 93–96, 2009.
T. Kim, “Symmetry -adic invariant integral on for Bernoulli and Euler polynomials,” Journal of Difference Equations and Applications, vol. 14, no. 12, pp. 1267–1277, 2008.
A. Kudo, “A congruence of generalized Bernoulli number for the character of the first kind,” Advanced Studies in Contemporary Mathematics, vol. 2, pp. 1–8, 2000.
Q.-M. Luo and F. Qi, “Relationships between generalized Bernoulli numbers and polynomials and generalized Euler numbers and polynomials,” Advanced Studies in Contemporary Mathematics, vol. 7, no. 1, pp. 11–18, 2003.
Q.-M. Luo, “Some recursion formulae and relations for Bernoulli numbers and Euler numbers of higher order,” Advanced Studies in Contemporary Mathematics, vol. 10, no. 1, pp. 63–70, 2005.
H. Ozden, I. N. Cangul, and Y. Simsek, “Remarks on -Bernoulli numbers associated with Daehee numbers,” Advanced Studies in Contemporary Mathematics, vol. 18, no. 1, pp. 41–48, 2009.
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.
S.-H. Rim, J.-H. Jin, E.-J. Moon, and S.-J. Lee, “Some identities on the -Genocchi polynomials of higher-order and -Stirling numbers by the fermionic -adic integral on ,” International Journal of Mathematics and Mathematical Sciences, vol. 2010, Article ID 860280, 14 pages, 2010.
C. S. Ryoo, “On the generalized Barnes type multiple -Euler polynomials twisted by ramified roots of unity,” Proceedings of the Jangjeon Mathematical Society, vol. 13, no. 2, pp. 255–263, 2010.
C. S. Ryoo, “Some relations between twisted -Euler numbers and Bernstein polynomials,” Advanced Studies in Contemporary Mathematics, vol. 21, no. 2, pp. 217–223, 2011.
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.