International Journal of Mathematics and Mathematical Sciences

VolumeΒ 2012Β (2012), Article IDΒ 598543, 14 pages

http://dx.doi.org/10.1155/2012/598543

## Derivation of Identities Involving Bernoulli and Euler Numbers

Department of Mathematics, Sogang University, Seoul 121-742, Republic of Korea

Received 14 June 2012; Accepted 3 August 2012

Academic Editor: CheonΒ Ryoo

Copyright Β© 2012 Imju Lee and Dae San 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.

#### 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. View at Google Scholar - 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. View at Google Scholar Β· View at Zentralblatt MATH - 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. View at Google Scholar Β· View at Zentralblatt MATH - 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. View at Google Scholar Β· View at Zentralblatt MATH - L. C. Jang and H. K. Pak, βNon-Archimedean integration associated with $q$-Bernoulli numbers,β
*Proceedings of the Jangjeon Mathematical Society*, vol. 5, no. 2, pp. 125β129, 2002. View at Google Scholar - 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. View at Publisher Β· View at Google Scholar - 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. View at Publisher Β· View at Google Scholar - D. S. Kim, A. Bayad, T. Kim, and S.-H. Rim, βIdentities on the Bernoulli and Euler numbers and polynomials,β
*Ars Combinatoria*. In press. - T. Kim, βEuler numbers and polynomials associated with zeta functions,β
*Abstract and Applied Analysis*, vol. 2008, Article ID 581582, 11 pages, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH - T. Kim, βNote on the Euler numbers and polynomials,β
*Advanced Studies in Contemporary Mathematics*, vol. 17, no. 2, pp. 131β136, 2008. View at Google Scholar Β· View at Zentralblatt MATH - T. Kim, βSymmetry of power sum polynomials and multivariate fermionic $p$-adic invariant integral on ${\mathbb{Z}}_{p}$,β
*Russian Journal of Mathematical Physics*, vol. 16, no. 1, pp. 93β96, 2009. View at Publisher Β· View at Google Scholar - T. Kim, βSymmetry $p$-adic invariant integral on ${\mathbb{Z}}_{p}$ for Bernoulli and Euler polynomials,β
*Journal of Difference Equations and Applications*, vol. 14, no. 12, pp. 1267β1277, 2008. View at Publisher Β· View at Google Scholar - T. Kim, β$q$-Volkenborn integration,β
*Russian Journal of Mathematical Physics*, vol. 9, no. 3, pp. 288β299, 2002. View at Google Scholar Β· View at Zentralblatt MATH - T. Kim, βA note on $q$-Bernstein polynomials,β
*Russian Journal of Mathematical Physics*, vol. 18, no. 1, pp. 73β82, 2011. View at Publisher Β· View at Google Scholar - 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. View at Google Scholar Β· View at Zentralblatt MATH - 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. View at Google Scholar Β· View at Zentralblatt MATH - 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. View at Google Scholar Β· View at Zentralblatt MATH - H. Ozden, I. N. Cangul, and Y. Simsek, βRemarks on $q$-Bernoulli numbers associated with Daehee numbers,β
*Advanced Studies in Contemporary Mathematics*, vol. 18, no. 1, pp. 41β48, 2009. View at Google Scholar - 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. View at Google Scholar Β· View at Zentralblatt MATH - S.-H. Rim, J.-H. Jin, E.-J. Moon, and S.-J. Lee, βSome identities on the $q$-Genocchi polynomials of higher-order and $q$-Stirling numbers by the fermionic $p$-adic integral on ${\mathbb{Z}}_{p}$,β
*International Journal of Mathematics and Mathematical Sciences*, vol. 2010, Article ID 860280, 14 pages, 2010. View at Google Scholar - C. S. Ryoo, βOn the generalized Barnes type multiple $q$-Euler polynomials twisted by ramified roots of unity,β
*Proceedings of the Jangjeon Mathematical Society*, vol. 13, no. 2, pp. 255β263, 2010. View at Google Scholar - C. S. Ryoo, βSome relations between twisted $q$-Euler numbers and Bernstein polynomials,β
*Advanced Studies in Contemporary Mathematics*, vol. 21, no. 2, pp. 217β223, 2011. View at Google Scholar - 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. View at Google Scholar Β· View at Zentralblatt MATH