- Research
- Open access
- Published:
Identities involving 3-variable Hermite polynomials arising from umbral method
Advances in Difference Equations volume 2020, Article number: 640 (2020)
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]:
and
respectively.
The boundary conditions for 2VHP \(H_{n}(x,y)\) are as follows [8, 21]:
and
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:
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]:
In view of equation (5), 2VHP \(H_{n}(x,y)\) can be reduced binomially as follows:
see [8].
Dattoli [8] introduced the 2-parameter 2-variable Hermite polynomials 2P2VHP \(H_{n}(x, y|\beta ,\alpha )\):
The generating function of 2P2VHP \(H_{n}(x,y|\beta ,\alpha )\) is as follows:
where
see [8], which is a generalisation of the exponential function. It is worthy to note that
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]:
and
respectively.
The operational definition of 3VHP \(H_{n}(x,y,z)\) is as follows [6]:
where
The Gould–Hopper polynomials (GHP) \(H_{n}^{(m)}(x,y)\) are defined by means of the following generating function and series definition [13]:
and
respectively.
Since
Dattoli [8] defined GHP \(H_{n}^{(m)}(x,y)\) in terms of the nth power of the binomial given by
The 3-variable generalised Hermite polynomials (3VgHP) \(H_{n}^{(s,m)}(x,y,z)\) are defined by means of the following generating function [11]:
and equivalently by
The operational definition of 3VgHP \(H_{n}^{(s,m)}(x,y,z)\) are as follows [11]:
and
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)\):
In view of equation (24), we introduce the following umbra:
where \({\hat{c}_{z}}\) acts on the vacuum \(\psi _{0}\).
It follows from Eq. (25) that
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)\):
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)\):
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}\):
where
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
Using equations (23) and (30), we get
which on further simplification gives umbral operational definition of 3VgHP \(H_{n}^{(s,m)}(x,y,z)\) as follows:
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]
we obtain 3VgHP \(H_{n}^{(s,m)}(x,y,z)\) binomially as follows:
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
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
where
Proof
From equation (34), we have
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]
in the above equation, we find
which, on expanding the exponentials in the right-hand side, gives
Now, using equations (5) and (25), we get
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
where \(H_{n-r}(x,y|\beta ,\alpha )\) denotes 2P2VHP given by means of the following generating function:
Proof
From equation (38), we have
which, on expanding exponentials in the right-hand side of the above equation, gives
Using equations (8) and (25), we get
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:
Proof
From equation (34), we have
Expanding the first bracket of the right-hand side of the above equation binomially, we have
Again, expanding the first bracket of the right-hand side of the above equation binomially, we find
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:
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:
Proof
From equation (34), we have
which on simplification gives
Expanding the second bracket in right-hand side of the above equation binomially, we find
which on further simplification gives
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
Proof
From equation (34), we have
from which, on expanding binomially, we get
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 )\):
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)\):
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
and for taking \(\alpha =1\) and \(\beta =0\), we have
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.
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:
By equation (48), we have
which on using equation (35) gives
Since
see [5], presenting the Gaussian integral, we find
Using equations (1) and (35) in the right-hand side of the above equation, we obtain
Next, comparing the equal powers of t from both sides of the above equation, we get
In view of equations (48) and (51), we get the following result:
Again, using equation (35) in the right-hand side of equation (50), we find
Comparing the equal powers of t from both sides of the above equation, we get
In view of equations (48) and (52), we get the following result:
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.
Availability of data and materials
Not applicable.
References
Andrews, L.C.: Special Functions for Applied Mathematics and Engineering. MacMillan, New York (1985)
Appell, P., Kampé de Fériet, J.: Fonctions Hypergéométriques et Hypersphériques: Polynômes d’ Hermite. Gauthier-Villars, Paris (1926)
Araci, S.: Novel identities involving Genocchi numbers and polynomials arising from applications of umbral calculus. Appl. Math. Comput. 233, 599–607 (2014)
Babusci, D., Dattoli, G., Del Franco, M.: Lectures on mathematical methods for physics. Internal. Report ENEA RT/2010/5837
Babusci, D., Dattoli, G., Quattromini, M.: On integrals involving Hermite polynomials. Appl. Math. Lett. 25(8), 1157–1160 (2012)
Dattoli, G.: Generalized polynomials, operational identities and their applications. Higher transcendental functions and their applications. J. Comput. Appl. Math. 118(1–2), 111–123 (2000)
Dattoli, G., Germano, B., Licciardi, S., Martinelli, M.R.: On umbral treatment of Gegenbauer, Legendre and Jacobi polynomials. Int. Math. Forum 12(11), 531–551 (2017)
Dattoli, G., Germano, B., Martinelli, M.R., Ricci, P.E.: Lacunary generating functions of Hermite polynomials and symbolic methods. Ilirias J. Math. 4, 16–23 (2015)
Dattoli, G., Ottaviani, P.L., Torre, A., Vázquez, L.: Evolution operator equations: integration with algebraic and finite-difference methods. Applications to physical problems in classical and quantum mechanics and quantum field theory. Riv. Nuovo Cimento Soc. Ital. Fis. (4) 20(2) (1997) 133 pp.
Dattoli, G., Ricci, P.E., Cesarano, C.: Monumbral polynomials and the associated formalism. Integral Transforms Spec. Funct. 13(2), 155–162 (2002)
Dattoli, G., Ricci, P.E., Khomasuridze, I.: On the derivation of new families of generating functions involving ordinary Bessel functions and Bessel-Hermite functions. Math. Comput. Model. 46(3–4), 410–414 (2007)
Gessel, I.M., Jayawant, P.: A triple lacunary generating function for Hermite polynomials. Electron. J. Combin. 12 (2005) Research Paper, 30, 14 pp.
Gould, H.W., Hopper, A.T.: Operational formulas connected with two generalizations of Hermite polynomials. Duke Math. J. 29, 51–63 (1962)
Jang, L.-C., Kim, T., Kim, D.S., Kim, H.Y.: Extended r-central Bell polynomials with umbral calculus viewpoint. Adv. Differ. Equ. 2019, Article ID 202 (2019)
Kim, T., Kim, D.S.: Some identities of extended degenerate r-central Bell polynomials arising from umbral calculus. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 114(1), Paper No. 1 (2020)
Kim, T., Kim, D.S., Kwon, H.-I., Kwon, J.: Umbral calculus approach to r Stirling number of the second kind and r Bell polynomials. J. Comput. Anal. Appl. 27, 173–188 (2019)
Lebedev, N.N.: Special Functions and Their Applications, Revised edn. Dover, New York (1972) xii+308 pp. Translated from the Russian and edited by Richard A. Silverman. Unabridged and corrected republication
Li, T., Viglialoro, G.: Analysis and explicit solvability of degenerate tensorial problems. Bound. Value Probl. 2018, Article ID 2 (2018)
Louisell, W.H.: Quantum Statistical Properties of Radiation. Wiley Classics Library. A Wiley-Interscience Publication, Wiley, New York (1990) xvi+528 pp. Reprint of the 1973 edition
Viglialoro, G., Woolley, T.E.: Boundedness in a parabolic-elliptic chemotaxis system with nonlinear diffusion and sensitivity and logistic source. Math. Methods Appl. Sci. 41(5), 1809–1824 (2018)
Widder, D.V.: The Heat Equation. Pure and Applied Mathematics, vol. 67, xiv+267 pp. Academic Press [Harcourt Brace Jovanovich, Publishers], New York (1975)
Acknowledgements
We would like to thank the reviewers for their valuable suggestions and comments.
Funding
None.
Author information
Authors and Affiliations
Contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Raza, N., Zainab, U., Araci, S. et al. Identities involving 3-variable Hermite polynomials arising from umbral method. Adv Differ Equ 2020, 640 (2020). https://doi.org/10.1186/s13662-020-03102-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-03102-0