Compound Poisson Processes with Two-Sided Reflection

We consider a compound oscillating Poisson process with two-sided reflection. This process is defined by an upper-semicontinuous compound Poisson process (t) and its functionals, namely the first-exit time of (t) from an interval and the first-exit time of (t) across the upper and lower levels. We study the main characteristics of this oscillating process in terms of the potential and resolvent of the process (t) introduced by Korolyuk. For this purpose, we refine the Pecherskii identities and some other results for upper-semicontinuous Poisson processes.