A decomposition for additive functionals of Lévy processes

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 exponent and computes the moments of the decomposition.