On the last exit times for spectrally negative L��vy processes

Using a new approach, for spectrally negative L��vy processes we find joint Laplace transforms involving the last exit time (from a semi-infinite interval), the value of the process at the last exit time and the associated occupation time, which generalizes some previous results.
16pages