Skip to main content

Some new formulas for the products of the Apostol type polynomials

Abstract

In the year 2014, Kim et al. computed a kind of new sums of the products of an arbitrary number of the classical Bernoulli and Euler polynomials by using the Euler basis for the vector space of polynomials of bounded degree. Inspired by their work, in this paper, we establish some new formulas for such a kind of sums of the products of an arbitrary number of the Apostol-Bernoulli, Euler, and Genocchi polynomials by making use of the generating function methods and summation transform techniques. The results derived here are generalizations of the corresponding known formulas involving the classical Bernoulli, Euler, and Genocchi polynomials.

Introduction

The classical Bernoulli polynomials \(B_{n}(x)\), Euler polynomials \(E_{n}(x)\), and Genocchi polynomials \(G_{n}(x)\) are usually defined by the following generating functions:

$$\begin{aligned}& \frac{te^{xt}}{e^{t}-1}=\sum_{n=0}^{\infty}B_{n}(x) \frac{t^{n}}{n!}\quad \bigl(\vert t\vert < 2\pi\bigr), \end{aligned}$$
(1.1)
$$\begin{aligned}& \frac{2e^{xt}}{e^{t}+1}=\sum_{n=0}^{\infty}E_{n}(x) \frac{t^{n}}{n!}\quad \bigl(\vert t\vert < \pi\bigr), \end{aligned}$$
(1.2)

and

$$ \frac{2te^{xt}}{e^{t}+1}=\sum_{n=0}^{\infty}G_{n}(x) \frac{t^{n}}{n!}\quad \bigl(\vert t\vert < \pi\bigr). $$
(1.3)

The rational numbers \(B_{n}\), the integers \(E_{n}\), and the rational numbers \(G_{n}\) given by

$$ B_{n}=B_{n}(0),\qquad E_{n}=2^{n}E_{n} \biggl(\frac{1}{2} \biggr), \quad \text{and}\quad G_{n}=G_{n}(0) $$

are called the classical Bernoulli numbers, Euler numbers, and Genocchi numbers, respectively. These polynomials and numbers play important roles in many different areas of mathematics, such as number theory, combinatorics, special functions and analysis. Numerous interesting properties for them can be found in many books and papers (see, for example, [16]).

Some widely investigated analogs of the above classical Bernoulli, Euler and Genocchi polynomials are the Apostol-Bernoulli polynomials \(\mathcal {B}_{n}(x;\lambda)\), Apostol-Euler polynomials \(\mathcal{E}_{n}(x;\lambda)\) and Apostol-Genocchi polynomials \(\mathcal{G}_{n}(x;\lambda)\), which are usually defined by means of the following generating functions (see, e.g., [79]):

$$\begin{aligned}& \frac{te^{xt}}{\lambda e^{t}-1}=\sum_{n=0}^{\infty} \mathcal{B}_{n}(x;\lambda)\frac{t^{n}}{n!} \\& \quad \bigl(\vert t\vert < 2\pi\text{ when }\lambda=1;|t|< \vert \log \lambda \vert \text{ when }\lambda\neq1\bigr), \end{aligned}$$
(1.4)
$$\begin{aligned}& \frac{2e^{xt}}{\lambda e^{t}+1}=\sum_{n=0}^{\infty} \mathcal{E}_{n}(x;\lambda)\frac{t^{n}}{n!} \\& \quad \bigl(\vert t\vert < \pi\text{ when }\lambda=1;|t|< \bigl\vert \log ( -\lambda ) \bigr\vert \text{ when }\lambda\neq1\bigr), \end{aligned}$$
(1.5)

and

$$\begin{aligned}& \frac{2te^{xt}}{\lambda e^{t}+1}=\sum_{n=0}^{\infty} \mathcal{G}_{n}(x;\lambda)\frac{t^{n}}{n!} \\& \quad \bigl(\vert t\vert < \pi\text{ when }\lambda=1;|t|< \bigl\vert \log ( -\lambda ) \bigr\vert \text{ when }\lambda\neq1\bigr). \end{aligned}$$
(1.6)

In particular, \(\mathcal{B}_{n}(\lambda)\), \(\mathcal{E}_{n}(\lambda )\), and \(\mathcal{G}_{n}(\lambda)\) given by

$$ \mathcal{B}_{n}(\lambda)=\mathcal{B}_{n}(0;\lambda), \qquad \mathcal{E}_{n}(\lambda)=2^{n}\mathcal{E}_{n} \biggl( \frac{1}{2};\lambda \biggr) ,\quad \text{and}\quad \mathcal{G}_{n}(\lambda)=\mathcal{G}_{n}(0;\lambda) $$

are called the Apostol-Bernoulli numbers, Apostol-Euler numbers, and Apostol-Genocchi numbers, respectively. Obviously, \(\mathcal{B}_{n}(x;\lambda)\), \(\mathcal{E}_{n}(x;\lambda)\), and \(\mathcal{G}_{n}(x;\lambda)\) reduce, respectively, to \(B_{n}(x)\), \(E_{n}(x)\), and \(G_{n}(x)\) when \(\lambda=1\). It is worth mentioning that the Apostol-Bernoulli polynomials were first introduced by Apostol [10] (see also Srivastava [11] for a systematic further study) in order to evaluate the value of the Hurwitz-Lerch zeta function. Since the publication of the work by Luo and Srivastava [79], some interesting properties for the Apostol-Bernoulli, Euler and Genocchi polynomials have been well explored by many authors (see, for example, [1217]).

The present paper is concerned with the sums of the products of an arbitrary number of the above-mentioned polynomials and numbers. The best known such formula is Dilcher’s result on the following sums of the products of an arbitrary number of the classical Bernoulli polynomials (see, for details, [18]):

$$\begin{aligned}& \sum_{\substack{ i_{1}+\cdots+i_{k}=n \\ (i_{1}, \ldots,i_{k}\geqq0)}} \binom{n}{i_{1},\ldots,i_{k}}B_{i_{1}}(x_{1}) \cdots B_{i_{k}}(x_{k}) \\& \quad =(-1)^{k-1}k\binom{n}{k}\sum_{i=0}^{k-1}(-1)^{i} \Biggl[\sum_{j=0}^{i}\binom{k-i-1+j}{j} s(k,k-i+j)y^{j} \Biggr] \frac{B_{n-i}(y)}{n-i}, \end{aligned}$$
(1.7)

where n and k are positive integers (with \(n\geqq k\)), \(\binom{n}{i_{1},\ldots,i_{k}}\) denotes the multinomial coefficients given by

$$ \binom{n}{i_{1},\ldots,i_{k}}=\frac{n!}{i_{1}!\cdots i_{k}!}, $$
(1.8)

\(s(n,k)\) are the Stirling numbers of the first kind and

$$ y=x_{1}+\cdots+x_{k}. $$

We refer to [1926] for some extensions of (1.7) in different directions. In the year 2014, Kim et al. [27] considered and computed the following kind of new sums of the products of an arbitrary number of the classical Bernoulli and Euler polynomials by making use of the Euler basis for the vector space of polynomials of bounded degree:

$$\begin{aligned} V_{n;r,s}(x) =&\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}B_{i_{k}}(x)\prod _{k=1}^{s}E_{j_{k}}(x) \\ =&\frac{1}{2}\sum_{k=0}^{n-2} \binom{n+r+s-1}{k} \alpha_{n,k}(r,s)E_{k}(x) \\ &{} +\binom{n+r+s-1}{n}E_{n}(x), \end{aligned}$$
(1.9)

where n, r, and s are positive integers,

$$ \sum_{I_{r}+J_{s}=n} $$
(1.10)

denotes the sum over all non-negative integers \(i_{1},\ldots,i_{r}\) and \(j_{1},\ldots,j_{s}\) such that

$$ i_{1}+\cdots+i_{r}+j_{1}+\cdots+j_{s}=n, $$

and \(\alpha_{n,k}(r,s)\) is a rational number determined by

$$\begin{aligned} \alpha_{n,k}(r,s) =& \sum_{j=0}^{s} \sum_{i=\text{max}(0,r+k-n)}^{r} \binom{r}{i} \binom{s}{j}(-1)^{j}2^{s-j} V_{n+i-k-r;i,j}(0) \\ &{} +V_{n-k;r,s}(0). \end{aligned}$$
(1.11)

Motivated and inspired by the work of Kim et al. [27], in this paper, we establish some new formulas for such a kind of sums of the products of an arbitrary number of the Apostol-Bernoulli, Euler and Genocchi polynomials by making use of the generating function methods and summation transform techniques. As applications, some known results for the classical Bernoulli, Euler, and Genocchi polynomials are shown to be derivable as special cases of our product formulas.

Our paper is organized as follows. In Section 2, we give several new formulas for the products of the Apostol-Bernoulli, Euler, and Genocchi polynomials. Various corollaries and consequences of these main results are also considered in Section 2 itself. Section 3 is devoted to the proofs of the main results.

Statements of the main results

Let r and s be positive integers and let

$$ \lambda_{1},\ldots,\lambda_{r} \quad \text{and}\quad \mu_{1},\ldots,\mu_{s} $$

be \(r+s\) parameters. For convenience, in the following, we always denote by λ a parameter given by

$$ \lambda=\prod_{k=1}^{r} \lambda_{k}\prod_{k=1}^{s} \mu_{k}, $$
(2.1)

with

$$ \sum_{I_{r}+J_{s}=n} $$

the same as in (1.10), and by \(M_{a}\), \(N_{b}\), and \(T_{b}\) three sequences of polynomials given (for positive integers a and b) with

$$\begin{aligned}& M_{a}=\prod_{k=1}^{a-1} \lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-x_{a}+1;\lambda_{k}) \prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a};\lambda_{k}), \end{aligned}$$
(2.2)
$$\begin{aligned}& N_{b}=\prod_{k=1}^{b-1} \mu_{k}\mathcal{E}_{j_{k}}(y_{k}-y_{b}+1; \mu_{k}) \prod_{k=b+1}^{s} \mathcal{E}_{j_{k}}(y_{k}-y_{b};\mu_{k}), \end{aligned}$$
(2.3)

and

$$ T_{b}=\prod_{k=1}^{b-1} \mu_{k}\mathcal{G}_{j_{k}}(y_{k}-y_{b}+1; \mu_{k}) \prod_{k=b+1}^{s} \mathcal{G}_{j_{k}}(y_{k}-y_{b};\mu_{k}), $$
(2.4)

respectively. We also write, for subsets \(R\subseteq\{1,\ldots,r\}\) and \(S\subseteq\{1,\ldots,s\}\), \(|R|\) as the cardinality of R and \(|S|\) as the cardinality of S, \(\overline{R}=\{1,\ldots,r\}\setminus R\) and \(\overline{S}=\{1,\ldots,s\}\setminus S\) for positive integers r and s. In particular, if \(|R|=a\) and \(|S|=b\) for positive integers a and b, we denote \(s_{1},\ldots,s_{r-a}\in\overline{R}\) and \(r_{1},\ldots ,r_{s-b}\in \overline{S}\).

We now state our results as follows.

Theorem 1

Let r and s be positive integers. Also let s be an even integer. Then, for every non-negative integer n,

$$\begin{aligned}& (n+r+s)\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k};\lambda_{k})\prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y_{k};\mu_{k}) \\& \quad =\sum_{I_{r}+J_{s}=n}\sum_{a=1}^{r} \binom{n+r+s}{i_{a}} \mathcal{B}_{i_{a}}(x_{a}; \lambda)M_{a} \prod_{k=1}^{s} \mathcal {E}_{j_{k}}(y_{k}-x_{a};\mu_{k}) \\& \qquad {}+2\sum_{I_{r}+J_{s}=n+1}\sum _{b=1}^{s} \binom{n+r+s}{j_{b}}(-1)^{b} \mathcal{B}_{j_{b}}(y_{b};\lambda)N_{b} \prod_{k=1}^{r} \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-y_{b}+1; \lambda_{k}). \end{aligned}$$
(2.5)

Furthermore, if s is an odd positive integer, then, for every positive integer n,

$$\begin{aligned}& \sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda _{k})\prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y_{k};\mu_{k}) \\& \quad =-\frac{1}{2}\sum_{I_{r}+J_{s}=n-1}\sum _{a=1}^{r} \binom{n+r+s-1}{i_{a}}\mathcal{E}_{i_{a}}(x_{a}; \lambda)M_{a} \prod_{k=1}^{s} \mathcal{E} _{j_{k}}(y_{k}-x_{a};\mu_{k}) \\& \qquad {}-\sum_{I_{r}+J_{s}=n}\sum _{b=1}^{s} \binom{n+r+s-1}{j_{b}}(-1)^{b} \mathcal{E}_{j_{b}}(y_{b};\lambda)N_{b} \prod_{k=1}^{r} \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-y_{b}+1; \lambda_{k}). \end{aligned}$$
(2.6)

We now deduce some special cases of Theorem 1. Since the Apostol-Bernoulli and Apostol-Euler polynomials satisfy the following difference equations (see, e.g., [8]):

$$ \lambda\mathcal{B}_{n}(x+1,\lambda) - \mathcal{B}_{n}(x,\lambda)=nx^{n-1}\quad (n\geqq0) $$
(2.7)

and

$$ \lambda\mathcal{E}_{n}(x+1,\lambda) + \mathcal{E}_{n}(x,\lambda)=2x^{n}\quad (n\geqq0), $$
(2.8)

respectively, so we find from (2.7) and (2.8) that

$$\begin{aligned}& \prod_{k=1}^{a-1} \lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-x_{a}+1, \lambda_{k}) \\& \quad =\sum_{T\subseteq\{1,\ldots,a-1\}}\prod_{k\in T} \mathcal{B}_{i_{k}}(x_{k}-x_{a}, \lambda_{k})\prod_{k\in\overline{T}} i_{k}(x_{k}-x_{a})^{i_{k}-1} \end{aligned}$$
(2.9)

and

$$\begin{aligned}& \prod_{k=1}^{b-1}\bigl\{ - \mu_{k}\mathcal{E}_{j_{k}} (y_{k}-y_{b}+1, \mu _{k})\bigr\} \\& \quad =\sum_{T\subseteq\{1,\ldots,b-1\}}\prod_{k\in T} \mathcal{E}_{j_{k}}(y_{k}-y_{b}, \mu_{k})\prod_{k\in\overline{T}} \bigl\{ -2(y_{k}-y_{b})^{j_{k}}\bigr\} . \end{aligned}$$
(2.10)

Hence, by setting

$$ x_{1}=\cdots=x_{r}=x \quad \text{and}\quad y_{1}=\cdots=y_{s}=y $$

in Theorem 1, in view of (2.9) and (2.10), we obtain the following result.

Corollary 1

Let r and s be positive integers. Also let s be an even integer. Then, for every non-negative integer n,

$$\begin{aligned}& (n+r+s)\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x;\lambda_{k}) \prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y;\mu_{k}) \\& \quad =\sum_{a=1}^{r}\sum _{|R|=a}\sum_{I_{r-a}+i_{0}+J_{s}=n+1-a} \binom{n+r+s}{i_{0}}\mathcal{B}_{i_{0}}(x;\lambda) \\& \qquad {}\cdot\prod_{k=1}^{r-a} \mathcal{B}_{i_{k}}(\lambda_{s_{k}}) \prod _{k=1}^{s}\mathcal{E}_{j_{k}}(y-x; \mu_{k}) \\ & \qquad {}+\sum_{b=1}^{s}\sum _{|S|=b}(-2)^{b}\sum_{I_{r}+j_{0}+J_{s-b}=n+1} \binom{n+r+s}{j_{0}}\mathcal{B}_{j_{0}}(y;\lambda) \\ & \qquad {}\cdot\prod_{k=1}^{s-b} \mathcal{E}_{j_{k}}(0;\mu_{r_{k}}) \prod _{k=1}^{r}\lambda_{k}\mathcal{B}_{i_{k}}(x-y+1; \lambda_{k}). \end{aligned}$$
(2.11)

Moreover, if s is an odd positive integer, then, for every positive integer n,

$$\begin{aligned}& \sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x; \lambda_{k})\prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y;\mu_{k}) \\ & \quad =-\frac{1}{2}\sum_{a=1}^{r} \sum_{|R|=a}\sum _{I_{r-a}+i_{0}+J_{s}=n-a} \binom{n+r+s-1}{i_{0}}\mathcal{E}_{i_{0}}(x; \lambda) \\ & \qquad {}\cdot\prod_{k=1}^{r-a} \mathcal{B}_{i_{k}}(\lambda_{s_{k}}) \prod _{k=1}^{s}\mathcal{E}_{j_{k}}(y-x; \mu_{k}) \\ & \qquad {}+\sum_{b=1}^{s}\sum _{|S|=b}(-2)^{b-1}\sum_{I_{r}+j_{0}+J_{s-b}=n} \binom{n+r+s-1}{j_{0}}\mathcal{E}_{j_{0}}(y;\lambda) \\ & \qquad {}\cdot\prod_{k=1}^{s-b} \mathcal{E}_{j_{k}}(0;\mu_{r_{k}}) \prod _{k=1}^{r}\lambda_{k}\mathcal{B}_{i_{k}}(x-y+1;\lambda_{k}). \end{aligned}$$
(2.12)

Since the Apostol-Bernoulli polynomials satisfy the following symmetric distribution (see, e.g., [8]):

$$ \lambda\mathcal{B}_{n}(1-x;\lambda) =(-1)^{n} \mathcal{B}_{n} \biggl(x;\frac{1}{\lambda} \biggr)\quad (n\geqq0), $$
(2.13)

by setting

$$ \lambda_{1}=\cdots=\lambda_{r}=1 \quad \text{and}\quad \mu_{1}=\cdots=\mu_{s}=1 $$

in Corollary 1, we get the following formulas for the products of an arbitrary number of the classical Bernoulli polynomials and the classical Euler polynomials.

Corollary 2

Let r and s be positive integers. If s is an even positive integer, then, for every non-negative integer n,

$$\begin{aligned} \begin{aligned}[b] &(n+r+s)\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}B_{i_{k}}(x)\prod _{k=1}^{s}E_{j_{k}}(y) \\ &\quad =\sum_{a=1}^{r}\binom{r}{a} \sum_{I_{r-a}+i_{0}+J_{s}=n+1-a}\binom{n+r+s}{i_{0}}B_{i_{0}}(x) \prod_{k=1}^{r-a}B_{i_{k}} \prod _{k=1}^{s}E_{j_{k}}(y-x) \\ &\qquad {}+\sum_{b=1}^{s} \binom{s}{b}(-2)^{b}\sum_{I_{r}+j_{0}+J_{s-b}=n+1} \binom{n+r+s}{j_{0}}(-1)^{I_{r}}B_{j_{0}}(y) \\ &\qquad {}\cdot\prod_{k=1}^{s-b}E_{j_{k}}(0) \prod_{k=1}^{r}B_{i_{k}}(y-x). \end{aligned} \end{aligned}$$
(2.14)

Furthermore, if s is an odd positive integer, then, for every positive integer n,

$$\begin{aligned}& \sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}B_{i_{k}}(x)\prod _{k=1}^{s}E_{j_{k}}(y) \\& \quad =-\frac{1}{2}\sum_{a=1}^{r} \binom{r}{a} \sum_{I_{r-a}+i_{0}+J_{s}=n-a}\binom{n+r+s-1}{i_{0}}E_{i_{0}}(x) \\& \qquad {}\cdot\prod_{k=1}^{r-a}B_{i_{k}} \prod_{k=1}^{s}E_{j_{k}}(y-x) \\& \qquad {}+\sum_{b=1}^{s} \binom{s}{b}(-2)^{b-1} \sum_{I_{r}+j_{0}+J_{s-b}=n} \binom{n+r+s-1}{j_{0}}(-1)^{I_{r}}E_{j_{0}}(y) \\& \qquad {}\cdot\prod_{k=1}^{s-b}E_{j_{k}}(0) \prod_{k=1}^{r}B_{i_{k}}(y-x). \end{aligned}$$
(2.15)

In the special case when \(x=y\), Corollary 2 yields the corresponding new expressions for the above-mentioned sums of the products of an arbitrary number of the classical Bernoulli polynomials and the classical Euler polynomials considered by Kim et al. [27]. If we take \(r=s=1\) in Corollary 1, in light of (2.7), we obtain the following result.

Corollary 3

Let n be a positive integer. Then

$$\begin{aligned}& \sum_{k=0}^{n} \mathcal{B}_{k}(x;\lambda)\mathcal{E}_{n-k}(y;\mu) \\& \quad =-\frac{1}{2}\sum_{k=0}^{n-1} \binom{n+1}{k+2} \mathcal{E}_{n-1-k}(x;\lambda\mu) \mathcal{E}_{k}(y-x;\mu) \\& \qquad {}+\sum_{k=0}^{n}\binom{n+1}{k+1} \mathcal{E}_{n-k}(y;\lambda\mu)\bigl\{ \mathcal{B}_{k}(x-y; \lambda)+k(x-y)^{k-1}\bigr\} . \end{aligned}$$
(2.16)

In particular, since (see, e.g., [28])

$$ E_{n}(0)=2\bigl(1-2^{n+1}\bigr) \frac{B_{n+1}}{n+1} \quad (n \geqq0), $$

by setting

$$ x=y \quad \text{and}\quad \lambda=\mu=1 $$

in Corollary 3, we find for every positive integer \(n\geqq2\) that

$$\begin{aligned}& \sum_{k=0}^{n}B_{k}(x)E_{n-k}(x)- \sum_{k=2}^{n} \binom {n+1}{k+1} \bigl(2^{k}+k-1\bigr)\frac{B_{k}}{k}E_{n-k}(x) \\& \quad =(n+1)E_{n}(x), \end{aligned}$$
(2.17)

which was derived by Pan and Sun [29] by using the finite difference calculus and differentiation.

Theorem 2

Let r and s be positive integers. Then, for every non-negative integer n,

$$\begin{aligned}& (n+r+s)\sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k};\lambda_{k}) \prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k};\mu_{k}) \\& \quad =\sum_{I_{r}+J_{s}=n}\sum_{a=1}^{r} \binom{n+r+s}{i_{a}}\mathcal{P}_{i_{a}}(x_{a}; \lambda)M_{a} \prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k}-x_{a}; \mu_{k}) \\& \qquad {}+2\sum_{I_{r}+J_{s}=n}\sum _{b=1}^{s}\binom{n+r+s}{j_{b}}(-1)^{b} \mathcal{P}_{j_{b}}(y_{b};\lambda) T_{b} \\& \qquad {}\cdot\prod_{k=1}^{r} \bigl\{ \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-y_{b}+1; \lambda_{k}) \bigr\} , \end{aligned}$$
(2.18)

where \(\mathcal{P}_{n}(x;\lambda)\) is given by

$$ \mathcal{P}_{n}(x;\lambda)= \textstyle\begin{cases} \mathcal{B}_{n}(x;\lambda) & (2\mid s ) , \\ -\frac{1}{2}\mathcal{G}_{n}(x;\lambda) & (2\nmid s ). \end{cases} $$

We now deduce some special cases of Theorem 2. Since the Apostol-Genocchi polynomials satisfy the following difference equation (see, e.g., [7]):

$$ \lambda\mathcal{G}_{n}(x+1,\lambda)+ \mathcal{G}_{n}(x,\lambda)=2nx^{n-1} \quad (n\geqq0), $$
(2.19)

by applying (2.19), we have

$$\begin{aligned}& \prod_{k=1}^{b-1}\bigl\{ - \mu_{k}\mathcal{G}_{j_{k}}(y_{k}-y_{b}+1, \mu_{k})\bigr\} \\& \quad =\sum_{T\subseteq\{1,\ldots,b-1\}}\prod_{k\in T} \mathcal{G}_{j_{k}}(y_{k}-y_{b}, \mu_{k})\prod_{k\in\overline{T}} \bigl\{ -2j_{k}(y_{k}-y_{b})^{j_{k}-1}\bigr\} . \end{aligned}$$
(2.20)

Hence, by setting

$$ x_{1}=\cdots=x_{r}=x\quad \text{and} \quad y_{1}=\cdots=y_{s}=y $$

in Theorem 2, and in view of (2.9) and (2.20), we obtain the following result.

Corollary 4

Let r and s be positive integers. Then, for every non-negative integer n,

$$\begin{aligned}& (n+r+s)\sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r} \mathcal{B}_{i_{k}}(x;\lambda_{k}) \prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y;\mu_{k}) \\& \quad =\sum_{a=1}^{r}\sum _{|R|=a} \sum_{I_{r-a}+i_{0}+J_{s}=n+1-a}\binom{n+r+s}{i_{0}} \mathcal{P}_{i_{0}}(x;\lambda) \\& \qquad {}\cdot\prod_{k=1}^{r-a} \mathcal{B}_{i_{k}}(\lambda_{s_{k}}) \prod _{k=1}^{s}\mathcal{G}_{j_{k}}(y-x; \mu_{k}) \\& \qquad {}+\sum_{b=1}^{s}\sum _{|S|=b}(-2)^{b}\sum_{I_{r}+j_{0}+J_{s-b}=n+1-b}\binom{n+r+s}{j_{0}} \mathcal{P}_{j_{0}}(y;\lambda) \\& \qquad {}\cdot\prod_{k=1}^{s-b} \mathcal{G}_{j_{k}}(\mu_{r_{k}}) \prod _{k=1}^{r} \bigl\{ \lambda_{k} \mathcal{B}_{i_{k}}(x-y+1;\lambda_{k}) \bigr\} . \end{aligned}$$
(2.21)

Upon setting

$$ \lambda_{1}=\cdots=\lambda_{r}=1 \quad \text{and}\quad \mu_{1}=\cdots=\mu_{s}=1 $$

in Corollary 4, if we make use of (2.13), we obtain the following formula for the products of an arbitrary number of the classical Bernoulli and Genocchi polynomials.

Corollary 5

Let r and s be positive integers. Then, for every non-negative integer n,

$$\begin{aligned}& (n+r+s)\sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r}B_{i_{k}}(x) \prod _{k=1}^{s}G_{j_{k}}(y) \\& \quad =\sum_{a=1}^{r}\binom{r}{a} \sum_{I_{r-a}+i_{0}+J_{s}=n+1-a}\binom{n+r+s}{i_{0}}P_{i_{0}}(x) \prod_{k=1}^{r-a}B_{i_{k}} \prod _{k=1}^{s}G_{j_{k}}(y-x) \\& \qquad {}+\sum_{b=1}^{s} \binom{s}{b}(-2)^{b} \sum_{I_{r}+j_{0}+J_{s-b}=n+1-b} \binom{n+r+s}{j_{0}}(-1)^{I_{r}} P_{j_{0}}(y) \\& \qquad {}\cdot\prod_{k=1}^{s-b}G_{j_{k}} \prod_{k=1}^{r}B_{i_{k}}(y-x), \end{aligned}$$
(2.22)

where \(P_{n}(x)\) is given by

$$ P_{n}(x)= \textstyle\begin{cases} B_{n}(x) & (2\mid s ), \\ -\frac{1}{2}G_{n}(x) & (2\nmid s ). \end{cases} $$

If we take \(r=s=1\) in Corollary 4, in light of (2.7), we get the following result.

Corollary 6

Let n be a non-negative integer. Then

$$\begin{aligned}& \sum_{k=0}^{n} \mathcal{B}_{k}(x;\lambda)\mathcal{G}_{n-k}(y;\mu) \\& \quad =-\frac{1}{2}\sum_{k=1}^{n} \frac{1}{k}\binom{n+1}{k-1} \bigl[\mathcal{G}_{k}(x; \lambda\mu)\mathcal{G}_{n-k}(y-x;\mu) \bigr] \\& \qquad {} +\sum_{k=1}^{n}\frac{1}{k} \binom{n+1}{k-1} \bigl(\mathcal{G}_{k}(y;\lambda\mu) \bigl[ \mathcal{B}_{n-k}(x-y;\lambda)+(n-k) (x-y)^{n-k-1} \bigr] \bigr). \end{aligned}$$
(2.23)

Since the classical Genocchi polynomials can be expressed in terms of the classical Bernoulli polynomials as follows:

$$ G_{n}(x)=2B_{n}(x)-2^{n+1}B_{n} \biggl(\frac{x}{2} \biggr)\quad (n\geqq0), $$
(2.24)

by setting \(\lambda=\mu=1\) and \(x=y\) in Corollary 6, and in light of the fact that (see, e.g., [7, 28])

$$ B_{0}=1,\qquad B_{1}=-\frac{1}{2}\quad \text{and} \quad G_{0}(x)=0, $$

we find for every positive integer \(n\geqq3\) that

$$\begin{aligned}& \sum_{k=1}^{n-1}B_{k}(x)G_{n-k}(x) -\sum_{k=1}^{n-2}\frac{1}{k} \binom {n+1}{k-1} \bigl[2^{n-k}G_{k}(x)B_{n-k} \bigr] \\& \quad =\frac{1}{2}(n-1)G_{n}(x), \end{aligned}$$
(2.25)

which was derived by Agoh [30] by applying some short and intelligible ideas. For some convolution formulas similar to (2.17) and (2.25), the interested reader may be referred to [3136].

Proofs of Theorems 1 and 2

In our proofs of Theorems 1 and 2, we need the following auxiliary result described in [37, 38].

Lemma 1

Let n be a positive integer with \(n\geqq2\) and let \(\Omega_{n}\) be the n-dimensional space (or the standard simplex in \(\mathbb{R}^{n}\)) defined by

$$ \Omega_{n}:=\bigl\{ (t_{1},\ldots,t_{n}): t_{k}\geqq0\ (k=1,\ldots,n) \textit{ and } t_{1}+ \cdots+t_{n}\leqq1\bigr\} . $$

Then the multivariable Beta function \(B(\alpha_{1},\ldots,\alpha_{n})\) is given by the following Dirichlet integral:

$$\begin{aligned} B(\alpha_{1},\ldots,\alpha_{n}) =& \frac{\Gamma(\alpha_{1})\cdots\Gamma(\alpha_{n})}{\Gamma(\alpha_{1}+\cdots+\alpha_{n})} \\ =& \int\cdots \int_{\Omega_{n-1}}t_{1}^{\alpha_{1}-1}\cdots t_{n-1}^{\alpha_{n-1}-1} \\ &{} \cdot(1-t_{1}-\cdots-t_{n-1})^{\alpha_{n}-1}\, dt_{1}\cdots \, dt_{n-1} \\ & \bigl(\min\bigl\{ \Re(\alpha_{1}),\ldots,\Re(\alpha_{n}) \bigr\} >0 \bigr). \end{aligned}$$
(3.1)

Proof of Theorem 1

We first recall the following elementary and beautiful idea:

$$\begin{aligned}& (1+x_{1}) (1+x_{2}) (1+x_{3}) \cdots \\& \quad =(1+x_{1})+x_{2}(1+x_{1})+x_{3}(1+x_{1}) (1+x_{2})+\cdots, \end{aligned}$$
(3.2)

which was used by Euler to give the proof of his famous pentagonal number theorem (see, e.g., [39, 40]). Obviously, the finite form of (3.2) can be expressed as follows:

$$\begin{aligned}& (1+x_{1})\cdots(1+x_{n}) \\& \quad =(1+x_{1})+x_{2}(1+x_{1})+ \cdots+x_{n}(1+x_{1})\cdots(1+x_{n-1}). \end{aligned}$$
(3.3)

For \(1\leqq k\leqq n\), if we write \(x_{k}-1\) for \(x_{k}\) in (3.3), we get

$$ x_{1}\cdots x_{n}-1=\sum _{k=1}^{n}(x_{k}-1)x_{1}\cdots x_{k-1}, $$
(3.4)

where the product \(x_{1}\cdots x_{k-1}\) is assumed to be equal to 1 when \(k=1\). Let \(\varepsilon_{k}\) be a piecewise function of k given by

$$ \varepsilon_{k}= \textstyle\begin{cases} \lambda_{k} & (1\leqq k \leqq r), \\ -\mu_{k-r} & (r+1\leqq k\leqq r+s).\end{cases} $$
(3.5)

By replacing n by \(r+s\) and taking \(x_{k}=\varepsilon_{k}e^{t_{k}}\) in (3.4), we find that

$$\begin{aligned}& (-1)^{s}\lambda e^{t_{1}+\cdots+t_{r+s}}-1 \\& \quad =\sum_{k=1}^{r}\bigl( \varepsilon_{k}e^{t_{k}}-1\bigr) \prod _{i=1}^{k-1}\varepsilon_{i}e^{t_{i}}+ \sum_{k=1}^{s}\bigl(\varepsilon_{r+k}e^{t_{r+k}}-1 \bigr) \prod_{i=1}^{r+k-1}\varepsilon_{i}e^{t_{i}}, \end{aligned}$$
(3.6)

which, together with (3.5), yields

$$\begin{aligned}& (-1)^{s}\lambda e^{t_{1}+\cdots+t_{r+s}}-1 \\& \quad =\sum_{a=1}^{r}\bigl( \lambda_{a}e^{t_{a}}-1\bigr)\prod_{i=1}^{a-1} \lambda_{i}e^{t_{i}} +\sum_{b=1}^{s}(-1)^{b} \bigl(\mu_{b}e^{t_{r+b}}+1\bigr)\prod _{i=1}^{b-1} \mu_{i}e^{t_{r+i}}\prod _{i=1}^{r}\lambda_{i}e^{t_{i}}. \end{aligned}$$
(3.7)

It follows from (3.7) that

$$\begin{aligned}& \prod_{k=1}^{r} \frac{t_{k}e^{x_{k}t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=1}^{s} \frac{2e^{y_{k}t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \\& \quad =\frac{1}{(-1)^{s}\lambda e^{t_{1}+\cdots+t_{r+s}}-1} \Biggl( \sum_{a=1}^{r} \bigl(\lambda_{a}e^{t_{a}}-1\bigr)\prod _{i=1}^{a-1}\lambda_{i}e^{t_{i}} \\& \qquad {}\cdot\prod_{k=1}^{r} \frac{t_{k}e^{x_{k}t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=1}^{s} \frac{2e^{y_{k}t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \\& \qquad {}+\sum_{b=1}^{s}(-1)^{b} \bigl(\mu_{b}e^{t_{r+b}}+1\bigr) \prod _{i=1}^{b-1}\mu_{i}e^{t_{r+i}} \\& \qquad {}\cdot\prod_{k=1}^{r} \lambda_{k}\frac{t_{k}e^{(x_{k}+1)t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=1}^{s} \frac{2e^{y_{k}t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \Biggr). \end{aligned}$$
(3.8)

We now observe that

$$\begin{aligned}& \bigl(\lambda_{a}e^{t_{a}}-1\bigr)\prod _{i=1}^{a-1}\lambda_{i}e^{t_{i}} \prod_{k=1}^{r}\frac{t_{k}e^{x_{k}t_{k}}}{\lambda_{k}e^{t_{k}}-1} \\& \quad =t_{a}e^{x_{a}(t_{1}+\cdots+t_{r})}\prod_{k=1}^{a-1} \lambda_{k} \frac{t_{k}e^{(x_{k}-x_{a}+1)t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=a+1}^{r} \frac{t_{k}e^{(x_{k}-x_{a})t_{k}}}{\lambda_{k}e^{t_{k}}-1} \end{aligned}$$
(3.9)

and

$$\begin{aligned}& \bigl(\mu_{b}e^{t_{r+b}}+1\bigr)\prod _{i=1}^{b-1}\mu_{i}e^{t_{r+i}} \prod _{k=1}^{s}\frac{2e^{y_{k}t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \\& \quad =2e^{y_{b}(t_{r+1}+\cdots+t_{r+s})}\prod_{k=1}^{b-1} \mu_{k} \frac{2e^{(y_{k}-y_{b}+1)t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \prod_{k=b+1}^{s} \frac{2e^{(y_{k}-y_{b})t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1}. \end{aligned}$$
(3.10)

Thus, by applying (3.9) and (3.10) to (3.8), we obtain

$$\begin{aligned}& \prod_{k=1}^{r} \frac{t_{k}e^{x_{k}t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=1}^{s} \frac{2e^{y_{k}t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \\& \quad =\sum_{a=1}^{r}\frac{t_{a}e^{x_{a}(t_{1}+\cdots+t_{r+s})}}{(-1)^{s}\lambda e^{t_{1}+\cdots+t_{r+s}}-1} \prod_{k=1}^{a-1}\lambda_{k} \frac{t_{k}e^{(x_{k}-x_{a}+1)t_{k}}}{\lambda_{k}e^{t_{k}}-1} \\& \qquad {}\cdot\prod_{k=a+1}^{r} \frac{t_{k}e^{(x_{k}-x_{a})t_{k}}}{\lambda_{k}e^{t_{k}}-1} \prod_{k=1}^{s} \frac{2e^{(y_{k}-x_{a})t_{r+k}}}{\mu_{k} e^{t_{r+k}}+1} \\& \qquad {}+\sum_{b=1}^{s}(-1)^{b} \frac{2e^{y_{b} (t_{1}+\cdots+t_{r+s})}}{(-1)^{s}\lambda e^{t_{1} +\cdots+t_{r+s}}-1}\prod_{k=1}^{b-1} \mu_{k} \frac{2e^{(y_{k}-y_{b}+1)t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \\& \qquad {}\cdot\prod_{k=b+1}^{s} \frac{2e^{(y_{k}-y_{b})t_{r+k}}}{\mu_{k}e^{t_{r+k}}+1} \prod_{k=1}^{r}\lambda _{k}\frac{t_{k} e^{(x_{k}-y_{b}+1)t_{k}}}{\lambda_{k}e^{t_{k}}-1}. \end{aligned}$$
(3.11)

For convenience, let

$$ \biggl[\frac{t^{n}}{n!} \biggr]f(t) $$

denote the coefficient of \(\frac{t^{n}}{n!}\) in the power-series expansion of \(f(t)\). For \(1\leqq k\leqq r+s\), if we substitute \(u_{k}t\) for \(t_{k}\) with

$$ u_{1}+\cdots+u_{r+s}=1 $$

into both sides of (3.11), we find that

$$\begin{aligned}& \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\prod _{k=1}^{r} \frac{u_{k}te^{x_{k}u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \prod _{k=1}^{s}\frac{2e^{y_{k}u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \quad = \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\sum _{a=1}^{r} \frac{u_{a}te^{x_{a}t}}{(-1)^{s} \lambda e^{t}-1}\prod _{k=1}^{a-1}\lambda_{k} \frac{u_{k}te^{(x_{k}-x_{a}+1)u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \\& \qquad {}\cdot\prod_{k=a+1}^{r} \frac{u_{k}te^{(x_{k}-x_{a})u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \prod_{k=1}^{s} \frac{2e^{(y_{k}-x_{a})u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \qquad {}+ \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\sum _{b=1}^{s}(-1)^{b}\frac{2e^{y_{b}t}}{(-1)^{s}\lambda e^{t}-1}\prod_{k=1}^{b-1} \mu_{k} \frac{2e^{(y_{k}-y_{b}+1)u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \\& \qquad {}\cdot\prod_{k=b+1}^{s} \frac{2e^{(y_{k}-y_{b})u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \prod_{k=1}^{r} \lambda_{k}\frac{u_{k}t e^{(x_{k}-y_{b}+1)u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \Biggr) =:\mathrm{M}_{1}+\mathrm{M}_{2}. \end{aligned}$$
(3.12)

The left-hand side of (3.12) can easily be rewritten as follows:

$$\begin{aligned}& \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\prod _{k=1}^{r} \frac{u_{k}te^{x_{k}u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \prod _{k=1}^{s}\frac{2e^{y_{k}u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \quad =n!\cdot\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y_{k}; \mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!}. \end{aligned}$$
(3.13)

Moreover, \(\mathrm{M}_{1}\) and \(\mathrm{M}_{2}\) on the right-hand side of (3.12) can be rewritten as follows:

$$\begin{aligned} \mathrm{M}_{1} =&n!\cdot\sum _{I_{r}+J_{s}=n+\epsilon}\sum_{a=1}^{r} \mathcal{F}_{i_{a}}(x_{a};\lambda)\frac{u_{a}}{i_{a}!} \prod_{k=1}^{a-1}\lambda_{k} \mathcal{B}_{i_{k}} (x_{k}-x_{a}+1; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \\ &{} \cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a}; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \prod _{k=1}^{s}\mathcal {E}_{j_{k}}(y_{k}-x_{a};\mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \end{aligned}$$
(3.14)

and

$$\begin{aligned} \mathrm{M}_{2} =&2\cdot n!\cdot\sum _{I_{r}+J_{s}=n+1+\epsilon}\sum_{b=1}^{s}(-1)^{b} \mathcal{F} _{j_{b}}(y_{b};\lambda)\frac{u_{r+b}^{0}}{j_{b}!} \\ &{} \cdot\prod_{k=1}^{b-1} \mu_{k}\mathcal{E}_{j_{k}}(y_{k}-y_{b}+1;\mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \prod_{k=b+1}^{s} \mathcal{E}_{j_{k}}(y_{k}-y_{b}; \mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \\ &{} \cdot\prod_{k=1}^{r} \lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-y_{b}+1;\lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!}, \end{aligned}$$
(3.15)

where

$$ \epsilon= \textstyle\begin{cases} 0 & (s=2,4,6,\ldots), \\ -1 & (s=1,3,5,\ldots), \end{cases} $$

and \(\mathcal{F}_{n}(x;\lambda)\) is determined by

$$ \mathcal{F}_{n}(x;\lambda)= \textstyle\begin{cases} \mathcal{B}_{n}(x;\lambda) & (2\mid s ) , \\ -\frac{1}{2}\mathcal{E}_{n}(x;\lambda) & (2\nmid s ).\end{cases} $$
(3.16)

It follows from (3.12) to (3.15) that

$$\begin{aligned}& \sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda _{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \prod _{k=1}^{s}\mathcal{E}_{j_{k}}(y_{k};\mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \quad =\sum_{I_{r}+J_{s}=n+\epsilon}\sum_{a=1}^{r} \mathcal{F}_{i_{a}}(x_{a};\lambda)\frac{u_{a}}{i_{a}!} \prod_{k=1}^{a-1}\lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-x_{a}+1; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \\& \qquad {}\cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a}; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \prod_{k=1}^{s}\mathcal{E}_{j_{k}}(y_{k}-x_{a};\mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \qquad {}+2\sum_{I_{r}+J_{s}=n+1+\epsilon}\sum _{b=1}^{s}(-1)^{b} \mathcal{F}_{j_{b}}(y_{b}; \lambda)\frac{u_{r+b}^{0}}{j_{b}!} \\& \qquad {}\cdot\prod_{k=1}^{b-1} \mu_{k}\mathcal{E}_{j_{k}}(y_{k}-y_{b}+1; \mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \prod_{k=b+1}^{s} \mathcal{E}_{j_{k}}(y_{k}-y_{b}; \mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \qquad {}\cdot\prod_{k=1}^{r} \lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-y_{b}+1; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!}. \end{aligned}$$
(3.17)

We note that, for complex numbers \(\alpha_{1},\ldots,\alpha_{r+s}\) with

$$ \min\bigl\{ \Re(\alpha_{1}),\ldots,\Re(\alpha_{r+s})\bigr\} >-1, $$

if we use Lemma 1, we find for

$$ u_{1}+\cdots+u_{r+s}=1 $$

that

$$\begin{aligned}& \int\cdots \int_{\Omega_{r+s-1}}u_{1}^{\alpha_{1}} \cdots u_{r+s}^{\alpha_{r+s}}\, du_{1}\cdots\, du_{r+s-1} \\& \quad =\frac{\Gamma(\alpha_{1}+1)\cdots\Gamma(\alpha_{r+s}+1)}{\Gamma(\alpha_{1}+\cdots+\alpha_{r+s}+r+s)}. \end{aligned}$$
(3.18)

Consequently, by the following operation:

$$ \int\cdots \int_{\Omega_{r+s-1}}(\cdots)\, du_{1}\cdots\, du_{r+s-1} $$

applied to both sides of (3.17), and with the help of (3.18), we get

$$\begin{aligned}& \frac{1}{(n+r+s-1)!}\sum_{I_{r}+J_{s}=n} \prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda_{k}) \prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y_{k};\mu_{k}) \\& \quad =\sum_{I_{r}+J_{s}=n+\epsilon}\sum_{a=1}^{r} \frac{\mathcal{F}_{i_{a}}(x_{a};\lambda)}{i_{a}! \cdot(n+\epsilon-i_{a}+r+s)!} \prod_{k=1}^{a-1} \lambda_{k}\mathcal{B}_{i_{k}} (x_{k}-x_{a}+1; \lambda_{k}) \\& \qquad {}\cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a};\lambda_{k}) \prod_{k=1}^{s} \mathcal{E}_{j_{k}}(y_{k}-x_{a};\mu_{k}) \\& \qquad {}+2\sum_{I_{r}+J_{s}=n+1+\epsilon}\sum _{b=1}^{s}(-1)^{b} \frac{\mathcal{F}_{j_{b}}(y_{b};\lambda)}{j_{b}!\cdot(n+\epsilon-j_{b}+r+s)!} \\& \qquad {}\cdot\prod_{k=1}^{b-1} \mu_{k} \mathcal{E}_{j_{k}}(y_{k}-y_{b}+1; \mu_{k}) \\& \qquad {}\cdot\prod_{k=b+1}^{s} \mathcal{E}_{j_{k}}(y_{k}-y_{b};\mu_{k}) \prod_{k=1}^{r} \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-y_{b}+1;\lambda_{k}), \end{aligned}$$
(3.19)

which, together with (3.16), yields the desired results (2.5) and (2.6). This completes the proof of Theorem 1. □

Proof of Theorem 2

Let \(u_{1},\ldots,u_{r+s}\) be \(r+s\) variables with

$$ u_{1}+\cdots+u_{r+s}=1. $$

For \(1\leqq k\leqq s\), if we substitute \(2u_{r+k}te^{y_{k}u_{r+k}t}\) for \(2e^{y_{k}u_{r+k}t}\) in both sides of (3.12), we find that

$$\begin{aligned}& \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\prod_{k=1}^{r} \frac{u_{k}te^{x_{k}u_{k}t}}{\lambda_{k}e^{u_{k}t}-1}\prod_{k=1}^{s} \frac{2u_{r+k}te^{y_{k}u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \quad = \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\sum _{a=1}^{r}\frac {u_{a}te^{x_{a}t}}{(-1)^{s}\lambda e^{t}-1}\prod _{k=1}^{a-1}\lambda_{k}\frac{u_{k}te^{(x_{k}-x_{a}+1)u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \\& \qquad {}\cdot\prod_{k=a+1}^{r} \frac{u_{k}te^{(x_{k}-x_{a})u_{k}t}}{\lambda _{k}e^{u_{k}t}-1}\prod_{k=1}^{s} \frac {2u_{r+k}te^{(y_{k}-x_{a})u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \qquad {}+ \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\sum _{b=1}^{s}(-1)^{b}\frac{2u_{r+b}te^{y_{b}t}}{(-1)^{s}\lambda e^{t}-1}\prod _{k=1}^{b-1}\mu _{k} \frac{2u_{r+k}te^{(y_{k}-y_{b}+1)u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \\& \qquad {}\cdot\prod_{k=b+1}^{s} \frac{2u_{r+k}te^{(y_{k}-y_{b})u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1}\prod_{k=1}^{r} \lambda_{k}\frac{u_{k}te^{(x_{k}-y_{b}+1)u_{k}t}}{\lambda_{k}e^{u_{k}t}-1} \Biggr) = \mathrm{N}_{1}+\mathrm{N}_{2}, \end{aligned}$$
(3.20)

say. It is trivial to obtain

$$\begin{aligned}& \biggl[\frac{t^{n}}{n!} \biggr] \Biggl(\prod_{k=1}^{r} \frac{u_{k}te^{x_{k}u_{k}t}}{\lambda_{k}e^{u_{k}t}-1}\prod_{k=1}^{s} \frac{2u_{r+k}te^{y_{k}u_{r+k}t}}{\mu_{k}e^{u_{r+k}t}+1} \Biggr) \\& \quad = n!\cdot\sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!}\prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k};\mu_{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!}, \end{aligned}$$
(3.21)

and \(\mathrm{N}_{1}\) and \(\mathrm{N}_{2}\) in the right-hand side of (3.20) can be rewritten as

$$\begin{aligned} \mathrm{N}_{1} =&n!\cdot\sum _{I_{r}+J_{s}=n}\sum_{a=1}^{r} \mathcal{P}_{i_{a}}(x_{a};\lambda)\frac{u_{a}}{i_{a}!} \prod_{k=1}^{a-1}\lambda _{k}\mathcal{B}_{i_{k}}(x_{k}-x_{a}+1; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \\ &{}\cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a};\lambda _{k})\frac{u_{k}^{i_{k}}}{i_{k}!}\prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k}-x_{a};\mu _{k}) \frac{u_{r+k}^{j_{k}}}{j_{k}!} \end{aligned}$$
(3.22)

and

$$\begin{aligned} \mathrm{N}_{2} =&2\cdot n!\cdot\sum _{I_{r}+J_{s}=n}\sum_{b=1}^{s}(-1)^{b}\mathcal{P}_{j_{b}}(y_{b};\lambda)\frac{u_{r+b}}{j_{b}!} \\ &{}\cdot\prod_{k=1}^{b-1}\mu_{k} \mathcal{G}_{j_{k}}(y_{k}-y_{b}+1;\mu _{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!}\prod_{k=b+1}^{s} \mathcal{G}_{j_{k}}(y_{k}-y_{b}; \mu_{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!} \\ &{}\cdot\prod_{k=1}^{r} \lambda_{k}\mathcal {B}_{i_{k}}(x_{k}-y_{b}+1; \lambda _{k})\frac{u_{k}^{i_{k}}}{i_{k}!}. \end{aligned}$$
(3.23)

It follows from (3.20)-(3.23) that

$$\begin{aligned}& \sum_{I_{r}+J_{s}=n}\prod_{k=1}^{r} \mathcal{B}_{i_{k}}(x_{k};\lambda _{k})\frac{u_{k}^{i_{k}}}{i_{k}!}\prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k};\mu _{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \quad = \sum_{I_{r}+J_{s}=n}\sum_{a=1}^{r} \mathcal{P}_{i_{a}}(x_{a};\lambda) \frac{u_{a}}{i_{a}!}\prod _{k=1}^{a-1}\lambda_{k} \mathcal{B}_{i_{k}}(x_{k}-x_{a}+1; \lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!} \\& \qquad {}\cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a};\lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!}\prod_{k=1}^{s}\mathcal {G}_{j_{k}}(y_{k}-x_{a};\mu_{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \qquad {}+2\sum_{I_{r}+J_{s}=n}\sum _{b=1}^{s}(-1)^{b}\mathcal{P}_{j_{b}}(y_{b}; \lambda)\frac{u_{r+b}}{j_{b}!} \\& \qquad {}\cdot\prod_{k=1}^{b-1} \mu_{k}\mathcal{G}_{j_{k}}(y_{k}-y_{b}+1;\mu_{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!}\prod_{k=b+1}^{s} \mathcal{G}_{j_{k}}(y_{k}-y_{b}; \mu_{k})\frac{u_{r+k}^{j_{k}}}{j_{k}!} \\& \qquad {}\cdot\prod_{k=1}^{r} \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-y_{b}+1;\lambda_{k})\frac{u_{k}^{i_{k}}}{i_{k}!}. \end{aligned}$$
(3.24)

By making the operation \(\int\cdots\int_{\Omega_{r+s-1}}\cdot\, \, du_{1}\cdots\, du_{r+s-1}\) in both sides of (3.24), with the help of (3.18), we get

$$\begin{aligned}& \frac{1}{(n+r+s-1)!}\sum_{I_{r}+J_{s}=n}\prod _{k=1}^{r}\mathcal{B}_{i_{k}}(x_{k}; \lambda_{k})\prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k};\mu _{k}) \\& \quad = \sum_{I_{r}+J_{s}=n}\sum_{a=1}^{r} \frac{\mathcal {P}_{i_{a}}(x_{a};\lambda )}{i_{a}!\cdot(n-i_{a}+r+s)!}\prod_{k=1}^{a-1} \lambda_{k}\mathcal{B}_{i_{k}}(x_{k}-x_{a}+1; \lambda_{k}) \\& \qquad {}\cdot\prod_{k=a+1}^{r} \mathcal{B}_{i_{k}}(x_{k}-x_{a};\lambda _{k})\prod_{k=1}^{s} \mathcal{G}_{j_{k}}(y_{k}-x_{a};\mu_{k}) \\& \qquad {}+2\sum_{I_{r}+J_{s}=n}\sum _{b=1}^{s}(-1)^{b}\frac{\mathcal{P}_{j_{b}}(y_{b};\lambda)}{j_{b}!\cdot(n-j_{b}+r+s)!} \\& \qquad {}\cdot\prod _{k=1}^{b-1}\mu _{k} \mathcal{G}_{j_{k}}(y_{k}-y_{b}+1;\mu_{k}) \\& \qquad {}\cdot\prod_{k=b+1}^{s} \mathcal{G}_{j_{k}}(y_{k}-y_{b};\mu _{k}) \prod_{k=1}^{r}\lambda_{k}\mathcal {B}_{i_{k}}(x_{k}-y_{b}+1;\lambda _{k}), \end{aligned}$$
(3.25)

as desired. This concludes the proof of Theorem 2. □

References

  1. 1.

    Agoh, T, Dilcher, K: Convolution identities and lacunary recurrences for Bernoulli numbers. J. Number Theory 124, 105-122 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  2. 2.

    Araci, S: Novel identities involving Genocchi numbers and polynomials arising from applications of umbral calculus. Appl. Math. Comput. 233, 599-607 (2014)

    MathSciNet  MATH  Google Scholar 

  3. 3.

    Cohen, H: Number Theory - Volume II: Analytic and Modern Tools. Graduate Texts in Mathematics, vol. 240. Springer, Berlin (2007)

    MATH  Google Scholar 

  4. 4.

    Nielsen, N: Traité élémentaire des nombres de Bernoulli. Gauthier-Villars, Paris (1923)

    MATH  Google Scholar 

  5. 5.

    Srivastava, HM, Choi, J: Zeta and q-Zeta Functions and Associated Series and Integrals. Elsevier, Amsterdam (2012)

    MATH  Google Scholar 

  6. 6.

    Srivastava, HM, Pintér, Á: Remarks on some relationships between the Bernoulli and Euler polynomials. Appl. Math. Lett. 17, 375-380 (2004)

    MathSciNet  Article  MATH  Google Scholar 

  7. 7.

    Luo, Q-M: Extension for the Genocchi polynomials and its Fourier expansions and integral representations. Osaka J. Math. 48, 291-309 (2011)

    MathSciNet  MATH  Google Scholar 

  8. 8.

    Luo, Q-M, Srivastava, HM: Some generalizations of the Apostol-Bernoulli and Apostol-Euler polynomials. J. Math. Anal. Appl. 308, 290-302 (2005)

    MathSciNet  Article  MATH  Google Scholar 

  9. 9.

    Luo, Q-M, Srivastava, HM: Some relationships between the Apostol-Bernoulli and Apostol-Euler polynomials. Comput. Math. Appl. 51, 631-642 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  10. 10.

    Apostol, TM: On the Lerch zeta function. Pac. J. Math. 1, 161-167 (1951)

    MathSciNet  Article  MATH  Google Scholar 

  11. 11.

    Srivastava, HM: Some formulas for the Bernoulli and Euler polynomials at rational arguments. Math. Proc. Camb. Philos. Soc. 129, 77-84 (2000)

    MathSciNet  Article  MATH  Google Scholar 

  12. 12.

    Lu, D-Q, Srivastava, HM: Some series identities involving the generalized Apostol type and related polynomials. Comput. Math. Appl. 62, 3591-3602 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  13. 13.

    Luo, Q-M: Fourier expansions and integral representations for the Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 78, 2193-2208 (2009)

    MathSciNet  Article  MATH  Google Scholar 

  14. 14.

    Luo, Q-M, Srivastava, HM: Some generalizations of the Apostol-Genocchi polynomials and the Stirling numbers of the second kind. Appl. Math. Comput. 217, 5702-5728 (2011)

    MathSciNet  MATH  Google Scholar 

  15. 15.

    Navas, LM, Ruiz, FJ, Varona, JL: Asymptotic estimates for Apostol-Bernoulli and Apostol-Euler polynomials. Math. Comput. 81, 1707-1722 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  16. 16.

    Prévost, M: Padé approximation and Apostol-Bernoulli and Apostol-Euler polynomials. J. Comput. Appl. Math. 233, 3005-3017 (2010)

    MathSciNet  Article  MATH  Google Scholar 

  17. 17.

    Srivastava, HM: Some generalizations and basic (or q-) extensions of the Bernoulli, Euler and Genocchi polynomials. Appl. Math. Inf. Sci. 5, 390-444 (2011)

    MathSciNet  Google Scholar 

  18. 18.

    Dilcher, K: Sums of products of Bernoulli numbers. J. Number Theory 60, 23-41 (1996)

    MathSciNet  Article  MATH  Google Scholar 

  19. 19.

    Chen, K-W: Sums of products of generalized Bernoulli polynomials. Pac. J. Math. 208, 39-52 (2003)

    MathSciNet  Article  MATH  Google Scholar 

  20. 20.

    He, Y, Araci, S: Sums of products of Apostol-Bernoulli and Apostol-Euler polynomials. Adv. Differ. Equ. 2014, Article ID 155 (2014)

    MathSciNet  Article  MATH  Google Scholar 

  21. 21.

    Huang, I-C, Huang, S-Y: Bernoulli numbers and polynomials via residues. J. Number Theory 76, 178-193 (1999)

    MathSciNet  Article  MATH  Google Scholar 

  22. 22.

    Kim, M-S, Hu, S: Sums of products of Apostol-Bernoulli numbers. Ramanujan J. 28, 113-123 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  23. 23.

    Kim, T: Sums of products of q-Bernoulli numbers. Arch. Math. 76, 190-195 (2001)

    MathSciNet  Article  MATH  Google Scholar 

  24. 24.

    Kim, T, Adiga, C: Sums of products of generalized Bernoulli numbers. Int. Math. J. 5, 1-7 (2004)

    MathSciNet  MATH  Google Scholar 

  25. 25.

    Simsek, Y, Kurt, V, Kim, D: New approach to the complete sum of products of the twisted \((h,q)\)-Bernoulli numbers and polynomials. J. Nonlinear Math. Phys. 14, 44-56 (2007)

    MathSciNet  Article  MATH  Google Scholar 

  26. 26.

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

    MathSciNet  Article  MATH  Google Scholar 

  27. 27.

    Kim, DS, Kim, T, Mansour, T: Euler basis and the product of several Bernoulli and Euler polynomials. Adv. Stud. Contemp. Math. 24, 535-547 (2014)

    MATH  Google Scholar 

  28. 28.

    Abramowitz, M, Stegun, IA (eds.): Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables. Applied Mathematics Series, vol. 55. National Bureau of Standards, Washington (1964). Reprinted by Dover, New York, 1965

    MATH  Google Scholar 

  29. 29.

    Pan, H, Sun, Z-W: New identities involving Bernoulli and Euler polynomials. J. Comb. Theory, Ser. A 113, 156-175 (2006)

    MathSciNet  Article  MATH  Google Scholar 

  30. 30.

    Agoh, T: Convolution identities for Bernoulli and Genocchi polynomials. Electron. J. Comb. 21, Article ID P1.65 (2014)

    MathSciNet  MATH  Google Scholar 

  31. 31.

    Dunne, GV, Schubert, C: Bernoulli number identities from quantum field theory and topological string theory. Commun. Number Theory Phys. 7, 225-249 (2013)

    MathSciNet  Article  MATH  Google Scholar 

  32. 32.

    Faber, C, Pandharipande, R: Hodge integrals and Gromov-Witten theory. Invent. Math. 139, 173-199 (2000)

    MathSciNet  Article  MATH  Google Scholar 

  33. 33.

    He, Y, Zhang, WP: Some sum relations involving Bernoulli and Euler polynomials. Integral Transforms Spec. Funct. 22, 207-215 (2011)

    MathSciNet  Article  MATH  Google Scholar 

  34. 34.

    He, Y, Araci, S, Srivastava, HM, Acikgoz, M: Some new identities for the Apostol-Bernoulli polynomials and the Apostol-Genocchi polynomials. Appl. Math. Comput. 262, 31-41 (2015)

    MathSciNet  Google Scholar 

  35. 35.

    Kim, DS, Kim, T, Lee, S-H, Kim, Y-H: Some identities for the product of two Bernoulli and Euler polynomials. Adv. Differ. Equ. 2012, Article ID 95 (2012)

    MathSciNet  Article  MATH  Google Scholar 

  36. 36.

    Kim, DS, Kim, T: Identities arising from higher-order Daehee polynomial bases. Open Math. 13, 196-208 (2015)

    MathSciNet  MATH  Google Scholar 

  37. 37.

    Carlson, BC: Special Functions of Applied Mathematics. Academic Press, New York (1977)

    MATH  Google Scholar 

  38. 38.

    Srivastava, HM, Niukkanen, AW: Some Clebsch-Gordan type linearization relations and associated families of Dirichlet integrals. Math. Comput. Model. 37, 245-250 (2003)

    MathSciNet  Article  MATH  Google Scholar 

  39. 39.

    Andrews, GE: Euler’s pentagonal number theorem. Math. Mag. 56, 279-284 (1983)

    MathSciNet  Article  MATH  Google Scholar 

  40. 40.

    Bell, J: A summary of Euler’s work on the pentagonal number theorem. Arch. Hist. Exact Sci. 64, 301-373 (2010)

    MathSciNet  Article  MATH  Google Scholar 

Download references

Acknowledgements

We express our sincere thanks to the anonymous referees for their comments on this manuscript. This work was supported by the Foundation for Fostering Talents in Kunming University of Science and Technology (Grant No. KKSY201307047) and the National Natural Science Foundation of the People’s Republic of China (Grant No. 11326050).

Author information

Affiliations

Authors

Corresponding author

Correspondence to Serkan Araci.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors participated in drafting, revising, and commenting on the manuscript. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

He, Y., Araci, S. & Srivastava, H. Some new formulas for the products of the Apostol type polynomials. Adv Differ Equ 2016, 287 (2016). https://doi.org/10.1186/s13662-016-1014-0

Download citation

MSC

  • 11B68
  • 05A19

Keywords

  • Apostol-Bernoulli polynomials
  • Apostol-Euler polynomials
  • Apostol-Genocchi polynomials
  • summation formulas
  • recurrence relations