Laguerre transform

Not to be confused with Laguerre transformations.

In mathematics, Laguerre transform is an integral transform named after the mathematician Edmond Laguerre, which uses generalized Laguerre polynomials $L_{n}^{\alpha }(x)$ as kernels of the transform.

The Laguerre transform of a function $f(x)$ is

$L\{f(x)\}={\tilde {f}}_{\alpha }(n)=\int _{0}^{\infty }e^{-x}x^{\alpha }\ L_{n}^{\alpha }(x)\ f(x)\ dx$

The inverse Laguerre transform is given by

$L^{-1}\{{\tilde {f}}_{\alpha }(n)\}=f(x)=\sum _{n=0}^{\infty }{\binom {n+\alpha }{n}}^{-1}{\frac {1}{\Gamma (\alpha +1)}}{\tilde {f}}_{\alpha }(n)L_{n}^{\alpha }(x)$

Some Laguerre transform pairs

$f(x)\,$	${\tilde {f}}_{\alpha }(n)\,$
$x^{a-1},\ a>0\,$	${\frac {\Gamma (a+\alpha )\Gamma (n-a+1)}{n!\Gamma (1-a)}}$
$e^{-ax},\ a>-1\,$	${\frac {\Gamma (n+\alpha +1)a^{n}}{n!(a+1)^{n+\alpha +1}}}$
$\sin ax,\ a>0,\ \alpha =0\,$	${\frac {a^{n}}{(1+a^{2})^{\frac {n+1}{2}}}}\sin \left[n\tan ^{-1}{\frac {1}{a}}+\tan ^{-1}(-a)\right]$
$\cos ax,\ a>0,\ \alpha =0\,$	${\frac {a^{n}}{(1+a^{2})^{\frac {n+1}{2}}}}\cos \left[n\tan ^{-1}{\frac {1}{a}}+\tan ^{-1}(-a)\right]$
$L_{m}^{\alpha }(x)\,$	${\binom {n+\alpha }{n}}\Gamma (\alpha +1)\delta _{mn}$
$e^{-ax}L_{m}^{\alpha }(x)\,$	${\frac {\Gamma (n+\alpha +1)\Gamma (m+\alpha +1)}{n!m!\Gamma (\alpha +1)}}{\frac {(a-1)^{n-m+\alpha +1}}{a^{n+m+2\alpha +2}}}{}_{2}F_{1}\left(n+\alpha +1;{\frac {m+\alpha +1}{\alpha +1}};{\frac {1}{a^{2}}}\right)$
$f(x)x^{\beta -\alpha }\,$	$\sum _{m=0}^{n}(m!)^{-1}(\alpha -\beta )_{m}L_{n-m}^{\beta }(x)$
$e^{x}x^{-\alpha }\Gamma (\alpha ,x)\,$	$\sum _{n=0}^{\infty }{\binom {n+\alpha }{n}}{\frac {\Gamma (\alpha +1)}{n+1}}$
$x^{\beta },\ \beta >0\,$	$\Gamma (\alpha +\beta +1)\sum _{n=0}^{\infty }{\binom {n+\alpha }{n}}(-\beta )_{n}{\frac {\Gamma (\alpha +1)}{\Gamma (n+\alpha +1)}}$
$(1-z)^{-(\alpha +1)}\exp \left({\frac {xz}{z-1}}\right),\ |z|<1,\ \alpha \geq 0\,$	$\sum _{n=0}^{\infty }{\binom {n+\alpha }{n}}\Gamma (\alpha +1)z^{n}$
$(xz)^{-\alpha /2}e^{z}J_{\alpha }\left[2(xz)^{1/2}\right],\ |z|<1,\ \alpha \geq 0\,$	$\sum _{n=0}^{\infty }{\binom {n+\alpha }{n}}{\frac {\Gamma (\alpha +1)}{\Gamma (n+\alpha +1)}}z^{n}$
${\frac {d}{dx}}f(x)\,$	${\tilde {f}}_{\alpha }(n)-\alpha \sum _{k=0}^{n}{\tilde {f}}_{\alpha -1}(k)+\sum _{k=0}^{n-1}{\tilde {f}}_{\alpha }(k)$
$x{\frac {d}{dx}}f(x),\alpha =0\,$	$-(n+1){\tilde {f}}_{0}(n+1)+n{\tilde {f}}_{0}(n)$
$\int _{0}^{x}f(t)dt,\ \alpha =0\,$	${\tilde {f}}_{0}(n)-{\tilde {f}}_{0}(n-1)$
$e^{x}x^{-\alpha }{\frac {d}{dx}}\left[e^{-x}x^{\alpha +1}{\frac {d}{dx}}\right]f(x)\,$	$-n{\tilde {f}}_{\alpha }(n)$
$\left\{e^{x}x^{-\alpha }{\frac {d}{dx}}\left[e^{-x}x^{\alpha +1}{\frac {d}{dx}}\right]\right\}^{k}f(x)\,$	$(-1)^{k}n^{k}{\tilde {f}}_{\alpha }(n)$
$L_{n}^{\alpha }(x),\alpha >-1\,$	${\frac {\Gamma (n+\alpha +1)}{n!}}$
$xL_{n}^{\alpha }(x),\alpha >-1\,$	${\frac {\Gamma (n+\alpha +1)}{n!}}(2n+1+\alpha )$
${\frac {1}{\pi }}\int _{0}^{\infty }e^{-t}f(t)dt\int _{0}^{\pi }e^{{\sqrt {xt}}\cos \theta }\cos({\sqrt {xt}}\sin \theta )g(x+t-2{\sqrt {xt}}\cos \theta )d\theta ,\alpha =0\,$	${\tilde {f}}_{0}(n){\tilde {g}}_{0}(n)$
${\frac {\Gamma (n+\alpha +1)}{{\sqrt {\pi }}\Gamma (n+1)}}\int _{0}^{\infty }e^{-t}t^{\alpha }f(t)dt\int _{0}^{\pi }e^{-{\sqrt {xt}}\cos \theta }\sin ^{2\alpha }\theta g(x+t+2{\sqrt {xt}}\cos \theta ){\frac {J_{\alpha -1/2}({\sqrt {xt}}\sin \theta )}{[({\sqrt {xt}}\sin \theta )/2]^{\alpha -1/2}}}d\theta \,$	${\tilde {f}}_{\alpha }(n){\tilde {g}}_{\alpha }(n)$