Bernoulli Polynomials and Their Some New Congruence Properties

The aim of this article is to use the fundamental modus and the properties of the Euler polynomials and Bernoulli polynomials to prove some new congruences related to Bernoulli polynomials. One of them is that for any integer h or any non-negative integer n, we obtain the congruence B2n+1(2h) ≡ 0 mod (2n + 1), where Bn(x) are Bernoulli polynomials.


Introduction
As usual, for the real number x, if m ≥ 0 denotes any integer, the famous Bernoulli polynomials B m (x) (see [1][2][3][4]) and Euler polynomials E m (x) (see [2][3][4][5]) are decided by the coefficients of the series of powers: and: 2e zx e z + 1 = If x = 0, then E m = E m (0) and B m = B m (0) are known as the m th Euler numbers and m th Bernoulli numbers, respectively. For example, some values of B m and E m are B 0 = 1, B 1 = − 1 2 , B 2 = 1 6 , B 3 = 0, B 4 = − 1 30 , B 5 = 0, B 6 = 1 42 and E 0 = 1, E 1 = − 1 2 , E 2 = 0, E 3 = 1 4 , E 4 = 0, E 5 = − 1 2 , E 6 = 0, etc. These polynomials and numbers occupy a very important position in number theory and combinatorics; this is not only because Bernoulli and Euler polynomials are well known, but also because they have a wide range of theoretical and applied values. Because of this, many scholars have studied the properties of these polynomials and numbers, and they also have obtained some valuable research conclusions. For instance, Zhang Wenpeng [6] studied a few combinational identities. As a continuation of the conclusion in [6], he showed that if p is a prime, one can obtain the congruence expression: Hou Yiwei and Shen Shimeng [3] proved the identity: As some corollaries of [3], Hou Yiwei and Shen Shimeng obtained several interesting congruences. For example, for p in an odd prime, one can obtain the expression: Zhao Jianhong and Chen Zhuoyu [7] obtained the following deduction: if m is a positive integer, k ≥ 2, one obtains the equation: for which the summation is taken over all k-dimensional nonnegative integer coordinates (a 1 , a 2 , · · · , a k ) such that the equation a 1 + a 2 + · · · + a k = m, and the sequence {C(k, i)} is decided as follows: for any integers 0 ≤ i ≤ k, C(k, k) = k!, C(k, 0) = 1, providing C(k, i) = 0, if i > k, and k is a positive integer. T.Kim et al. did a good deal of research work and obtained a series of significant results; see [5,[8][9][10][11][12][13][14]. Specifically, in [5], T. Kim found many valuable results involving Euler numbers and polynomials connected with zeta functions. Other papers in regard to the Bernoulli polynomials and Euler polynomials can be found in [15][16][17][18][19]; we will not go into detail here.
Here, we will make use of the properties of the Euler numbers, Euler polynomials, Bernoulli numbers, and Bernoulli polynomials to verify a special relationship between the Bernoulli polynomials and Euler polynomials. As some of the applications of our conclusions, we also deduce two unusual congruences involving the Bernoulli polynomials.

Theorem 1.
For any positive integers m and h, the following identity should be obtained, that is:

Theorem 2.
For any positive integers m and h, we derive the identity as below: From these deductions, the following several corollaries can be inferred: Corollary 1. Let m be a non-negative integer. Thus, for any integer h, we obtain the congruence: where a b ≡ 0 mod k implies (a, b) = 1 and k | a for any integers b(b = 0) and a.

Corollary 2.
For any positive integer m and integer h, 2 2m−1 · (B 2m (2h) − B 2m ) must be an integer, and: Corollary 3. For any integer h, let p be an odd prime; as a result, we have: Corollary 4. Let p be an odd prime. In this way, there exits an integer N with N ≡ 1 mod p such that the polynomial congruence: Some notes: It is well known that congruences regarding Bernoulli numbers have interesting applications in number theory; in particular, for studying the class numbers of class-groups of number fields. Therefore, our corollaries will promote the further development of research in this field. Some important results in this field can also be found in [20][21][22][23]. Here, we will not list them one by one.

Several Lemmas
In this part, we will provide three straightforward lemmas. Henceforth, we will handle certain mathematical analysis knowledge and the properties of the Euler polynomials and Bernoulli polynomials, all of which can be discovered from [1][2][3]. Thus, they will not be repeated here.
Proof. First, from Definition 2 of the Euler polynomials E m (x), we have: On the other hand, we also have: uniting (3) and (4), then comparing the coefficients of the power series, we obtain that: or identity: Note that E 0 (x) = 1, E 1 (x) = x − 1 2 , so from (5) and mathematical induction, we may immediately deduce that 2 m · E m (x) is an integral coefficient polynomial of x.

Lemma 2.
If m is a positive integer, the following equation can be obtained: Proof. From Definitions 1 and 2 of the Euler polynomials and Bernoulli polynomials, we discover the identity as below: Relating the coefficients of the power series in (6), we obtain: This proves Lemma 2.

Lemma 3.
If m is a positive integer, then for any positive integer M, we will be able to obtain the identities: Proof. On the basis of Definition 2 of the Euler polynomials, we obtain: In another aspect, we also obtain: Combining (7) and (8), then comparing the coefficients of the power series, we will obtain: Now, Lemma 3 follows from (9) with N = 2M.
This completes the proof of Corollary 1. Now, we study Corollary 2. On the basis of Lemma 1, we know that 2 2m−1 · E 2m−1 (i) is an integer for all 1 ≤ i ≤ 2M, so from Theorem 1, we know that 2 2m−1 · (B 2m (2M) − B 2m ) must be an integer, and it can be divided by m, that is, Note that B 2m (x) is an even function, and if M = 0, after that, the left-hand side of (16) becomes zero; thus, the congruence (16) is correct for all integers M.
This completes the proof of Corollary 2. Corollary 3 is a special case of Corollary 1 with 2m + 1 = p and Corollary 2 with 2m = 2p. Now, we prove Corollary 4. Since B p (x) is a p th rational coefficient polynomial of x and its first item is x p , from Lemma 3, we know that the congruence equation B p (2x) ≡ 0 mod p has exactly p different solutions x = 0, 1, 2, · · · p − 1, so there exits an integer N with N ≡ 1 mod p satisfied with N · B p (x), an integral coefficient polynomial of x. From [1] (see Theorem 5.23), we have the congruence: This completes the proofs of our all results.

Conclusions
As we all know, the congruences of Bernoulli numbers have important applications in number theory; in particular, for studying the class numbers of class-groups of number fields. The main results of this paper are two theorems involving Bernoulli and Euler polynomials and numbers and four corollaries (or congruences). Two theorems gave some new equations regarding Bernoulli polynomials and Euler polynomials. As some applications of these theorems, we gave four interesting congruences involving Bernoulli polynomials. Especially, Corollaries 1 and 4 are very simple and beautiful. It is clear that Corollary 4 is a good reference for further research on Bernoulli polynomials.
Author Contributions: All authors have equally contributed to this work. All authors read and approved the final manuscript.
Funding: This work is supported by the NSF (11771351) and (11826205) of P. R. China.