Joint distribution of a spectrally negative Lévy process and its occupation time, with step option pricing in view

Occupation times of alternating renewal processes with Lévy applications

In this paper we present a set of results relating to the occupation time α(t) of a processX(·). The first set of results concerns exact characterizations of α(t), e.g. in terms of its transform up to an exponentially distributed epoch. In addition, we establish a central limit theorem (entailing that a centered and normalized version of α(t)∕tconverges to a zero-mean normal random variable ast→∞) and the tail asymptotics of ℙ(α(t)∕t≥q). We apply our findings to spectrally positive Lévy processes reflected at the infimum and establish various new occupation time results for the corresponding model.