Identities involving 3-variable Hermite polynomials arising from umbral method

Abstract

In this paper, we employ an umbral method to reformulate the 3-variable Hermite polynomials and introduce the 4-parameter 3-variable Hermite polynomials. We also obtain some new properties for these polynomials. Moreover, some special cases are discussed and some concluding remarks are also given.

1 Introduction

The multi-variable Hermite polynomials have been used in the analysis of charged-beam transport problems in classical mechanics as well as in the formulation of quantum-phase-space mechanics. Umbral methods have been largely exploited to study the properties of the Hermite polynomials. Recently Dattoli et al. applied the method of umbral to obtain certain results for the Hermite polynomials [8]. The study of umbral formalism provides a fairly helpful tool in many topics of practical nature concerning physics of free electron laser. In this paper, we extend the umbral treatment of the Hermite polynomials from two variables to three variables.

We begin with some umbral results on the 2-variable Hermite polynomials (2VHP) $H_{n}(x,y)$. We recall that 2VHP $H_{n}(x,y)$ are defined by means of the following generating function and series definition [2]:

$$ \sum_{n=0}^{\infty } H_{n}(x,y)\frac{t^{n}}{n!}= e^{xt+yt^{2}} $$

(1)

and

$$ H_{n}(x,y)=n! \sum_{k=0}^{[\frac{n}{2}]} \frac{x^{n-2k}y^{k}}{k!(n-2k)!}, $$

(2)

respectively.

The boundary conditions for 2VHP $H_{n}(x,y)$ are as follows [8, 21]:

$$ H_{n}(x,0) =x^{n} $$

(3)

and

$$ H_{n}(0,y)=n! \frac{y^{\frac{n}{2}}}{\Gamma ({\frac{n}{2}}+1)} \biggl\vert \cos \biggl(n \frac{\pi }{2} \biggr) \biggr\vert , $$

(4)

respectively.

In this paper, we employ the umbral method to the 3-variable Hermite polynomials. Also, we exploit the umbral method to obtain several extensions of the 3-variable Hermite polynomials. Recently, Dattoli et al. gave an umbral method for 2VHP $H_{n}(x,y)$, which plays an important role in the field of special functions and applied mathematics to obtain all the relevant properties of the other special polynomials as well as special functions [8].

In [8], Dattoli considered the idea of umbra, denoted by $\hat{b}_{y}$, for 2VHP $H_{n}(x,y)$ as follows:

$$ \hat{b}_{y}^{r} \phi _{0}= \frac{y^{\frac{r}{2}}r!}{\Gamma (\frac{r}{2}+1)} \biggl\vert \cos r \frac{\pi }{2} \biggr\vert \quad (\phi _{0}\ne 0), $$

(5)

where $\phi _{0}$ is known as polynomial vacuum and $\hat{b}_{y}$ acting on the state $\phi _{0}$ yields 2VHP $H_{n}(x,y)$.

The exponential of umbra $\hat{b}_{y}$ is particulary important to derive the generating functions for 2VHP $H_{n}(x,y)$. The exponential of umbra $\hat{b}_{y}$ is as follows [8]:

$$ e^{\hat{b}_{y}t}\phi _{0}=e^{yt^{2}}. $$

(6)

In view of equation (5), 2VHP $H_{n}(x,y)$ can be reduced binomially as follows:

$$ H_{n}(x,y)=( x+\hat{b}_{y})^{n} \phi _{0}, $$

(7)

see [8].

Dattoli [8] introduced the 2-parameter 2-variable Hermite polynomials 2P2VHP $H_{n}(x, y|\beta ,\alpha )$:

$$ H_{n}(x,y|\beta ,\alpha )={\hat{b}_{y}}^{\beta } \bigl( x+\hat{b}_{y}^{\alpha }\bigr)^{n} \phi _{0}. $$

(8)

The generating function of 2P2VHP $H_{n}(x,y|\beta ,\alpha )$ is as follows:

$$ \sum_{n=0}^{\infty }H_{n}(x,y| \beta ,\alpha )\frac{t^{n}}{n!}=e^{xt}y^{ \frac{\beta }{2}} e_{(\alpha ,\beta )}\bigl(y^{\frac{\alpha }{2}}t\bigr), $$

(9)

where

$$ e_{(\alpha ,\beta )}(x)=\sum_{r=0}^{\infty } \frac{\Gamma (\alpha r+\beta +1)x^{r}}{\Gamma (\frac{\alpha r+\beta }{2}+1 )r!} \biggl\vert \cos \biggl(\frac{\alpha r+\beta }{2}\pi \biggr) \biggr\vert , $$

(10)

see [8], which is a generalisation of the exponential function. It is worthy to note that

$$ e_{(1,0)}(x)=e^{x^{2}}. $$

(11)

Now, we recall that the 3-variable Hermite polynomials (3VHP) $H_{n}(x,y,z)$ are defined by means of the following generating function and series definition [6]:

$$ \sum_{n=0}^{\infty } \frac{t^{n}}{n!}H_{n}(x,y,z)=\exp \bigl(xt+yt^{2}+zt^{3} \bigr) $$

(12)

and

$$ H_{n}(x,y,z)=n!\sum_{k=0}^{[\frac{n}{3}]} \frac{H_{n-3k}(x,y)z^{k}}{k!(n-3k)!}, $$

(13)

respectively.

The operational definition of 3VHP $H_{n}(x,y,z)$ is as follows [6]:

$$ H_{n}(x,y,z)=e^{zD_{x}^{3}+yD_{x}^{2}}x^{n}, $$

(14)

where

$$ D_{x}:=\frac{d}{dx}. $$

The Gould–Hopper polynomials (GHP) $H_{n}^{(m)}(x,y)$ are defined by means of the following generating function and series definition [13]:

$$ \sum_{n=0}^{\infty }H_{n}^{(m)}(x,y) \frac{t^{n}}{n!}=e^{xt+yt^{m}} $$

(15)

and

$$ H_{n}^{(m)}(x,y)=n!\sum_{r=0}^{[\frac{n}{m}]} \frac{x^{n-mr}y^{r}}{r!(n-mr)!}, $$

(16)

respectively.

Since

$$\begin{aligned}& _{m}{\hat{b}_{y}}^{r} \phi _{0}= \frac{y^{\frac{r}{m}}r!}{\Gamma {(\frac{r}{m}+1})}A_{m,r}, \end{aligned}$$

(17)

$$\begin{aligned}& A_{m,r}= \textstyle\begin{cases} 1& r=mp, p \in \mathbb{N},\\ 0,& \mbox{otherwise}. \end{cases}\displaystyle \end{aligned}$$

(18)

Dattoli [8] defined GHP $H_{n}^{(m)}(x,y)$ in terms of the nth power of the binomial given by

$$ H_{n}^{(m)}(x,y)=(x+{_{m} \hat{b}_{y}})^{n}\phi _{0}. $$

(19)

The 3-variable generalised Hermite polynomials (3VgHP) $H_{n}^{(s,m)}(x,y,z)$ are defined by means of the following generating function [11]:

$$ \sum_{n=0}^{\infty }H_{n}^{(s,m)}(x,y,z) \frac{t^{n}}{n!}=e^{ (xt+yt^{m}+zt^{s} )} $$

(20)

and equivalently by

$$ H_{n}^{(s,m)}(x,y,z)=n!\sum _{r=0}^{[\frac{n}{s}]} \frac{H^{(m)}_{n-sr}(x,y)z^{r}}{(n-sr)!r!}. $$

(21)

The operational definition of 3VgHP $H_{n}^{(s,m)}(x,y,z)$ are as follows [11]:

$$ H_{n}^{(s,m)}(x,y,z)=\exp \bigl(zD^{s}_{x}+yD^{m}_{x} \bigr)x^{n} $$

(22)

and

$$ H_{n}^{(s,m)}(x,y,z)=\exp \bigl(zD^{s}_{x} \bigr)H_{n}^{(m)}(x,y). $$

(23)

In this paper, motivated by the work of Dattoli on the umbral behaviour of the Hermite polynomials [8, 10], we extend the umbral formalism to the 3-variable Hermite polynomials. In Sect. 2, we define an umbra for the 3-variable Hermite polynomials and obtain umbral definition for 3-variable Hermite polynomials and 3-variable generalised Hermite polynomials. In Sect. 3, we introduce an extension of 3-variable Hermite polynomials to 4-parameter 3-variable Hermite polynomials by using the umbral formalism and establish certain results involving these polynomials. In Sect. 4, we discuss some special cases of 4-parameter 3-variable Hermite polynomials. Some concluding remarks are given in Sect. 5.

2 Umbra and 3-variable Hermite polynomial

In [3, 7, 8, 16], it is established that the umbral method serves as an important tool to deal with certain properties of special functions. In this paper, by making use of their method, we introduce the umbral definition of the 3-variable Hermite polynomials $H_{n}(x,y,z)$. In this section, we also obtain the umbra for 3VHP $H_{n}(x,y,z)$ and study some of its new properties.

Taking $x=0$ and $y=0$ in equation (13), we obtain the boundary condition for the 3-variable Hermite polynomials $H_{n}(x,y,z)$:

$$ H_{n}(0,0,z)=\frac{z^{\frac{n}{3}}n!}{\Gamma (\frac{n}{3}+1)} \biggl( \biggl\vert 2\cos \frac{n\pi }{3} \biggr\vert - \vert \cos n\pi \vert \biggr). $$

(24)

In view of equation (24), we introduce the following umbra:

$$ {\hat{c}_{z}}^{r}\psi _{0}= \frac{z^{\frac{r}{3}r!}}{\Gamma (\frac{r}{3}+1)} \biggl( \biggl\vert 2\cos r \frac{\pi }{3} \biggr\vert - \vert \cos r\pi \vert \biggr) \quad ( \psi _{0} \ne 0), $$

(25)

where ${\hat{c}_{z}}$ acts on the vacuum $\psi _{0}$.

It follows from Eq. (25) that

$$ e^{\hat{c}_{z}t}\psi _{0}=e^{zt^{3}}. $$

(26)

Using equations (6) and (26) in equation (12), we get the following umbral form of the generating function of 3VHP $H_{n}(x,y,z)$:

$$ \sum_{n=0}^{\infty }H_{n}(x,y,z) \frac{t^{n}}{n!}=e^{(x+ \hat{b}_{y}+ \hat{c}_{z})t}\phi _{0}\psi _{0}, $$

(27)

which on expanding the exponential function in the right-hand side and then comparing the equal powers of t from both sides of the resultant equation gives the following umbral definition of the 3-variable Hermite polynomials $H_{n}(x,y,z)$:

$$ \begin{aligned} H_{n}(x,y,z)&=(x+ \hat{b}_{y}+\hat{c}_{z})^{n}\phi _{0} \psi _{0} \\ &=e^{(\hat{c}_{z} +\hat{b}_{y}) D_{x}}x^{n}\phi _{0}\psi _{0} \\ &=e^{\hat{c}_{z} D_{x}} H_{n}(x,y)\psi _{0}, \end{aligned} $$

where $\hat{b}_{y}$ is acting on $\phi _{0}$ and $\hat{c}_{z}$ is acting on $\psi _{0}$.

The use of the above equation allows a significant simplification of the theory of 3VHP $H_{n}(x,y,z)$, and it would be largely exploited in the field of special functions. We note that such a point of view has opened new avenues in the derivation of lacunary generating functions and for the relevant combinatorial interpretation [12].

Now, we obtain the umbral definition and umbral operational definition of the 3-variable generalised Hermite polynomials (3VgHP) $H^{(s,m)}_{n}(x,y,z)$.

In view of equation (25), we introduce the following generalised form of umbra $\hat{c}_{z}$:

$$ _{s}{\hat{c}_{z}}^{r} \psi _{0}= \frac{z^{\frac{r}{s}}r!}{\Gamma {(\frac{r}{s}+1})}A_{s,r}, $$

(28)

where

$$ A_{s,r}= \textstyle\begin{cases} 1& r=sp, p \in \mathbb{N},\\ 0,& \mbox{otherwise}. \end{cases} $$

(29)

If we take $A_{3,r}= ( \vert 2\cos r\frac{\pi }{3} \vert - \vert \cos r\pi \vert )$, then for $s=3$ equation (28) gives (25) and ${}_{s}\hat{c}_{z}\psi _{0}$ reduces to $\hat{c}_{z}\psi _{0}$.

By equation (28), we have

$$ e^{{}_{s}\hat{c}_{z}t}\psi _{0}=e^{zt^{s}}. $$

(30)

Using equations (23) and (30), we get

$$ H_{n}^{(s,m)}(x,y,z)=\exp (_{s}\hat{c}_{z} D_{x}) H^{(m)}_{n}(x,y) \psi _{0}, $$

(31)

which on further simplification gives umbral operational definition of 3VgHP $H_{n}^{(s,m)}(x,y,z)$ as follows:

$$ \begin{aligned} H_{n}^{(s,m)}(x,y,z)&=e^{({_{s}\hat{c}_{z}}+{_{m}\hat{b}_{y}})D_{x}}x^{n} \phi _{0}\psi _{0} \\ &=\exp (_{s}\hat{c}_{z} D_{x}) (x+{_{m}\hat{b}_{y}})^{n}\phi _{0}\psi _{0}, \end{aligned} $$

where ${_{m}\hat{b}_{y}}^{r}\phi _{0}$ and ${_{s}\hat{c}_{z}}^{r}\psi _{0}$ are defined in equations (17) and (28), respectively.

By using Crofton identity given in [9]

$$ e^{\lambda D_{x}^{m}}f(x)=f\bigl(x+m\lambda D_{x}^{m-1} \bigr), $$

(32)

we obtain 3VgHP $H_{n}^{(s,m)}(x,y,z)$ binomially as follows:

$$ H_{n}^{(s,m)}(x,y,z)=(x+{_{m} \hat{b}_{y}}+{_{s}\hat{c}_{z}})^{n} \phi _{0} \psi _{0}. $$

(33)

In the next section, we generalise the 3-variable Hermite polynomial to 4-parameters 3-variables Hermite polynomials arising from umbral method.

3 An extension of the 3-variable Hermite polynomials

It is realised that the advantage of umbral method is that this method serves as an important extension of certain special functions that cannot be extended by using classical operational method; see for example [14, 15]. In this section, by using the fact that the power of these umbras can be any real numbers, we extend the 3-variable Hermite polynomials to 4-parameter 3-variable Hermite polynomials by using the Hermite umbras given as $\hat{b}_{y}$ and $\hat{c}_{z}$ in equations (5) and (25), respectively.

Further, we study the properties of the 4-parameter 3-variable Hermite polynomials $H_{n}(x,y,z|\beta ,\alpha ;p,q)$ and apply the umbral method to aforementioned polynomial.

We introduce the 4-parameter 3-variable Hermite polynomials (4P3VHP)

$H_{n}(x,y,z|\beta ,\alpha ;p,q)$ given by

$$ H_{n}(x,y,z|\beta ,\alpha ;p,q)={ \hat{b}_{y}}^{\beta }{\hat{c}_{z}}^{p} \bigl(x+{ \hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{n}\phi _{0}\psi _{0}, $$

(34)

where α, β, p and $q \in \mathbb{N}\cup \{0\}$.

By equation (34), we have the following generating function for 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ; p,q)$.

Theorem 3.1

The generating function of 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$ is given by

$$ \sum_{n=0}^{\infty }H_{n}(x,y,z| \beta ,\alpha ;p,q)\frac{t^{n}}{n!}= e^{xt}y^{ \frac{\beta }{2}}e_{(\alpha ,\beta )} \bigl(y^{\frac{\alpha }{2}}t\bigr)z^{ \frac{p}{3}} \mathcal{E}_{p,q} \bigl(z^{\frac{q}{3}}t\bigr), $$

(35)

where

$$ \mathcal{E}_{p,q}(x)=\sum _{r=0}^{\infty } \frac{\Gamma (p+qr+1)x^{r}}{\Gamma (\frac{p+qr}{3}+1 )r!} \biggl( \biggl\vert 2\cos \frac{ (p+qr )\pi }{3} \biggr\vert - \bigl\vert \cos {(p+qr)\pi } \bigr\vert \biggr). $$

(36)

Proof

From equation (34), we have

$$ \begin{aligned} \sum_{n=0}^{\infty } \frac{t^{n}}{n!}H_{n}(x,y,z|\beta , \alpha ;p,q)&=\sum _{n=0}^{\infty }\frac{t^{n}}{n!} { \hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \bigl(x+{\hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{n}\phi _{0} \psi _{0} \\ &={\hat{b}_{y}}^{\beta }{\hat{c}_{z}}^{p}e^{(x+{\hat{b}_{y}}^{\alpha }+{ \hat{c}_{z}}^{q})t} \phi _{0}\psi _{0}. \end{aligned} $$

Since it is obvious that $[x+{\hat{b}_{y}}^{\alpha },{\hat{c}_{z}}^{q}]=0$ and $[x,{\hat{b}_{y}}^{\alpha }]=0$ and using the Weyl decoupling identity [9]

$$ e^{\hat{A}+\hat{B}}= e^{\hat{A}} e^{\hat{B}} e^{\frac{-k}{2}}, \quad k=[\hat{A}, \hat{B}] , (k \in \mathbb{C}) $$

(37)

in the above equation, we find

$$ \sum_{n=0}^{\infty } \frac{t^{n}}{n!}H_{n}(x,y,z|\beta ,\alpha ;p,q)={ \hat{b}_{y}}^{\beta }{\hat{c}_{z}}^{p}e^{xt}e^{{\hat{b}_{y}}^{\alpha }t}e^{{ \hat{c}_{z}}^{q}t} \phi _{0}\psi _{0}, $$

(38)

which, on expanding the exponentials in the right-hand side, gives

$$ \sum_{n=0}^{\infty }\frac{t^{n}}{n!}H_{n}(x,y,z| \beta ,\alpha ;p,q)=e^{xt} \sum_{r=0}^{\infty } \frac{{\hat{b}_{y}}^{\alpha r+\beta }t^{r}}{r!} \sum_{s=0}^{\infty } \frac{{\hat{c}_{z}}^{p+qs}t^{s}}{s!}\phi _{0}\psi _{0}. $$

Now, using equations (5) and (25), we get

$$ \begin{aligned} &\sum_{n=0}^{\infty } \frac{t^{n}}{n!}H_{n}(x,y,z|\beta , \alpha ;p,q)\\ &\quad =e^{xt}y^{\frac{\beta }{2}} \sum_{r=0}^{\infty } \frac{\Gamma {(\alpha r+\beta +1)}y^{\frac{\alpha r}{2}}t^{r}}{\Gamma {(\frac{\alpha r+\beta }{2}+1)r!}} \biggl\vert \cos \biggl(\frac{\alpha r+\beta }{2}\pi \biggr) \biggr\vert \\ &\qquad {}\times z^{\frac{p}{3}}\sum_{s=0}^{\infty } \frac{\Gamma (p+qs+1)z^{\frac{qs}{3}}t^{s}}{\Gamma (\frac{p+qs}{3}+1 )s!} \biggl( \biggl\vert 2\cos \pi \frac{ (p+qs )}{3} \biggr\vert - \bigl\vert \cos {(p+qs)\pi } \bigr\vert \biggr). \end{aligned} $$

Using equations (10) and (36) in the right-hand side of the above equation, we get assertion (35). □

Remark 3.1

The function $\mathcal{E}_{p,q}(x)$ is a generalisation of $e^{x}$, as for $p=0$ and $q=1$ in equation (36), we get $\mathcal{E}_{0,1}(x)=e^{x^{3}}$.

Next, we obtain the following series definition for 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$.

Theorem 3.2

The series definition for 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$ is given by

$$\begin{aligned} H_{n}(x,y,z|\beta ,\alpha ;p,q)={}&n!\sum_{r=0}^{n} \frac{\Gamma {(p+qr+1)}z^{\frac{p+qr}{3}}H_{n-r}(x,y|\beta ,\alpha )}{\Gamma (\frac{p+qr}{3}+1)r!(n-r)!} \\ &{} \times \biggl( \biggl\vert 2\cos \frac{(p+qr)\pi }{3} \biggr\vert - \bigl\vert \cos (p+qr) \pi \bigr\vert \biggr), \end{aligned}$$

(39)

where $H_{n-r}(x,y|\beta ,\alpha )$ denotes 2P2VHP given by means of the following generating function:

$$ \sum_{n=0}^{\infty }H_{n}(x,y| \beta ,\alpha )\frac{t^{n}}{n!}=e^{xt}y^{ \frac{\beta }{2}} e_{(\alpha ,\beta )}\bigl(y^{\frac{\alpha }{2}}t\bigr). $$

Proof

From equation (38), we have

$$ \sum_{n=0}^{\infty }\frac{t^{n}}{n!}H_{n}(x,y,z| \beta ,\alpha ;p,q)={ \hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p}e^{(x+{\hat{b}_{y}}^{\alpha })t}e^{{ \hat{c}_{z}}^{qt}} \phi _{0}\psi _{0}, $$

which, on expanding exponentials in the right-hand side of the above equation, gives

$$ \begin{aligned} \sum_{n=0}^{\infty } \frac{t^{n}}{n!}H_{n}(x,y,z|\beta , \alpha ;p,q)&=\sum _{n=0}^{\infty } {\hat{b}_{y}}^{\beta } \bigl(x+{\hat{b}_{y}}^{\alpha }\bigr)^{n} \frac{t^{n}}{n!}\sum_{r=0}^{\infty }{ \hat{c}_{z}}^{p+qr} \frac{t^{r}}{r!}\phi _{0}\psi _{0} \\ &=\sum_{n=0}^{\infty }\sum _{r=0}^{n} \frac{{\hat{b}_{y}}^{\beta }(x+{\hat{b}_{y}}^{\alpha })^{n-r}{\hat{c}_{z}}^{p+qr}t^{n}}{(n-r)!r!} \phi _{0}\psi _{0}. \end{aligned} $$

Using equations (8) and (25), we get

$$\begin{aligned} \sum_{n=0}^{\infty }\frac{t^{n}}{n!}H_{n}(x,y,z| \beta ,\alpha ;p,q)= {}&\sum_{n=0}^{\infty } \sum _{r=0}^{n} \frac{\Gamma {(p+qr+1)}z^{\frac{p+qr}{3}}H_{n-r}(x,y|\beta ,\alpha )}{\Gamma (\frac{p+qr}{3}+1)r!(n-r)!} \\ &{}\times\biggl( \biggl\vert 2\cos \frac{(p+qr)\pi }{3} \biggr\vert - \bigl\vert \cos (p+qr) \pi \bigr\vert \biggr)t^{n}. \end{aligned}$$

Comparing the equal powers of t from both sides of the above equation, we get assertion (39). □

Further, we discuss an alternative formulation of the theory of the generalised Hermite polynomials using umbral formalism, which will be embedded with the technique developed in this paper.

Now, we obtain the following result.

Theorem 3.3

The following formula for 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$ holds:

$$\begin{aligned}& H_{n+k}(x,y,z|\beta ,\alpha ;p,q)) \\& \quad =\sum _{r=0}^{k}\sum_{s=0}^{r} \begin{pmatrix} k \\ r \end{pmatrix}\binom{r}{s}x^{s}H_{n} \bigl(x,y,z|\alpha (r-s) +\beta ,\alpha ;q(k-r)+p,q\bigr). \end{aligned}$$

(40)

Proof

From equation (34), we have

$$ \begin{aligned} H_{n+k}(x,y,z|\beta ,\alpha ;p,q)&={ \hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \bigl(x+{\hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{n+k}\phi _{0} \psi _{0} \\ &={\hat{b}_{y}}^{\beta }{\hat{c}_{z}}^{p} \bigl(x+{\hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{k}\bigl(x+{ \hat{b}_{y}}^{\alpha }+{ \hat{c}_{z}}^{q}\bigr)^{n}\phi _{0}\psi _{0}. \end{aligned} $$

Expanding the first bracket of the right-hand side of the above equation binomially, we have

$$ H_{n+k}(x,y,z|\beta ,\alpha ;p,q))={\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \sum_{r=0}^{k} \binom{k}{r}\bigl(x+\hat{b}_{y}^{\alpha } \bigr)^{r}{\hat{c}_{z}}^{q(k-r)}\bigl(x+{ \hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{n}\phi _{0}\psi _{0}. $$

Again, expanding the first bracket of the right-hand side of the above equation binomially, we find

$$ H_{n+k}(x,y,z|\beta ,\alpha ;p,q))= \sum _{r=0}^{k}\sum_{s=0}^{r} \binom{k}{r}\binom{r}{s}x^{s}{ \hat{b}_{y}}^{\alpha (r- s)+\beta } { \hat{c}_{z}}^{q(k-r)+p} \bigl(x+{\hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q} \bigr)^{n} \phi _{0}\psi _{0}. $$

Using equation (34) in the right-hand side of the above equation, we get assertion (40). □

For $k=n$, Theorem 3.3 gives the following result.

Corollary 3.1

The following index duplication formula for 4P3VHP

$H_{n}(x,y,z|\beta ,\alpha ;p,q)$ holds:

$$\begin{aligned}& H_{2n}(x,y,z|\beta ,\alpha ;p,q) \\& \quad =\sum _{r=0}^{n}\sum_{s=0}^{r} \binom{n}{r}\binom{r}{s}x^{s} H_{n} \bigl(x,y,z|\alpha (r-s)+\beta ,\alpha ;q(n-r)+p,q\bigr). \end{aligned}$$

(41)

Further, we obtain the following result.

Theorem 3.4

The following argument duplication formula for 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$ holds:

$$\begin{aligned} H_{n}(2x,y,z|\beta ,\alpha ;p,q))={}&\sum_{s=0}^{n} \sum_{r=0}^{s}\sum _{u=0}^{r} \binom{n}{s} \binom{s}{r}\binom{r}{u} x^{u}\frac{1}{2^{s-u}} \\ &{}\times H_{n-s} \biggl(x,\frac{y}{2}, \frac{z}{2}|\alpha (r-u)+\beta ,\alpha ; q(s-r)+p,q \biggr). \end{aligned}$$

(42)

Proof

From equation (34), we have

$$ H_{n}(2x,y,z|\beta ,\alpha ;p,q)={\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \biggl[ \biggl(x+\frac{{\hat{b}_{y}}^{\alpha }}{2}+ \frac{{\hat{c}_{z}}^{q}}{2} \biggr)+ \biggl(x+ \frac{{\hat{b}_{y}}^{\alpha }}{2}+ \frac{{\hat{c}_{z}}^{q}}{2} \biggr) \biggr]^{n}\phi _{0}\psi _{0}, $$

which on simplification gives

$$ H_{n}(2x,y,z|\beta ,\alpha ;p,q)={\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \sum_{s=0}^{n} \binom{n}{s} \biggl(x+\frac{{\hat{b}_{y}}^{\alpha }}{2}+ \frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{n-s} \biggl(x+ \frac{{\hat{b}_{y}}^{\alpha }}{2}+\frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{s} \phi _{0} \psi _{0}. $$

Expanding the second bracket in right-hand side of the above equation binomially, we find

$$ \begin{gathered} H_{n}(2x,y,z|\beta ,\alpha ;p,q)\\ \quad ={\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \sum_{s=0}^{n} \sum_{r=0}^{s}\binom{n}{s} \binom{s}{r} \biggl(x+ \frac{{\hat{b}_{y}}^{\alpha }}{2}+\frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{n-s} \biggl(x+\frac{{\hat{b}_{y}}^{\alpha }}{2} \biggr)^{r} \biggl( \frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{s-r} \phi _{0}\psi _{0}, \end{gathered} $$

which on further simplification gives

$$\begin{aligned} H_{n}(2x,y,z|\beta ,\alpha ;p,q)={}&{\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p} \sum_{s=0}^{n} \sum_{r=0}^{s}\sum _{u=0}^{r}\binom{n}{s} \binom{s}{r} \binom{r}{u} x^{u} \biggl( \frac{{\hat{b}_{y}}^{\alpha }}{2} \biggr)^{r-u} \biggl(\frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{s-r} \\ &{}\times \biggl(x+\frac{{\hat{b}_{y}}^{\alpha }}{2}+\frac{{\hat{c}_{z}}^{q}}{2} \biggr)^{n-s}\phi _{0}\psi _{0}. \end{aligned}$$

Using equation (34) in the right-hand side of the above equation, we get assertion (42). □

Now, we find the following series representation of the 4-parameter 2-variable Hermite polynomials in terms of the 4-parameter 3-variable Hermite polynomials.

Theorem 3.5

The series definition of 4P2VHP $H_{n}(x,y|\beta ,\alpha ;p,q)$ is given by

$$ H_{n}(x,y|\beta ,\alpha ;p,q)=\sum _{r=0}^{n}\begin{pmatrix} n \\ r \end{pmatrix}(-1)^{r}H_{n-r}(x,y,z| \beta ,\alpha ;p+qr,q). $$

(43)

Proof

From equation (34), we have

$$ H_{n}(x,y|\beta ,\alpha ;p,q)={ \hat{b}_{y}}^{\beta }{\hat{c}_{z}}^{p} \bigl(x+{ \hat{b}_{y}}^{\alpha }+{\hat{c}_{z}}^{q}-{ \hat{c}_{z}}^{q}\bigr)^{n}\phi _{0} \psi _{0}, $$

(44)

from which, on expanding binomially, we get

$$ H_{n}(x,y|\beta ,\alpha ;p,q)={\hat{b}_{y}}^{\beta }{ \hat{c}_{z}}^{p}\sum_{r=0}^{n} \binom{n}{r}(-1)^{r}\bigl(x+{\hat{b}_{y}}^{\alpha }+{ \hat{c}_{z}}^{q}\bigr)^{n-r}{ \hat{c}_{z}}^{qr}\phi _{0}\psi _{0}. $$

(45)

Using equation (34) in the above equation we get assertion (43). □

Remark 3.2

For taking $p=0$ and $q=1$ in equation (44) of Theorem 3.5, we get the following series representation of 2P2VHP $H_{n}(x,y,|\beta ,\alpha )$:

$$ H_{n}(x,y|\beta ,\alpha )=\sum_{r=0}^{n} \binom{n}{r}(-1)^{r}H_{n-r}(x,y,z| \beta ,\alpha ;r,1). $$

(46)

Remark 3.3

For taking $\beta =0$, $\alpha =1$, $p=0$ and $q=1$ in equation (44) of Theorem 3.5, we get the following series representation of 2VHP $H_{n}(x,y)$:

$$ H_{n}(x,y)=\sum_{r=0}^{n} \binom{n}{r}(-1)^{r}H_{n-r}(x,y,z|-,1;r,1). $$

(47)

Now, we obtain the operational definition of 4P3VHP $H_{n}(x,y,z|\beta ,\alpha ;p,q)$.

Since $D_{x}H_{n}(x,y)=nH_{n-1}(x,y)$ and $D_{x}H_{n}(x,y,z)=nH_{n-1}(x,y,z)$, it can be verified that

$$ H_{n}(x,y,z|\beta ,\alpha ;p,q)=y^{\frac{\beta }{2}}e_{({\alpha ,\beta })} \bigl(y^{ \frac{\alpha }{2}}D_{x}\bigr) z^{\frac{p}{3}} \mathcal{E}_{p,q}\bigl(z^{ \frac{q}{3}}D_{x} \bigr)x^{n}, $$

and for taking $\alpha =1$ and $\beta =0$, we have

$$ H_{n}(x,y,z|-,1;p,q)=z^{\frac{p}{3}}\mathcal{E}_{p,q} \bigl(z^{\frac{q}{3}}D_{x}\bigr)H_{n}{(x,y)}. $$

In the next section, we consider some special cases of the results established in this section.

4 Special cases

In this section, we obtain certain new as well as known special polynomials by using suitable choices for parameters and variable z in equations (34), (35) and (39) as special cases of 4-parameter 3-variable Hermite polynomials.

In the following table, the umbral definitions, generating functions and series definitions of certain polynomials are listed.

For the same choices of parameters α, β, p and q considered in Table 1, equations (41) and (42) give the index duplication and argument duplication formulas for the special polynomials mentioned in the same table. The respective formulas are listed in Table 2.

Table 1 Some new and known special polynomials

Table 2 Index and argument duplication formulas

In the concluding remarks, we present further argument supporting the effectiveness of the umbral method.

5 Concluding remarks

Gaussian integral representation of Hermite polynomials as well as specific umbral methods play an important role in classical problems arising in quantum optics, quantum mechanics, biomathematics and engineering (see for example [1, 17–20]). They are exploited to calculate the optical mode overlapping and transition rates between quantum eigenstates of the harmonic oscillator. A general method allowing the direct evaluation of these integrals has not been developed. Babusci et al. described a unifying method, flexible for generalisation, which provides a direct method for the evaluation of this class of integrals [4, 5].

We consider the following integral:

$$ I_{n}= \int _{-\infty }^{\infty }H_{n}(ax+b,y,z|\beta , \alpha ;p,q)e^{-cx^{2}+ \xi x}\,dx. $$

(48)

By equation (48), we have

$$ \sum_{n=0}^{\infty }I_{n} \frac{t^{n}}{n!}=\sum_{n=0}^{\infty } \int _{- \infty }^{\infty } H_{n}(ax+b,y,z|\beta ,\alpha ;p,q)\frac{t^{n}}{n!}e^{-cx^{2}+ \xi x}\,dx, $$

which on using equation (35) gives

$$ \sum_{n=0}^{\infty }I_{n} \frac{t^{n}}{n!}=e^{bt}y^{\frac{\beta }{2}} e_{( \alpha ,\beta )} \bigl(y^{\frac{\alpha }{2}}t\bigr)z^{\frac{p}{3}} \mathcal{E}_{p,q} \bigl(z^{ \frac{q}{3}}t\bigr) \int _{-\infty }^{\infty }e^{(at+\xi ) x-cx^{2}}\,dx. $$

(49)

Since

$$ \int _{-\infty }^{\infty }e^{bx-ax^{2}+c}\,dx= \frac{\sqrt{\pi }}{\sqrt{a}}e^{ \frac{b^{2}}{4a}+c}, $$

see [5], presenting the Gaussian integral, we find

$$ \sum_{n=0}^{\infty }I_{n} \frac{t^{n}}{n!}=e^{bt}y^{\frac{\beta }{2}} e_{( \alpha ,\beta )} \bigl(y^{\frac{\alpha }{2}}t\bigr)z^{\frac{p}{3}} \mathcal{E}_{p,q} \bigl(z^{ \frac{q}{3}}t\bigr)\frac{\sqrt{\pi }}{\sqrt{c}}\exp \biggl( \frac{a^{2}}{4c}t^{2}+ \frac{\xi ^{2}}{4c}+ \frac{a\xi }{2c}t \biggr). $$

(50)

Using equations (1) and (35) in the right-hand side of the above equation, we obtain

$$ \sum_{n=0}^{\infty }I_{n} \frac{t^{n}}{n!}=\frac{\sqrt{\pi }}{\sqrt{c}} \exp { \biggl(\frac{\xi ^{2}}{4c} \biggr)}\sum_{n=0}^{\infty }\sum _{r=0}^{ \infty } H_{n}(b,y,z|\beta ,\alpha ;p,q)H_{r} \biggl(\frac{a\xi }{2c}, \frac{a^{2}}{4c} \biggr)\frac{t^{n+r}}{n!r!}. $$

Next, comparing the equal powers of t from both sides of the above equation, we get

$$ I_{n}=\frac{\sqrt{\pi }}{\sqrt{c}}\exp { \biggl( \frac{\xi ^{2}}{4c} \biggr)} \sum_{r=0}^{n} \binom{n}{r} H_{n-r} (b,y,z|\beta ,\alpha ;p,q )H_{r} \biggl(\frac{a\xi }{2c},\frac{a^{2}}{4c} \biggr). $$

(51)

In view of equations (48) and (51), we get the following result:

$$\begin{aligned} &\int _{-\infty }^{\infty }H_{n}(ax+b,y,z|\beta , \alpha ;p,q)e^{-cx^{2}+ \xi x}\,dx\\ &\quad =\frac{\sqrt{\pi }}{\sqrt{c}}\exp { \biggl( \frac{\xi ^{2}}{4c} \biggr)} \times \sum_{r=0}^{n} \binom{n}{r} H_{n-r} (b,y,z|\beta ,\alpha ;p,q )H_{r} \biggl(\frac{a\xi }{2c},\frac{a^{2}}{4c} \biggr). \end{aligned}$$

Again, using equation (35) in the right-hand side of equation (50), we find

$$ \sum_{n=0}^{\infty }I_{n} \frac{t^{n}}{n!}=\frac{\sqrt{\pi }}{\sqrt{c}} \exp { \biggl(\frac{\xi ^{2}}{4c} \biggr)}\sum_{n=0}^{\infty }\sum _{r=0}^{ \infty }H_{n} \biggl(b+ \frac{a\xi }{2c},y,z |\beta ,\alpha ;p,q \biggr) \frac{a^{2r}}{(4c)^{r}} \frac{t^{n+2r}}{n!r!}. $$

Comparing the equal powers of t from both sides of the above equation, we get

$$ I_{n}=\frac{\sqrt{\pi }}{\sqrt{c}}\exp { \biggl( \frac{\xi ^{2}}{4c} \biggr)}n! \sum_{r=0}^{[\frac{n}{2}]} \frac{1}{(n-2r)!r!}H_{n-2r} \biggl(b+ \frac{a\xi }{2c},y,z |\beta ,\alpha ;p,q \biggr) \frac{a^{2r}}{(4c)^{r}}. $$

(52)

In view of equations (48) and (52), we get the following result:

$$\begin{aligned} &\int _{-\infty }^{\infty }H_{n}(ax+b,y,z|\beta , \alpha ;p,q)e^{-cx^{2}+ \xi x}\,dx\\ &\quad =\frac{\sqrt{\pi }}{\sqrt{c}}\exp { \biggl( \frac{\xi ^{2}}{4c} \biggr)}n! \times \sum_{r=0}^{[\frac{n}{2}]} \frac{1}{(n-2r)!r!}H_{n-2r} \biggl(b+ \frac{a\xi }{2c},y,z |\beta ,\alpha ;p,q \biggr) \frac{a^{2r}}{(4c)^{r}}. \end{aligned}$$

Similarly, for the same choices of parameters α, β, p and q considered in Table 1, we can evaluate the integrals involving the special polynomials mentioned in the same table.