Pour réel,
est défini comme la transformée de Fourier de G, elle est donc analytique.
Pour tout t ≥ 0, dans la partie supérieure du plan complexe (où
>0).
La définition assure que est fini, ce qui implique que
converge.
Ces deux dernières conditions assurent que converge dans la partie supérieure du plan complexe.