A new generalization of Apostol type Hermite–Genocchi polynomials and its applications

Abstract

By using the modified Milne-Thomson’s polynomial given in Araci et al. (Appl Math Inf Sci 8(6):2803–2808, 2014), we introduce a new concept of the Apostol Hermite–Genocchi polynomials. We also perform a further investigation for aforementioned polynomial and derive some implicit summation formulae and general symmetric identities arising from different analytical means and generating functions method. The results obtained here are an extension of Hermite–Bernoulli polynomials (Pathan and Khan in Mediterr J Math 12:679–695, 2015a) and Hermite–Euler polynomials (Pathan and Khan in Mediterr J Math 2015b, doi:10.1007/s00009-015-0551-1) to Apostol type Hermite–Genocchi polynomials defined in this paper.

Background

Recently, the generalizations of Apostol-Bernoulli, Apostol-Euler and Apostol-Genocchi polynomials have been studied and investigated in Milovanović and Rassias (2014), Borwein and Erdelyi (1995), Agarwal (2014), Choi and Agarwal (2014), Srivastava et al. (2014), Agarwal (2012), Luo et al. (2014), Agarwal and Koul (2003), Apostol (1951), Araci (2014), Araci et al. (2014a, b), Bell (1934), Dattoli et al. (1999), Dere and Simsek (2015), Dere et al. (2013), Guo and Qi (2002), Gaboury and Kurt (2012), He et al. (2015), Jolany et al. (2013), Khan et al. (2008), Khan (2015, 2016a, b), Kim and Hu (2012), Kim and Adiga (2004), Kim (2007, 1999), Kurt and Kurt (2011), Luo et al. (2003a, b), Luo (2006, 2009, 2011), Luo and Srivastava (2005, 2011, 2006), Milne Thomsons (1933), Pathan and Khan (2014a, b, 2015a, b, c, d), Srivastava and Manocha (1984), Srivastava (2000, 2011), Yang (2008), Zhang and Yang (2008). The generalized Apostol-Bernoulli polynomials $B_n^{(\mathit{\alpha })}(x;\mathit{\lambda })$ of order $\mathit{\alpha }\in \mathbb{C}$, the generalized Apostol-Euler polynomials $E_n^{(\mathit{\alpha })}(x;\mathit{\lambda })$ of order $\mathit{\alpha }\in \mathbb{C}$ and the generalized Apostol-Genocchi polynomials $G_n^{(\mathit{\alpha })}(x;\mathit{\lambda })$ of order $\mathit{\alpha }\in \mathbb{C}$ are defined, respectively, by the following generating functions:

$$\begin{array}{cc}& {\left(\frac{t}{\mathit{\lambda }{e}^t-1}\right)}^{\mathit{\alpha }}{e}^{xt}=\sum _{n=0}^{\infty }{B}_n^{(\mathit{\alpha })}(x;\mathit{\lambda })\frac{t^n}{n!},(|t+log\mathit{\lambda }|<2\mathit{\pi },1^{\mathit{\alpha }}:=1)\hfill \end{array}$$ 1

$$\begin{array}{cc}& {\left(\frac{2}{\mathit{\lambda }{e}^t+1}\right)}^{\mathit{\alpha }}{e}^{xt}=\sum _{n=0}^{\infty }{E}_n^{(\mathit{\alpha })}(x;\mathit{\lambda })\frac{t^n}{n!},(|t+log\mathit{\lambda }|<\mathit{\pi },1^{\mathit{\alpha }}:=1)\hfill \end{array}$$ 2

and

$${\left(\frac{2t}{\mathit{\lambda }{e}^t+1}\right)}^{\mathit{\alpha }}{e}^{xt}=\sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(x;\mathit{\lambda })\frac{t^n}{n!},(|t+log\mathit{\lambda }|<\mathit{\pi },1^{\mathit{\alpha }}:=1)$$ 3

where, if we take $x=0$ in the above, we have

$$B_n^{(\mathit{\alpha })}(0;\mathit{\lambda }):=B_n^{(\mathit{\alpha })}(\mathit{\lambda }),E_n^{(\mathit{\alpha })}(0;\mathit{\lambda }):=E_n^{(\mathit{\alpha })}(\mathit{\lambda })\text{and}{G}_n^{(\mathit{\alpha })}(0;\mathit{\lambda }):=G_n^{(\mathit{\alpha })}(\mathit{\lambda })$$

calling Apostol-Bernoulli numbers of order $\mathit{\alpha }$, Apostol-Euler numbers of order $\mathit{\alpha }$ and Apostol-Genocchi numbers of order $\mathit{\alpha }$, respectively. Also,

$$B_n^{(\mathit{\alpha })}(x):=B_n^{(\mathit{\alpha })}(x;1),E_n^{(\mathit{\alpha })}(x):=E_n^{(\mathit{\alpha })}(x;1)\text{and}{G}_n^{(\mathit{\alpha })}(x)=G_n^{(\mathit{\alpha })}(x;1).$$

             

See Dere et al. (2013), He et al. (2015), Jolany et al. (2013), Luo (2009), Luo and Srivastava (2005), Luo and Srivastava (2011) and Luo and Srivastava (2006) for a systematic work about the Apostol type polynomials.

Dere and Simsek (2015) gave a new class of the Milne-Thomson’s polynomials ${\mathrm{\Phi }}_n^{(\mathit{\alpha })}(x)$ as ${\mathrm{\Phi }}_n^{(\mathit{\alpha })}(x,y)$ of degree n and order $\mathit{\alpha }$ by means of the following generating function:

$$\sum _{n=0}^{\infty }{\mathrm{\Phi }}_n^{(\mathit{\alpha })}(x,y)\frac{t^n}{n!}=f(t,\mathit{\alpha })e^{xt+h(t,y)}$$ 4

where $f(t,\mathit{\alpha })$ is a function of t and integer $\mathit{\alpha }$. Observe that ${\mathrm{\Phi }}_n^{(\mathit{\alpha })}(x,0)={\mathrm{\Phi }}_n^{(\mathit{\alpha })}(x)$ (see Luo and Srivastava 2006 for details). From here, setting $f(t,\mathit{\alpha })={\left(\frac{2t}{\mathit{\lambda }{e}^t+1}\right)}^{\mathit{\alpha }}$ in (4) gives

$$\sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{e}^t+1}\right)}^{\mathit{\alpha }}{e}^{xt+h(t,y)}$$ 5

where $G_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda })$ denotes the Apostol-Genocchi polynomials of higher order $\mathit{\alpha }$ based on Milne-Thomson’s polynomials.

It immediately follows from (4) and (5) that

$$G_n^{(\mathit{\alpha })}(0,0;\mathit{\lambda }):=G_n^{(\mathit{\alpha })}(\mathit{\lambda }).$$

Taking $h\left(t,y\right)=y{t}^2$ in (5) gives

$$\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{e}^t+1}\right)}^{\mathit{\alpha }}{e}^{xt+y{t}^2}$$ 6

where ${}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda })$ is called generalized Apostol-Hermite Genocchi polynomials (see Gaboury and Kurt 2012). In the case $\mathit{\alpha }=1$ in (6), it reduces to Apostol-Hermite Genocchi polynomials defined by Dattoli et al. (1999) in the following form:

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

Dattoli et al. (1999) and Luo et al. (2003a, b) gave the generalization of Bernoulli and Euler polynomials with a and b parameters, as follows:

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{B}_n(a,b)\frac{t^n}{n!}=\frac{t}{b^t-a^t},\left(\left|tlog\frac{b}{a}\right|<2\mathit{\pi }\right)\hfill \end{array}$$ 8

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{E}_n(a,b)\frac{t^n}{n!}=\frac{2}{b^t+a^t},\left(\left|tlog\frac{b}{a}\right|<\mathit{\pi }\right).\hfill \end{array}$$ 9

Let a and b be positive integers. The generalized Apostol-Genocchi polynomials with the parameters a, b and c are given by means of the following generating function, i.e., a Taylor expansion about $t=0$:

$$\sum _{n=0}^{\infty }{G}_n(x;a,b,c;\mathit{\lambda })\frac{t^n}{n!}=\frac{2t}{\mathit{\lambda }{b}^t+a^t}{c}^{xt}(\text{see}\text{Jolany et al. 2013}).$$ 10

For a real or complex parameter $\mathit{\alpha }$, the Apostol-Genocchi polynomials $G_n^{\left(\mathit{\alpha }\right)}(x;a,b,c;\mathit{\lambda })$ of order $\mathit{\alpha }$ with parameters a, b and c are defined by means of the following generating function:

$$\sum _{n=0}^{\infty }{G}_n^{\left(\mathit{\alpha }\right)}(x;a,b,c;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt}$$

from which it follows that $G_n^{\left(1\right)}(x;a,b,c;\mathit{\lambda }):=G_n(x;a,b,c;\mathit{\lambda })$ cf. Jolany et al. (2013).

Definition 1

Let c be positive integer. The generalized 2-variable 1-parameter Hermite Kamp’e de Feriet polynomials $H_n(x,y,c)$ for nonnegative integer n are stated by

$$\sum _{n=0}^{\infty }{H}_n(x,y,c)\frac{t^n}{n!}=c^{xt+y{t}^2}$$ 11

which is an extention of 2-variable Hermite Kamp’e de Feriet polynomials $H_n(x,y)$ defined by

$$\sum _{n=0}^{\infty }{H}_n(x,y)\frac{t^n}{n!}=e^{xt+y{t}^2}\text{(see Bell 1934; Pathan and Khan 2015a, b).}$$ 12

It immediately follows from Definition 1 that

$$H_n(x,y,e):=H_n(x,y).$$

and by (11), we have

$$H_n(x,y,c)=\sum _{j=0}^{[\frac{n}{2}]}\left(\begin{array}{c}n\\ j\end{array}\right){(logc)}^{n-j}{x}^{n-2j}{y}^j\text{(see Pathan and Khan 2015a, b).}$$ 13

Motivated by their importance and potential for applications in certain problems in number theory, combinatorics, classical and numerical analysis and other fields of applied mathematics, several kinds of some special numbers and polynomials were recently studied by many authors (see Milovanović and Rassias 2014; Borwein and Erdelyi 1995; Agarwal 2014; Choi and Agarwal 2014; Srivastava et al. 2014; Agarwal 2012; Luo et al. 2014; Agarwal and Koul 2003; Apostol 1951; Araci 2014; Araci et al. 2014a, b; Bell 1934; Dattoli et al. 1999; Dere and Simsek 2015; Dere et al. 2013; Guo and Qi 2002; Gaboury and Kurt 2012; He et al. 2015; Jolany et al. 2013; Khan et al. 2008; Khan 2015, 2016a, b; Kim and Hu 2012; Kim and Adiga 2004; Kim 2007, 1999; Kurt and Kurt 2011; Luo et al. 2003a, b; Luo 2006, 2009, 2011; Luo and Srivastava 2005, 2011, 2006; Milne Thomsons 1933; Pathan and Khan 2014a, b, 2015a, b, c, d; Srivastava and Manocha 1984; Srivastava 2000, 2011; Yang 2008; Zhang and Yang 2008).

In Kurt and Kurt (2011), Kurt and Kurt first introduced the definition of Hermite–Apostol-Genocchi polynomials and derived some explicit formulas. Gaboury and Kurt (2012) also gave the generating function of Hermite–Apostol-Genocchi polynomials with three parameters. Their definitions are motivated us to write this paper. In summary, we introduce a new family of the generalized Apostol type Genocchi polynomials $G_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })$ as Definition 2 in the next section, which generalizes the concepts stated above and then research their basic properties and relationships with Genocchi numbers $G_n$, Genocchi polynomials $G_n(x)$ and the generalized Apostol Genocchi numbers $G_n(a,b;\mathit{\lambda })$, generalized Apsotol Genocchi polynomials $G_n(x;a,b,c;\mathit{\lambda })$ of Jolany et al. (2013), Hermite–Genocchi polynomial ${}_H{G}_n(x,y)$ of Dattoli et al. (1999) and generalized Apostol Hermite–Genocchi polynomials ${}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda }).$ The remainder of this paper is organized as follows: We modify generating functions for the Milne-Thomson’s polynomials as defined in Luo and Srivastava (2006) and derive some identities related to Hermite polynomials and Genocchi polynomials. Some implicit summation formulae and general symmetric identities are derived arising from different analytical means and applying generating functions. These results extend some known summations and identities of Hermite–Bernoulli, Euler and Hermite–Genocchi polynomials studied earlier by Dattoli et al. (1999), Jolany et al. (2013), Khan (2015, 2016a, b), Luo (2009, 2011), Pathan and Khan (2014a, 2015a), Yang (2008), Zhang and Yang (2008).

On the generalized Apostol type Hermite–Genocchi polynomials

In this section, by (4) and $f(t,\mathit{\alpha };\mathit{\lambda })={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}$, we derive a new class of Apostol Hermite–Genocchi polynomials and investigate its properties. Now we start at the following definition.

Definition 2

Let a, b and c be positive integers with the condition $a\ne b$. A new generalization of Apostol-Genocchi polynomials $G_n^{(\mathit{\alpha })}(x,\mathit{\nu };a,b,c;\mathit{\lambda })$ for nonnegative integer n is defined by

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt+h(t,y)}\hfill \\ \hfill & \left(|t|<\left|\frac{log(-\mathit{\lambda })}{log(\frac{b}{a})}\right|;a\in \mathbb{C}\backslash \{0\},b,c\in {\mathbb{R}}^{+};1^{\mathit{\alpha }}:=1\right).\hfill \end{array}$$ 14

Setting $h(t,y)=y{t}^2$ in (14), we get the following corollary.

Corollary 1

Leta, bandcbe positive integers with the condition$a\ne b$. The generalized Apostol Hermite–Genocchi polynomials${}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })$for nonnegative integernare defined by Gaboury and Kurt (2012)

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt+y{t}^2}\hfill \\ \hfill & \left(\left|t\right|<\left|\frac{log(-\mathit{\lambda })}{log(\frac{b}{a})}\right|;a\in \mathbb{C}\backslash \{0\},b,c\in {\mathbb{R}}^{+};1^{\mathit{\alpha }}:=1\right).\hfill \end{array}$$ 15

For $\mathit{\alpha }=1$ in (15), we have

$$\sum _{n=0}^{\infty }{}_H{G}_n(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}=\frac{2t}{\mathit{\lambda }{b}^t+b^t}{c}^{xt+y{t}^2}(\text{see}\text{Gaboury}\text{and}\text{Kurt}2012).$$ 16

In the case $x=0$ in (15), we see that

$${}_H{G}_n^{(\mathit{\alpha })}(0,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^{[\frac{n}{2}]}\frac{n!}{k!(n-2k)!}{(logc)}^k{G}_{n-2k}^{(\mathit{\alpha })}(a,b;\mathit{\lambda })y^k.$$ 17

Also in the case $x=y=0$ and $c=1$ in Definition 1, it leads to the extension of the generalized Apostol-Genocchi numbers denoted by $G_n^{(\mathit{\alpha })}(a,b;\mathit{\lambda })$ for nonnegative integer n defined earlier in Jolany et al. (2013) and

$$G_n^{(\mathit{\alpha }+\mathit{\beta })}(a,b;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })G_{n-k}^{(\mathit{\alpha })}(a,b;\mathit{\lambda })$$ 18

holds.

Corollary 2

Taking$c=e$in Eq. (15), we have Gaboury and Kurt (2012)

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,e;\mathit{\lambda })\frac{t^n}{n!}={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{e}^{xt+y{t}^2}\hfill \\ \hfill & \left(\left|t\right|<\left|\frac{log(-\mathit{\lambda })}{log(\frac{b}{a})}\right|;a\in \mathbb{C}\backslash \{0\},b\in {\mathbb{R}}^{+};1^{\mathit{\alpha }}:=1\right).\hfill \end{array}$$ 19

By using Corollary 1, we state the following theorem.

Theorem 1

Leta, bandcbe positive integers with the rule$a\ne b$. For$x\in \mathbb{R}$and$n\ge 0$. Then we have

$$\begin{array}{cc}& {}_H{G}_n^{(\mathit{\alpha })}(x,y;1,e,e;\mathit{\lambda }):={}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda }),{}_H{G}_n^{(\mathit{\alpha })}(0,0;a,b,1;\mathit{\lambda }):=G_n^{(\mathit{\alpha })}(a,b;\mathit{\lambda }),\hfill \\ \hfill & {}_H{G}_n^{(\mathit{\alpha })}(0,0;1,e,1,1):=G_n^{(\mathit{\alpha })},{}_H{G}_n^{(1)}(0,0;a,b,1,1):=G_n(a,b)\hfill \end{array}$$ 20

$$\begin{array}{cc}& {}_H{G}_n^{(\mathit{\alpha }+\mathit{\beta })}(x+y,z+u;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){}_H{G}_{n-k}^{(\mathit{\alpha })}(y,z;a,b,c;\mathit{\lambda }){}_H{G}_k^{(\mathit{\beta })}(x,u;a,b,c;\mathit{\lambda })\hfill \end{array}$$ 21

$$\begin{array}{cc}& {}_H{G}_n^{(\mathit{\alpha })}(x+z,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_{n-k}^{(\mathit{\alpha })}(z;a,b,c;\mathit{\lambda })H_k(x,y;c).\hfill \end{array}$$ 22

Proof

The expressions stated in (20) are obvious from their generating functions. By using Definition 2, we have

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha }+\mathit{\beta })}(x+y,z+u;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ & =\left(\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(y,z;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\right)\left(\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\beta })}(x,u;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\right)\hfill \\ & =\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){}_H{G}_k^{(\mathit{\beta })}{(x,u;a,b,c;\mathit{\lambda })}_H{G}_{n-k}^{(\mathit{\alpha })}(y,z;a,b,c;\mathit{\lambda })\right)\frac{t^n}{n!}.\hfill \end{array}$$

B comparing the coefficients of $\frac{t^n}{n!}$, we get the Eq. (21). By the similar way, we readily derive the Eq. (22). Hence, we complete the proof of theorem.□

Implicit summation formulae on the generalized Apostol type Hermite–Genocchi polynomials

We give here implicit summation formulae for Apostol Hermite–Genocchi polynomials. We now begin with the following theorem.

Theorem 2

Leta, bandcpositive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$m,n\ge 0$, we have

$$\begin{array}{c}\hfill {}_H{G}_{m+n}^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })=\sum _{s=0}^m\sum _{k=0}^n\left(\begin{array}{c}m\\ s\end{array}\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^{s+k}{(z-x)}^{s+k}{}_H{G}_{m+n-s-k}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda }).\end{array}$$ 23

Proof

We first replace t by $t+u$ and rewrite the generating function (15) as

$$\begin{array}{cc}& {\left(\frac{2(t+u)}{\mathit{\lambda }{b}^{t+u}+a^{t+u}}\right)}^{\mathit{\alpha }}{c}^{y{(t+u)}^2}\hfill \\ \hfill & =c^{-x(t+u)}\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{m+n}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}.\hfill \end{array}$$ 24

Replacing x by z in (24), we have

$$\begin{array}{cc}& c^{(z-x)(t+u)}\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}.\hfill \end{array}$$ 25

By applying

$$\sum _{N=0}^{\infty }f(N)\frac{{(x+y)}^N}{N!}=\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }f(n+m)\frac{x^n}{n!}\frac{y^m}{m!}[\text{see}\text{Pathan and Khan}(2015\text{d}),\text{p.}52(2)]$$

to $c^{(z-x)(t+u)}$ in (25), we get

$$\begin{array}{cc}& \sum _{N=0}^{\infty }\frac{{[(z-x)(t+u)]}^N}{N!}\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(x,y;a,b,c)\frac{t^n}{n!}\frac{u^m}{m!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}.\hfill \end{array}$$ 26

It follows from (26) that

$$\begin{array}{cc}& \sum _{k=0}^{\infty }\sum _{s=0}^{\infty }\frac{{\left(logc\right)}^{s+k}{(z-x)}^{k+s}{t}^k{u}^s}{k!s!}\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{m+n}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }\sum _{m=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}.\hfill \end{array}$$ 27

Replacing n by $n-k$ and s by $m-s$ and using the lemma in [44, p. 100 (1)] gives

$$\begin{array}{cc}& \sum _{n=0}^{\infty }\sum _{m=0}^{\infty }\left(\sum _{k=0}^{\infty }\sum _{s=0}^{\infty }\frac{{\left(logc\right)}^{s+k}{(z-x)}^{k+s}}{k!s!}{}_H{G}_{m+n-k-s}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\right)\frac{t^n}{(n-k)!}\frac{u^m}{(m-s)!}\hfill \\ \hfill & =\sum _{m=0}^{\infty }\sum _{n=0}^{\infty }{}_H{G}_{n+m}^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\frac{u^m}{m!}.\hfill \end{array}$$ 28

By comparing the coefficients $t^n{u}^m$ in (28), we arrive at the desired result.□

Corollary 3

For$m=0$in (23), we have

$${}_H{G}_n^{(\mathit{\alpha })}(z,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^k{(z-x)}^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(x,y,a,b,c;\mathit{\lambda }).$$ 29

Corollary 4

Replacingzby$z+x$and taking$y=0$in (23), we get

$$\begin{array}{c}\hfill G_{m+n}^{(\mathit{\alpha })}(z+x;a,b,c;\mathit{\lambda })=\sum _{s=0}^m\sum _{k=0}^n\left(\begin{array}{c}m\\ s\end{array}\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^{s+k}{z}^{k+s}{G}_{m+n-k-s}^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda }).\end{array}$$ 30

Moreover, taking$z=0$in (23), we have

$$\begin{array}{c}\hfill G_{m+n}^{(\mathit{\alpha })}(y;a,b,c;\mathit{\lambda })=\sum _{s=0}^m\sum _{k=0}^n\left(\begin{array}{c}m\\ s\end{array}\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^{s+k}{(-x)}^{k+s}{}_H{G}_{m+n-k-s}^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda }).\end{array}$$ 31

We also derive additional results arising from Eq. (23), as follows.

Corollary 5

For$y=0$in (23), we have

$$\begin{array}{c}\hfill G_{m+n}^{(\mathit{\alpha })}(z;a,b,c;\mathit{\lambda })=\sum _{s=0}^m\sum _{k=0}^n\left(\begin{array}{c}m\\ s\end{array}\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^{s+k}{(z-x)}^{k+s}{G}_{m+n-k-s}^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda }).\end{array}$$ 32

Corollary 6

For$\mathit{\alpha }=1$in (23), we have

$$\begin{array}{c}\hfill {}_H{G}_{k+l}(z,y;a,b,c;\mathit{\lambda })=\sum _{s=0}^m\sum _{k=0}^n\left(\begin{array}{c}m\\ s\end{array}\right)\left(\begin{array}{c}n\\ k\end{array}\right){\left(logc\right)}^{s+k}{(z-x)}^{k+s}{}_H{G}_{m+n-k-s}(x,y;a,b,c;\mathit{\lambda }).\end{array}$$ 33

where${}_H{G}_{m+n}(z,y;a,b,c;\mathit{\lambda })$denotes the generalized Apostoltype Hermite–Genocchi polynomials.

Theorem 3

Leta, band$c$be positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(x+\mathit{\alpha },y;a,b,c;\mathit{\lambda })=\sum _{k=0}^{[\frac{n}{2}]}\left(\begin{array}{c}n\\ 2k\end{array}\right)y^k{(logc)}^k{G}_{n-2k}^{(\mathit{\alpha })}(x;\frac{a}{c},\frac{b}{c},c;\mathit{\lambda })\end{array}$$ 34

where [.] is Gauss’ notation, and represents the maximum integer which does not exceed a number in the square brackets.

Proof

By the exponential generating function of the polynomial ${}_H{G}_n^{(\mathit{\alpha })}\left(x+\mathit{\alpha },y;a,b,c;\mathit{\lambda }\right)$, we have

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x+\mathit{\alpha },y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}& ={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{(x+\mathit{\alpha })t+y{t}^2}\hfill \\ \hfill & ={\left(\frac{2t}{\mathit{\lambda }(\frac{b}{c}){}^t+{(\frac{a}{c})}^t}\right)}^{\mathit{\alpha }}{c}^{xt}{c}^{y{t}^2}\hfill \\ \hfill & =\left(\sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(x;\frac{a}{c},\frac{b}{c},c;\mathit{\lambda })\frac{t^n}{n!}\right)\left(\sum _{n=0}^{\infty }{y}^n{(logc)}^n\frac{t^{2n}}{n!}\right)\hfill \\ \hfill & \sum _{n=0}^{\infty }\left(\sum _{k=0}^{[\frac{n}{2}]}\left(\begin{array}{c}n\\ 2k\end{array}\right)y^k{(logc)}^k{G}_{n-2k}^{(\mathit{\alpha })}(x;\frac{a}{c},\frac{b}{c},c;\mathit{\lambda })\right)\frac{t^n}{n!}.\hfill \end{array}$$

Thus we get the desired result.□

Corollary 7

Taking$\mathit{\alpha }=1$in (34) gives

$$\begin{array}{c}\hfill {}_H{G}_n(x+1,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^{[\frac{n}{2}]}\left(\begin{array}{c}n\\ 2k\end{array}\right)y^k{(logc)}^k{G}_{n-2k}(x;\frac{a}{c},\frac{b}{c},c;\mathit{\lambda })\end{array}$$

where [.] is Gauss’ notation, and represents the maximum integer which does not exceed a number in the square brackets.

Theorem 4

Leta, bandcbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_{n-k}^{(\mathit{\alpha })}(a,b;\mathit{\lambda })H_k(x,y,c).\end{array}$$ 35

Proof

By (11) and (15), we have

$$\begin{array}{cc}\hfill {\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt+y{t}^2}& =\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ & =\left(\sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(a,b;\mathit{\lambda })\frac{t^n}{n!}\right)\left(\sum _{n=0}^{\infty }{H}_n(x,y;c)\frac{t^n}{n!}\right)\hfill \\ & =\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_{n-k}^{(\mathit{\alpha })}(a,b;\mathit{\lambda })H_k(x,y,c)\right)\frac{t^n}{n!}.\hfill \end{array}$$

Thus we complete the proof of theorem.□

Corollary 8

Putting$c=e$in (35) yields to

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,e;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_{n-k}^{\left(\mathit{\alpha }\right)}(a,b;\mathit{\lambda })H_k(x,y).\end{array}$$

Theorem 5

Leta, bandcbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{c}\hfill \frac{{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })}{n!}=\sum _{j=0}^{[\frac{n}{2}]}\left(\sum _{k=0}^{n-2j}\frac{{(logc)}^{n-k-j}{x}^{n-k-2j}{y}^j}{j!(n-2j-k)!}\right)\frac{G_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })}{k!}\end{array}$$ 36

where [.] is Gauss’ notation, and represents the maximum integer which does not exceed a number in the square brackets.

Proof

Since

$$\begin{array}{c}\hfill {\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt+y{t}^2}=\left(\sum _{k=0}^{\infty }{G}_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })\frac{t^k}{k!}\right)\left(\sum _{n=0}^{\infty }{x}^n{(logc)}^n\frac{t^n}{n!}\right)\left(\sum _{j=0}^{\infty }{y}^j{(logc)}^j\frac{t^{2j}}{j!}\right)\end{array}$$

we have

$$\begin{array}{c}\hfill =\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k}{G}_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })x^{n-k}\right)\frac{t^n}{n!}\left(\sum _{j=0}^{\infty }{y}^j{(logc)}^j\frac{t^{2j}}{j!}\right).\end{array}$$

Replacing n by $n-2j$ in the right hand side, we have

$$\begin{array}{c}\hfill \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}=\sum _{n=0}^{\infty }\left(\sum _{j=0}^{[\frac{n}{2}]}\sum _{k=0}^{n-2j}\left(\begin{array}{c}n-2j\\ k\end{array}\right){(logc)}^{n-k-j}{G}_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })x^{n-k-2j}{y}^j\right)\frac{t^n}{(n-2j)!j!}.\end{array}$$ 37

Hence, our assertion follows from (37).□

Corollary 9

For$y=0$in (36), we get

$$\begin{array}{c}\hfill G_n^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k}{G}_k^{(\mathit{\alpha })}(a,b;\mathit{\lambda })x^{n-k}.\end{array}$$

Moreover, setting$x=0$reduces (17).

Theorem 6

Leta, bandcbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(x+1,y;a,b,c;\mathit{\lambda })=\sum _{j=0}^{[\frac{n}{2}]}\sum _{k=0}^{n-2j}\left(\begin{array}{c}n-2j\\ k\end{array}\right){(logc)}^{n-k-j}{y}^j{G}_k^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })\end{array}$$ 38

where [.] is Gauss’ notation, and represents the maximum integer which does not exceed a number in the square brackets.

Proof

It follows from (15) that

$$\begin{array}{cc}\hfill \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x+1,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}& ={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{(x+1)t+y{t}^2}\hfill \\ & =\left(\sum _{k=0}^{\infty }{G}_k^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })\frac{t^k}{k!}\right)\left(\sum _{n=0}^{\infty }{(logc)}^n\frac{t^n}{n!}\right)\left(\sum _{j=0}^{\infty }{y}^j{(logc)}^j\frac{t^{2j}}{j!}\right)\hfill \\ & =\sum _{n=0}^{\infty }\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k}{G}_k^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\left(\sum _{j=0}^{\infty }{y}^j{(logc)}^j\frac{t^{2j}}{j!}\right)\hfill \\ & =\sum _{n=0}^{\infty }\sum _{j=0}^{\infty }\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k+j}{G}_k^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })\frac{t^{n+2j}}{n!j!}\hfill \\ & =\sum _{n=0}^{\infty }\sum _{j=0}^{[\frac{n}{2}]}\sum _{k=0}^{n-2j}\left(\begin{array}{c}n-2j\\ k\end{array}\right){(logc)}^{n-k-j}{y}^j{G}_k^{(\mathit{\alpha })}(x;a,b,c;\mathit{\lambda })\frac{t^n}{(n-2j)!j!}.\hfill \end{array}$$

Hence, our assertion completes the proof of theorem.□

Theorem 7

Letaandbbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha }+1)}(x,y;a,b,e;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)G_{n-k}(a,b;\mathit{\lambda }){}_H{G}_m^{(\mathit{\alpha })}(x,y;a,b,e;\mathit{\lambda }).\end{array}$$

Proof

It is proved by using

$$\begin{array}{c}\hfill \frac{2t}{\mathit{\lambda }{b}^t+a^t}{\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{e}^{xt+y{t}^2}=\frac{2t}{\mathit{\lambda }{b}^t+a^t}\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,e;\mathit{\lambda })\frac{t^n}{n!}\end{array}$$

and Cauchy product formula.□

Theorem 8

For arbitrary real or complex parameter$\mathit{\alpha }$, the following implicit summation formula involving generalized Apostol type Hermite–Genoccchi polynomials${}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })$holds true:

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(x+1,y;a,b,c;\mathit{\lambda })=\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k}{}_H{G}_k^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda }).\end{array}$$ 39

Proof

By (15), we have

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x+1,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}-\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ & ={\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt+y{t}^2}(c^t-1)\hfill \\ & =\left(\sum _{k=0}^{\infty }{}_H{G}_k^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^k}{k!}\right)\left(\sum _{n=0}^{\infty }{(logc)}^n\frac{t^n}{n!}\right)-\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ & =\sum _{n=0}^{\infty }\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logc)}^{n-k}{}_H{G}_k^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}-\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}.\hfill \end{array}$$

By equating the coefficients of the like powers of $t^n$, we arrive at the desired result.□

Theorem 9

For arbitrary real or complex parameter$\mathit{\alpha }$, the following implicit summation formula involving generalized Apostol type Hermite Genocchi polynomials${}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })$holds true:

$$\begin{array}{c}\hfill \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){(logab)}^k{\mathit{\alpha }}^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(-x,y;a,b,c;\mathit{\lambda })={(-1)}^n{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\end{array}$$ 40

and

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(\mathit{\alpha }-x,y;\frac{c}{a},\frac{c}{b},c;\mathit{\lambda })={(-1)}^n{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda }).\end{array}$$ 41

Proof

By (15), we have

$$\begin{array}{c}\hfill c^{y{t}^2}\left[{\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}(c^{xt}-{(ab)}^{\mathit{\alpha }t}{c}^{-xt})\right]=\sum _{n=0}^{\infty }[1-{(-1)}^n]{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\end{array}$$

which is equivalent to

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}-\left(\sum _{m=0}^{\infty }{\mathit{\alpha }}^m{(logab)}^m\frac{t^m}{m!}\right)\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(-x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}-\left(\sum _{n=0}^{\infty }\sum _{m=0}^n{\mathit{\alpha }}^m{(logab)}^m\right){}_H{G}_{n-m}^{(\mathit{\alpha })}(-x,y;a,b,c;\mathit{\lambda })\frac{t^n}{(n-m)!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }[1-{(-1)}^n]{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}.\hfill \end{array}$$

By equating coefficients of like powers of $t^n$, we complete (40). In order to show the proof of (41), it is sufficient to see that

$$\begin{array}{c}\hfill c^{y{t}^2}\left[{\left(\frac{2t}{\mathit{\lambda }{b}^t+a^t}\right)}^{\mathit{\alpha }}{c}^{xt}-{\left(\frac{2t}{\mathit{\lambda }{(\frac{c}{a})}^t+{(\frac{c}{b})}^t}\right)}^{\mathit{\alpha }t}{c}^{(\mathit{\alpha }-x)t}\right]=\sum _{n=0}^{\infty }[1-{(-1)}^n]{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}\end{array}$$

and

$$\begin{array}{cc}& \sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}-\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(\mathit{\alpha }-x,y;\frac{c}{a},\frac{c}{b},c;\mathit{\lambda })\frac{t^n}{n!}\hfill \\ \hfill & =\sum _{n=0}^{\infty }[1-{(-1)}^n]{}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })\frac{t^n}{n!}.\hfill \end{array}$$

□

Corollary 10

Setting$b=c=e$and$\mathit{\lambda }=a=1$in (40), we have

$$\begin{array}{c}\hfill \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right){\mathit{\alpha }}^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(-x,y;\mathit{\lambda })={(-1)}^n{}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda }).\end{array}$$

Corollary 11

For$b=c=e$and$a=1$in (40), we have

$$\begin{array}{c}\hfill {}_H{G}_n^{(\mathit{\alpha })}(\mathit{\alpha }-x,y;\mathit{\lambda })={(-1)}^n{}_H{G}_n^{(\mathit{\alpha })}(x,y;\mathit{\lambda })\end{array}$$

which is known as symmetry property of the generalized Hermite–Apostol Genocchi polynomials.

General symmetry identities

In this section, we investigate and derive symmetric identities for the generalized Apostol type Hermite–Genocchi polynomials ${}_H{G}_n^{(\mathit{\alpha })}(x,y;a,b,c;\mathit{\lambda })$ and Apostol Genocchi numbers $G_n^{(\mathit{\alpha })}(a,b;\mathit{\lambda })$. It turns out that some well known identities of Khan et al. (2008), Khan (2015, a), Milne Thomsons (1933), Pathan and Khan (2014a, b, 2015a, b, c), Srivastava (2011) and Yang (2008). As it has been mentioned in previous sections, $\mathit{\alpha }$ will be considered as an arbitrary real or a complex parameter.

Theorem 10

Leta, bandcbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda }){}_H{G}_k^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda })\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda }){}_H{G}_k^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda }).\hfill \end{array}$$

Proof

Let us consider

$$\begin{array}{c}\hfill g(t)={\left(\frac{{(2t)}^2}{(\mathit{\lambda }{A}^{at}+B^{at})(\mathit{\lambda }{A}^{bt}+B^{bt})}\right)}^{\mathit{\alpha }}{c}^{abxt+a^2{b}^{2}y{t}^2}.\end{array}$$ 42

Then we see that g(t) is symmetric in a and b, and therefore we consider g(t) in two ways: Firstly

$$\begin{array}{cc}\hfill g(t)& =\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda })\frac{{(at)}^n}{n!}\sum _{k=0}^{\infty }{}_H{G}_k^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda })\frac{{(bt)}^k}{k!}\hfill \\ \hfill & =\frac{1}{{\left(ab\right)}^{\mathit{\alpha }}}\sum _{n=0}^{\infty }\sum _{k=0}^n{}_H{G}_{n-k}^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda })\frac{a^{n-k}}{(n-k)!}{}_H{G}_k^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda })\frac{b^k{t}^n}{k!}.\hfill \end{array}$$ 43

Secondly

$$\begin{array}{cc}\hfill g(t)& =\sum _{n=0}^{\infty }{}_H{G}_n^{(\mathit{\alpha })}(ax,a^{2}x;A,B,c;\mathit{\lambda })\frac{{(bt)}^n}{n!}\sum _{k=0}^{\infty }{}_H{G}_k^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda })\frac{{(at)}^k}{k!}\hfill \\ \hfill & =\frac{1}{{\left(ab\right)}^{\mathit{\alpha }}}\sum _{n=0}^{\infty }\sum _{k=0}^n{}_H{G}_{n-k}^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda })\frac{b^{n-k}}{(n-k)!}{}_H{G}_k^{(\mathit{\alpha })}(bx,b^{2}y;A,B,c;\mathit{\lambda })\frac{a^k{t}^n}{k!}.\hfill \end{array}$$

By comparing the coefficients of $t^n$ on the right hand sides of two ways, we arrive at the desired result.□

Corollary 12

Setting$b=1$in Theorem10gives

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{}_H{G}_{n-k}^{(\mathit{\alpha })}(x,y;A,B,c;\mathit{\lambda }){}_H{G}_k^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda })\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^k{}_H{G}_{n-k}^{(\mathit{\alpha })}(ax,a^{2}y;A,B,c;\mathit{\lambda }){}_H{G}_k^{(\mathit{\alpha })}(x,y;A,B,c;\mathit{\lambda })\hfill \end{array}$$

Theorem 11

Leta, bandcbe positive integeres, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, the following identity holds true:

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k\sum _{i=0}^{a-1}\sum _{j=0}^{b-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i+j,b^{2}z;c;\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(ay;c,\mathit{\lambda })\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k\sum _{i=0}^{b-1}\sum _{j=0}^{a-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(ax+\frac{a}{b}i+j,a^{2}z;c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(by;c,\mathit{\lambda }).\hfill \end{array}$$

Proof

Let us first consider the following function:

$$\begin{array}{c}\hfill g(t)=\frac{{(2at)}^{\mathit{\alpha }}{(2bt)}^{\mathit{\alpha }}{(\mathit{\lambda }{c}^{abt}+1)}^2{c}^{ab(x+y)t+a^2{b}^{2}z{t}^2}}{{(\mathit{\lambda }{c}^{at}+1)}^{\mathit{\alpha }+1}{(\mathit{\lambda }{c}^{bt}+1)}^{\mathit{\alpha }+1}}\end{array}$$

which equals to

$$\begin{array}{c}\hfill g(t)={\left(\frac{2at}{\mathit{\lambda }{c}^{at}+1}\right)}^{\mathit{\alpha }}{c}^{abxt+a^2{b}^{2}z{t}^2}\left(\frac{\mathit{\lambda }{c}^{abt}+1}{\mathit{\lambda }{c}^{bt}+1}\right){\left(\frac{2bt}{\mathit{\lambda }{c}^{bt}+1}\right)}^{\mathit{\alpha }}{c}^{abyt}\left(\frac{\mathit{\lambda }{c}^{abt}+1}{\mathit{\lambda }{c}^{at}+1}\right).\end{array}$$

From here, we have

$$\begin{array}{cc}& =\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k\sum _{i=0}^{a-1}\sum _{j=0}^{b-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(ax+\frac{b}{a}i+j,b^{2}z;c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(ay;c,\mathit{\lambda })\right)\frac{t^n}{n!}\hfill \\ & \sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k\sum _{i=0}^{b-1}\sum _{j=0}^{a-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(bx+\frac{a}{b}i+j,a^{2}z,c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(by;c,\mathit{\lambda })\right)\frac{t^n}{n!}.\hfill \end{array}$$

Our assertion follows from comparing the coefficients of $\frac{t^n}{n!}$ on the right hand sides of the above.□

Theorem 12

For each pair of integers a and b and$n\ge 0$, the following identity holds true:

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k\sum _{i=0}^{a-1}\sum _{j=0}^{b-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i,b^{2}z;c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(ay+\frac{a}{b}j;c;\mathit{\lambda })\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k\sum _{i=0}^{b-1}\sum _{j=0}^{a-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(ax+\frac{a}{b}i,a^{2}z;c;\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(by+\frac{b}{a}j;c;\mathit{\lambda }).\hfill \end{array}$$

Proof

The proof is similar to that of Theorem 10. So we omit the proof of the theorem.□

Corollary 13

By setting$y=0$in Theorem12, we have

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k\sum _{i=0}^{a-1}\sum _{j=0}^{b-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i,b^{2}z,c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(\frac{a}{b}j,c;\mathit{\lambda })\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k\sum _{i=0}^{b-1}\sum _{j=0}^{a-1}{(-\mathit{\lambda })}^{i+j}{}_H{G}_{n-k}^{(\mathit{\alpha })}\left(ax+\frac{a}{b}i,a^{2}z,c,\mathit{\lambda }\right)G_k^{(\mathit{\alpha })}(\frac{b}{a}j,c;\mathit{\lambda }).\hfill \end{array}$$

Theorem 13

Leta, bandcbe positive integers, by$a\ne b$. Then, for$x,y\in \mathbb{R}$and$n\ge 0$, we have

$$\begin{array}{cc}& \sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k{G}_{n-k}^{(\mathit{\alpha })}(ay;c,\mathit{\lambda })\sum _{i=0}^{a-1}{(-\mathit{\lambda })}^i{}_H{G}_k^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i,b^{2}z;c;\mathit{\lambda }\right)\hfill \\ & =\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k{G}_{n-k}^{(\mathit{\alpha })}(by;c,\mathit{\lambda })\sum _{i=0}^{b-1}{(-\mathit{\lambda })}^i{}_H{G}_k^{(\mathit{\alpha })}\left(ax+\frac{a}{b}i,a^{2}z;c,\mathit{\lambda }\right).\hfill \end{array}$$

Proof

Let

$$g(t)=\frac{{(2at)}^{\mathit{\alpha }}{(2bt)}^{\mathit{\alpha }}(1+\mathit{\lambda }{(-1)}^{a+1}{c}^{abt})c^{ab(x+y)t+a^2{b}^{2}z{t}^2}}{{(\mathit{\lambda }{c}^{at}+1)}^{\mathit{\alpha }}{(\mathit{\lambda }{c}^{bt}+1)}^{\mathit{\alpha }+1}}.$$

Then we have

$$\begin{array}{cc}\hfill g(t)& ={\left(\frac{2at}{\mathit{\lambda }{c}^{at}+1}\right)}^{\mathit{\alpha }}{c}^{abxt+a^2{b}^{2}z{t}^2}\left(\frac{1-\mathit{\lambda }{(-c^{bt})}^a}{\mathit{\lambda }{c}^{bt}+1}\right){\left(\frac{2bt}{\mathit{\lambda }{c}^{bt}+1}\right)}^{\mathit{\alpha }}{c}^{abyt}\hfill \\ \hfill & =\sum _{k=0}^{\infty }\sum _{i=0}^{a-1}{(-\mathit{\lambda })}^i{}_H{G}_k^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i,b^{2}z;c,\mathit{\lambda }\right)\frac{a^k}{k!}\sum _{n=0}^{\infty }{G}_n^{(\mathit{\alpha })}(ay;c,\mathit{\lambda })b^n\frac{t^{n+k}}{n!}\hfill \end{array}$$

from which we see that

$$\begin{array}{c}\hfill I_1=\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)b^{n-k}{a}^k\sum _{i=0}^{a-1}{(-\mathit{\lambda })}^i{}_H{G}_k^{(\mathit{\alpha })}\left(bx+\frac{b}{a}i,b^{2}z;c,\mathit{\lambda }\right)G_{n-k}^{(\mathit{\alpha })}(ay;c,\mathit{\lambda })\right)\frac{t^n}{n!}\end{array}$$

and

$$\begin{array}{c}\hfill I_2=\sum _{n=0}^{\infty }\left(\sum _{k=0}^n\left(\begin{array}{c}n\\ k\end{array}\right)a^{n-k}{b}^k\sum _{i=0}^{b-1}{(-\mathit{\lambda })}^i{}_H{G}_k^{(\mathit{\alpha })}\left(ax+\frac{a}{b}i,a^{2}z,c,\mathit{\lambda }\right)G_{n-k}^{(\mathit{\alpha })}(by;c,\mathit{\lambda })\right)\frac{t^n}{n!}.\end{array}$$

Hence we complete the proof of the theorem by the equality $I_1=I_2$.□

Conclusion

In this paper, we have introduced a new family of Apostol Hermite–Genocchi polynomials based on modified Milne-Thomson’s polynomial earlier defined by Dere and Simsek (2015). We have analysed the properties of these polynomials according to familiar properties of Apostol Hermite–Genocchi polynomials given by Gaboury and Kurt (2012) and Kurt and Kurt (2011). Also we have derived the general symmetric identities arising from different analytical means and generating functions method.