Distribution of the occupation time for a Lévy process at passage times at 0
Let be a real-valued Lévy process and the time spent on before time . Suppose that 0 is not polar. We determine the distribution of where is the first return time to 0 in the irregular case, and the inverse local time at 0 in the regular case. This generalizes a recent result of Fitzsimmons and Getoor (1995).