Occupation times of Lévy processes

In this paper, we give a complete and succinct proof that an explicit formula for the occupation time holds for all Levy processes, which is important to the pricing problems of various occupation-...