Abstract
We investigate some properties and identities of Bernoulli and Euler polynomials. Further, we give some formulae on Bernoulli and Euler polynomials by using p-adic integral on .
1. Introduction
Let be a fixed odd prime number. Throughout this paper, , , and will denote the ring of -adic rational integers, the field of -adic rational numbers, and the completion of the algebraic closure of . Let be the normalized exponential valuation of with .
For , the -adic invariant integral on in the bosonic sense is defined by (see [1, 2]). The fermionic -adic integral on is defined by Kim as follows: (see [3]). As is well known, Bernoulli polynomials are defined by with the usual convention about replacing by , symbolically (see [1–19]). In the special case , is called the th Bernoulli number.
The Euler polynomials are also defined by the generating function as follows: with the usual convention about replacing by , symbolically (see [1–19]). In the special case , is called the -th Euler number.
By (1.3) and (1.4), we easily see that where (see [14, 16, 19]).
The following properties of Bernoulli numbers and polynomials are well known (see [10, 11]).
For , where is Gauss’ symbol.
First, we investigate some identities of Euler polynomials corresponding to (1.6), (1.7) and (1.8). From those identities, we derive some interesting identities and properties by using -adic integral on .
2. Some Identities of Bernoulli and Euler Polynomials
By (1.4), we get From (2.1), we note that Thus, we have Replacing by in (2.3), we obtain the following proposition.
Proposition 2.1. For , one has
Let us replace by in Proposition 2.1. Then we have Thus, we see that Therefore, adding (2.4) and (2.6), we obtain the following proposition.
Proposition 2.2. For , one has
From (2.2), we note that By (2.3) and (2.8), we get Therefore, replacing by , we obtain the following proposition.
Proposition 2.3. For , one has
Letting in Proposition 2.1, we have Therefore, by (2.11) and (2.12), we obtain the following corollary.
Corollary 2.4. For , one has
Replacing by 1 and by in Proposition 2.2, we have Therefore, by (2.14), we obtain the following corollary.
Corollary 2.5. For , one has
Replacing by 1 and by in Proposition 2.3, we have Therefore, by (2.16), we obtain the following corollary.
Corollary 2.6. For , one has
Replacing by and by in Proposition 2.3, we get Thus, we have Therefore, by (2.19) and (2.20), we obtain the following corollary.
Corollary 2.7. For , we have
Replacing by 1 and by in Proposition 2.2, we get Therefore, by (2.22), we obtain the following corollary.
Corollary 2.8. For , one has
Replacing by and by 1 in Proposition 2.3, we get Therefore, by (2.24), we obtain the following corollary.
Corollary 2.9. For , we have
Replacing by and by in Proposition 2.2, we have Thus, by multipling on both sides, we get By (2.20) and (2.27), we see that Therefore, by (2.28), we obtain the following corollary.
Corollary 2.10. For , we have
From (1.6), we can derive the following equation: Let us take the -adic integral on both sides in (2.30) as follows: for , On the other hand, Therefore, by (2.31) and (2.32), we obtain the following theorem.
Theorem 2.11. For , one has
In (2.30), let us take the fermionic -adic integral on both sides as follows: On the other hand Therefore, by (2.34) and (2.35), we obtain the following theorem.
Theorem 2.12. For , one has
From (1.7), we can easily derive the following equation: Let us take on both sides in (2.37). Then we have On the other hand, where is a Kronecker symbol.
Therefore, by (2.38) and (2.39), we obtain the following theorem.
Theorem 2.13. For , one has
Taking on both sides in (2.37), we get On the other hand Therefore, by (2.41) and (2.42), we obtain the following theorem.
Theorem 2.14. For , one has
From (1.8), we can also derive the following equation: Let us take the bosonic -adic integral on both sides in (2.44). Then we get On the other hand, Therefore, by (2.45) and (2.46), we obtain the following theorem.
Theorem 2.15. For , one has
Now, let us consider the fermionic -adic integral on both sides in (2.44): On the other hand, Therefore, by (2.48) and (2.49), we obtain the following theorem.
Theorem 2.16. For , one has
Acknowledgment
The first author was supported by National Research Foundation of Korea Grant funded by the Korean Government 2011-0002486.