Discrete Dynamics in Nature and Society

Volume 2012, Article ID 486158, 12 pages

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

## Some Identities on Bernoulli and Euler Numbers

^{1}Department of Mathematics, Sogang University, Seoul 121-742, Republic of Korea^{2}Department of Mathematics, Kwangwoon University, Seoul 139-701, Republic of Korea^{3}Division of General Education-Mathematics, Kwangwoon University, Seoul 139-701, Republic of Korea

Received 15 November 2011; Accepted 23 December 2011

Academic Editor: Delfim F. M. Torres

Copyright © 2012 D. S. Kim et al. 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

Recently, Kim introduced the fermionic *p*-adic integral on . By
using the equations of the fermionic and bosonic *p*-adic integral on , we give some
interesting identities on Bernoulli and Euler numbers.

#### 1. Introduction/Preliminaries

Let be a fixed odd prime number. Throughout this paper, , , and will denote the ring of -adic integers, the field of -adic rational numbers, and the completion of algebraic closure of , respectively. Let be the set of natural numbers and . The -adic absolute value is normally defined by .

Let be the space of uniformly differentiable functions on and the space of continuous function on . For , the fermionic -adic integral on is defined by Kim as follows: The following fermionic -adic integral equation on is well known (see [1–3]): where .

From (1.1) and (1.2), we can derive the generating function of Euler polynomials as follows: where is the ordinary Euler polynomial (see [1–4]). In the special case, , is called the ordinary Euler number.

By (1.3), we get Witt’s formula for the Euler polynomial as follows: Thus, by (1.4), we have with the usual convention about replacing by (see [5, 6]). From (1.3), we note that where is the Kronecker symbol (see [3]). By (1.2) and (1.4), we get Thus, by (1.4) and (1.7), we have Equation (1.8) is equivalent to From (1.6), we can derive the following equation:

For , the bosonic -adic integral on is defined by From (1.11), we can easily derive the following -integral equation: where and .

It is well known that the Bernoulli polynomial can be represented by the bosonic -adic integral on as follows: where is called the Bernoulli polynomial (see [4, 7–13]). In the special case, , is called the Bernoulli number. By the definition of Bernoulli numbers and polynomials, we get Thus, by (1.13) and (1.14), we see that with the usual convention about replacing by (see [1–22]).

By (1.11), we easily get From (1.13), (1.14), and (1.16), we have By (1.15), we get Thus, by (1.17) and (1.18), we have

From (1.12) and (1.13), we get Thus, by (1.13) and (1.20), we have Equation (1.21) is equivalent to the following equation:

In this paper we derive some interesting and new identities for the Bernoulli and Euler numbers from the -adic integral equations on .

#### 2. Some Identities on Bernoulli and Euler Numbers

From (1.1), we note that By (1.14) and (2.1), we get In the special case, , we have

Let us consider the following fermionic -adic integral on as follows: Therefore, by (1.4) and (2.4), we obtain the following theorem.

Theorem 2.1. *For , one has
*

It is known that . If we take the fermionic -adic integral on both sides of (1.22), then we have From (2.2) and (2.6), we note that Therefore, by (1.4) and (2.7), we obtain the following theorem.

Theorem 2.2. *For , one has
*

Corollary 2.3. *For , one has
*

Let us take the bosonic -adic integral on both sides of (1.9) as follows: Thus, by (1.14) and (2.10), we obtain the following theorem.

Theorem 2.4. *For , one has
*

On the other hand, by (2.2) and (2.10), we get where with . Therefore, by (2.12), we obtain the following theorem.

Theorem 2.5. *For with , one has
*

By (1.9) and (1.22), we get Therefore, by (1.4), (1.14), and (2.14), we obtain the following theorem.

Theorem 2.6. *For and , one has
*

It is easy to show that Therefore, by (2.16), we obtain the following corollay.

Corollary 2.7. *For and , one has
*

For , -adic analogue of Bernstein operator of order for is given by where for is called the Bernstein polynomial of degree (see [8]). From the definition of , we note that .

Let us take the fermionic -adic integral on for the product of and as follows: From (2.18), we note that Therefore, by (2.19) and (2.20), we obtain the following theorem.

Theorem 2.8. *For , one has
**
In particular,
*

By (1.17) and the symmetric property of , we get From (1.4) and (2.2), we note that By (2.23) and (2.24), we see that From (2.20) and (2.25), we have Therefore, by (1.19) and (2.26), we obtain the following theorem.

Theorem 2.9. *For with , one has
**
In particular,
*

#### Acknowledgment

The first author was supported by National Research Foundation of Korea Grant funded by the Korean Government 2011-0002486.

#### References

- 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 - 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 - 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 - 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. C. 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 - 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 - I. Buyukyazici, “On generalized q-Bernstein polynomials,”
*The Global Journal of Pure and Applied Mathematics*, vol. 6, pp. 1331–1348, 2010. View at Google Scholar - L.-C. Jang, W.-J. Kim, and Y. Simsek, “A study on the
*p*-adic integral representation on ${\mathbb{Z}}_{p}$ associated with Bernstein and Bernoulli polynomials,”*Advances in Difference Equations*, vol. 2010, Article ID 163217, 6 pages, 2010. View at Google Scholar