On the refracted-reflected spectrally negative Lévy processes

We study a combination of the refracted and reflected Lévy processes. Given a spectrally negative Lévy 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.