1: \begin{proof}

2: We just show the equivalence of \eqref{eq: e-value diff eq} and \eqref{eq: e-value int eq}. The other case is similar. Let us Fourier transform \eqref{eq: e-value diff eq}:

3: \begin{equation}\xi\hat{\varphi}(\xi)-\chi_{\R^+}(\xi)\widehat{u\varphi}(\xi)=\lambda \hat{\varphi}(\xi),\end{equation}

4: \begin{equation}\hat{\varphi} = \frac{\chi_{\R^+}(\xi)}{\xi-\lambda}\widehat{u\varphi}(\xi).\end{equation}

5: Now inverse Fourier transform to get \eqref{eq: e-value int eq}. One just needs to notice that $\frac{\chi_{\R^+}(\xi)}{\xi-\lambda}\in L^2$ to make the argument rigorous. Finally, by the Sobolev embedding theorem, $H^1(\R)\subset C^{0,\frac{1}{2}}(\R)$. Hence $\varphi$ is bounded and continuous.

6: \end{proof}

7: