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.