\[(F(T)f)(x)=\int_{0}^{\infty}\left(\int_{0}^{\infty}F(\lambda)\phi_{\lambda}(x)%
\overline{\phi_{\lambda}(y)}\,\mathrm{d}\lambda\right)f(y)\,\mathrm{d}y.\]