Motivated by the recent results of Nualart and Xu (2013) concerning limits laws for occupation times of one dimensional symmetric stable processes, this paper proves a decomposition for functionals of one dimensional symmetric Lévy processes under certain conditions on the characteristic...

For prices of options with barrier and lookback features, defaultable bonds and credit default swaps (CDSs), and probability distribution functions in Lévy models, as well as for joint probability distributions of a Lévy process and its supremum or/and infimum, one can derive explicit...