A New Generating Function for Hermite Polynomials

Manouchehr Amiri
2024-05-13
Abstract:This paper presents a new generating function for Hermite polynomials of one variable in the form of $g(x,t)=\sum_{n=0}^{\infty }t^{n}H^{e}_{n}(x)$ and reveals its connection with incomplete gamma function.
General Mathematics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to propose a new generating function for representing univariate Hermite polynomials and explore its relationships with the incomplete gamma function, the error function, and the cumulative distribution function. In addition, the paper also proposes the definition of the generating function of bivariate Hermite polynomials based on this new generating function and derives the relevant recurrence relations. ### The main contributions of the paper include: 1. **New generating function**: - Proposes a generating function for univariate Hermite polynomials without factorial terms ($\frac{1}{n!}$): \[ g(x, t)=\sum_{n = 0}^{\infty}t^{n}H_{e}^{n}(x)=\frac{1}{\sqrt{2t^{2}}}e^{\frac{(1 - xt)^{2}}{2t^{2}}}\Gamma\left(\frac{1}{2},\frac{(1 - xt)^{2}}{2t^{2}}\right) \] 2. **Derivation of recurrence relations**: - Through the new generating function, derives the recurrence relations of Hermite polynomials: \[ \frac{d}{dx}H_{e}^{n}(x)=-H_{e}^{n + 1}(x)+xH_{e}^{n}(x) \] \[ nH_{e}^{n-1}(x)=-H_{e}^{n + 1}(x)+xH_{e}^{n}(x) \] 3. **Relationships with special functions**: - Reveals the relationships between the new generating function and the incomplete gamma function, the error function, and the cumulative distribution function. For example, using the complementary error function: \[ g(x, t)=\sum_{n = 0}^{\infty}t^{n}H_{e}^{n}(x)=\sqrt{\pi}\sqrt{2|t|}e^{\frac{(1 - xt)^{2}}{2t^{2}}}\text{erfc}\left(\frac{1 - xt}{\sqrt{2|t|}}\right) \] 4. **Generating function of bivariate Hermite polynomials**: - Proposes the generating function of bivariate Hermite polynomials: \[ g(x, y, t, s)=\sum_{n = 0}^{\infty}\sum_{m = 0}^{\infty}t^{n}s^{m}H_{e}^{n,m}(M;x,y)=\frac{1}{2|t's'|}e^{\frac{(1 - xt')^{2}}{2t'^{2}}}e^{\frac{(1 - ys')^{2}}{2s'^{2}}}\Gamma\left(\frac{1}{2},\frac{(1 - xt')^{2}}{2t'^{2}}\right)\Gamma\left(\frac{1}{2},\frac{(1 - ys')^{2}}{2s'^{2}}\right) \] - Where the matrix $M$ transforms the vector $(t, s)$ into $(t', s')$. 5. **Contour integral representation**: - Derives the contour integral representation of Hermite polynomials based on the new generating function: \[ H_{e}^{n}(x)=\frac{1}{2\sqrt{2\pi i}}\oint_{\gamma}\frac{e^{\frac{(1 - xt)^{