Suprema of L\'evy processes with completely monotone jumps: spectral-theoretic approach

We study spectral-theoretic properties of one-dimensional L\'evy processes with completely monotone jumps with a one-sided barrier. With no further assumptions, we provide an integral expression for the bivariate Laplace transform of the transition density $p_t^+(x, y)$ of the killed process in $(0, \infty)$, and under a minor regularity condition, a generalised eigenfunction expansion is given for the corresponding transition operator $P_t^+$. Assuming additionally appropriate growth of the characteristic exponent, we prove a generalised eigenfunction expansion of the transition density $p_t^+(x, y)$. Under similar conditions, we additionally show integral formulae for the cumulative distribution functions of the infimum and supremum functionals $\underline{X}_t$ and $\overline{X}_t$. The class of processes covered by our results include many stable and stable-like L\'evy processes, as well as many processes with Brownian components. Our results seem to be new even for the classical risk process.