1: \begin{definition}\label{deFourierLaplace}

2: Let $u\in\mathcal D'(\R)$ be a distribution with $\supp u\subset[0,\infty)$ such that $e_{-\eta}u\in\mathcal S'(\R)$ for every $\eta>0$, where we denote by $e_z\in C^\infty(\R)$, $z\in\C$, the function $e_z(t)=\e^{z t}$.

3: 

4: We define the \emph{adjoint Fourier--Laplace transform} $\check u:\H\to\C$ of $u$ by choosing for every point $z\in\H$ an arbitrary $\eta_z\in(0,\Im z)$ and by setting

5: \[ \check u(z) = \frac1{\sqrt{2\pi}}\left<e_{-\eta_z}u,\tilde e_{\i z+\eta_z}\right>_{\mathcal S',\mathcal S}. \]

6: Here $\tilde e_z$ denotes for every $z\in\C$ with $\Re z<0$ an arbitrary extension of the function $e_z|_{[0,\infty)}$ to the negative axis such that $\tilde e_z\in\mathcal S(\R)$. (The definition does not depend on the choice of the extension, since $\supp u\subset[0,\infty)$, see the proof of \cite[Theorem~2.3.3]{Hoe03}.)

7: 

8: Note that if $u$ is a regular distribution: $\left<u,\phi\right>_{\mathcal D',\mathcal D}=\int_{-\infty}^\infty U(t)\phi(t)\d t$ for all $\phi\in C^\infty_{\mathrm c}(\R)$ with an integrable function $U:\R\to\C$ with $\supp U\subset[0,\infty)$, then this is exactly the holomorphic extension of the inverse Fourier transform of $U$ to the upper half plane:

9: \[ \check u(z) = \frac1{\sqrt{2\pi}}\int_0^\infty U(t) e^{\i zt}\d t,\quad z\in\overline\H. \]

10: \end{definition}

11: