Abstract: We establish two general identities for Bernoulli and Euler polynomials, which are of a new type and have many consequences. The most striking result in this paper is as follows: If $n$ is a positive integer, $r+s+t=n$ and $x+y+z=1$, then we have $$rF(s,t;x,y)+sF(t,r;y,z)+tF(r,s;z,x)=0$$ where $$F(s,t;x,y):=\sum_{k=0}^n(-1)^k\binom{s}{k}\binom{t}{n-k}B_{n-k}(x)B_k(y).$$ This symmetric relation implies the curious identities of Miki and Matiyasevich as well as some new identities for Bernoulli polynomials such as $$\sum_{k=0}^n\binom{n}{k}^2B_k(x)B_{n-k}(x)=2\sum^n\Sb k=0 k\not=n-1\endSb\binom{n}{k}\binom{n+k-1}{k}B_k(x)B_{n-k}.$$
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the establishment of new identities between Bernoulli and Euler polynomials. Specifically, the authors aim to explore and prove two general identities involving these polynomials. These identities have novel forms and can lead to many interesting conclusions.
One of the most remarkable results is that for a positive integer \(n\), if \(r + s+ t = n\) and \(x + y + z = 1\), then the following symmetric relation holds:
\[
r \left[ \begin{array}{c} s \\ t \end{array} \right]_{x, y}^{n} + s \left[ \begin{array}{c} t \\ r \end{array} \right]_{y, z}^{n} + t \left[ \begin{array}{c} r \\ s \end{array} \right]_{z, x}^{n} = 0
\]
where
\[
\left[ \begin{array}{c} s \\ t \end{array} \right]_{x, y}^{n} := \sum_{k = 0}^{n} (- 1)^k \binom{s}{k} \binom{t}{n - k} B_{n - k}(x) B_k(y)
\]
In addition, the authors also explore the connections between these identities and the known Miki and Matiyasevich identities, and derive some new identities for Bernoulli polynomials. For example:
\[
\sum_{k = 0}^{n} \binom{n}{k}^2 B_k(x) B_{n - k}(x)=2 \sum_{k = 0}^{n, k\neq n - 1} \binom{n}{k} \binom{n + k - 1}{k} B_k(x) B_{n - k}(x)
\]
Through these studies, the authors not only expand the existing theory but also provide new tools and methods for future research.