Derivation of the Hille-Hardy type formulae and operational methods (Q2568755)

Introducing the Laguerre and Hermite polynomials in the form \[ L_n(x,y)=y^n\,L_n(x/y),\;H_n(x,y)=i^ny^{n/2}\,H_n(x/(2i\sqrt{y})), \] where the extra variable enables the derivation of bilinear generating functions, the author derives several interesting formulae in the spirit of Hille-Hardy with the aid of simple operational methods; a nicely written paper. The main results use the operator \[ {\hat T}:=\exp\left(-y\,{\partial\over \partial x}\,x\,{\partial\over \partial x}\right), \] (for \(y=1\) the exponential of the so called Laguerre-derivative), the function \[ C_0(x)=\sum_{r=0}^{\infty}\,{(-x)^r\over (r!)^2}=J_0(2\sqrt{x}), \] and the rule \[ {\hat T}C_0(\gamma x)=\exp(y\gamma x)\,C_0(\gamma x). \] These results are \[ G(z,w | t)=\sum_{n=0}^{\infty}\,{t^n\over n!}\,L_n(z,w) = {\hat T}C_0(zt) = \exp(wt)\,C_0(zt), \] \[ \begin{align*}{G(x,y; z,w | t)&=\sum_{n=0}^{\infty}\, t^n\,L_n(x,y)L_n(z,w) = {\hat T}[\exp(-wtx)\,C_0(-ztx)] \cr &= {1\over 1-ywt}\,\exp\left(-{(wx+yz)t\over 1-wyt}\right)\, C_0\left( -{zxt\over (1-wyt)^2}\right),\cr}\end{align*} \] and the generalization of the just mentioned formula to the case of the generating function of the product of \(L_n^{(\alpha)}\)'s with \[ L_n^{(\alpha)}(x,y):=\exp\left[-y\left( x{\partial^2\over\partial x^2}+(\alpha+1){\partial\over\partial x}\right)\right] \left[{(-1)^n x^n\over n!}\right]. \]