# Laguerre transform

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)$ |