Some Identities Involving the Fubini Polynomials and Euler Polynomials

In this paper, we first introduce a new second-order non-linear recursive polynomials Uh,i(x), and then use these recursive polynomials, the properties of the power series and the combinatorial methods to prove some identities involving the Fubini polynomials, Euler polynomials and Euler numbers.


Introduction
For any real number x and y, the two variable Fubini polynomials F n (x, y) are defined by means of the following (see [1,2]) The first several terms of F n (x, y) are F 0 (x, y) = 1, F 1 (x, y) = x + y, F 2 (x, y) = x 2 + 2xy + 2y 2 + y, • • • .Taking x = 0, then F n (0, y) = F n (y) (see [1]) are called the Fubini polynomials.If y = − 1 2 , then F n x, − 1 2 = E n (x), the Euler polynomials, E 0 (x) = 1, E 1 (x) = x − 1 2 , E 2 (x) = x 2 − x, and 2 , E 6 = 0, and E 2n = 0 for all positive integer n.These polynomials appear in combinatorial mathematics and play a very important role in the theory and application of mathematics, thus many number theory and combination experts have studied their properties, and obtained a series of interesting results.For example, Kim and others proved a series of identities related to F n (x, y) (see [2][3][4]), one of which is T. Kim et al. [5] also studied the properties of the Fubini polynomials F n (y), and proved the identity where S 2 (n, k) are the Stirling numbers of the second kind.Zhao and Chen [6] proved that, for any positive integers n and k, one has the identity where the summation is taken over all k-dimensional nonnegative integer coordinates (a 1 , The sequence {C(k, i)} is defined as follows: For any positive integer k and integers 0 Some other papers related to Fubini polynomials and Euler numbers can be found elsewhere [7][8][9][10][11][12][13][14][15][16][17][18][19], and we do not repeat them here.
In this paper, as a note of [6], we study a similar calculating problem of Equation ( 2) for two variable Fubini polynomials F n (x, y).We also introduce a new second order non-linear recursive polynomials, and then use this polynomials to give a new expression for the summation That is, we prove the following: Theorem 1.Let h be a positive integer.Then, for any integer n ≥ 0, we have the identity where U h,k (x) is a second order non-linear recurrence polynomial defined by U h,h (x) = 1, and U h+1,0 (x) = (h It is clear that our theorem is a generalization of Equation ( 2).If taking y = − 1 2 , n = 0, x = 0 and x = 1 in this theorem, respectively, and noting that U h,0 (1) = 0, E 0 (1) = 1 and E n (1) = −E n for all n ≥ 1, we can deduce the following five corollaries: Corollary 2. For any positive integer h ≥ 1 and real x, we have the identity Corollary 3.For any positive integer h ≥ 1, we have the identity Corollary 4. For any positive integer h ≥ 1, we have the identity From Equation ( 2) with y = − 1 2 and Corollary 3 we can deduce the identities U h,i (0) = C(h, h − i) for all nonnegative integers 0 ≤ i ≤ h.
On the other hand, from the definition of U h,k (1), we can easily prove that the sequence are the coefficients of the polynomial Thus, if h = p is an odd prime, then using the elementary number theory methods we deduce the following: Corollary 5. Let p be an odd prime.Then, for any positive integer 2 ≤ k ≤ p − 1, we have the congruence U p,k (1) ≡ 0 mod p.
Taking h = p, noting that U p,p (1) = 1, E 1 = − 1 2 and U p,1 (1) = (p − 1)! ≡ −1 mod p, and then combining Corollaries 4 and 5, we have the following: Corollary 6.Let p be an odd prime.Then, we have the congruence This congruence is also recently obtained by Hou and Shen [12] using the different methods.

Several Simple Lemmas
In this section, we give several necessary lemmas in the proof process of our theorem.First, we have the following: 1−y(e t −1) .Then, for any positive integer h, real numbers x and t, we have the identity where U h,i (x) is defined as in the theorem, and f (h) (t) denotes the h-order derivative of f (t) with respect to variable t.
Proof.We can prove this Lemma 1 by mathematical induction.First, from the properties of the derivative, we have That is, Lemma 1 is correct for h = 1.
Assuming that Lemma 1 is correct for 1 ≤ h = k, i.e., Then, from Equation ( 3) and the definitions of U k,i (x) and derivative, we have which means Lemma 1 is also correct for h = k + 1.This proves Lemma 1 by mathematical induction.
Lemma 2. For any positive integers h and k, we have the power series expansion Proof.For any positive integer k, from Equation ( 1) and the properties of the power series, we have On the other hand, we have Thus, from Equations ( 4) and ( 5) and the multiplicative properties of the power series, we have This proves Lemma 2.

Proof of the Theorem
In this section, we complete the proof of our theorem.In fact from Equation (1) and Lemmas 1 and 2, we have Comparing the coefficients of the power series in Equation ( 6), we may immediately deduce the identity This completes the proof of our theorem.