Skip to main content

Identities of symmetry for Bernoulli polynomials and power sums

Abstract

Identities of symmetry in two variables for Bernoulli polynomials and power sums had been investigated by considering suitable symmetric identities. T. Kim used a completely different tool, namely the p-adic Volkenborn integrals, to find the same identities of symmetry in two variables. Not much later, it was observed that this p-adic approach can be generalized to the case of three variables and shown that it gives some new identities of symmetry even in the case of two variables upon specializing one of the three variables. In this paper, we generalize the results in three variables to those in an arbitrary number of variables in a suitable setting and illustrate our results with some examples.

1 Introduction and preliminaries

Tuenter [17] obtained the following identity of symmetry involving the Bernoulli numbers and the power sums. This was done by showing that the exponential generating function of the sum on the left-hand side of (1) is invariant under the interchange of \(w_{1}\) and \(w_{2}\).

$$ \sum_{i=0}^{n} \binom{n}{i}B_{i}S_{n-i}(w_{1}-1)w_{1}^{i-1}w_{2}^{n-i} =\sum_{i=0}^{n}\binom{n}{i}B_{i}S_{n-i}(w_{2}-1)w_{2}^{i-1}w_{1}^{n-i}, $$
(1)

where \(w_{1}\), \(w_{2}\) are any positive integers, n is a nonnegative integer, \(B_{n}\) are Bernoulli numbers in (8), \(S_{k}(n)\) are the power sums in (10).

When \(w_{2}=1\), equation (1) reduces to the following recurrence relation for the Bernoulli numbers:

$$ B_{n}=\frac{1}{w_{1}(1-w_{1}^{n})}\sum _{i=0}^{n-1}\binom{n}{i}B_{i}S_{n-i}(w_{1}-1)w_{1}^{i}, $$
(2)

which was proved by Deeba and Rodriguez [2] and Gessel [3]. Actually, it was a conjecture posed by Namias who found identity (2) for \(w_{1}=2,3\) by using the multiplication formula for the gamma function (see [2]).

A completely different approach to identities of symmetry was given in [12], where the p-adic Volkenborn integrals for uniformly differential functions (see (5)) were used. In particular, the following two identities were obtained:

$$\begin{aligned}& \sum_{i=0}^{n}\binom{n}{i} B_{i}(w_{2} x)S_{n-i}(w_{1}-1)w_{1}^{i-1}w_{2}^{n-i} =\sum_{i=0}^{n}\binom{n}{i}B_{i}(w_{1} x)S_{n-i}(w_{2}-1)w_{2}^{i-1}w_{1}^{n-i}, \end{aligned}$$
(3)
$$\begin{aligned}& \sum_{i=0}^{w_{1}-1}B_{n} \biggl(w_{2} x+\frac{w_{2}}{w_{1}} i\biggr)w_{1}^{n-1}= \sum_{i=0}^{w_{2}-1}B_{n} \biggl(w_{1} x+\frac{w_{1}}{w_{2}} i\biggr)w_{2}^{n-1}. \end{aligned}$$
(4)

We note here that (3) becomes (1) when \(x=0\), and that (3) and (4) can be generalized to higher-order Bernoulli polynomials (see [18]). It turns out that this p-adic approach to identities of symmetry has the merit of being easily generalized. In addition, the identities of symmetry can be found also for Euler polynomials [9], q-Bernoulli polynomials [5, 13, 14], and q-Euler polynomials [6], respectively by using p-adic fermionic integrals, p-adic q-Volkenborn integrals, and p-adic fermionic q-integrals [11]. For the q-Bernoulli and q-Euler polynomials, we let the reader refer to the papers [1, 4, 16]. Indeed, in [10] many identities of symmetry for three variables were obtained for the first time by adopting the p-adic Volkenborn integral approach initiated in [12] (see Example 3.1). As was mentioned in Sect. 1 of [10], by specializing the variable \(w_{3}\) as 1 in (c-1), (c-2), and (c-3) of Example 3.1, it was shown that (3) and (4) are all equal and that they are further equal to the following identities:

$$\begin{aligned} &\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(y_{1})S_{\ell }(w_{1}-1) S_{m}(w_{2}-1)w_{1}^{k+m-1}w_{2}^{k+ \ell -1} \\ &\quad = w_{1}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{1}-1}B_{k} \biggl(y_{1}+ \frac{i}{w_{1}}\biggr)S_{n-k}(w_{2}-1)w_{2}^{k-1} \\ &\quad = w_{2}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{2}-1}B_{k} \biggl(y_{1}+ \frac{i}{w_{2}}\biggr)S_{n-k}(w_{1}-1)w_{1}^{k-1} \\ &\quad = (w_{1}w_{2})^{n-1}\sum _{i=0}^{w_{1}-1}\sum_{j=0}^{w_{2}-1}B_{n} \biggl(y_{1}+ \frac{i}{w_{1}}+\frac{j}{w_{2}}\biggr). \end{aligned}$$

Thus we may say that the abundance of symmetries in (c-1), (c-2), and (c-3) shed new light even on the existing identities in two variables. These would not be unearthed if more symmetries had not been available. Moreover, the identities of symmetry for higher-order Bernoulli polynomials in two variables in [18], which was done by manipulations of identities, can be done by using the p-adic Volkenborn integrals so as to give abundant symmetries in three variables (see [7, 8]).

The aim of this paper is to generalize the results in three variables [10] to those in an arbitrary number of variables in a suitable setting. Theorem 2.2 is the main result of this paper. Further, we illustrate our results with examples in Sect. 3. In the rest of this section, we recall the facts that are needed throughout this paper.

Let p be a fixed prime. Throughout this paper, \(\mathbb{Z}_{p}\), \(\mathbb{Q}_{p}\), \(\mathbb{C}_{p}\) will respectively denote the ring of p-adic integers, the field of p-adic rational numbers, and the completion of the algebraic closure of \(\mathbb{Q}_{p}\). For a uniformly differentiable function \(f:\mathbb{Z}_{p} \rightarrow \mathbb{C}_{p}\), the p-adic Volkenborn integral of f is defined by

$$ \int _{\mathbb{Z}_{p}}f(z) \,d\mu (z)=\lim_{N \rightarrow \infty } \frac{1}{p^{N}}\sum_{j=0}^{p^{N}-1}f(j). $$
(5)

Then it is easy to see that

$$ \int _{\mathbb{Z}_{p}}f(z+1) \,d\mu (z)= \int _{\mathbb{Z}_{p}}f(z) \,d\mu (z)+f^{\prime }(z). $$
(6)

Let \(|\cdot |_{p}\) be the normalized non-Archimedean absolute value of \(\mathbb{C}_{p}\) such that \(|p|_{p}=\frac{1}{p}\), and let

$$ E= \bigl\{ t \in \mathbb{C}_{p} \mid \vert t \vert _{p} < p^{-\frac{1}{p-1}} \bigr\} . $$
(7)

Then, for each fixed \(t \in E\), the function \(f(z)=e^{zt}\) is analytic on \(\mathbb{Z}_{p}\), and by applying (6) to this f, we get the p-adic integral expression of the generating function for Bernoulli numbers \(B_{n}\) given by

$$ \int _{\mathbb{Z}_{p}}e^{zt} \,d\mu (z)=\frac{t}{e^{t} -1}= \sum_{n=0}^{ \infty }B_{n} \frac{t^{n}}{n!}\quad (t \in E). $$
(8)

So we have the following p-adic integral expression of the generating function for the Bernoulli polynomials \(B_{n}(x)\):

$$ \int _{\mathbb{Z}_{p}}e^{(x+z)t} \,d\mu (z)=\frac{t}{e^{t} -1}e^{xt}= \sum_{n=0}^{\infty }B_{n}(x) \frac{t^{n}}{n!}\quad (t \in E, x \in \mathbb{Z}_{p}). $$
(9)

Here and throughout this paper, we will have many instances to be able to interchange integral and infinite sum. That is justified by Proposition 55.4 in [15]. Let \(S_{k}(n)\) denote the kth power sum of the first \(n+1\) nonnegative integers, namely

$$ S_{k}(n)=\sum_{i=0}^{n}i^{k}=0^{k}+1^{k}+ \cdots +n^{k}. $$
(10)

In particular, we have

$$ S_{0}(n)=n+1,\qquad S_{k}(0) = \textstyle\begin{cases} 1 & \text{for } k=0, \\ 0 & \text{for } k>0. \end{cases} $$
(11)

From (8) and (10), one easily derives the following identities: for \(w \in \mathbb{Z}_{>0}\),

$$\begin{aligned} \frac{w \int _{\mathbb{Z}_{p}}e^{xt} \,d\mu (x)}{\int _{\mathbb{Z}_{p}}e^{wyt} \,d\mu (y)} &= \sum_{i=0}^{w-1}e^{it} \end{aligned}$$
(12)
$$\begin{aligned} &=\sum_{k=0}^{\infty }S_{k}(w-1) \frac{t^{k}}{k!}\quad (t \in E). \end{aligned}$$
(13)

Let \(n \ge 2\), and let \(I_{n}= \{ 1,2,\dots ,n \} \). Then the symmetric group \(S_{n}\) acts on \(I_{n}\) in a natural way as \((\sigma ,j) \mapsto \sigma (j)\). For each integer j with \(1 \le j \le n\), let \(\Omega _{j}\) be the subset of \(2^{I_{n}}\) consisting of all j-element subsets of \(I_{n}\).

Proposition 1.1

Let Ω be a nonempty subset of \(2^{I_{n}}\) not containing the empty set ϕ. Then there is an action of \(S_{n}\) on Ω induced by the natural action of \(S_{n}\) on \(I_{n}\) if and only if \(\Omega =\bigcup_{j \in J}\Omega _{j}\) for some nonempty subset J of \(I_{n}\). Moreover, such an action of \(S_{n}\) on Ω is transitive if and only if \(\Omega =\Omega _{j}\) for some j (\(1 \le j \le n\)).

Proof

\((\Leftarrow )\) For each j (\(1 \le j \le n\)), the natural action of \(S_{n}\) on \(I_{n}\) induces an action of \(S_{n}\) on \(\Omega _{j}\), which is obviously transitive. In turn, this induces an action of \(S_{n}\) on \(\Omega =\bigcup_{j \in J}\Omega _{j}\) for some nonempty subset J of \(I_{n}\).

\((\Rightarrow )\) Assume that there is an action of \(S_{n}\) on Ω induced by the natural action of \(S_{n}\) on \(I_{n}\). If \(A \in \Omega \), with \(|A|=j\) (\(1 \le j \le n\)), then \(\sigma A \in \Omega \) for all \(\sigma \in S_{n}\), and hence \(\Omega _{j} \subset \Omega \). This shows that \(\Omega =\bigcup_{j \in J}\Omega _{j}\) for some nonempty subset J of \(I_{n}\). For the second statement, note that the action cannot be transitive if \(\Omega =\bigcup_{j \in J}\Omega _{j}\) with \(|J| \ge 2\). □

2 Main results

Assume that n is any fixed integer ≥2. Then we will introduce notations that will be used throughout this paper.

  • \(I=I_{n}= \{ 1,2, \dots , n \} \).

  • \(\Omega _{j}=\Omega _{j}^{(n)}\) = the set consisting of all j-element subsets of I for any \(j=1,2,\dots ,n-1\) (\(|\Omega _{j}|=\binom{n}{j}\)).

We give the reversed lexicographic ordering on each \(\Omega _{j}\) and also on any nonempty subset Ω of \(\Omega _{j}\). For example, \(\Omega _{3}= \{ \bar{1}= \{ 2,3,4 \} <\bar{2}= \{ 1,3,4 \} <\bar{3}= \{ 1,2,4 \} <\bar{4}= \{ 1,2,3 \} \} \), when \(n=4\), \(j=3\); \(\Omega = \{ \{ 2,3,4 \} < \{ 1,2,4 \} \} \) is a subset of \(\Omega _{j}\). We write \(\Omega < \Omega ^{\prime }\) for disjoint nonempty subsets Ω, \(\Omega ^{\prime }\) of \(\Omega _{j}\) if every member of Ω is smaller than that of \(\Omega ^{\prime }\). Also, we agree that \(\phi < \Omega \), \(\Omega < \phi \) for every (including the empty set) subset Ω of \(\Omega _{j}\).

Every permutation σ in \(S_{n}\) gives rise to a natural bijection of \(\Omega _{j}\) onto itself given by \(A \mapsto \sigma A\), where σA is the set obtained from A by applying σ to each member of A.

  • \(w_{1},w_{2},\dots ,w_{n}\) typical n positive integers.

  • \(w_{A}=\prod_{j \in A}w_{j}\) for any subset A of I (\(w_{\phi }=1\)). For example, \(w_{ \{ 1,2,3 \} }=w_{1}w_{2}w_{3}\). Also, we note that \(\prod_{A \in \Omega _{j}}w_{A}=w_{I}^{\binom{n-1}{j-1}}\).

  • \(\hat{w}_{i}=\frac{w_{I}}{w_{i}}\).

  • Ä€= the complement of A in I for any subset A of I, so that \(w_{A}w_{\bar{A}}=w_{I}\) for any subset A of I.

  • \(\hat{w}_{A}=\prod_{i \in A} \hat{w}_{i}=(w_{I})^{|A|-1}w_{ \bar{A}}\) (\(\hat{w_{I}}=(w_{I})^{|A|-1}\)).

  • \(x_{A}=x_{j_{1} j_{2} \cdots j_{r}}\) for any nonempty subset \(A= \{ j_{1},j_{2},\dots ,j_{r} \} \) of I with \(j_{1} < j_{2} < \cdots < j_{r}\). For example, \(x_{ \{ 1,2,3 \} }=x_{123}\). These are typical variables of integration.

  • \(\phi _{j}:\Omega _{j} \rightarrow \Omega _{n-j}\) (\(A \mapsto \bar{A}\)) is a bijection.

  • \(p_{j}(w;x)=p_{j}^{(n)}(w;x)=\sum_{A \in \Omega _{j}}w_{A}x_{ \bar{A}}\) for \(j=1,2,\dots ,n-1\). For example, with \(n=4\), we have

    $$\begin{aligned} &p_{1}(w;x)=w_{1}x_{234}+w_{2}x_{134}+w_{3}x_{124}+w_{4}x_{123}, \\ &p_{2}(w;x)=w_{1}w_{2}x_{34}+w_{1}w_{3}x_{24}+w_{1}w_{4}x_{23}+w_{2}w_{3}x_{14}+w_{2}w_{4}x_{13}+w_{3}w_{4}x_{12}, \\ &p_{3}(w;x)=w_{1}w_{2}w_{3}x_{4}+w_{1}w_{2}w_{4}x_{3}+w_{1}w_{3}w_{4}x_{2}+w_{2}w_{3}w_{4}x_{1}. \end{aligned}$$
  • \(d\mu (\Omega )=\prod_{A \in \Omega }\,d\mu (x_{\bar{A}})\) for any nonempty subset Ω of \(\Omega _{j}\).

As before, assume that n is any fixed integer ≥2 and that j is an integer with \(1 \le j \le n-1\). Then, in view of Proposition 1.1, for any subset Ω for \(\Omega _{j}\), we consider the following quotients of integrals given by

$$\begin{aligned} I_{j}(\Omega )&=I_{j}^{(n)}( \Omega )= \frac{\int _{\mathbb{Z}_{p}^{|\Omega _{j}|}}e^{(p_{j}(w;x)+w_{I}(\sum _{A \in \Omega _{j} -\Omega } y_{\bar{A}}))t}\,d\mu (\Omega _{j})}{(\int _{\mathbb{Z}_{p}}e^{w_{I} zt} \,d\mu (z))^{|\Omega |}} \end{aligned}$$
(14)
$$\begin{aligned} &= \frac{w_{I}^{\binom{n-1}{j-1}-|\Omega |}t^{|\Omega _{j}|-|\Omega |}e^{w_{I}(\sum _{A \in \Omega _{j} - \Omega }y_{\bar{A}})t}(e^{w_{I} t}-1)^{|\Omega |}}{\prod_{A \in \Omega _{j}}(e^{w_{A} t}-1)}. \end{aligned}$$
(15)

Here, we have to observe that

$$\begin{aligned} \int _{\mathbb{Z}_{p}^{|\Omega _{j}|}}e^{p_{j}(w;x)t}\,d\mu (\Omega _{j})&= \prod_{A \in \Omega _{j}} \int _{\mathbb{Z}_{p}}e^{w_{A} x_{\bar{A}}t} \,d\mu (x_{\bar{A}}) \\ &=\prod_{A \in \Omega _{j}}\frac{w_{A}t}{e^{w_{A}t}-1} = \frac{w_{I}^{\binom{n-1}{j-1}}t^{|\Omega _{j}|}}{\prod_{A \in \Omega _{j}}(e^{w_{A}t}-1)}. \end{aligned}$$
(16)

It is important to observe here, either from (14) or from (15), that the integrals \(I_{j}(\Omega )\) are invariant under any permutation of \(w_{1},w_{2},\dots ,w_{n}\).

Now, we decompose Ω into a disjoint union \(\Omega =\Omega ^{(e)} \cup \Omega ^{(s)}\) with \(\Omega ^{(e)}< \Omega ^{(s)}\). As we allow either \(\Omega ^{(e)}\) or \(\Omega ^{(s)}\) to be the empty set, there are \(|\Omega |+1\) ways of doing this. Then, by invoking (12) and (13), we write the integral in (14) as follows:

$$\begin{aligned} I_{j}(\Omega )&=\frac{1}{\prod_{A \in \Omega } w_{\bar{A}}} \times \prod _{A \in \Omega _{j}-\Omega } \int _{\mathbb{Z}_{p}}e^{w_{A}(x_{ \bar{A}}+w_{\bar{A}}y_{\bar{A}})t} \,d\mu (x_{\bar{A}}) \times \prod_{A \in \Omega } \frac{w_{\bar{A}}\int _{\mathbb{Z}_{p}}e^{w_{A}x_{\bar{A}}t}\,d\mu (x_{\bar{A}})}{\int _{\mathbb{Z}_{p}}e^{w_{\bar{A}}w_{A}zt} \,d\mu (z)} \\ &=\frac{1}{\prod_{A \in \Omega } w_{\bar{A}}} \times \prod_{A \in \Omega _{j}-\Omega } \int _{\mathbb{Z}_{p}}e^{w_{A}(x_{\bar{A}}+w_{ \bar{A}}y_{\bar{A}})t} \,d\mu (x_{\bar{A}}) \\ &\quad {} \times \prod_{A \in \Omega ^{(e)}} \Biggl(\sum _{i_{A}=0}^{w_{ \bar{A}}-1}e^{i_{A}w_{A}t} \Biggr) \times \prod_{A \in \Omega ^{(s)}} \Biggl(\sum _{j_{A}=0}^{\infty }S_{j_{A}}(w_{\bar{A}}-1) \frac{(w_{A} t)^{j_{A}}}{j_{A} !} \Biggr). \end{aligned}$$
(17)

Note here that we used the identity in (12) for all \(A \in \Omega ^{(e)}\), and that in (13) for all \(A \in \Omega ^{(s)}\).

Remark 2.1

We observe that (15) depends essentially only on the size \(|\Omega |\) of Ω. Namely, if \(\Omega ^{(1)}\) and \(\Omega ^{(2)}\) are two subsets of \(\Omega _{j}\), with \(|\Omega ^{(1)}|=|\Omega ^{(2)}|\), and \(f:\Omega _{j} \rightarrow \Omega _{j}\) is any bijective map sending \(\Omega ^{(1)}\) onto \(\Omega ^{(2)}\), then we have

$$\begin{aligned} &\frac{w_{I}^{\binom{n-1}{j-1}-|\Omega ^{(2)}|}t^{|\Omega _{j}|-|\Omega ^{(2)}|}e^{w_{I}(\sum _{A \in \Omega _{j} - \Omega ^{(2)}}y_{\bar{A}})t}(e^{w_{I} t}-1)^{|\Omega ^{(2)}|}}{\prod_{A \in \Omega _{j}}(e^{w_{A} t}-1)} \\ &\quad = \frac{w_{I}^{\binom{n-1}{j-1}-|\Omega ^{(1)}|}t^{|\Omega _{j}|-|\Omega ^{(1)}|}e^{w_{I}(\sum _{A \in \Omega _{j} - \Omega ^{(1)}}y_{\overline{f(A)}})t}(e^{w_{I} t}-1)^{|\Omega ^{(1)}|}}{\prod_{A \in \Omega _{j}}(e^{w_{A} t}-1)}. \end{aligned}$$
(18)

Thus (14) with \(\Omega ^{(2)}\) is the same as that with \(\Omega ^{(1)}\) with the ‘y variables renamed.’ Hence we only need to consider (17) for only one subset Ω of \(\Omega _{j}\) with the given size. So, for each positive integer k with \(k \le |\Omega _{j}|\), we only consider the subset Ω of \(\Omega _{j}\) consisting of the first k (smaller) elements of \(\Omega _{j}\). We denote this subset by \(\Omega _{jk}\), and the empty subset of \(\Omega _{j}\) by \(\Omega _{j0}\). From now on, we assume that \(\Omega =\Omega _{jk}\) for some integer k (\(0 \le k \le |\Omega _{j}|=\binom{n}{j}\)). For example, when \(n=3\), we see that

$$ \Omega _{20}=\phi ,\qquad \Omega _{21}= \bigl\{ \{ 2,3 \} \bigr\} ,\qquad \Omega _{22}= \bigl\{ \{ 2,3 \} , \{ 1,3 \} \bigr\} ,\qquad \Omega _{23}= \bigl\{ \{ 2,3 \} , \{ 1,3 \} , \{ 1,2 \} \bigr\} . $$

Further, we assume that we have a decomposition of \(\Omega ^{(e)}\) as the disjoint union

$$ \Omega ^{(e)}=\bigcup_{A \in \Omega _{j} - \Omega }\Omega _{A}^{(e)} $$
(19)

satisfying the following conditions:

  1. (i)

    \(|\Omega _{A}^{(e)}| \le |\Omega _{A^{\prime }}^{(e)}|\) for all \(A, A^{\prime } \in \Omega _{j} - \Omega \) with \(A < A^{\prime }\),

  2. (ii)

    \(\Omega _{A}^{(e)}< \Omega _{A^{\prime }}^{(e)}\) for all \(A, A^{\prime } \in \Omega _{j} - \Omega \) with \(A < A^{\prime }\).

(Note: in view of (19), this requires in particular that we should choose \(\Omega ^{(e)}=\phi \) for \(\Omega _{j} - \Omega =\phi \).)

We assume that we are given such a decomposition as in (19) satisfying (i) and (ii). Then we write (17) as

$$\begin{aligned} I_{j}(\Omega )&=\frac{1}{\prod_{A \in \Omega }w_{\bar{A}}}\prod _{A \in \Omega _{j} -\Omega }\prod_{E \in \Omega _{A}^{(e)}} \sum_{i_{E}=0}^{w_{ \bar{E}}-1} \int _{\mathbb{Z}_{p}}e^{w_{A}(x_{\bar{A}}+w_{\bar{A}}y_{ \bar{A}}+\sum _{E \in \Omega _{A}^{(e)}}i_{E}\frac{w_{E}}{w_{A}})t} \,d\mu (x_{\bar{A}}) \\ &\quad {} \times \prod_{A \in \Omega ^{(s)}}\sum _{j_{A}=0}^{\infty } S_{j_{A}}(w_{ \bar{A}}-1) \frac{(w_{A} t)^{j_{A}}}{j_{A} !} \\ &=\frac{1}{\prod_{A \in \Omega }w_{\bar{A}}}\prod_{A \in \Omega _{j} - \Omega }\sum _{l_{A}=0}^{\infty }\prod_{E \in \Omega _{A}^{(e)}} \sum_{i_{E}=0}^{w_{ \bar{E}}-1}B_{l_{A}} \biggl(w_{\bar{A}}y_{\bar{A}}+\sum_{E \in \Omega _{A}^{(e)}}i_{E} \frac{w_{E}}{w_{A}}\biggr)\frac{(w_{A} t)^{l_{A}}}{l_{A} !} \\ &\quad {} \times \prod_{A \in \Omega ^{(s)}}\sum _{j_{A}=0}^{\infty } S_{j_{A}}(w_{ \bar{A}}-1) \frac{(w_{A} t)^{j_{A}}}{j_{A} !}. \end{aligned}$$
(20)

Further, by rearranging sums (20) can be written as

$$\begin{aligned} I_{j}(\Omega )&=\frac{1}{\prod_{A \in \Omega }w_{\bar{A}}} \Biggl\{ \sum_{n=0}^{\infty }\sum _{\sum _{A \in \Omega _{j} -\Omega }l_{A}+ \sum _{A \in \Omega ^{(s)}}j_{A}=n} \binom{n}{\dots ,l_{A},\dots ,j_{A},\dots } \\ &\quad {} \times \prod_{A \in \Omega _{j} -\Omega }\prod _{E \in \Omega _{A}^{(e)}}\sum_{i_{E}=0}^{w_{\bar{E}}-1}B_{l_{A}} \biggl(w_{\bar{A}}y_{ \bar{A}}+\sum_{E \in \Omega _{A}^{(e)}}i_{E} \frac{w_{E}}{w_{A}}\biggr) \\ &\quad {} \times \prod_{A \in \Omega ^{(s)}}S_{j_{A}}(w_{ \bar{A}}-1) \prod_{A \in \Omega _{j} -\Omega }w_{A}^{l_{A}}\prod _{A \in \Omega ^{(s)}}w_{A}^{j_{A}} \frac{t^{n}}{n!} \Biggr\} . \end{aligned}$$
(21)

Here, \(\binom{n}{\dots ,l_{A},\dots ,j_{A},\dots }\) denotes the multinomial coefficient, where \(l_{A}\) and \(j_{A}\) are nonnegative integers varying respectively over the index sets \(A \in \Omega _{j} -\Omega \) and \(A \in \Omega ^{(s)}\).

For the next theorem, we assume that \(\Omega =\Omega _{jk}\) for some k, Ω has a decomposition into a disjoint union \(\Omega =\Omega ^{(e)} \cup \Omega ^{(s)}\) with \(\Omega ^{(e)}< \Omega ^{(s)}\), and that \(\Omega ^{(e)}\) has a decomposition \(\Omega ^{(e)}=\bigcup_{A \in \Omega _{j} - \Omega }\Omega _{A}^{(e)}\) satisfying conditions (i) and (ii) in (19). As we noted earlier, the p-adic integrals in (14) are invariant under every permutation of \(w_{1},w_{2},\dots ,w_{n}\), so that it gives the identities of symmetry with respect to \(w_{1},w_{2},\dots ,w_{n}\), involving Bernoulli polynomials and power sums. Now, we have our main result from (21).

Theorem 2.2

The following expression is invariant under every permutation of \(w_{1},w_{2},\dots , w_{n}\), so that it gives the identities of symmetry with respect to \(w_{1},w_{2},\dots ,w_{n}\):

$$\begin{aligned} &\frac{1}{\prod_{A \in \Omega }w_{\bar{A}}}\sum_{\sum _{A \in \Omega _{j} -\Omega }l_{A}+\sum _{A \in \Omega ^{(s)}}j_{A}=n} \binom{n}{\dots ,l_{A},\dots ,j_{A},\dots } \\ &\quad {} \times \prod_{A \in \Omega _{j} -\Omega }\prod _{E \in \Omega _{A}^{(e)}}\sum_{i_{E}=0}^{w_{\bar{E}}-1}B_{l_{A}} \biggl(w_{ \bar{A}}y_{\bar{A}}+\sum_{E \in \Omega _{A}^{(e)}}i_{E} \frac{w_{E}}{w_{A}}\biggr) \\ &\quad {} \times \prod_{A \in \Omega ^{(s)}}S_{j_{A}}(w_{ \bar{A}}-1) \prod_{A \in \Omega _{j} -\Omega }w_{A}^{l_{A}}\prod _{A \in \Omega ^{(s)}}w_{A}^{j_{A}}. \end{aligned}$$
(22)

In other words, for all permutations \(\sigma \in S_{n}\), the following expressions are all the same:

$$\begin{aligned} &\frac{1}{\prod_{A \in \Omega }w_{\overline{\sigma A}}}\sum_{\sum _{A \in \Omega _{j} -\Omega }l_{A}+\sum _{A \in \Omega ^{(s)}}j_{A}=n} \binom{n}{\dots ,l_{A},\dots ,j_{A},\dots } \\ &\quad {} \times \prod_{A \in \Omega _{j} -\Omega }\prod _{E \in \Omega _{A}^{(e)}}\sum_{i_{E}=0}^{w_{\overline{\sigma E}}-1}B_{l_{A}} \biggl(w_{ \overline{\sigma A}}y_{\bar{A}}+\sum_{E \in \Omega _{A}^{(e)}}i_{E} \frac{w_{\sigma E}}{w_{\sigma A}}\biggr) \\ &\quad {} \times \prod_{A \in \Omega ^{(s)}}S_{j_{A}}(w_{ \overline{\sigma A}}-1) \prod_{A \in \Omega _{j} -\Omega }w_{\sigma A}^{l_{A}} \prod_{A \in \Omega ^{(s)}}w_{\sigma A}^{j_{A}}. \end{aligned}$$

Here, \(\binom{n}{\dots ,l_{A},\dots ,j_{A},\dots }\) denotes the multinomial coefficient, where \(l_{A}\) and \(j_{A}\) are nonnegative integers varying respectively over the index sets \(A \in \Omega _{j} -\Omega \) and \(A \in \Omega ^{(s)}\).

3 Examples

Here, we would like to illustrate our Theorem 2.2.

Example 3.1

Assume that \(n=3\), \(j=2\). Here, \(\Omega _{2}=\Omega _{2}^{(3)}= \{ \bar{1}= \{ 2,3 \} < \bar{2}= \{ 1,3 \} <\bar{3}= \{ 1,2 \} \} \). In view of our discussion leading up to Theorem 2.2, we may consider only the subsets \(\Omega =\Omega _{2i}\) (\(i=0,1,2,3\)) of \(\Omega _{2}\).

  1. (a)

    \(\Omega _{20}=\phi \) (\(\Omega _{2}-\Omega _{20}=\Omega _{2}\))

    1. (a-1)

      \(\Omega _{20}^{(e)}=\phi \) (\(\Omega _{20,A}^{(e)}= \phi \) for each \(A \in \Omega _{2}\)), \(\Omega _{20}^{(s)}=\phi \).

  2. (b)

    \(\Omega _{21}= \{ \bar{1} \} \) (\(\Omega _{2}- \Omega _{21}= \{ \bar{2},\bar{3} \} \))

    1. (b-1)

      \(\Omega _{21}^{(e)}=\phi \) (\(\Omega _{21,A}^{(e)}= \phi \) for each \(A \in \Omega _{2}-\Omega _{21}\)), \(\Omega _{21}^{(s)}= \{ \bar{1} \} \),

    2. (b-2)

      \(\Omega _{21}^{(e)}= \{ \bar{1} \} \) (\(\Omega _{21,\bar{2}}^{(e)}=\phi \), \(\Omega _{21,\bar{3}}^{(e)}= \{ \bar{1} \} \)), \(\Omega _{21}^{(s)}=\phi \).

  3. (c)

    \(\Omega _{22}= \{ \bar{1},\bar{2} \} \) (\(\Omega _{2}- \Omega _{22}= \{ \bar{3} \} \))

    1. (c-1)

      \(\Omega _{22}^{(e)}=\phi \) (\(\Omega _{22,\bar{3}}^{(e)}= \phi \)), \(\Omega _{22}^{(s)}= \{ \bar{1},\bar{2} \} \),

    2. (c-2)

      \(\Omega _{22}^{(e)}= \{ \bar{1} \} \) (\(\Omega _{22,\bar{3}}^{(e)}= \{ \bar{1} \} \)), \(\Omega _{22}^{(s)}= \{ \bar{2} \} \),

    3. (c-3)

      \(\Omega _{22}^{(e)}= \{ \bar{1},\bar{2} \} \) (\(\Omega _{22,\bar{3}}^{(e)}= \{ \bar{1},\bar{2} \} \)), \(\Omega _{22}^{(s)}=\phi \).

  4. (d)

    \(\Omega _{23}= \{ \bar{1},\bar{2},\bar{3} \} \) (\(\Omega _{2}-\Omega _{23}=\phi \))

    1. (d-1)

      \(\Omega _{23}^{(e)}=\phi \), \(\Omega _{23}^{(s)}= \Omega _{23}\).

One checks now that the invariance of (14) under any permutation of \(w_{1}\), \(w_{2}\), \(w_{3}\), applied to each of the cases (a-1), (b-1), (b-2), (c-1), (c-2), and (c-3), yields the results in Theorems 1, 2, 5, 8, 11, 14 in [10]. As we noted in [10], not all of these give the full six identities of symmetry corresponding to the symmetric group \(S_{3}\). The possible numbers of distinct identities of symmetry are 1, 2, 3, and 6 corresponding to the quotient \(|S_{3}|/|H|\), where H is a subgroup of \(S_{3}\), with the respective orders 6, 3, 2, and 1. In our case, (a-1), (b-1), (b-2), and (c-2) give the full six identities of symmetry, and (c-1) and (c-3) yield three identities of symmetry, while (d-1) gives no identities of symmetry. For convenience of the reader, we reproduce those results here with appropriate change of notations in (22).

$$\begin{aligned}& \begin{aligned} & \sum_{k+\ell +m=n} \binom{n}{k,\ell ,m}B_{k}(w_{1}y_{1})B_{ \ell }(w_{2}y_{2})B_{m}(w_{3}y_{3}) w_{1}^{\ell +m}w_{2}^{k+m}w_{3}^{k+ \ell } \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{1}y_{1})B_{\ell }(w_{3}y_{2})B_{m}(w_{2}y_{3}) w_{1}^{\ell +m}w_{3}^{k+m}w_{2}^{k+\ell } \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{2}y_{1})B_{\ell }(w_{1}y_{2})B_{m}(w_{3}y_{3}) w_{2}^{\ell +m}w_{1}^{k+m}w_{3}^{k+\ell } \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{2}y_{1})B_{\ell }(w_{3}y_{2})B_{m}(w_{1}y_{3}) w_{2}^{\ell +m}w_{3}^{k+m}w_{1}^{k+\ell } \\ &\quad = \sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{3}y_{1})B_{\ell }(w_{1}y_{2})B_{m}(w_{2}y_{3}) w_{3}^{\ell +m}w_{1}^{k+m}w_{2}^{k+\ell } \\ &\quad = \sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{3}y_{1})B_{\ell }(w_{2}y_{2})B_{m}(w_{1}y_{3}) w_{3}^{\ell +m}w_{2}^{k+m}w_{1}^{k+\ell }, \end{aligned} \end{aligned}$$
(a-1)
$$\begin{aligned}& \begin{aligned} &\sum_{k+\ell +m=n} \binom{n}{k,\ell ,m}B_{k}(w_{2}y_{2})B_{ \ell }(w_{3}y_{3})S_{m}(w_{1}-1) w_{2}^{\ell +m}w_{3}^{k+m}w_{1}^{k+ \ell -1} \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{2}y_{2})B_{\ell }(w_{1}y_{3})S_{m}(w_{3}-1) w_{2}^{\ell +m}w_{1}^{k+m}w_{3}^{k+\ell -1} \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{1}y_{2})B_{\ell }(w_{3}y_{3})S_{m}(w_{2}-1) w_{1}^{\ell +m}w_{3}^{k+m}w_{2}^{k+\ell -1} \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{1}y_{2})B_{\ell }(w_{2}y_{3})S_{m}(w_{3}-1) w_{1}^{\ell +m}w_{2}^{k+m}w_{3}^{k+\ell -1} \\ &\quad = \sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{3}y_{2})B_{\ell }(w_{2}y_{3})S_{m}(w_{1}-1) w_{3}^{\ell +m}w_{2}^{k+m}w_{1}^{k+\ell -1} \\ &\quad = \sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{3}y_{2})B_{\ell }(w_{1}y_{3})S_{m}(w_{2}-1) w_{3}^{\ell +m}w_{1}^{k+m}w_{2}^{k+\ell -1}, \end{aligned} \end{aligned}$$
(b-1)
$$\begin{aligned}& w_{1}^{n-1} \sum _{k=0}^{n}\binom{n}{k}B_{k}(w_{2}y_{2}) \sum_{i=0}^{w_{1}-1}B_{n-k} \biggl(w_{3}y_{3}+\frac{w_{3}}{w_{1}}i\biggr) w_{2}^{n-k}w_{3}^{k} \\& \quad =w_{1}^{n-1} \sum_{k=0}^{n} \binom{n}{k}B_{k}(w_{3}y_{2})\sum _{i=0}^{w_{1}-1}B_{n-k} \biggl(w_{2}y_{3}+ \frac{w_{2}}{w_{1}}i\biggr) w_{3}^{n-k}w_{2}^{k} \\& \quad =w_{2}^{n-1} \sum_{k=0}^{n} \binom{n}{k}B_{k}(w_{1}y_{2})\sum _{i=0}^{w_{2}-1}B_{n-k} \biggl(w_{3}y_{3}+ \frac{w_{3}}{w_{2}}i\biggr) w_{1}^{n-k}w_{3}^{k} \end{aligned}$$
(b-2)
$$\begin{aligned}& \quad =w_{2}^{n-1} \sum_{k=0}^{n} \binom{n}{k}B_{k}(w_{3}y_{2})\sum _{i=0}^{w_{2}-1}B_{n-k} \biggl(w_{1}y_{3}+ \frac{w_{1}}{w_{2}}i\biggr) w_{3}^{n-k}w_{1}^{k} \\& \quad =w_{3}^{n-1} \sum_{k=0}^{n} \binom{n}{k}B_{k}(w_{1}y_{2})\sum _{i=0}^{w_{3}-1}B_{n-k} \biggl(w_{2}y_{3}+ \frac{w_{2}}{w_{3}}i\biggr) w_{1}^{n-k}w_{2}^{k} \\& \quad =w_{3}^{n-1} \sum_{k=0}^{n} \binom{n}{k}B_{k}(w_{2}y_{2})\sum _{i=0}^{w_{3}-1}B_{n-k} \biggl(w_{1}y_{3}+ \frac{w_{1}}{w_{3}}i\biggr) w_{2}^{n-k}w_{1}^{k}, \\& \begin{aligned} &\sum_{k+\ell +m=n} \binom{n}{k,\ell ,m}B_{k}(w_{3}y_{3})S_{ \ell }(w_{1}-1)S_{m}(w_{2}-1) w_{3}^{\ell +m}w_{1}^{k+m-1}w_{2}^{k+ \ell -1} \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{1}y_{3})S_{\ell }(w_{2}-1)S_{m}(w_{3}-1) w_{1}^{\ell +m}w_{2}^{k+m-1}w_{3}^{k+\ell -1} \\ &\quad =\sum_{k+\ell +m=n}\binom{n}{k,\ell ,m}B_{k}(w_{2}y_{3})S_{\ell }(w_{1}-1)S_{m}(w_{3}-1) w_{2}^{\ell +m}w_{1}^{k+m-1}w_{3}^{k+\ell -1}, \end{aligned} \end{aligned}$$
(c-1)
$$\begin{aligned}& \begin{aligned} &w_{1}^{n-1}\sum _{k=0}^{n}\binom{n}{k}\sum _{i=0}^{w_{1}-1}B_{k} \biggl(w_{3}y_{3}+ \frac{w_{3}}{w_{1}}i \biggr)S_{n-k}(w_{2}-1)w_{3}^{n-k}w_{2}^{k-1} \\ &\quad =w_{2}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{2}-1}B_{k} \biggl(w_{3}y_{3}+ \frac{w_{3}}{w_{2}}i \biggr)S_{n-k}(w_{1}-1)w_{3}^{n-k}w_{1}^{k-1} \\ &\quad =w_{2}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{2}-1}B_{k} \biggl(w_{1}y_{3}+ \frac{w_{1}}{w_{2}}i \biggr)S_{n-k}(w_{3}-1)w_{1}^{n-k}w_{3}^{k-1} \\ &\quad =w_{3}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{3}-1}B_{k} \biggl(w_{1}y_{3}+ \frac{w_{1}}{w_{3}}i \biggr)S_{n-k}(w_{2}-1)w_{1}^{n-k}w_{2}^{k-1} \\ &\quad =w_{1}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{1}-1}B_{k} \biggl(w_{2}y_{3}+ \frac{w_{2}}{w_{1}}i \biggr)S_{n-k}(w_{3}-1)w_{2}^{n-k}w_{3}^{k-1} \\ &\quad =w_{3}^{n-1}\sum_{k=0}^{n} \binom{n}{k}\sum_{i=0}^{w_{3}-1}B_{k} \biggl(w_{2}y_{3}+ \frac{w_{2}}{w_{3}}i \biggr)S_{n-k}(w_{1}-1)w_{2}^{n-k}w_{1}^{k-1}, \end{aligned} \end{aligned}$$
(c-2)
$$\begin{aligned}& \begin{aligned} & (w_{1}w_{2})^{n-1} \sum_{i=0}^{w_{1}-1}\sum _{j=0}^{w_{2}-1}B_{n}\biggl(w_{3}y_{3}+ \frac{w_{3}}{w_{1}}i+\frac{w_{3}}{w_{2}}j\biggr) \\ &\quad =(w_{2}w_{3})^{n-1}\sum _{i=0}^{w_{2}-1}\sum_{j=0}^{w_{3}-1}B_{n} \biggl(w_{1}y_{3}+ \frac{w_{1}}{w_{2}}i+ \frac{w_{1}}{w_{3}}j\biggr) \\ &\quad =(w_{3}w_{1})^{n-1}\sum _{i=0}^{w_{3}-1}\sum_{j=0}^{w_{1}-1}B_{n} \biggl(w_{2}y_{3}+ \frac{w_{2}}{w_{3}}i+ \frac{w_{2}}{w_{1}}j\biggr). \end{aligned} \end{aligned}$$
(c-3)

Example 3.2

Assume that \(n=4\), \(j=3\). Here, \(\Omega _{3}=\Omega _{3}^{(4)}= \{ \bar{1}= \{ 2,3,4 \} < \bar{2}= \{ 1,3,4 \} <\bar{3}= \{ 1,2,4 \} <\bar{4}= \{ 1,2,3 \} \} \). In view of our discussion leading up to Theorem 2.2, we may consider only the subsets \(\Omega =\Omega _{3i}\) (\(i=0,1,2,3,4\)) of \(\Omega _{3}\). We let the interested reader write out the identities of symmetry for each of the following cases by using Theorem 2.2.

  1. (a)

    \(\Omega _{30}=\phi \) (\(\Omega _{3}-\Omega _{30}=\Omega _{3}\))

    1. (a-1)

      \(\Omega _{30}^{(e)}=\phi \) (\(\Omega _{30,A}^{(e)}= \phi \) for each \(A \in \Omega _{3}\)), \(\Omega _{30}^{(s)}=\phi \).

  2. (b)

    \(\Omega _{31}= \{ \bar{1} \} \) (\(\Omega _{3}- \Omega _{31}= \{ \bar{2},\bar{3},\bar{4} \} \))

    1. (b-1)

      \(\Omega _{31}^{(e)}=\phi \) (\(\Omega _{31,A}^{(e)}= \phi \) for each \(A \in \Omega _{3}-\Omega _{31}\)), \(\Omega _{31}^{(s)}= \{ \bar{1} \} \),

    2. (b-2)

      \(\Omega _{31}^{(e)}= \{ \bar{1} \} \) (\(\Omega _{31,\bar{2}}^{(e)}=\Omega _{31,\bar{3}}^{(e)}=\phi \), \(\Omega _{31, \bar{4}}^{(e)}= \{ \bar{1} \} \)), \(\Omega _{31}^{(s)}=\phi \).

  3. (c)

    \(\Omega _{32}= \{ \bar{1},\bar{2} \} \) (\(\Omega _{3}- \Omega _{32}= \{ \bar{3},\bar{4} \} \))

    1. (c-1)

      \(\Omega _{32}^{(e)}=\phi \) (\(\Omega _{32,A}^{(e)}= \phi \) for each \(A \in \Omega _{3} -\Omega _{32}\)), \(\Omega _{32}^{(s)}= \{ \bar{1},\bar{2} \} \),

    2. (c-2)

      \(\Omega _{32}^{(e)}= \{ \bar{1} \} \) (\(\Omega _{32,\bar{3}}^{(e)}=\phi \), \(\Omega _{32,\bar{4}}^{(e)}= \{ 1 \} \)), \(\Omega _{32}^{(s)}= \{ \bar{2} \} \),

      1. (c-3-1)

        \(\Omega _{32}^{(e)}= \{ \bar{1},\bar{2} \} \) (\(\Omega _{32, \bar{3}}^{(e)}=\phi \), \(\Omega _{32,\bar{4}}^{(e)}= \{ \bar{1}, \bar{2} \} \)), \(\Omega _{32}^{(s)}=\phi \),

      2. (c-3-2)

        \(\Omega _{32}^{(e)}= \{ \bar{1},\bar{2} \} \) (\(\Omega _{32, \bar{3}}^{(e)}= \{ \bar{1} \} \), \(\Omega _{32,\bar{4}}^{(e)}= \{ \bar{2} \} \)), \(\Omega _{32}^{(s)}=\phi \).

  4. (d)

    \(\Omega _{34}= \{ \bar{1},\bar{2},\bar{3},\bar{4} \} \) (\(\Omega _{3}-\Omega _{34}=\phi \))

    1. (d-1)

      \(\Omega _{34}^{(e)}=\phi \), \(\Omega _{34}^{(s)}= \Omega _{34}\).

Example 3.3

Assume that \(n=4\), \(j=2\). Here, \(\Omega _{2}=\Omega _{2}^{(4)}= \{ 34= \{ 3,4 \} <24= \{ 2,4 \} <23= \{ 2,3 \} <14= \{ 1,4 \} <13= \{ 1,3 \} <12= \{ 1,2 \} \} \). In view of our discussion leading up to Theorem 2.2, we may consider only the subsets \(\Omega =\Omega _{2i}\) (\(i=0,1,2,3,4,5,6\)) of \(\Omega _{2}\). We let the interested reader write out the identities of symmetry for each of the following cases by using Theorem 2.2.

  1. (a)

    \(\Omega _{20}=\phi \) (\(\Omega _{2}-\Omega _{20}=\Omega _{2}\))

    1. (a-1)

      \(\Omega _{20}^{(e)}=\phi \) (\(\Omega _{ 20,A}^{(e)}=\phi \) for each \(A \in \Omega _{2}\)), \(\Omega _{20}^{(s)}=\phi \).

  2. (b)

    \(\Omega _{21}= \{ 34 \} \) (\(\Omega _{2}-\Omega _{21}= \{ 24,23,14,13,12 \} \))

    1. (b-1)

      \(\Omega _{21}^{(e)}=\phi \) (\(\Omega _{21,A}^{(e)}=\phi \) for each \(A \in \Omega _{2}-\Omega _{21}\)), \(\Omega _{21}^{(s)}= \{ 34 \} \),

    2. (b-2)

      \(\Omega _{21}^{(e)}= \{ 34 \} \) (\(\Omega _{21,A}^{(e)}= \phi \) for each \(A \in \{ 24,23,14,13 \} \), \(\Omega _{21,12}^{(e)}= \{ 34 \} \)), \(\Omega _{21}^{(s)}=\phi \).

  3. (c)

    \(\Omega _{22}= \{ 34,24 \} \) (\(\Omega _{2}-\Omega _{22}= \{ 23,14,13,12 \} \))

    1. (c-1)

      \(\Omega _{22}^{(e)}=\phi \) (\(\Omega _{22,A}^{(e)}= \phi \) for each \(A \in \Omega _{2}-\Omega _{22}\)), \(\Omega _{22}^{(s)}= \{ 34,24 \} \),

    2. (c-2)

      \(\Omega _{22}^{(e)}= \{ 34 \} \) (\(\Omega _{22,23}^{(e)}= \Omega _{22,14}^{(e)}=\Omega _{22,13}^{(e)}=\phi \), \(\Omega _{22,12}^{(e)}= \{ 34 \} \)), \(\Omega _{22}^{(s)}= \{ 24 \} \),

      1. (c-3-1)

        \(\Omega _{22}^{(e)}= \{ 34,24 \} \) (\(\Omega _{22,23}^{(e)}=\Omega _{22,14}^{(e)}=\Omega _{22,13}^{(e)}= \phi \), \(\Omega _{22,12}^{(e)}= \{ 34,24 \} \)), \(\Omega _{22}^{(s)}= \phi \),

      2. (c-3-2)

        \(\Omega _{22}^{(e)}= \{ 34,24 \} \) (\(\Omega _{22,23}^{(e)}=\Omega _{22,14}^{(e)}=\phi \), \(\Omega _{22,13}^{(e)}= \{ 34 \} \), \(\Omega _{22,12}^{(e)}= \{ 24 \} \)), \(\Omega _{22}^{(s)}=\phi \).

  4. (d)

    \(\Omega _{23}= \{ 34,24,23 \} \) (\(\Omega _{2}- \Omega _{23}= \{ 14,13,12 \} \))

    1. (d-1)

      \(\Omega _{23}^{(e)}=\phi \) (\(\Omega _{23,A}^{(e)}=\phi \) for each \(A \in \{ 14,13,12 \} \)), \(\Omega _{23}^{(s)}= \{ 34,24,23 \} \),

    2. (d-2)

      \(\Omega _{23}^{(e)}= \{ 34 \}\) (\(\Omega _{23,14}^{(e)}= \Omega _{23,13}^{(e)}=\phi \), \(\Omega _{23,12}^{(e)}= \{ 34 \} \)), \(\Omega _{23}^{(s)}= \{ 24,23 \} \),

      1. (d-3-1)

        \(\Omega _{23}^{(e)}= \{ 34,24 \} \) (\(\Omega _{23,14}^{(e)}=\Omega _{23,13}^{(e)}=\phi \), \(\Omega _{23,12}^{(e)}= \{ 34,24 \} \)), \(\Omega _{23}^{(s)}= \{ 23 \} \),

      2. (d-3-2)

        \(\Omega _{23}^{(e)}= \{ 34,24 \} \) (\(\Omega _{23,14}^{(e)}=\phi \), \(\Omega _{23,13}^{(e)}= \{ 34 \} \), \(\Omega _{23,12}^{(e)}= \{ 24 \} \)), \(\Omega _{23}^{(s)}= \{ 23 \} \),

      3. (d-4-1)

        \(\Omega _{23}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{23,14}^{(e)}=\Omega _{23,13}^{(e)}=\phi \), \(\Omega _{23,12}^{(e)}= \{ 34,24,23 \} \)), \(\Omega _{23}^{(s)}=\phi \),

      4. (d-4-2)

        \(\Omega _{23}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{23,14}^{(e)}=\phi \), \(\Omega _{23,13}^{(e)}= \{ 34 \} \), \(\Omega _{23,12}^{(e)}= \{ 24,23 \} \)), \(\Omega _{23}^{(s)}= \phi \),

      5. (d-4-3)

        \(\Omega _{23}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{23,14}^{(e)}= \{ 34 \} \), \(\Omega _{23,13}^{(e)}= \{ 24 \} \), \(\Omega _{23,12}^{(e)}= \{ 23 \} \)), \(\Omega _{23}^{(s)}=\phi \).

  5. (e)

    \(\Omega _{24}= \{ 34,24,23,14 \} \) (\(\Omega _{2}- \Omega _{24}= \{ 13,12 \} \))

    1. (e-1)

      \(\Omega _{24}^{(e)}=\phi \) (\(\Omega _{24,13}^{(e)}= \Omega _{24,12}^{(e)}=\phi \)), \(\Omega _{24}^{(s)}= \{ 34,24,23,14 \} \),

    2. (e-2)

      \(\Omega _{24}^{(e)}= \{ 34 \} \) (\(\Omega _{24,13}^{(e)}=\phi \), \(\Omega _{24,12}^{(e)}= \{ 34 \} \)), \(\Omega _{24}^{(s)}= \{ 24,23,14 \} \),

      1. (e-3-1)

        \(\Omega _{24}^{(e)}= \{ 34,24 \} \) (\(\Omega _{24,13}^{(e)}=\phi \), \(\Omega _{24,12}^{(e)}= \{ 34,24 \} \)), \(\Omega _{24}^{(s)}= \{ 23,14 \} \),

      2. (e-3-2)

        \(\Omega _{24}^{(e)}= \{ 34,24 \} \) (\(\Omega _{24,13}^{(e)}= \{ 34 \} \), \(\Omega _{24,12}^{(e)}= \{ 24 \} \)), \(\Omega _{24}^{(s)}= \{ 23,14 \} \),

      3. (e-4-1)

        \(\Omega _{24}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{24,13}^{(e)}=\phi \), \(\Omega _{24,12}^{(e)}= \{ 34,24,23 \} \)), \(\Omega _{24}^{(s)}= \{ 14 \} \),

      4. (e-4-2)

        \(\Omega _{24}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{24,13}^{(e)}= \{ 34 \} \), \(\Omega _{24,12}^{(e)}= \{ 24,23 \} \)), \(\Omega _{24}^{(s)}= \{ 14 \} \),

      5. (e-5-1)

        \(\Omega _{24}^{(e)}= \{ 34,24,23,14 \} \) (\(\Omega _{24,13}^{(e)}=\phi \), \(\Omega _{24,12}^{(e)}= \{ 34,24,23,14 \} \)), \(\Omega _{24}^{(s)}=\phi \),

      6. (e-5-2)

        \(\Omega _{24}^{(e)}= \{ 34,24,23,14 \} \) (\(\Omega _{24,13}^{(e)}= \{ 34 \} \), \(\Omega _{24,12}^{(e)}= \{ 24,23,14 \} \)), \(\Omega _{24}^{(s)}=\phi \),

      7. (e-5-3)

        \(\Omega _{24}^{(e)}= \{ 34,24,23,14 \} \) (\(\Omega _{24,13}^{(e)}= \{ 34,24 \} \), \(\Omega _{24,12}^{(e)}= \{ 23,14 \} \)), \(\Omega _{24}^{(s)}=\phi \).

  6. (f)

    \(\Omega _{25}= \{ 34,24,23,14,13 \} \) (\(\Omega _{2}- \Omega _{25}= \{ 12 \} \))

    1. (f-1)

      \(\Omega _{25}^{(e)}=\phi \) (\(\Omega _{25,12}^{(e)}= \phi \)), \(\Omega _{25}^{(s)}= \{ 34,24,23,14,13 \} \),

    2. (f-2)

      \(\Omega _{25}^{(e)}= \{ 34 \} \) (\(\Omega _{25,12}^{(e)}= \{ 34 \} \)), \(\Omega _{25}^{(s)}= \{ 24,23,14,13 \} \),

    3. (f-3)

      \(\Omega _{25}^{(e)}= \{ 34,24 \} \) (\(\Omega _{25,12}^{(e)}= \{ 34,24 \} \)), \(\Omega _{25}^{(s)}= \{ 23,14,13 \} \),

    4. (f-4)

      \(\Omega _{25}^{(e)}= \{ 34,24,23 \} \) (\(\Omega _{25,12}^{(e)}= \{ 34,24,23 \} \)), \(\Omega _{25}^{(s)}= \{ 14,13 \} \),

    5. (f-5)

      \(\Omega _{25}^{(e)}= \{ 34,24,23,14 \} \) (\(\Omega _{25,12}^{(e)}= \{ 34,24,23,14 \} \)), \(\Omega _{25}^{(s)}= \{ 13 \} \),

    6. (f-6)

      \(\Omega _{25}^{(e)}= \{ 34,24,23,14,13 \} \) (\(\Omega _{25,12}^{(e)}= \{ 34,24,23,14,13 \} \)), \(\Omega _{25}^{(s)}=\phi \).

  7. (g)

    \(\Omega _{26}= \{ 34,24,23,14,13,12 \} \) (\(\Omega _{2}-\Omega _{26}=\phi \))

    1. (g-1)

      \(\Omega _{26}^{(e)}=\phi \), \(\Omega _{26}^{(s)}=\Omega _{26}\).

4 Conclusion

Identities of symmetry in two variables for Bernoulli polynomials and power sums, which had been shown by using suitable symmetric identities, were derived by employing a completely different tool in [12], namely the p-adic Volkenborn integrals. Not much later, it was observed in [10] that the identities in two variables can be extended to those in three variables. We recalled that the abundant symmetries of identities in three variables shed new light even on the existing identities in two variables. Namely, some further identities of symmetry can be discovered by specializing one of the three variables as 1.

Here, in this paper, we generalized the results in three variables to those in an arbitrary number of variables in a suitable setting. We proved our main result, Theorem 2.2, and illustrated our result with some examples. As was noted in [10] and recalled in Example 3.1, the number of distinct identities of symmetry in three variables is not always \(6 =|S_{3}|\), but it is 1, 2, 3, or 6, because it is equal to the quotient \(|S_{3}|/|H|\), where H is a subgroup of \(S_{3}\). It is an interesting problem to determine the possible numbers of distinct symmetries in our case. We leave this as a challenging problem for the interested reader. Similar results for other special polynomials together with the corresponding suitable power sums will appear in forthcoming papers.

Availability of data and materials

Not applicable.

References

  1. Araci, S., Duran, U., Acikgoz, M.: A study on a class of q-Euler polynomials under the symmetric group of degree n. J. Nonlinear Sci. Appl. 9(8), 5196–5201 (2016)

    Article  MathSciNet  Google Scholar 

  2. Deeba, E., Rodriguez, D.: Stirling’s and Bernoulli numbers. Am. Math. Mon. 98, 423–426 (1991)

    Article  MathSciNet  Google Scholar 

  3. Gessel, I.: Solution to problem E3237. Am. Math. Mon. 96, 364 (1989)

    Article  Google Scholar 

  4. He, Y.: Symmetric identities for Carlitz’s q-Bernoulli numbers and polynomials. Adv. Differ. Equ. 2013, 246 (2013)

    Article  MathSciNet  Google Scholar 

  5. Jang, L.-C., Kim, D. S., Kim, T., Lee, H.: p-Adic integral on \(\Bbb{Z}_{p}\) associated with degenerate Bernoulli polynomials of the second kind. Adv. Differ. Equ. 2020, 278 (2020)

    Article  Google Scholar 

  6. Kim, D.S., Kim, T.: Three variable symmetric identities involving Carlitz-type q-Euler polynomials. Math. Sci. 8(4), 147–152 (2014)

    Article  MathSciNet  Google Scholar 

  7. Kim, D.S., Lee, N., Na, J., Park, K.H.: Abundant symmetry for higher-order Bernoulli polynomials (I). Adv. Stud. Contemp. Math. (Kyungshang) 23(3), 461–482 (2013)

    MathSciNet  MATH  Google Scholar 

  8. Kim, D.S., Lee, N., Na, J., Park, K.H.: Abundant symmetry for higher-order Bernoulli polynomials (II). Proc. Jangjeon Math. Soc. 16(3), 359–378 (2013)

    MathSciNet  MATH  Google Scholar 

  9. Kim, D.S., Park, K.H.: Identities of symmetry for Euler polynomials arising from quotients of fermionic integrals invariant under \(S_{3}\). J. Inequal. Appl. 2010, Article ID 851521 (2010)

    Article  Google Scholar 

  10. Kim, D.S., Park, K.H.: Identities of symmetry for Bernoulli polynomials arising from quotients of Volkenborn integrals invariant under \(S_{3}\). Appl. Math. Comput. 219(10), 5096–5104 (2013)

    MathSciNet  MATH  Google Scholar 

  11. Kim, T.: q-Volkenborn integration. Russ. J. Math. Phys. 9(3), 288–299 (2002)

    MathSciNet  MATH  Google Scholar 

  12. Kim, T.: Symmetry p-adic invariant integral on \(\mathbb{Z}_{p}\) for Bernoulli and Euler polynomials. J. Adv. Differ. Equ. Appl. 14, 1267–1277 (2008)

    Article  Google Scholar 

  13. Kim, T., Dolgy, D.V., Kim, D.S.: Some identities of q-Bernoulli polynomials under symmetry group \(S_{3}\). J. Nonlinear Convex Anal. 16(9), 1869–1880 (2015)

    MathSciNet  MATH  Google Scholar 

  14. Kim, T., Kim, D. S., Dolgy, D.V., Pyo, S.-S.: Identities of symmetry for type 2 q-Bernoulli polynomials under symmetric group \(S_{3}\). J. Nonlinear Convex Anal. 21(9), 1973–1979 (2020)

    MathSciNet  Google Scholar 

  15. Schikhof, W.H.: Ultrametric Calculus: An Introduction to p-Adic Analysis. Cambridge University Press, Cambridge (2006)

    MATH  Google Scholar 

  16. Simsek, Y.: Complete sum of products of \((h,q)\)-extension of Euler polynomials and numbers. J. Differ. Equ. Appl. 16(11), 1331–1348 (2010)

    Article  MathSciNet  Google Scholar 

  17. Tuenter, H.: A symmetry of power sum polynomials and Bernoulli numbers. Am. Math. Mon. 108, 258–261 (2001)

    Article  MathSciNet  Google Scholar 

  18. Yang, S.: An identity of symmetry for the Bernoulli polynomials. Discrete Math. 308, 550–554 (2008)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The authors would like to thank Jangjeon Institute for Mathematical Science for the support of this research.

Funding

This work was supported by the National Research Foundation of Korea (NRF)grant funded by the Korea government (No. 2020R1F1A1A01071564).

Author information

Authors and Affiliations

Authors

Contributions

TK and DSK conceived of the framework and structured the whole paper; DSK and TK wrote the paper; JK and HYK checked the results of the paper and typed the paper; DSK and TK completed the revision of the article. All authors have read and agreed to the published version of the manuscript.

Corresponding author

Correspondence to Jongkyum Kwon.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Rights and permissions

Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kim, T., Kim, D.S., Kim, H.Y. et al. Identities of symmetry for Bernoulli polynomials and power sums. J Inequal Appl 2020, 245 (2020). https://doi.org/10.1186/s13660-020-02511-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13660-020-02511-9

MSC

Keywords