 Solution

For $x,y>0$, the Laplace transform identityexhibits $k_1$ as an inner product of the feature functions $t\mapsto e^{-tx}$ in $L^2(0,\infty )$. More explicitly, for any real $c_i$ and positive $x_i$,Therefore $k_1$ is a positive-semidefinite kernel.