Some Identities on the Poly-Genocchi Polynomials and Numbers

Abstract

Recently, Kim-Kim (2019) introduced polyexponential and unipoly functions. By using these functions, they defined type 2 poly-Bernoulli and type 2 unipoly-Bernoulli polynomials and obtained some interesting properties of them. Motivated by the latter, in this paper, we construct the poly-Genocchi polynomials and derive various properties of them. Furthermore, we define unipoly Genocchi polynomials attached to an arithmetic function and investigate some identities of them.

1. Introduction

The study of the generalized versions of Bernoulli and Euler polynomials and numbers was carried out in [1,2]. In recent years, various special polynomials and numbers regained the interest of mathematicians and quite a few results have been discovered. They include the Stirling numbers of the first and the second kind, central factorial numbers of the second kind, Bernoulli numbers of the second kind, Bernstein polynomials, Bell numbers and polynomials, central Bell numbers and polynomials, degenerate complete Bell polynomials and numbers, Cauchy numbers, and others (see [3,4,5,6,7,8] and the references therein). We mention that the study of a generalized version of the special polynomials and numbers can be done also for the transcendental functions like hypergeometric ones. For this, we let the reader refer to the papers [3,5,6,8,9]. The poly-Bernoulli numbers are defined by means of the polylogarithm functions and represent the usual Bernoulli numbers (more precisely, the values of Bernoulli polynomials at 1) when $k=1$. At the same time, the degenerate poly-Bernoulli polynomials are defined by using the polyexponential functions (see [8]) and they are reduced to the degenerate Bernoulli polynomials if $k=1$. The polyexponential functions were first studied by Hardy [10] and reconsidered by Kim [6,9,11,12] in view of an inverse to the polylogarithm functions which were studied by Zagier [13], Lewin [14], and Jaonqui$\stackrel{`}{e}$re [15]. In 1997, Kaneko [16] introduced poly-Bernoulli numbers which are defined by the polylogaritm function.

Recently, Kim-Kim introduced polyexponential and unipoly functions [9]. By using these functions, they defined type 2 poly-Bernoulli and type 2 unipoly-Bernoulli polynomials and obtained several interesting properties of them.

In this paper, we consider poly-Genocchi polynomials which are derived from polyexponential functions. Similarly motivated, in the final section, we define unipoly Genocchi polynomials attached to an arithmetic function and investigate some identities for them. In addition, we give explicit expressions and identities involving those polynomials.

It is well known, the Bernoulli polynomials of order $\alpha$ are defined by their generating function as follows (see [1,2,3,17,18]):

$${\left(\frac{t}{e^t-1}\right)}^{\alpha }{e}^{xt}=\sum _{n=0}^{\infty }{B}_n^{\left(\alpha \right)}\left(x\right)\frac{t^n}{n!},.$$

(1)

We note that for $\alpha =1$, $B_n\left(x\right)=B_n^{\left(1\right)}\left(x\right)$ are the ordinary Bernoulli polynomials. When $x=0$, $B_n^{\alpha }=B_n^{\alpha }\left(0\right)$ are called the Bernoulli numbers of order $\alpha$. The Genocchi polynomials $G_n\left(x\right)$ are defined by (see [19,20,21,22,23,24]).

$$\frac{2t}{e^t+1}{e}^{xt}=\sum _{n=0}^{\infty }{G}_n\left(x\right)\frac{t^n}{n!},$$

(2)

When $x=0$, $G_n=G_n\left(0\right)$ are called the Genocchi numbers.

As is well-known, the Euler polynomials are defined by the generating function to be (see [1,4]).

$$\frac{2}{e^t+1}{e}^{xt}=\sum _{n=0}^{\infty }{E}_n\left(x\right)\frac{t^n}{n!},$$

(3)

For $n\ge 0$, the Stirling numbers of the first kind are defined by (see [5,7,25]),

$${\left(x\right)}_n=\sum _{l=0}^n{S}_1(n,l)x^l,$$

(4)

where ${\left(x\right)}_0=1,{\left(x\right)}_n=x(x-1)\cdots (x-n+1)$, $(n\ge 1)$. From (4), it is easy to see that

$$\frac{1}{k!}{(log(1+t))}^k=\sum _{n=k}^{\infty }{S}_1(n,k)\frac{t^n}{n!}.$$

(5)

In the inverse expression to (4), for $n\ge 0$, the Stirling numbers of the second kind are defined by

$$x^n=\sum _{l=0}^n{S}_2(n,l){\left(x\right)}_l.$$

(6)

From (6), it is easy to see that

$$\frac{1}{k!}{(e^t-1)}^k=\sum _{n=k}^{\infty }{S}_2(n,k)\frac{t^n}{n!}.$$

(7)

2. The Poly-Genocchi Polynomials

For $k\in \mathbb{Z}$, by (2) and (14), we define the poly-Genocchi polynomials which are given by

$$\frac{2e_k(log(1+t))}{e^t+1}{e}^{xt}=\sum _{n=0}^{\infty }{G}_n^{\left(k\right)}\left(x\right)\frac{t^n}{n!}.$$

(8)

When $x=0$, $G_n^{\left(k\right)}=G_n^{\left(k\right)}\left(0\right)$ are called the poly-Genocchi numbers. From (8), we see that

$$G_n^{\left(1\right)}\left(x\right)=G_n\left(x\right),(n\in \mathbb{N}\cup \left\{0\right\})$$

(9)

are the ordinary Genocchi polynomials. From (2), (4) and (8), we observe that

$$\begin{array}{cc}\hfill & \sum _{n=0}^{\infty }{G}_n^{\left(k\right)}\frac{t^n}{n!}\hfill \\ \hfill & =\frac{2e_k(log(1+t))}{e^t+1}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=1}^{\infty }\frac{{(log(1+t))}^m}{(m-1)!m^k}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=0}^{\infty }\frac{{(log(1+t))}^{m+1}}{m!{(m+1)}^k}\hfill \\ \hfill & =\frac{2}{e^t-1}\sum _{m=0}^{\infty }\frac{1}{{(m+1)}^{k-1}}\sum _{l=m+1}^{\infty }{S}_1(l,m+1)\frac{t^l}{l!}\hfill \\ \hfill & =\frac{2t}{e^t+1}\sum _{m=0}^{\infty }\frac{1}{{(m+1)}^{k-1}}\sum _{l=m}^{\infty }\frac{S_1(l+1,m+1)}{l+1}\frac{t^l}{l!}\hfill \\ \hfill & =\left(\sum _{j=0}^{\infty }{G}_j\frac{t^j}{j!}\right)\sum _{l=0}^{\infty }\left(\sum _{m=0}^l\frac{1}{{(m+1)}^{k-1}}\frac{S_1(l+1,m+1)}{l+1}\right)\frac{t^l}{l!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{1}{{(m+1)}^{k-1}}\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}\right)\frac{t^n}{n!}.\hfill \end{array}$$

(10)

Therefore, by (10), we obtain the following theorem.

Theorem 1.

For $k\in \mathbb{Z}$ and $n\in \mathbb{N}\cup \left\{0\right\}$, we have

$$\begin{array}{c}\hfill G_n^{\left(k\right)}=\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{1}{{(m+1)}^{k-1}}\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}.\end{array}$$

(11)

Corollary 1.

For $n\in \mathbb{N}\cup \left\{0\right\}$, we have

$$\begin{array}{c}\hfill G_n^{\left(1\right)}=G_n=\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}.\end{array}$$

(12)

Moreover,

$$\begin{array}{c}\hfill \sum _{l=1}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}=0,(n\in \mathbb{N}).\end{array}$$

(13)

Kim-Kim ([9]) defined the polyexponential function by (see [6,9,10,11,12,26]).

$$e_k\left(x\right)=\sum _{n=1}^{\infty }\frac{x^n}{(n-1)!n^k},$$

(14)

In [18], it is well known that for $k\ge 2$,

$$\begin{array}{c}\hfill \frac{d}{dx}{e}_k\left(x\right)=\frac{1}{x}{e}_{k-1}\left(x\right).\end{array}$$

(15)

Thus, by (15), for $k\ge 2$, we get

$$\begin{array}{c}\hfill e_k\left(x\right)={\int }_0^x\frac{1}{t_1}\underset{(k-2)times}{\underbrace{{\int }_0^{t_1}\frac{1}{t_1}\cdots {\int }_0^{t_{k-2}}}}\frac{1}{t_{k-1}}(e^{t_{k-1}}-1)d_{k-1}td{t}_{k-1}\cdots d{t}_1.\end{array}$$

(16)

From (16), we obtain the following equation.

$$\begin{array}{cc}\hfill & \sum _{n=0}^{\infty }{G}_n^{\left(k\right)}\frac{x^n}{n!}\hfill \\ \hfill & =\frac{2}{e^x+1}{e}_k(log(1+x))\hfill \\ \hfill & =\frac{2}{e^x+1}{\int }_0^x\frac{1}{(1+t)log(1+t)}{e}_{k-1}(log(1+t))dt\hfill \\ \hfill & =\frac{2}{e^x+1}{\int }_0^x\frac{1}{(1+t_1)log(1+t_1)}\hfill \\ \hfill & \underset{(k-2)times}{\underbrace{{\int }_0^{t_1}\frac{1}{(1+t_2)log(1+t_2)}\cdots {\int }_0^{t_{k-2}}}}\frac{t_{k-1}}{(1+t_{k-1})log(1+t_{k-1})}d{t}_{k-1}d{t}_{k-2}\cdots d{t}_1,(k\ge 2).\hfill \end{array}$$

(17)

Let us take $k=2$. Then, by (2) and (16), we get

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{G}_n^{\left(2\right)}\frac{x^n}{n!}& =\frac{2}{e^x+1}{\int }_0^x\frac{t}{(1+t)log(1+t)}dt\hfill \\ \hfill & =\frac{2}{e^x+1}\sum _{l=0}^{\infty }\frac{B_l^{\left(l\right)}}{l!}{\int }_0^x{t}^{l}dt\hfill \\ \hfill & =\frac{2}{e^x+1}\sum _{l=0}^{\infty }\frac{B_l^{\left(l\right)}}{l+1}\frac{x^{l+1}}{l!}\hfill \\ \hfill & =\frac{2x}{e^x+1}\sum _{l=0}^{\infty }\frac{B_l^{\left(l\right)}}{l+1}\frac{x^l}{l!}\hfill \\ \hfill & =\left(\sum _{m=0}^{\infty }{G}_m\frac{x^m}{m!}\right)\left(\sum _{l=0}^{\infty }\frac{B_l^{\left(l\right)}}{l+1}\frac{x^l}{l!}\right)\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{B_l^{\left(l\right)}}{l+1}{G}_{n-l}\right)\frac{x^n}{n!}.\hfill \end{array}$$

(18)

Therefore, by (18), we obtain the following theorem.

Theorem 2.

Let $n\in \mathbb{N}\cup \left\{0\right\}$, we have

$$\begin{array}{c}\hfill G_n^{\left(2\right)}=\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{B_l^{\left(l\right)}}{l+1}{G}_{n-l}.\end{array}$$

(19)

From (3) and (16), we also get

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{G}_n^{\left(2\right)}\frac{x^n}{n!}& =\frac{2}{e^x+1}{\int }_0^x\frac{t}{(1+t)log(1+t)}dt\hfill \\ \hfill & =\frac{2}{e^x+1}\sum _{l=0}^{\infty }{B}_l^{\left(l\right)}\frac{x^{l+1}}{(l+1)!}\hfill \\ \hfill & =\frac{2}{e^x+1}\sum _{l=1}^{\infty }{B}_{l-1}^{(l-1)}\frac{x^l}{l!}\hfill \\ \hfill & =\left(\sum _{m=0}^{\infty }{E}_m\frac{x^m}{m!}\right)\left(\sum _{l=1}^{\infty }{B}_{l-1}^{(l-1)}\frac{x^l}{l!}\right)\hfill \\ \hfill & =\sum _{n=1}^{\infty }\left(\sum _{l=1}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)B_{l-1}^{(l-1)}{E}_{n-l}\right)\frac{x^n}{n!}.\hfill \end{array}$$

(20)

Therefore, by (20), we obtain the following theorem.

Theorem 3.

Let $n\ge 1$, we have

$$\begin{array}{c}\hfill G_n^{\left(2\right)}=\sum _{l=1}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)B_{l-1}^{(l-1)}{E}_{n-l}.\end{array}$$

(21)

From (8), we observe that

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{G}_n^{\left(k\right)}\left(x\right)\frac{t^n}{n!}& =\frac{2e_k(log(1+t))}{e^t+1}{e}^{xt}\hfill \\ \hfill & =\left(\sum _{l=0}^{\infty }{G}_l^{\left(k\right)}\frac{t^l}{l!}\right)\left(\sum _{m=0}^{\infty }{x}^m\frac{t^m}{m!}\right)\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)G_l^{\left(k\right)}{x}^{n-l}\right)\frac{t^n}{n!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)G_{n-l}^{\left(k\right)}{x}^l\right)\frac{t^n}{n!}.\hfill \end{array}$$

(22)

From (22), we obtain the following theorem.

Theorem 4.

Let $n\in \mathbb{N}$, we have

$$\begin{array}{c}\hfill G_n^{\left(k\right)}\left(x\right)=\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)G_{n-l}^{\left(k\right)}{x}^l.\end{array}$$

(23)

From (23), we observe that

$$\begin{array}{cc}\hfill \frac{d}{dx}{G}_n^{\left(k\right)}\left(x\right)& =\sum _{l=1}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)G_{n-l}^{\left(k\right)}l{x}^{l-1}\hfill \\ \hfill & =\sum _{l=0}^{n-1}\left(\genfrac{}{}{0pt}{}{n}{l+1}\right)G_{n-l-1}^{\left(k\right)}(l+1)x^l\hfill \\ \hfill & =\sum _{l=0}^{n-1}\frac{n!}{(l+1)!(n-l-1)!}{G}_{n-1-l}^{\left(k\right)}(l+1)x^l\hfill \\ \hfill & =n\sum _{l=0}^{n-1}\frac{(n-1)!}{l!(n-1-l)!}{G}_{n-1-l}^{\left(k\right)}{x}^l\hfill \\ \hfill & =n{G}_{n-1}^{\left(k\right)}\left(x\right).\hfill \end{array}$$

(24)

From (24), we obtain the following theorem.

Theorem 5.

Let $n\in \mathbb{N}\cup \left\{0\right\}$ and $k\in \mathbb{Z}$, we have

$$\begin{array}{c}\hfill \frac{d}{dx}{G}_n^{\left(k\right)}\left(x\right)=n{G}_{n-1}^{\left(k\right)}\left(x\right).\end{array}$$

(25)

3. The Unipoly Genocchi Polynomials and Numbers

Let p be any arithmetic function which is real or complex valued function defined on the set of positive integers $\mathbb{N}$. Then, Kim-Kim ([9]) defined the unipoly function attached to polynomials by

$$\begin{array}{c}\hfill u_k\left(x\right|p)=\sum _{n=1}^{\infty }\frac{p\left(n\right)x^n}{n^k},(k\in \mathbb{Z}).\end{array}$$

(26)

It is well known that

$$\begin{array}{c}\hfill u_k\left(x\right|1)=\sum _{n=1}^{\infty }\frac{x^n}{n^k}=L{i}_k\left(x\right)\end{array}$$

(27)

is the ordinary polylogarithm function, and for $k\ge 2$,

$$\begin{array}{c}\hfill \frac{d}{dx}{u}_k\left(x\right|p)=\frac{1}{x}{u}_{k-1}\left(x\right|p),\end{array}$$

(28)

and

$$\begin{array}{c}\hfill u_k\left(x\right|p)={\int }_0^x\frac{1}{t}\underset{(k-2)times}{\underbrace{{\int }_0^t\frac{1}{t}\cdots {\int }_0^t}}\frac{1}{t}{u}_1\left(t\right|p)dtdt\cdots dt\end{array}$$

(29)

By using (26), we define the unipoly Genocchi polynomials as follows:

$$\begin{array}{c}\hfill \frac{2}{e^t+1}{u}_k(log(1+t)|p)e^{xt}=\sum _{n=0}^{\infty }{G}_{n,p}^{\left(k\right)}\left(x\right)\frac{t^n}{n!}.\end{array}$$

(30)

Let us take $p\left(n\right)=\frac{1}{(n-1)!}$. Then we have

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{G}_{n,p}^{\left(k\right)}\left(x\right)\frac{t^n}{n!}& =\frac{2}{e^t+1}{u}_k\left(log(1+t)\left|\frac{1}{(n-1)!}\right.\right)e^{xt}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=1}^{\infty }\frac{{(log(1+t))}^m}{m^k(m-1)!}{e}^{xt}\hfill \\ \hfill & =\frac{2e_k(log(1+t))}{e^t+1}{e}^{xt}\hfill \\ \hfill & =\sum _{n=0}^{\infty }{G}_n^{\left(k\right)}\left(x\right)\frac{t^n}{n!}.\hfill \end{array}$$

(31)

Thus, by (31), we have the following theorem.

Theorem 6.

If we take $p\left(n\right)=\frac{1}{(n-1)!}$ for $n\in \mathbb{N}\cup \left\{0\right\}$ and $k\in \mathbb{Z}$, then we have

$$\begin{array}{c}\hfill G_{n,p}^{\left(k\right)}\left(x\right)=G_n^{\left(k\right)}\left(x\right).\end{array}$$

(32)

From (4) and (30) with $x=0$, we have

$$\begin{array}{cc}\hfill & \sum _{n=0}^{\infty }{G}_{n,p}^{\left(k\right)}\frac{t^n}{n!}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=1}^{\infty }\frac{p\left(m\right)}{m^k}{(log(1+t))}^m\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=0}^{\infty }\frac{p(m+1)(m+1)!}{{(m+1)}^k}\sum _{l=m+1}^{\infty }{S}_1(l,m+1)\frac{t^l}{l!}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=0}^{\infty }\frac{p(m+1)(m+1)!}{{(m+1)}^k}\sum _{l=m}^{\infty }{S}_1(l+1,m+1)\frac{t^{l+1}}{(l+1)!}\hfill \\ \hfill & =\frac{2t}{e^t+1}\sum _{m=0}^{\infty }\frac{p(m+1)(m+1)!}{{(m+1)}^k}\sum _{l=m}^{\infty }{S}_1(l+1,m+1)\frac{t^l}{(l+1)!}\hfill \\ \hfill & =\left(\sum _{j=0}^{\infty }{G}_j\frac{t^j}{j!}\right)\sum _{l=0}^{\infty }\left(\sum _{m=0}^l\frac{p(m+1)(m+1)!}{{(m+1)}^k}\frac{S_1(l+1,m+1)}{l+1}\right)\frac{t^l}{l!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{p(m+1)(m+1)!}{{(m+1)}^k}\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}\right)\frac{t^n}{n!}.\hfill \end{array}$$

(33)

Therefore, by comparing the coefficients on both sides of (33), we obtain the following theorem.

Remark 1.

Let $n\in \mathbb{N}$ and $k\in \mathbb{Z}$. Then, we have

$$\begin{array}{c}\hfill G_{n,p}^{\left(k\right)}=\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{p(m+1)(m+1)!}{{(m+1)}^k}\frac{S_1(l+1,m+1)}{l+1}{G}_{n-l}.\end{array}$$

(34)

In particular,

$$\begin{array}{c}\hfill G_{n,\frac{1}{(n-1)!}}^{\left(k\right)}=\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{G_{n-l}}{{(m+1)}^{k-1}}\frac{S_1(l+1,m+1)}{l+1}\end{array}$$

(35)

arrives at (11).

From (30), we easily obtain the following theorem.

Theorem 7.

Let $n\in \mathbb{N}\cup \left\{0\right\}$ and $k\in \mathbb{Z}$. Then, we have

$$\begin{array}{c}\hfill G_{n,p}^{\left(k\right)}\left(x\right)=\sum _{l=0}^n\left(\genfrac{}{}{0pt}{}{n}{l}\right)G_{n-l,p}^{\left(k\right)}{x}^l.\end{array}$$

(36)

From (36), we easily obtain the following theorem.

Theorem 8.

Let $n\in \mathbb{N}\cup \left\{0\right\}$ and $k\in \mathbb{Z}$. Then, we have

$$\begin{array}{c}\hfill \frac{d}{dx}{G}_{n,p}^{\left(k\right)}\left(x\right)=n{G}_{n-1,p}^{\left(k\right)}\left(x\right).\end{array}$$

(37)

Finally, by (4) and (30), we observe that

$$\begin{array}{cc}\hfill & \sum _{n=0}^{\infty }{G}_{n,p}^{\left(k\right)}\frac{t^n}{n!}\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=1}^{\infty }\frac{p\left(m\right)}{m^k}\frac{m!}{m!}{(log(1+t))}^m\hfill \\ \hfill & =\frac{2}{e^t+1}\sum _{m=1}^{\infty }\frac{p(m+1)}{{(m+1)}^k}\frac{(m+1)!}{(m+1)!}{(log(1+t))}^{m+1}\hfill \\ \hfill & =\sum _{j=0}^{\infty }Ej\frac{t^j}{j!}\sum _{m=0}^{\infty }\frac{p(m+1)(m+1)!}{{(m+1)}^k}\sum _{l=m+1}^{\infty }{S}_1(l,m+1)\frac{t^l}{l!}\hfill \\ \hfill & =\sum _{j=0}^{\infty }Ej\frac{t^j}{j!}\sum _{l=0}^{\infty }\sum _{m=0}^l\frac{p(m+1)(m+1)!}{{(m+1)}^k}\sum _{l=m}^{\infty }{S}_1(l+1,m+1)\frac{t^{l+1}}{(l+1)!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\left(\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{p(m+1)(m+1)!}{{(m+1)}^k}\frac{S_1(l+1,m+1)}{l+1}{E}_{n-l}\right)\frac{t^n}{n!}.\hfill \end{array}$$

(38)

From (37), we obtain the following theorem.

Theorem 9.

Let $n\in \mathbb{N}$ and $k\in \mathbb{Z}$, we have

$$\begin{array}{c}\hfill G_{n,p}^{\left(k\right)}=\sum _{l=0}^n\sum _{m=0}^l\left(\genfrac{}{}{0pt}{}{n}{l}\right)\frac{p(m+1)(m+1)!}{{(m+1)}^k}\frac{S_1(l+1,m+1)}{l+1}{E}_{n-l}.\end{array}$$

(39)

4. Conclusions

In 2019, Kim-Kim considered the polyexponential functions and poly-Bernoulli polynomials. In the same view as these functions and polynomials, we defined the poly-Genocchi polynomials (Equation (8)) and obtained some identities (Theorem 1 and Corollary 1). In particular, we observed explicit poly-Genocchi numbers for $k=2$ (Theorems 2, 3 and 4). Furthermore, by using the unipoly functions, we defined the unipoly Genocchi polynomials (Equation (30)) and obtained some their properties (Theorems 6 and 7). Finally, we obtained the derivative of the unipoly Genocchi polynomials (Theorem 8) and gave the identity indicating the relationship of unipoly Genocchi polynomials and Euler polynomials (Theorem 9). It is recommended that our readers look at references [27,28,29,30,31] if they want to know the applications related to this paper.