On the Refracted-Reflected Spectrally Negative L\'evy Processes

We study a combination of the refracted and reflected L\'evy processes. Given a spectrally negative L\'evy process and two boundaries, it is reflected at the lower boundary while, whenever it is above the upper boundary, a linear drift at a constant rate is subtracted from the increments of the process. Using the scale functions, we compute the resolvent measure, the Laplace transform of the occupation times as well as other fluctuation identities that will be useful in applied probability including insurance, queues, and inventory management.